Individual tests

test10/test_10.20_5_0.1_2_0.1_2_0.1.8	nlp
25 lines	532 bytes
head (1,2,0)	body (1,2,0)
estimated blow-up	1.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	0.23sec	0.00sec	0	93	1282
htl	1.15sec	0.00sec	0	176	2338
str	0.33sec	0.00sec	0	190	2250

test10/test_10.20_5_0.1_2_0.1_2_1.2.2	nlp
25 lines	601 bytes
head (1,2,0)	body (1,2,1)
estimated blow-up	2.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	0.24sec	0.00sec	0	95	1439
htl	0.31sec	0.00sec	0	166	2206
str	0.32sec	0.00sec	0	174	2091

test10/test_10.20_5_0.1_2_0.1_3_0.2.2	nlp
25 lines	600 bytes
head (1,2,0)	body (1,3,0)
estimated blow-up	2.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	0.27sec	0.00sec	0	115	1526
htl	0.35sec	0.00sec	0	193	2553
str	0.37sec	0.00sec	0	205	2444

test10/test_10.20_5_0.1_2_0.1_3_1.2.8	nlp
25 lines	739 bytes
head (1,2,0)	body (1,3,1)
estimated blow-up	2.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	0.33sec	0.00sec	0	143	2290
htl	0.36sec	0.00sec	0	196	2688
str	0.40sec	0.00sec	0	210	2576

test10/test_10.20_5_0.1_2_0.1_4_0.2.5	nlp
25 lines	704 bytes
head (1,2,0)	body (1,4,0)
estimated blow-up	2.5

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	0.34sec	0.00sec	0	144	1916
htl	0.38sec	0.00sec	0	209	2848
str	0.42sec	0.00sec	0	223	2701

test10/test_10.20_5_0.1_2_0.1_4_1.3.2	nlp
25 lines	850 bytes
head (1,2,0)	body (1,4,1)
estimated blow-up	3.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	0.40sec	0.00sec	0	171	2852
htl	0.39sec	0.00sec	0	213	3016
str	0.46sec	0.00sec	0	229	2825

test10/test_10.20_5_0.1_2_0.2_2_0.3.7	nlp
25 lines	783 bytes
head (1,2,0)	body (2,2,0)
estimated blow-up	3.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	0.41sec	0.00sec	0	171	2728
htl	0.42sec	0.00sec	0	234	3138
str	0.47sec	0.00sec	0	250	3019

test10/test_10.20_5_0.1_2_0.2_2_1.4.3	nlp
25 lines	904 bytes
head (1,2,0)	body (2,2,1)
estimated blow-up	4.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	0.46sec	0.01sec	0	176	3519
htl	0.42sec	0.00sec	0	230	3236
str	0.51sec	0.00sec	0	244	3009

test10/test_10.20_5_0.1_2_0.2_3_0.6.4	nlp
25 lines	984 bytes
head (1,2,0)	body (2,3,0)
estimated blow-up	6.4

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1.04sec	0.01sec	0	338	5446
htl	0.52sec	0.00sec	0	273	3778
str	0.62sec	0.00sec	0	291	3582

test10/test_10.20_5_0.1_2_0.2_3_1.7.6	nlp
25 lines	1094 bytes
head (1,2,0)	body (2,3,1)
estimated blow-up	7.6

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1.09sec	0.01sec	0	342	6943
htl	0.52sec	0.00sec	0	268	3833
str	0.64sec	0.00sec	0	282	3527

test10/test_10.20_5_0.1_2_0.2_4_0.9.1	nlp
25 lines	1150 bytes
head (1,2,0)	body (2,4,0)
estimated blow-up	9.1

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2.21sec	0.01sec	0	532	8576
htl	0.62sec	0.00sec	0	308	4303
str	0.75sec	0.01sec	0	324	3995

test10/test_10.20_5_0.1_2_0.2_4_1.11.1	nlp
25 lines	1279 bytes
head (1,2,0)	body (2,4,1)
estimated blow-up	11.1

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2.28sec	0.01sec	0	539	10906
htl	0.61sec	0.00sec	0	306	4425
str	0.77sec	0.01sec	0	322	4043

test10/test_10.20_5_0.1_2_0.3_2_0.7.5	nlp
25 lines	991 bytes
head (1,2,0)	body (3,2,0)
estimated blow-up	7.5

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1.03sec	0.01sec	0	332	6188
htl	0.53sec	0.00sec	0	269	3702
str	0.62sec	0.00sec	0	285	3498

test10/test_10.20_5_0.1_2_0.3_2_1.8.4	nlp
25 lines	1075 bytes
head (1,2,0)	body (3,2,1)
estimated blow-up	8.4

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1.00sec	0.01sec	0	308	6944
htl	0.53sec	0.00sec	0	278	3862
str	0.63sec	0.00sec	0	292	3640

test10/test_10.20_5_0.1_2_0.3_3_0.18.8	nlp
25 lines	1295 bytes
head (1,2,0)	body (3,3,0)
estimated blow-up	18.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	6.11sec	0.08sec	0	905	18051
htl	0.80sec	0.01sec	0	345	4846
str	0.96sec	0.01sec	0	359	4449

test10/test_10.20_5_0.1_2_0.3_3_1.21.6	nlp
25 lines	1402 bytes
head (1,2,0)	body (3,3,1)
estimated blow-up	21.6

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	7.10sec	0.05sec	0	898	21515
htl	1.00sec	0.01sec	0	346	4951
str	0.94sec	0.01sec	0	360	4540

test10/test_10.20_5_0.1_2_0.3_4_0.35.3	nlp
25 lines	1511 bytes
head (1,2,0)	body (3,4,0)
estimated blow-up	35.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	41.30sec	0.17sec	0	1906	38518
htl	2.02sec	0.01sec	0	399	5604
str	2.99sec	0.03sec	0	415	5177

test10/test_10.20_5_0.1_2_0.3_4_1.41.3	nlp
25 lines	1626 bytes
head (1,2,0)	body (3,4,1)
estimated blow-up	41.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	105.44sec	1.18sec	0	1989	45827
htl	4.27sec	0.01sec	0	397	5735
str	5.26sec	0.01sec	0	417	5309

test10/test_10.20_5_0.1_2_0.4_2_0.15.2	nlp
25 lines	1278 bytes
head (1,2,0)	body (4,2,0)
estimated blow-up	15.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	14.17sec	0.03sec	0	650	15588
htl	3.13sec	0.01sec	0	333	4685
str	4.01sec	0.06sec	0	349	4382

test10/test_10.20_5_0.1_2_0.4_2_1.16.7	nlp
25 lines	1302 bytes
head (1,2,0)	body (4,2,1)
estimated blow-up	16.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	12.48sec	0.06sec	0	573	14850
htl	3.41sec	0.07sec	0	331	4667
str	4.00sec	0.01sec	0	347	4414

test10/test_10.20_5_0.1_2_0.4_3_0.55.8	nlp
25 lines	1626 bytes
head (1,2,0)	body (4,3,0)
estimated blow-up	55.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	187.24sec	3.14sec	0	2491	60606
htl	4.41sec	0.04sec	0	418	5981
str	5.75sec	0.05sec	0	438	5587

test10/test_10.20_5_0.1_2_0.4_3_1.62.7	nlp
25 lines	1737 bytes
head (1,2,0)	body (4,3,1)
estimated blow-up	62.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	226.29sec	1.06sec	0	2739	78338
htl	4.70sec	0.01sec	0	431	6265
str	6.25sec	0.01sec	0	451	5822

test10/test_10.20_5_0.1_2_0.4_4_0.138.4	nlp
25 lines	1862 bytes
head (1,2,0)	body (4,4,0)
estimated blow-up	138.4

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1418.81sec	6.74sec	0	6857	156303
htl	5.43sec	0.08sec	0	489	6883
str	7.00sec	0.08sec	0	509	6537

test10/test_10.20_5_0.1_2_0.4_4_1.157.5	nlp
25 lines	2090 bytes
head (1,2,0)	body (4,4,1)
estimated blow-up	157.5

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1204.46sec	25.60sec	0	6659	179548
htl	5.70sec	0.08sec	0	492	7267
str	7.84sec	0.01sec	0	512	6691

test10/test_10.20_5_0.1_3_0.1_2_0.2.2	nlp
25 lines	628 bytes
head (1,3,0)	body (1,2,0)
estimated blow-up	2.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1.66sec	0.00sec	0	126	1679
htl	1.73sec	0.00sec	0	200	2694
str	2.48sec	0.01sec	0	208	2471

test10/test_10.20_5_0.1_3_0.1_2_1.2.7	nlp
25 lines	784 bytes
head (1,3,0)	body (1,2,1)
estimated blow-up	2.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1.72sec	0.07sec	0	146	2294
htl	2.25sec	0.08sec	0	202	2816
str	2.40sec	0.08sec	0	220	2736

test10/test_10.20_5_0.1_3_0.1_3_0.2.7	nlp
25 lines	717 bytes
head (1,3,0)	body (1,3,0)
estimated blow-up	2.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2.60sec	0.09sec	0	174	2315
htl	1.85sec	0.07sec	0	219	2973
str	2.35sec	0.04sec	0	231	2799

test10/test_10.20_5_0.1_3_0.1_3_1.3.5	nlp
25 lines	832 bytes
head (1,3,0)	body (1,3,1)
estimated blow-up	3.5

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2.99sec	0.08sec	0	198	3118
htl	2.58sec	0.09sec	0	224	3106
str	2.44sec	0.09sec	0	238	2951

test10/test_10.20_5_0.1_3_0.1_4_0.3.1	nlp
25 lines	777 bytes
head (1,3,0)	body (1,4,0)
estimated blow-up	3.1

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2.49sec	0.00sec	0	181	2369
htl	2.16sec	0.08sec	0	234	3162
str	2.54sec	0.08sec	0	246	2971

test10/test_10.20_5_0.1_3_0.1_4_1.4.2	nlp
25 lines	937 bytes
head (1,3,0)	body (1,4,1)
estimated blow-up	4.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3.17sec	0.08sec	0	224	3570
htl	2.63sec	0.07sec	0	225	3197
str	2.89sec	0.00sec	0	243	3031

test10/test_10.20_5_0.1_3_0.2_2_0.4.7	nlp
25 lines	872 bytes
head (1,3,0)	body (2,2,0)
estimated blow-up	4.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3.59sec	0.00sec	0	237	3729
htl	2.75sec	0.08sec	0	252	3410
str	3.09sec	0.00sec	0	264	3211

test10/test_10.20_5_0.1_3_0.2_2_1.5.5	nlp
25 lines	969 bytes
head (1,3,0)	body (2,2,1)
estimated blow-up	5.5

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3.28sec	0.09sec	0	240	4605
htl	1.99sec	0.04sec	0	247	3450
str	2.42sec	0.08sec	0	261	3233

test10/test_10.20_5_0.1_3_0.2_3_0.8.3	nlp
25 lines	1054 bytes
head (1,3,0)	body (2,3,0)
estimated blow-up	8.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	8.03sec	0.07sec	0	460	7401
htl	3.10sec	0.00sec	0	295	4072
str	3.40sec	0.02sec	0	305	3707

test10/test_10.20_5_0.1_3_0.2_3_1.10.1	nlp
25 lines	1264 bytes
head (1,3,0)	body (2,3,1)
estimated blow-up	10.1

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	8.86sec	0.05sec	0	484	10266
htl	3.09sec	0.00sec	0	292	4292
str	3.72sec	0.08sec	0	312	3943

test10/test_10.20_5_0.1_3_0.2_4_0.12.3	nlp
25 lines	1196 bytes
head (1,3,0)	body (2,4,0)
estimated blow-up	12.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	17.04sec	0.07sec	0	724	11375
htl	3.61sec	0.01sec	0	331	4574
str	4.17sec	0.01sec	0	343	4208

test10/test_10.20_5_0.1_3_0.2_4_1.15.1	nlp
25 lines	1364 bytes
head (1,3,0)	body (2,4,1)
estimated blow-up	15.1

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	25.76sec	0.12sec	0	925	19028
htl	3.69sec	0.09sec	0	340	4900
str	4.46sec	0.08sec	0	356	4493

test10/test_10.20_5_0.1_3_0.3_2_0.9.9	nlp
25 lines	1122 bytes
head (1,3,0)	body (3,2,0)
estimated blow-up	9.9

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	7.88sec	0.01sec	0	450	8945
htl	2.79sec	0.04sec	0	296	4122
str	3.60sec	0.00sec	0	314	3871

test10/test_10.20_5_0.1_3_0.3_2_1.11.2	nlp
25 lines	1204 bytes
head (1,3,0)	body (3,2,1)
estimated blow-up	11.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	7.83sec	0.14sec	0	436	10119
htl	3.24sec	0.00sec	0	306	4305
str	3.54sec	0.09sec	0	324	4071

test10/test_10.20_5_0.1_3_0.3_3_0.25.4	nlp
25 lines	1450 bytes
head (1,3,0)	body (3,3,0)
estimated blow-up	25.4

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	53.77sec	0.26sec	0	1370	28146
htl	4.05sec	0.08sec	0	375	5379
str	4.64sec	0.08sec	0	393	4933

test10/test_10.20_5_0.1_3_0.3_3_1.29.5	nlp
25 lines	1455 bytes
head (1,3,0)	body (3,3,1)
estimated blow-up	29.5

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	51.05sec	0.28sec	0	1313	31233
htl	3.87sec	0.08sec	0	373	5305
str	4.41sec	0.04sec	0	391	4938

test10/test_10.20_5_0.1_3_0.3_4_0.48.8	nlp
25 lines	1647 bytes
head (1,3,0)	body (3,4,0)
estimated blow-up	48.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	237.20sec	1.43sec	0	2952	59769
htl	4.50sec	0.08sec	0	426	6081
str	5.83sec	0.08sec	0	444	5585

test10/test_10.20_5_0.1_3_0.3_4_1.57.3	nlp
25 lines	1733 bytes
head (1,3,0)	body (3,4,1)
estimated blow-up	57.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	252.68sec	0.91sec	0	3042	71216
htl	4.63sec	0.08sec	0	428	6204
str	5.77sec	0.05sec	0	440	5589

test10/test_10.20_5_0.1_3_0.4_2_0.20.4	nlp
25 lines	1329 bytes
head (1,3,0)	body (4,2,0)
estimated blow-up	20.4

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	23.24sec	0.46sec	0	862	19857
htl	3.77sec	0.01sec	0	350	4896
str	4.15sec	0.09sec	0	368	4672

test10/test_10.20_5_0.1_3_0.4_2_1.22.6	nlp
25 lines	1503 bytes
head (1,3,0)	body (4,2,1)
estimated blow-up	22.6

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	25.85sec	0.16sec	0	889	24433
htl	3.83sec	0.08sec	0	366	5319
str	4.96sec	0.09sec	0	384	4934

test10/test_10.20_5_0.1_3_0.4_3_0.77.1	nlp
25 lines	1690 bytes
head (1,3,0)	body (4,3,0)
estimated blow-up	77.1

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	466.31sec	3.47sec	0	4185	100872
htl	4.85sec	0.05sec	0	458	6502
str	6.00sec	0.04sec	0	478	6111

test10/test_10.20_5_0.1_3_0.4_3_1.87.0	nlp
25 lines	1787 bytes
head (1,3,0)	body (4,3,1)
estimated blow-up	87.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	446.39sec	3.98sec	0	4030	108963
htl	4.89sec	0.08sec	0	455	6572
str	6.21sec	0.09sec	0	475	6156

test10/test_10.20_5_0.1_3_0.4_4_0.194.4	nlp
25 lines	2179 bytes
head (1,3,0)	body (4,4,0)
estimated blow-up	194.4

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2925.01sec	17.12sec	0	9833	250375
htl	6.08sec	0.01sec	0	514	7618
str	7.82sec	0.01sec	0	532	6895

test10/test_10.20_5_0.1_3_0.4_4_1.222.1	nlp
25 lines	2184 bytes
head (1,3,0)	body (4,4,1)
estimated blow-up	222.1

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3739.90sec	14.41sec	0	11022	303890
htl	6.03sec	0.01sec	0	521	7695
str	7.99sec	0.08sec	0	541	7075

test10/test_10.20_5_0.1_4_0.1_2_0.2.4	nlp
25 lines	747 bytes
head (1,4,0)	body (1,2,0)
estimated blow-up	2.4

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1.98sec	0.03sec	0	159	2077
htl	2.19sec	0.00sec	0	223	3056
str	2.43sec	0.07sec	0	241	2942

test10/test_10.20_5_0.1_4_0.1_2_1.3.1	nlp
25 lines	891 bytes
head (1,4,0)	body (1,2,1)
estimated blow-up	3.1

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2.48sec	0.00sec	0	169	2709
htl	2.41sec	0.08sec	0	216	3085
str	2.66sec	0.08sec	0	232	2886

test10/test_10.20_5_0.1_4_0.1_3_0.3.1	nlp
25 lines	820 bytes
head (1,4,0)	body (1,3,0)
estimated blow-up	3.1

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2.85sec	0.08sec	0	205	2691
htl	2.55sec	0.08sec	0	247	3394
str	2.60sec	0.09sec	0	259	3158

test10/test_10.20_5_0.1_4_0.1_3_1.4.1	nlp
25 lines	959 bytes
head (1,4,0)	body (1,3,1)
estimated blow-up	4.1

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3.03sec	0.07sec	0	238	3912
htl	2.45sec	0.08sec	0	240	3416
str	2.61sec	0.09sec	0	254	3148

test10/test_10.20_5_0.1_4_0.1_4_0.3.6	nlp
25 lines	977 bytes
head (1,4,0)	body (1,4,0)
estimated blow-up	3.6

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3.23sec	0.00sec	0	225	3152
htl	2.76sec	0.00sec	0	255	3649
str	3.25sec	0.08sec	0	273	3378

test10/test_10.20_5_0.1_4_0.1_4_1.4.9	nlp
25 lines	1071 bytes
head (1,4,0)	body (1,4,1)
estimated blow-up	4.9

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	4.41sec	0.09sec	0	319	5365
htl	2.61sec	0.08sec	0	261	3747
str	2.90sec	0.09sec	0	277	3469

test10/test_10.20_5_0.1_4_0.2_2_0.5.4	nlp
25 lines	996 bytes
head (1,4,0)	body (2,2,0)
estimated blow-up	5.4

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5.21sec	0.08sec	0	333	5400
htl	3.10sec	0.08sec	0	281	3862
str	3.27sec	0.00sec	0	289	3526

test10/test_10.20_5_0.1_4_0.2_2_1.6.5	nlp
25 lines	1063 bytes
head (1,4,0)	body (2,2,1)
estimated blow-up	6.5

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	4.06sec	0.08sec	0	303	5879
htl	2.63sec	0.00sec	0	279	3892
str	2.96sec	0.07sec	0	291	3624

test10/test_10.20_5_0.1_4_0.2_3_0.9.9	nlp
25 lines	1105 bytes
head (1,4,0)	body (2,3,0)
estimated blow-up	9.9

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	10.75sec	0.04sec	0	570	8954
htl	3.26sec	0.09sec	0	314	4267
str	3.21sec	0.08sec	0	328	4048

test10/test_10.20_5_0.1_4_0.2_3_1.12.0	nlp
25 lines	1306 bytes
head (1,4,0)	body (2,3,1)
estimated blow-up	12.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	12.16sec	0.02sec	0	608	12157
htl	3.62sec	0.04sec	0	315	4574
str	3.71sec	0.08sec	0	333	4222

test10/test_10.20_5_0.1_4_0.2_4_0.14.8	nlp
25 lines	1343 bytes
head (1,4,0)	body (2,4,0)
estimated blow-up	14.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	31.37sec	0.03sec	0	985	15784
htl	3.70sec	0.08sec	0	354	4985
str	4.45sec	0.01sec	0	372	4648

test10/test_10.20_5_0.1_4_0.2_4_1.18.3	nlp
25 lines	1428 bytes
head (1,4,0)	body (2,4,1)
estimated blow-up	18.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	26.78sec	0.04sec	0	945	18057
htl	3.69sec	0.01sec	0	345	4932
str	4.39sec	0.08sec	0	361	4582

test10/test_10.20_5_0.1_4_0.3_2_0.11.7	nlp
25 lines	1229 bytes
head (1,4,0)	body (3,2,0)
estimated blow-up	11.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	11.21sec	0.10sec	0	577	11512
htl	3.40sec	0.08sec	0	329	4597
str	3.96sec	0.01sec	0	343	4235

test10/test_10.20_5_0.1_4_0.3_2_1.13.4	nlp
25 lines	1312 bytes
head (1,4,0)	body (3,2,1)
estimated blow-up	13.4

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	11.53sec	0.09sec	0	559	12678
htl	3.32sec	0.04sec	0	333	4721
str	4.28sec	0.08sec	0	351	4443

test10/test_10.20_5_0.1_4_0.3_3_0.30.9	nlp
25 lines	1539 bytes
head (1,4,0)	body (3,3,0)
estimated blow-up	30.9

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	93.87sec	0.38sec	0	1842	38077
htl	4.04sec	0.09sec	0	396	5692
str	5.26sec	0.08sec	0	416	5244

test10/test_10.20_5_0.1_4_0.3_3_1.36.0	nlp
25 lines	1563 bytes
head (1,4,0)	body (3,3,1)
estimated blow-up	36.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	93.56sec	0.84sec	0	1810	42678
htl	4.04sec	0.08sec	0	395	5664
str	4.92sec	0.04sec	0	415	5311

test10/test_10.20_5_0.1_4_0.3_4_0.60.2	nlp
25 lines	1739 bytes
head (1,4,0)	body (3,4,0)
estimated blow-up	60.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	339.41sec	1.33sec	0	3532	70368
htl	4.54sec	0.12sec	0	442	6318
str	5.79sec	0.01sec	0	460	5846

test10/test_10.20_5_0.1_4_0.3_4_1.71.1	nlp
25 lines	1951 bytes
head (1,4,0)	body (3,4,1)
estimated blow-up	71.1

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	421.59sec	2.05sec	0	3964	95270
htl	5.05sec	0.01sec	0	450	6690
str	6.54sec	0.08sec	0	470	6049

test10/test_10.20_5_0.1_4_0.4_2_0.24.6	nlp
25 lines	1431 bytes
head (1,4,0)	body (4,2,0)
estimated blow-up	24.6

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	40.61sec	0.19sec	0	1177	26297
htl	3.71sec	0.08sec	0	369	5163
str	4.81sec	0.01sec	0	385	4872

test10/test_10.20_5_0.1_4_0.4_2_1.27.5	nlp
25 lines	1641 bytes
head (1,4,0)	body (4,2,1)
estimated blow-up	27.5

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	35.49sec	0.05sec	0	1054	29846
htl	3.79sec	0.08sec	0	357	5304
str	5.63sec	0.01sec	0	375	4807

test10/test_10.20_5_0.1_4_0.4_3_0.95.3	nlp
25 lines	1768 bytes
head (1,4,0)	body (4,3,0)
estimated blow-up	95.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	656.07sec	2.35sec	0	4963	114029
htl	5.47sec	0.10sec	0	473	6682
str	6.33sec	0.06sec	0	489	6255

test10/test_10.20_5_0.1_4_0.4_3_1.108.0	nlp
25 lines	1892 bytes
head (1,4,0)	body (4,3,1)
estimated blow-up	108.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	643.82sec	1.44sec	0	4874	134622
htl	5.25sec	0.01sec	0	471	6792
str	6.47sec	0.08sec	0	489	6314

test10/test_10.20_5_0.1_4_0.4_4_0.243.8	nlp
25 lines	2109 bytes
head (1,4,0)	body (4,4,0)
estimated blow-up	243.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5079.57sec	28.72sec	0	13325	312154
htl	6.25sec	0.09sec	0	537	7719
str	8.01sec	0.06sec	0	557	7200

test10/test_10.20_5_0.1_4_0.4_4_1.279.3	nlp
25 lines	2300 bytes
head (1,4,0)	body (4,4,1)
estimated blow-up	279.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	4504.24sec	31.68sec	0	11923	333198
htl	6.34sec	0.09sec	0	530	7837
str	8.25sec	0.01sec	0	550	7188

test10/test_10.20_5_0.2_2_0.1_2_0.3.7	nlp
25 lines	700 bytes
head (2,2,0)	body (1,2,0)
estimated blow-up	3.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2.19sec	0.00sec	0	183	2916
htl	2.43sec	0.00sec	0	242	3222
str	2.83sec	0.09sec	0	256	3076

test10/test_10.20_5_0.2_2_0.1_2_1.4.2	nlp
25 lines	921 bytes
head (2,2,0)	body (1,2,1)
estimated blow-up	4.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2.50sec	0.08sec	0	184	3732
htl	2.57sec	0.08sec	0	246	3551
str	2.67sec	0.00sec	0	264	3292

test10/test_10.20_5_0.2_2_0.1_3_0.4.7	nlp
25 lines	811 bytes
head (2,2,0)	body (1,3,0)
estimated blow-up	4.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3.28sec	0.00sec	0	242	3954
htl	2.65sec	0.08sec	0	260	3579
str	2.95sec	0.00sec	0	272	3322

test10/test_10.20_5_0.2_2_0.1_3_1.5.5	nlp
25 lines	900 bytes
head (2,2,0)	body (1,3,1)
estimated blow-up	5.5

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3.35sec	0.01sec	0	244	4615
htl	3.09sec	0.00sec	0	265	3658
str	3.25sec	0.09sec	0	275	3382

test10/test_10.20_5_0.2_2_0.1_4_0.5.5	nlp
25 lines	873 bytes
head (2,2,0)	body (1,4,0)
estimated blow-up	5.5

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	4.11sec	0.08sec	0	322	5076
htl	2.69sec	0.08sec	0	278	3808
str	3.27sec	0.00sec	0	292	3584

test10/test_10.20_5_0.2_2_0.1_4_1.6.6	nlp
25 lines	991 bytes
head (2,2,0)	body (1,4,1)
estimated blow-up	6.6

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	4.57sec	0.01sec	0	316	5995
htl	3.08sec	0.00sec	0	278	3879
str	3.35sec	0.08sec	0	296	3712

test10/test_10.20_5_0.2_2_0.2_2_0.7.3	nlp
25 lines	972 bytes
head (2,2,0)	body (2,2,0)
estimated blow-up	7.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	4.29sec	0.01sec	0	293	5600
htl	3.24sec	0.08sec	0	296	4053
str	3.58sec	0.08sec	0	310	3795

test10/test_10.20_5_0.2_2_0.2_2_1.8.2	nlp
25 lines	1102 bytes
head (2,2,0)	body (2,2,1)
estimated blow-up	8.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5.09sec	0.08sec	0	335	7827
htl	3.10sec	0.08sec	0	299	4245
str	3.63sec	0.08sec	0	315	3959

test10/test_10.20_5_0.2_2_0.2_3_0.13.2	nlp
25 lines	1175 bytes
head (2,2,0)	body (2,3,0)
estimated blow-up	13.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	13.23sec	0.09sec	0	627	12544
htl	3.38sec	0.08sec	0	329	4631
str	3.91sec	0.08sec	0	339	4175

test10/test_10.20_5_0.2_2_0.2_3_1.15.1	nlp
25 lines	1309 bytes
head (2,2,0)	body (2,3,1)
estimated blow-up	15.1

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	15.18sec	0.10sec	0	671	15887
htl	3.52sec	0.01sec	0	342	4937
str	4.77sec	0.01sec	0	354	4472

test10/test_10.20_5_0.2_2_0.2_4_0.19.8	nlp
25 lines	1317 bytes
head (2,2,0)	body (2,4,0)
estimated blow-up	19.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	32.12sec	0.04sec	0	1029	20590
htl	3.67sec	0.01sec	0	374	5243
str	4.62sec	0.01sec	0	384	4752

test10/test_10.20_5_0.2_2_0.2_4_1.23.0	nlp
25 lines	1442 bytes
head (2,2,0)	body (2,4,1)
estimated blow-up	23.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	40.81sec	0.11sec	0	1155	28140
htl	3.98sec	0.01sec	0	372	5362
str	5.07sec	0.04sec	0	392	4977

test10/test_10.20_5_0.2_2_0.3_2_0.14.7	nlp
25 lines	1182 bytes
head (2,2,0)	body (3,2,0)
estimated blow-up	14.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	10.80sec	0.09sec	0	519	11837
htl	3.60sec	0.01sec	0	351	4830
str	4.19sec	0.08sec	0	363	4521

test10/test_10.20_5_0.2_2_0.3_2_1.16.1	nlp
25 lines	1294 bytes
head (2,2,0)	body (3,2,1)
estimated blow-up	16.1

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	13.68sec	0.15sec	0	602	15859
htl	3.71sec	0.01sec	0	346	4923
str	4.23sec	0.01sec	0	362	4609

test10/test_10.20_5_0.2_2_0.3_3_0.38.7	nlp
25 lines	1532 bytes
head (2,2,0)	body (3,3,0)
estimated blow-up	38.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	90.23sec	0.11sec	0	1753	42899
htl	4.36sec	0.02sec	0	406	5840
str	5.25sec	0.08sec	0	422	5345

test10/test_10.20_5_0.2_2_0.3_3_1.43.3	nlp
25 lines	1591 bytes
head (2,2,0)	body (3,3,1)
estimated blow-up	43.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	90.69sec	0.24sec	0	1733	48609
htl	4.56sec	0.08sec	0	411	5978
str	5.43sec	0.04sec	0	429	5545

test10/test_10.20_5_0.2_2_0.3_4_0.75.4	nlp
25 lines	1809 bytes
head (2,2,0)	body (3,4,0)
estimated blow-up	75.4

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	357.79sec	1.06sec	0	3589	87340
htl	5.22sec	0.09sec	0	474	6929
str	6.46sec	0.08sec	0	494	6373

test10/test_10.20_5_0.2_2_0.3_4_1.85.4	nlp
25 lines	1823 bytes
head (2,2,0)	body (3,4,1)
estimated blow-up	85.4

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	441.46sec	0.53sec	0	3954	105912
htl	5.14sec	0.01sec	0	465	6726
str	6.67sec	0.01sec	0	485	6306

test10/test_10.20_5_0.2_2_0.4_2_0.29.6	nlp
25 lines	1464 bytes
head (2,2,0)	body (4,2,0)
estimated blow-up	29.6

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	42.78sec	0.22sec	0	1162	31845
htl	4.46sec	0.10sec	0	411	5879
str	5.26sec	0.08sec	0	431	5576

test10/test_10.20_5_0.2_2_0.4_2_1.32.1	nlp
25 lines	1524 bytes
head (2,2,0)	body (4,2,1)
estimated blow-up	32.1

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	49.36sec	0.25sec	0	1257	39163
htl	4.43sec	0.01sec	0	393	5681
str	5.06sec	0.08sec	0	409	5318

test10/test_10.20_5_0.2_2_0.4_3_0.114.4	nlp
25 lines	1842 bytes
head (2,2,0)	body (4,3,0)
estimated blow-up	114.4

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	673.15sec	0.87sec	0	4933	141555
htl	6.01sec	0.01sec	0	492	7190
str	7.35sec	0.01sec	0	512	6670

test10/test_10.20_5_0.2_2_0.4_3_1.126.1	nlp
25 lines	1905 bytes
head (2,2,0)	body (4,3,1)
estimated blow-up	126.1

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	739.45sec	1.22sec	0	5149	160277
htl	5.70sec	0.01sec	0	493	7227
str	7.19sec	0.01sec	0	511	6692

test10/test_10.20_5_0.2_2_0.4_4_0.292.6	nlp
25 lines	2256 bytes
head (2,2,0)	body (4,4,0)
estimated blow-up	292.6

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	6751.93sec	20.37sec	0	15337	438258
htl	6.93sec	0.01sec	0	569	8516
str	9.27sec	0.09sec	0	589	7704

test10/test_10.20_5_0.2_2_0.4_4_1.325.9	nlp
25 lines	2287 bytes
head (2,2,0)	body (4,4,1)
estimated blow-up	325.9

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	4906.58sec	11.12sec	0	13112	416942
htl	6.54sec	0.01sec	0	562	8375
str	9.38sec	0.01sec	0	582	7666

test10/test_10.20_5_0.2_3_0.1_2_0.6.1	nlp
25 lines	938 bytes
head (2,3,0)	body (1,2,0)
estimated blow-up	6.1

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5.42sec	0.10sec	0	353	5661
htl	3.01sec	0.00sec	0	289	4013
str	3.18sec	0.09sec	0	305	3759

test10/test_10.20_5_0.2_3_0.1_2_1.7.2	nlp
25 lines	1100 bytes
head (2,3,0)	body (1,2,1)
estimated blow-up	7.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	6.60sec	0.01sec	0	398	7716
htl	3.11sec	0.08sec	0	302	4310
str	3.47sec	0.08sec	0	318	4000

test10/test_10.20_5_0.2_3_0.1_3_0.8.1	nlp
25 lines	1034 bytes
head (2,3,0)	body (1,3,0)
estimated blow-up	8.1

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	9.89sec	0.01sec	0	532	8789
htl	3.27sec	0.08sec	0	313	4376
str	3.49sec	0.08sec	0	333	4140

test10/test_10.20_5_0.2_3_0.1_3_1.9.7	nlp
25 lines	1198 bytes
head (2,3,0)	body (1,3,1)
estimated blow-up	9.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	9.68sec	0.09sec	0	508	10244
htl	3.14sec	0.09sec	0	311	4472
str	4.18sec	0.01sec	0	329	4138

test10/test_10.20_5_0.2_3_0.1_4_0.9.7	nlp
25 lines	1141 bytes
head (2,3,0)	body (1,4,0)
estimated blow-up	9.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	13.86sec	0.01sec	0	644	10716
htl	3.92sec	0.01sec	0	330	4681
str	3.89sec	0.01sec	0	348	4323

test10/test_10.20_5_0.2_3_0.1_4_1.11.8	nlp
25 lines	1242 bytes
head (2,3,0)	body (1,4,1)
estimated blow-up	11.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	15.30sec	0.02sec	0	684	13275
htl	3.39sec	0.01sec	0	337	4813
str	3.82sec	0.01sec	0	353	4461

test10/test_10.20_5_0.2_3_0.2_2_0.12.9	nlp
25 lines	1202 bytes
head (2,3,0)	body (2,2,0)
estimated blow-up	12.9

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	14.34sec	0.02sec	0	644	12557
htl	3.52sec	0.08sec	0	350	4888
str	4.33sec	0.01sec	0	368	4591

test10/test_10.20_5_0.2_3_0.2_2_1.14.7	nlp
25 lines	1308 bytes
head (2,3,0)	body (2,2,1)
estimated blow-up	14.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	15.92sec	0.09sec	0	665	15697
htl	3.91sec	0.01sec	0	351	4995
str	4.20sec	0.01sec	0	369	4696

test10/test_10.20_5_0.2_3_0.2_3_0.24.3	nlp
25 lines	1412 bytes
head (2,3,0)	body (2,3,0)
estimated blow-up	24.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	57.29sec	0.04sec	0	1405	27897
htl	4.04sec	0.01sec	0	391	5564
str	5.15sec	0.08sec	0	409	5153

test10/test_10.20_5_0.2_3_0.2_3_1.28.2	nlp
25 lines	1525 bytes
head (2,3,0)	body (2,3,1)
estimated blow-up	28.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	59.23sec	0.23sec	0	1423	34667
htl	4.00sec	0.01sec	0	392	5699
str	5.09sec	0.08sec	0	408	5198

test10/test_10.20_5_0.2_3_0.2_4_0.37.4	nlp
25 lines	1529 bytes
head (2,3,0)	body (2,4,0)
estimated blow-up	37.4

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	117.79sec	0.40sec	0	2025	38457
htl	4.56sec	0.04sec	0	420	5922
str	5.35sec	0.08sec	0	440	5577

test10/test_10.20_5_0.2_3_0.2_4_1.43.9	nlp
25 lines	1695 bytes
head (2,3,0)	body (2,4,1)
estimated blow-up	43.9

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	138.14sec	0.72sec	0	2189	51308
htl	4.71sec	0.08sec	0	426	6253
str	5.66sec	0.03sec	0	444	5717

test10/test_10.20_5_0.2_3_0.3_2_0.27.0	nlp
25 lines	1439 bytes
head (2,3,0)	body (3,2,0)
estimated blow-up	27.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	46.65sec	0.20sec	0	1233	29138
htl	4.38sec	0.08sec	0	411	5826
str	5.17sec	0.08sec	0	427	5441

test10/test_10.20_5_0.2_3_0.3_2_1.30.1	nlp
25 lines	1524 bytes
head (2,3,0)	body (3,2,1)
estimated blow-up	30.1

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	34.68sec	0.05sec	0	1036	27019
htl	4.63sec	0.08sec	0	403	5776
str	5.34sec	0.08sec	0	423	5465

test10/test_10.20_5_0.2_3_0.3_3_0.73.9	nlp
25 lines	1759 bytes
head (2,3,0)	body (3,3,0)
estimated blow-up	73.9

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	423.64sec	1.09sec	0	3931	98044
htl	5.36sec	0.08sec	0	469	6811
str	6.46sec	0.07sec	0	489	6293

test10/test_10.20_5_0.2_3_0.3_3_1.83.5	nlp
25 lines	1735 bytes
head (2,3,0)	body (3,3,1)
estimated blow-up	83.5

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	368.96sec	1.40sec	0	3634	96019
htl	5.29sec	0.05sec	0	458	6549
str	6.19sec	0.10sec	0	476	6166

test10/test_10.20_5_0.2_3_0.3_4_0.147.9	nlp
25 lines	1961 bytes
head (2,3,0)	body (3,4,0)
estimated blow-up	147.9

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2271.80sec	4.50sec	0	9135	215939
htl	5.88sec	0.09sec	0	528	7628
str	7.84sec	0.09sec	0	548	7110

test10/test_10.20_5_0.2_3_0.3_4_1.168.8	nlp
25 lines	2130 bytes
head (2,3,0)	body (3,4,1)
estimated blow-up	168.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1552.51sec	5.22sec	0	7573	212210
htl	6.10sec	0.09sec	0	514	7631
str	7.80sec	0.01sec	0	534	7009

test10/test_10.20_5_0.2_3_0.4_2_0.56.0	nlp
25 lines	1568 bytes
head (2,3,0)	body (4,2,0)
estimated blow-up	56.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	133.58sec	0.57sec	0	2138	53464
htl	4.49sec	0.07sec	0	433	6102
str	5.86sec	0.01sec	0	451	5830

test10/test_10.20_5_0.2_3_0.4_2_1.61.3	nlp
25 lines	1774 bytes
head (2,3,0)	body (4,2,1)
estimated blow-up	61.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	190.57sec	0.46sec	0	2558	79292
htl	5.03sec	0.01sec	0	462	6803
str	6.60sec	0.01sec	0	480	6285

test10/test_10.20_5_0.2_3_0.4_3_0.224.5	nlp
25 lines	2049 bytes
head (2,3,0)	body (4,3,0)
estimated blow-up	224.5

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3295.68sec	5.19sec	0	10411	288620
htl	6.45sec	0.07sec	0	542	7947
str	8.21sec	0.01sec	0	560	7306

test10/test_10.20_5_0.2_3_0.4_3_1.249.1	nlp
25 lines	2138 bytes
head (2,3,0)	body (4,3,1)
estimated blow-up	249.1

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2723.80sec	10.16sec	0	9883	309766
htl	6.35sec	0.09sec	0	540	8008
str	8.61sec	0.08sec	0	558	7370

test10/test_10.20_5_0.2_3_0.4_4_0.588.4	nlp
25 lines	2454 bytes
head (2,3,0)	body (4,4,0)
estimated blow-up	588.4

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	26791.38sec	65.71sec	0	28103	794035
htl	7.54sec	0.09sec	0	609	9095
str	10.44sec	0.01sec	0	629	8251

test10/test_10.20_5_0.2_3_0.4_4_1.658.4	nlp
25 lines	2622 bytes
head (2,3,0)	body (4,4,1)
estimated blow-up	658.4

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	29049.52sec	76.89sec	0	30247	992773
htl	7.75sec	0.09sec	0	614	9424
str	10.98sec	0.01sec	0	634	8451

test10/test_10.20_5_0.2_4_0.1_2_0.8.6	nlp
25 lines	1152 bytes
head (2,4,0)	body (1,2,0)
estimated blow-up	8.6

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	11.91sec	0.08sec	0	605	9747
htl	3.25sec	0.08sec	0	337	4761
str	4.18sec	0.08sec	0	351	4360

test10/test_10.20_5_0.2_4_0.1_2_1.10.4	nlp
25 lines	1334 bytes
head (2,4,0)	body (1,2,1)
estimated blow-up	10.4

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	14.51sec	0.02sec	0	658	12762
htl	3.69sec	0.01sec	0	347	5066
str	4.94sec	0.08sec	0	367	4656

test10/test_10.20_5_0.2_4_0.1_3_0.11.6	nlp
25 lines	1235 bytes
head (2,4,0)	body (1,3,0)
estimated blow-up	11.6

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	19.19sec	0.06sec	0	777	12908
htl	3.54sec	0.08sec	0	354	5006
str	4.26sec	0.01sec	0	370	4638

test10/test_10.20_5_0.2_4_0.1_3_1.14.2	nlp
25 lines	1384 bytes
head (2,4,0)	body (1,3,1)
estimated blow-up	14.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	21.94sec	0.11sec	0	830	16239
htl	3.70sec	0.08sec	0	357	5171
str	4.63sec	0.06sec	0	375	4721

test10/test_10.20_5_0.2_4_0.1_4_0.14.2	nlp
25 lines	1411 bytes
head (2,4,0)	body (1,4,0)
estimated blow-up	14.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	34.00sec	0.11sec	0	1061	17814
htl	3.90sec	0.08sec	0	378	5523
str	4.85sec	0.01sec	0	396	4954

test10/test_10.20_5_0.2_4_0.1_4_1.17.6	nlp
25 lines	1545 bytes
head (2,4,0)	body (1,4,1)
estimated blow-up	17.6

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	31.49sec	0.03sec	0	1015	19881
htl	4.27sec	0.01sec	0	371	5492
str	4.83sec	0.01sec	0	391	4998

test10/test_10.20_5_0.2_4_0.2_2_0.18.8	nlp
25 lines	1453 bytes
head (2,4,0)	body (2,2,0)
estimated blow-up	18.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	37.65sec	0.03sec	0	1124	22424
htl	4.13sec	0.01sec	0	390	5581
str	5.14sec	0.08sec	0	402	5044

test10/test_10.20_5_0.2_4_0.2_2_1.21.8	nlp
25 lines	1522 bytes
head (2,4,0)	body (2,2,1)
estimated blow-up	21.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	40.05sec	0.20sec	0	1139	27289
htl	4.29sec	0.01sec	0	394	5680
str	5.55sec	0.08sec	0	414	5309

test10/test_10.20_5_0.2_4_0.2_3_0.36.5	nlp
25 lines	1594 bytes
head (2,4,0)	body (2,3,0)
estimated blow-up	36.5

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	151.29sec	0.40sec	0	2338	46180
htl	4.87sec	0.01sec	0	438	6240
str	6.05sec	0.09sec	0	458	5796

test10/test_10.20_5_0.2_4_0.2_3_1.42.8	nlp
25 lines	1648 bytes
head (2,4,0)	body (2,3,1)
estimated blow-up	42.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	132.32sec	0.35sec	0	2143	49177
htl	4.54sec	0.04sec	0	426	6115
str	5.49sec	0.09sec	0	444	5684

test10/test_10.20_5_0.2_4_0.2_4_0.57.3	nlp
25 lines	1834 bytes
head (2,4,0)	body (2,4,0)
estimated blow-up	57.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	402.65sec	0.61sec	0	3845	78166
htl	5.01sec	0.05sec	0	469	6847
str	6.62sec	0.08sec	0	487	6212

test10/test_10.20_5_0.2_4_0.2_4_1.67.7	nlp
25 lines	1847 bytes
head (2,4,0)	body (2,4,1)
estimated blow-up	67.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	339.84sec	1.28sec	0	3501	79445
htl	5.21sec	0.04sec	0	462	6684
str	6.63sec	0.10sec	0	480	6164

test10/test_10.20_5_0.2_4_0.3_2_0.40.5	nlp
25 lines	1687 bytes
head (2,4,0)	body (3,2,0)
estimated blow-up	40.5

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	141.21sec	0.42sec	0	2236	52262
htl	4.90sec	0.06sec	0	444	6411
str	6.33sec	0.09sec	0	464	5965

test10/test_10.20_5_0.2_4_0.3_2_1.45.6	nlp
25 lines	1776 bytes
head (2,4,0)	body (3,2,1)
estimated blow-up	45.6

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	135.10sec	0.53sec	0	2147	58404
htl	4.75sec	0.08sec	0	450	6580
str	6.13sec	0.08sec	0	468	6028

test10/test_10.20_5_0.2_4_0.3_3_0.114.1	nlp
25 lines	2014 bytes
head (2,4,0)	body (3,3,0)
estimated blow-up	114.1

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	987.92sec	3.04sec	0	6040	146669
htl	5.61sec	0.05sec	0	512	7570
str	7.78sec	0.01sec	0	532	6879

test10/test_10.20_5_0.2_4_0.3_3_1.130.0	nlp
25 lines	2096 bytes
head (2,4,0)	body (3,3,1)
estimated blow-up	130.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1010.56sec	2.56sec	0	6086	167507
htl	6.01sec	0.13sec	0	507	7550
str	7.70sec	0.01sec	0	527	6895

test10/test_10.20_5_0.2_4_0.3_4_0.233.0	nlp
25 lines	2277 bytes
head (2,4,0)	body (3,4,0)
estimated blow-up	233.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	4692.77sec	8.12sec	0	12854	314020
htl	7.01sec	0.01sec	0	558	8323
str	8.98sec	0.09sec	0	578	7519

test10/test_10.20_5_0.2_4_0.3_4_1.267.4	nlp
25 lines	2316 bytes
head (2,4,0)	body (3,4,1)
estimated blow-up	267.4

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5978.92sec	12.24sec	0	14476	391077
htl	6.72sec	0.09sec	0	565	8402
str	9.46sec	0.01sec	0	585	7671

test10/test_10.20_5_0.2_4_0.4_2_0.85.7	nlp
25 lines	1920 bytes
head (2,4,0)	body (4,2,0)
estimated blow-up	85.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	451.05sec	2.28sec	0	4017	111185
htl	5.62sec	0.01sec	0	495	7277
str	7.55sec	0.01sec	0	515	6712

test10/test_10.20_5_0.2_4_0.4_2_1.94.7	nlp
25 lines	2007 bytes
head (2,4,0)	body (4,2,1)
estimated blow-up	94.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	487.81sec	1.59sec	0	4186	131647
htl	5.59sec	0.03sec	0	506	7494
str	7.71sec	0.07sec	0	526	6944

test10/test_10.20_5_0.2_4_0.4_3_0.353.8	nlp
25 lines	2324 bytes
head (2,4,0)	body (4,3,0)
estimated blow-up	353.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	8388.67sec	21.93sec	0	17055	481192
htl	6.99sec	0.09sec	0	582	8727
str	9.67sec	0.01sec	0	600	7871

test10/test_10.20_5_0.2_4_0.4_3_1.394.7	nlp
25 lines	2288 bytes
head (2,4,0)	body (4,3,1)
estimated blow-up	394.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	8735.98sec	14.24sec	0	17457	511856
htl	6.92sec	0.09sec	0	574	8443
str	8.45sec	0.04sec	0	592	7811

test10/test_10.20_5_0.2_4_0.4_4_0.945.5	nlp
25 lines	2636 bytes
head (2,4,0)	body (4,4,0)
estimated blow-up	945.5

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	96133.37sec	92.36sec	0	53385	1501552
htl	8.61sec	0.01sec	0	660	9847
str	12.08sec	0.09sec	0	680	8971

test10/test_10.20_5_0.2_4_0.4_4_1.1062.2	nlp
25 lines	2717 bytes
head (2,4,0)	body (4,4,1)
estimated blow-up	1062.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	84082.35sec	120.30sec	0	49829	1584675
htl	8.75sec	0.01sec	0	658	9862
str	12.00sec	0.01sec	0	678	8990

test10/test_10.20_5_0.3_2_0.1_2_0.7.3	nlp
25 lines	975 bytes
head (3,2,0)	body (1,2,0)
estimated blow-up	7.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5.98sec	0.12sec	0	354	7139
htl	3.08sec	0.01sec	0	304	4254
str	3.39sec	0.01sec	0	318	3939

test10/test_10.20_5_0.3_2_0.1_2_1.8.1	nlp
25 lines	1053 bytes
head (3,2,0)	body (1,2,1)
estimated blow-up	8.1

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5.42sec	0.10sec	5	334	7473
htl	3.19sec	0.09sec	5	296	4136
str	3.23sec	0.08sec	5	314	3978

test10/test_10.20_5_0.3_2_0.1_3_0.9.7	nlp
25 lines	1022 bytes
head (3,2,0)	body (1,3,0)
estimated blow-up	9.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	8.32sec	0.09sec	1	462	8974
htl	3.55sec	0.01sec	1	324	4473
str	3.82sec	0.09sec	1	340	4231

test10/test_10.20_5_0.3_2_0.1_3_1.10.9	nlp
25 lines	1098 bytes
head (3,2,0)	body (1,3,1)
estimated blow-up	10.9

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	9.20sec	0.09sec	0	482	10822
htl	3.79sec	0.08sec	0	328	4553
str	3.93sec	0.01sec	0	340	4247

test10/test_10.20_5_0.3_2_0.1_4_0.11.6	nlp
25 lines	1212 bytes
head (3,2,0)	body (1,4,0)
estimated blow-up	11.6

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	12.22sec	0.13sec	0	598	12369
htl	3.62sec	0.10sec	0	353	5085
str	4.54sec	0.07sec	0	371	4675

test10/test_10.20_5_0.3_2_0.1_4_1.13.2	nlp
25 lines	1303 bytes
head (3,2,0)	body (1,4,1)
estimated blow-up	13.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	13.96sec	0.09sec	0	634	15125
htl	3.98sec	0.01sec	0	346	4987
str	4.37sec	0.09sec	0	366	4685

test10/test_10.20_5_0.3_2_0.2_2_0.14.4	nlp
25 lines	1214 bytes
head (3,2,0)	body (2,2,0)
estimated blow-up	14.4

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	12.54sec	0.11sec	2	578	13651
htl	3.79sec	0.09sec	2	354	4964
str	4.85sec	0.09sec	2	370	4682

test10/test_10.20_5_0.3_2_0.2_2_1.15.8	nlp
25 lines	1286 bytes
head (3,2,0)	body (2,2,1)
estimated blow-up	15.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	15.65sec	0.11sec	7	664	17595
htl	3.69sec	0.09sec	7	344	4873
str	4.52sec	0.08sec	7	360	4612

test10/test_10.20_5_0.3_2_0.2_3_0.27.1	nlp
25 lines	1374 bytes
head (3,2,0)	body (2,3,0)
estimated blow-up	27.1

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	46.81sec	0.11sec	1	1238	28953
htl	4.36sec	0.08sec	1	394	5567
str	4.94sec	0.01sec	1	408	5176

test10/test_10.20_5_0.3_2_0.2_3_1.30.2	nlp
25 lines	1469 bytes
head (3,2,0)	body (2,3,1)
estimated blow-up	30.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	44.83sec	0.22sec	2	1190	33675
htl	4.13sec	0.01sec	2	398	5693
str	4.82sec	0.08sec	2	414	5348

test10/test_10.20_5_0.3_2_0.2_4_0.41.6	nlp
25 lines	1566 bytes
head (3,2,0)	body (2,4,0)
estimated blow-up	41.6

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	125.94sec	0.34sec	0	2078	50099
htl	4.73sec	0.08sec	0	439	6272
str	6.15sec	0.01sec	0	457	5854

test10/test_10.20_5_0.3_2_0.2_4_1.46.9	nlp
25 lines	1688 bytes
head (3,2,0)	body (2,4,1)
estimated blow-up	46.9

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	99.74sec	0.23sec	1	1814	49607
htl	5.29sec	0.09sec	1	433	6334
str	6.01sec	0.01sec	1	451	5856

test10/test_10.20_5_0.3_2_0.3_2_0.28.8	nlp
25 lines	1424 bytes
head (3,2,0)	body (3,2,0)
estimated blow-up	28.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	36.92sec	0.21sec	1	1062	28969
htl	4.46sec	0.09sec	1	408	5813
str	4.88sec	0.05sec	1	422	5428

test10/test_10.20_5_0.3_2_0.3_2_1.31.3	nlp
25 lines	1469 bytes
head (3,2,0)	body (3,2,1)
estimated blow-up	31.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	43.71sec	0.07sec	4	1176	35248
htl	4.16sec	0.11sec	4	405	5794
str	5.22sec	0.09sec	4	421	5451

test10/test_10.20_5_0.3_2_0.3_3_0.78.9	nlp
25 lines	1699 bytes
head (3,2,0)	body (3,3,0)
estimated blow-up	78.9

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	369.92sec	0.72sec	0	3630	101163
htl	5.18sec	0.09sec	0	483	6940
str	6.92sec	0.08sec	0	503	6558

test10/test_10.20_5_0.3_2_0.3_3_1.86.7	nlp
25 lines	1786 bytes
head (3,2,0)	body (3,3,1)
estimated blow-up	86.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	374.07sec	0.73sec	0	3621	111687
htl	5.65sec	0.08sec	0	486	7075
str	6.91sec	0.09sec	0	504	6604

test10/test_10.20_5_0.3_2_0.3_4_0.157.8	nlp
25 lines	2050 bytes
head (3,2,0)	body (3,4,0)
estimated blow-up	157.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1425.14sec	2.47sec	0	7129	198781
htl	6.34sec	0.09sec	0	540	7978
str	8.82sec	0.06sec	0	560	7307

test10/test_10.20_5_0.3_2_0.3_4_1.175.1	nlp
25 lines	2117 bytes
head (3,2,0)	body (3,4,1)
estimated blow-up	175.1

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1353.46sec	1.96sec	0	7016	225081
htl	5.69sec	0.02sec	0	520	7795
str	8.38sec	0.10sec	0	538	7100

test10/test_10.20_5_0.3_2_0.4_2_0.58.1	nlp
25 lines	1681 bytes
head (3,2,0)	body (4,2,0)
estimated blow-up	58.1

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	150.12sec	0.45sec	1	2238	70799
htl	5.06sec	0.01sec	1	458	6679
str	6.73sec	0.04sec	1	476	6201

test10/test_10.20_5_0.3_2_0.4_2_1.62.4	nlp
25 lines	1770 bytes
head (3,2,0)	body (4,2,1)
estimated blow-up	62.4

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	131.05sec	0.58sec	9	2058	73250
htl	5.26sec	0.11sec	9	465	6844
str	6.92sec	0.10sec	9	485	6394

test10/test_10.20_5_0.3_2_0.4_3_0.232.9	nlp
25 lines	2022 bytes
head (3,2,0)	body (4,3,0)
estimated blow-up	232.9

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2669.63sec	3.90sec	0	9991	307346
htl	7.06sec	0.02sec	0	567	8284
str	8.60sec	0.03sec	0	587	7711

test10/test_10.20_5_0.3_2_0.4_3_1.253.1	nlp
25 lines	2252 bytes
head (3,2,0)	body (4,3,1)
estimated blow-up	253.1

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3103.20sec	4.56sec	3	10357	381331
htl	6.62sec	0.10sec	3	560	8542
str	9.37sec	0.02sec	3	578	7690

test10/test_10.20_5_0.3_2_0.4_4_0.610.2	nlp
25 lines	2437 bytes
head (3,2,0)	body (4,4,0)
estimated blow-up	610.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	21870.78sec	15.29sec	1	26554	862125
htl	7.66sec	0.06sec	1	622	9328
str	10.60sec	0.02sec	1	640	8464

test10/test_10.20_5_0.3_2_0.4_4_1.668.9	nlp
25 lines	2576 bytes
head (3,2,0)	body (4,4,1)
estimated blow-up	668.9

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	22021.12sec	21.30sec	0	27418	961837
htl	7.99sec	0.01sec	0	623	9471
str	11.27sec	0.01sec	0	643	8558

test10/test_10.20_5_0.3_3_0.1_2_0.17.8	nlp
25 lines	1316 bytes
head (3,3,0)	body (1,2,0)
estimated blow-up	17.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	27.61sec	0.04sec	0	949	19138
htl	4.03sec	0.08sec	0	386	5515
str	4.88sec	0.01sec	0	406	5140

test10/test_10.20_5_0.3_3_0.1_2_1.20.3	nlp
25 lines	1496 bytes
head (3,3,0)	body (1,2,1)
estimated blow-up	20.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	32.93sec	0.08sec	0	1018	24900
htl	4.46sec	0.01sec	0	393	5768
str	5.30sec	0.08sec	0	413	5333

test10/test_10.20_5_0.3_3_0.1_3_0.24.1	nlp
25 lines	1390 bytes
head (3,3,0)	body (1,3,0)
estimated blow-up	24.1

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	58.49sec	0.11sec	0	1418	28902
htl	4.47sec	0.01sec	0	412	5871
str	5.35sec	0.08sec	0	432	5484

test10/test_10.20_5_0.3_3_0.1_3_1.27.8	nlp
25 lines	1619 bytes
head (3,3,0)	body (1,3,1)
estimated blow-up	27.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	60.95sec	0.05sec	0	1431	34466
htl	4.48sec	0.01sec	0	413	6145
str	6.12sec	0.04sec	0	431	5513

test10/test_10.20_5_0.3_3_0.1_4_0.29.6	nlp
25 lines	1413 bytes
head (3,3,0)	body (1,4,0)
estimated blow-up	29.6

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	109.87sec	0.08sec	0	1983	38590
htl	4.82sec	0.08sec	0	431	6050
str	5.84sec	0.08sec	0	447	5665

test10/test_10.20_5_0.3_3_0.1_4_1.34.4	nlp
25 lines	1585 bytes
head (3,3,0)	body (1,4,1)
estimated blow-up	34.4

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	99.27sec	0.05sec	0	1842	43672
htl	5.02sec	0.08sec	0	427	6157
str	5.60sec	0.08sec	0	447	5746

test10/test_10.20_5_0.3_3_0.2_2_0.36.7	nlp
25 lines	1528 bytes
head (3,3,0)	body (2,2,0)
estimated blow-up	36.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	83.95sec	0.21sec	0	1690	38439
htl	4.88sec	0.08sec	0	445	6332
str	5.80sec	0.04sec	0	465	5975

test10/test_10.20_5_0.3_3_0.2_2_1.41.1	nlp
25 lines	1596 bytes
head (3,3,0)	body (2,2,1)
estimated blow-up	41.1

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	92.71sec	0.23sec	0	1749	45944
htl	4.55sec	0.08sec	0	444	6356
str	5.66sec	0.02sec	0	462	5988

test10/test_10.20_5_0.3_3_0.2_3_0.71.6	nlp
25 lines	1667 bytes
head (3,3,0)	body (2,3,0)
estimated blow-up	71.6

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	322.43sec	0.58sec	0	3405	77599
htl	5.40sec	0.09sec	0	473	6713
str	6.35sec	0.01sec	0	493	6375

test10/test_10.20_5_0.3_3_0.2_3_1.81.0	nlp
25 lines	1837 bytes
head (3,3,0)	body (2,3,1)
estimated blow-up	81.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	358.87sec	0.57sec	0	3562	96546
htl	5.16sec	0.07sec	0	480	7041
str	6.93sec	0.08sec	0	498	6499

test10/test_10.20_5_0.3_3_0.2_4_0.113.2	nlp
25 lines	2036 bytes
head (3,3,0)	body (2,4,0)
estimated blow-up	113.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1275.08sec	1.11sec	0	6908	171267
htl	5.79sec	0.09sec	0	528	7874
str	8.26sec	0.01sec	0	548	7161

test10/test_10.20_5_0.3_3_0.2_4_1.129.0	nlp
25 lines	1938 bytes
head (3,3,0)	body (2,4,1)
estimated blow-up	129.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1110.34sec	1.44sec	0	6355	168456
htl	6.36sec	0.05sec	0	517	7472
str	7.54sec	0.09sec	0	535	6960

test10/test_10.20_5_0.3_3_0.3_2_0.76.3	nlp
25 lines	1748 bytes
head (3,3,0)	body (3,2,0)
estimated blow-up	76.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	366.23sec	0.58sec	0	3619	97497
htl	5.59sec	0.09sec	0	487	7053
str	7.32sec	0.04sec	0	507	6577

test10/test_10.20_5_0.3_3_0.3_2_1.83.9	nlp
25 lines	1934 bytes
head (3,3,0)	body (3,2,1)
estimated blow-up	83.9

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	323.89sec	0.59sec	0	3350	105114
htl	5.55sec	0.09sec	0	494	7352
str	7.52sec	0.04sec	0	514	6787

test10/test_10.20_5_0.3_3_0.3_3_0.217.0	nlp
25 lines	2075 bytes
head (3,3,0)	body (3,3,0)
estimated blow-up	217.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3145.33sec	6.95sec	1	10361	288548
htl	6.46sec	0.05sec	1	559	8204
str	8.73sec	0.08sec	1	579	7556

test10/test_10.20_5_0.3_3_0.3_3_1.241.0	nlp
25 lines	2163 bytes
head (3,3,0)	body (3,3,1)
estimated blow-up	241.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3508.67sec	2.83sec	0	11227	353673
htl	6.97sec	0.04sec	0	568	8447
str	9.25sec	0.06sec	0	588	7753

test10/test_10.20_5_0.3_3_0.3_4_0.446.8	nlp
25 lines	2251 bytes
head (3,3,0)	body (3,4,0)
estimated blow-up	446.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	14406.76sec	8.09sec	0	22559	615793
htl	7.35sec	0.01sec	0	614	8948
str	9.60sec	0.01sec	0	632	8266

test10/test_10.20_5_0.3_3_0.3_4_1.499.6	nlp
25 lines	2454 bytes
head (3,3,0)	body (3,4,1)
estimated blow-up	499.6

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	21086.61sec	9.84sec	0	25777	837288
htl	7.84sec	0.05sec	0	621	9352
str	10.87sec	0.10sec	0	641	8498

test10/test_10.20_5_0.3_3_0.4_2_0.158.1	nlp
25 lines	2070 bytes
head (3,3,0)	body (4,2,0)
estimated blow-up	158.1

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1308.44sec	2.62sec	0	6876	216574
htl	6.51sec	0.10sec	0	553	8235
str	9.20sec	0.09sec	0	573	7524

test10/test_10.20_5_0.3_3_0.4_2_1.171.6	nlp
25 lines	2079 bytes
head (3,3,0)	body (4,2,1)
estimated blow-up	171.6

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1269.99sec	3.51sec	0	6776	225604
htl	6.28sec	0.08sec	0	530	7851
str	8.24sec	0.01sec	0	550	7285

test10/test_10.20_5_0.3_3_0.4_3_0.659.3	nlp
25 lines	2363 bytes
head (3,3,0)	body (4,3,0)
estimated blow-up	659.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	23108.06sec	24.79sec	0	28210	869961
htl	7.70sec	0.09sec	0	629	9293
str	10.60sec	0.01sec	0	649	8556

test10/test_10.20_5_0.3_3_0.4_3_1.722.3	nlp
25 lines	2494 bytes
head (3,3,0)	body (4,3,1)
estimated blow-up	722.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	27441.55sec	14.65sec	0	31405	1099411
htl	7.71sec	0.01sec	0	645	9709
str	11.55sec	0.01sec	0	665	8873

test10/test_10.20_5_0.3_3_0.4_4_0.1776.3	nlp
25 lines	2736 bytes
head (3,3,0)	body (4,4,0)
estimated blow-up	1776.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	228928.48sec	197.31sec	0	86043	2727357
htl	9.82sec	0.01sec	0	712	10663
str	12.93sec	0.09sec	0	732	9683

test10/test_10.20_5_0.3_3_0.4_4_1.1958.0	nlp
25 lines	2823 bytes
head (3,3,0)	body (4,4,1)
estimated blow-up	1958.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	207088.66sec	146.76sec	0	75533	2660612
htl	9.25sec	0.01sec	0	696	10529
str	12.57sec	0.01sec	0	716	9582

test10/test_10.20_5_0.3_4_0.1_2_0.32.9	nlp
25 lines	1650 bytes
head (3,4,0)	body (1,2,0)
estimated blow-up	32.9

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	127.20sec	0.22sec	0	2128	42239
htl	4.55sec	0.01sec	0	456	6595
str	6.49sec	0.08sec	0	474	6059

test10/test_10.20_5_0.3_4_0.1_2_1.38.2	nlp
25 lines	1793 bytes
head (3,4,0)	body (1,2,1)
estimated blow-up	38.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	156.96sec	0.39sec	0	2353	55692
htl	4.88sec	0.01sec	0	463	6811
str	6.61sec	0.08sec	0	481	6230

test10/test_10.20_5_0.3_4_0.1_3_0.45.3	nlp
25 lines	1793 bytes
head (3,4,0)	body (1,3,0)
estimated blow-up	45.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	319.41sec	0.28sec	0	3432	69454
htl	5.60sec	0.08sec	0	482	7070
str	6.76sec	0.09sec	0	502	6471

test10/test_10.20_5_0.3_4_0.1_3_1.53.0	nlp
25 lines	1927 bytes
head (3,4,0)	body (1,3,1)
estimated blow-up	53.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	320.87sec	0.46sec	0	3211	78899
htl	5.38sec	0.01sec	0	475	7053
str	7.46sec	0.01sec	0	495	6417

test10/test_10.20_5_0.3_4_0.1_4_0.56.4	nlp
25 lines	1857 bytes
head (3,4,0)	body (1,4,0)
estimated blow-up	56.4

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	462.20sec	0.57sec	0	4136	85810
htl	5.70sec	0.01sec	0	497	7301
str	7.62sec	0.09sec	0	515	6611

test10/test_10.20_5_0.3_4_0.1_4_1.66.4	nlp
25 lines	1987 bytes
head (3,4,0)	body (1,4,1)
estimated blow-up	66.4

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	451.97sec	0.72sec	0	4050	99167
htl	5.67sec	0.01sec	0	493	7300
str	7.74sec	0.01sec	0	513	6645

test10/test_10.20_5_0.3_4_0.2_2_0.69.8	nlp
25 lines	1925 bytes
head (3,4,0)	body (2,2,0)
estimated blow-up	69.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	462.95sec	0.74sec	0	4119	97012
htl	6.01sec	0.08sec	0	514	7538
str	7.83sec	0.05sec	0	534	6934

test10/test_10.20_5_0.3_4_0.2_2_1.79.2	nlp
25 lines	1967 bytes
head (3,4,0)	body (2,2,1)
estimated blow-up	79.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	473.37sec	0.94sec	0	4123	112068
htl	5.59sec	0.01sec	0	516	7598
str	7.94sec	0.01sec	0	534	6961

test10/test_10.20_5_0.3_4_0.2_3_0.139.4	nlp
25 lines	2103 bytes
head (3,4,0)	body (2,3,0)
estimated blow-up	139.4

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2127.71sec	1.95sec	0	8728	208628
htl	6.85sec	0.10sec	0	557	8211
str	8.89sec	0.01sec	0	575	7489

test10/test_10.20_5_0.3_4_0.2_3_1.159.2	nlp
25 lines	2091 bytes
head (3,4,0)	body (2,3,1)
estimated blow-up	159.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1907.11sec	1.75sec	0	8434	224833
htl	6.15sec	0.01sec	0	548	7988
str	8.87sec	0.10sec	0	568	7422

test10/test_10.20_5_0.3_4_0.2_4_0.224.6	nlp
25 lines	2462 bytes
head (3,4,0)	body (2,4,0)
estimated blow-up	224.6

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5283.26sec	4.00sec	0	14110	361233
htl	7.38sec	0.10sec	0	588	8995
str	10.31sec	0.01sec	0	608	8010

test10/test_10.20_5_0.3_4_0.2_4_1.258.0	nlp
25 lines	2404 bytes
head (3,4,0)	body (2,4,1)
estimated blow-up	258.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	4696.96sec	3.69sec	0	12836	362296
htl	7.00sec	0.10sec	0	583	8738
str	9.73sec	0.09sec	0	603	7937

test10/test_10.20_5_0.3_4_0.3_2_0.148.5	nlp
25 lines	2148 bytes
head (3,4,0)	body (3,2,0)
estimated blow-up	148.5

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1890.88sec	2.44sec	0	8146	224969
htl	7.16sec	0.01sec	0	570	8421
str	8.90sec	0.01sec	0	590	7742

test10/test_10.20_5_0.3_4_0.3_2_1.165.0	nlp
25 lines	2198 bytes
head (3,4,0)	body (3,2,1)
estimated blow-up	165.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1461.35sec	3.47sec	1	7332	223535
htl	6.59sec	0.01sec	1	546	8126
str	8.98sec	0.10sec	1	564	7437

test10/test_10.20_5_0.3_4_0.3_3_0.434.0	nlp
25 lines	2508 bytes
head (3,4,0)	body (3,3,0)
estimated blow-up	434.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	17010.26sec	23.83sec	0	24304	703196
htl	8.20sec	0.09sec	0	634	9636
str	11.41sec	0.05sec	0	654	8627

test10/test_10.20_5_0.3_4_0.3_3_1.485.7	nlp
25 lines	2510 bytes
head (3,4,0)	body (3,3,1)
estimated blow-up	485.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	13656.86sec	7.56sec	0	21081	684345
htl	7.46sec	0.03sec	0	614	9243
str	10.96sec	0.09sec	0	634	8369

test10/test_10.20_5_0.3_4_0.3_4_0.912.0	nlp
25 lines	2616 bytes
head (3,4,0)	body (3,4,0)
estimated blow-up	912.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	93366.44sec	51.63sec	0	54743	1516624
htl	8.73sec	0.05sec	0	682	10096
str	11.74sec	0.01sec	0	700	9186

test10/test_10.20_5_0.3_4_0.3_4_1.1025.7	nlp
25 lines	2829 bytes
head (3,4,0)	body (3,4,1)
estimated blow-up	1025.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	61397.29sec	112.27sec	0	47330	1554743
htl	8.58sec	0.01sec	0	671	10219
str	12.94sec	0.01sec	0	691	9179

test10/test_10.20_5_0.3_4_0.4_2_0.313.7	nlp
25 lines	2367 bytes
head (3,4,0)	body (4,2,0)
estimated blow-up	313.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5259.02sec	5.17sec	0	13185	426328
htl	7.38sec	0.08sec	0	605	9047
str	10.65sec	0.08sec	0	623	8205

test10/test_10.20_5_0.3_4_0.4_2_1.343.3	nlp
25 lines	2500 bytes
head (3,4,0)	body (4,2,1)
estimated blow-up	343.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	7758.74sec	12.00sec	0	16117	578648
htl	8.14sec	0.01sec	0	629	9536
str	11.10sec	0.09sec	0	649	8646

test10/test_10.20_5_0.3_4_0.4_3_0.1345.7	nlp
25 lines	2754 bytes
head (3,4,0)	body (4,3,0)
estimated blow-up	1345.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	141892.88sec	99.00sec	0	68096	2185371
htl	9.18sec	0.01sec	0	708	10673
str	13.66sec	0.01sec	0	728	9651

test10/test_10.20_5_0.3_4_0.4_3_1.1482.8	nlp
25 lines	2798 bytes
head (3,4,0)	body (4,3,1)
estimated blow-up	1482.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	136160.42sec	143.70sec	0	65941	2313218
htl	9.50sec	0.07sec	0	704	10586
str	12.81sec	0.09sec	0	722	9632

test10/test_10.20_5_0.4_2_0.1_2_0.14.6	nlp
25 lines	1225 bytes
head (4,2,0)	body (1,2,0)
estimated blow-up	14.6

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	16.16sec	0.10sec	2	670	16523
htl	3.92sec	0.01sec	2	363	5197
str	5.15sec	0.09sec	2	381	4850

test10/test_10.20_5_0.4_2_0.1_2_1.16.0	nlp
25 lines	1244 bytes
head (4,2,0)	body (1,2,1)
estimated blow-up	16.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	14.83sec	0.16sec	16	628	15923
htl	3.91sec	0.10sec	16	357	5037
str	4.36sec	0.05sec	16	367	4674

test10/test_10.20_5_0.4_2_0.1_3_0.19.6	nlp
25 lines	1236 bytes
head (4,2,0)	body (1,3,0)
estimated blow-up	19.6

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	28.11sec	0.19sec	0	950	21987
htl	3.97sec	0.01sec	0	389	5473
str	5.12sec	0.10sec	0	405	5171

test10/test_10.20_5_0.4_2_0.1_3_1.21.7	nlp
25 lines	1401 bytes
head (4,2,0)	body (1,3,1)
estimated blow-up	21.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	30.01sec	0.21sec	3	958	25609
htl	3.72sec	0.09sec	3	357	5132
str	4.98sec	0.02sec	3	377	4869

test10/test_10.20_5_0.4_2_0.1_4_0.24.0	nlp
25 lines	1378 bytes
head (4,2,0)	body (1,4,0)
estimated blow-up	24.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	45.94sec	0.05sec	1	1230	29599
htl	4.55sec	0.10sec	1	409	5836
str	5.21sec	0.04sec	1	427	5500

test10/test_10.20_5_0.4_2_0.1_4_1.26.6	nlp
25 lines	1506 bytes
head (4,2,0)	body (1,4,1)
estimated blow-up	26.6

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	37.27sec	0.22sec	5	1062	29195
htl	4.59sec	0.06sec	5	397	5795
str	5.49sec	0.01sec	5	411	5321

test10/test_10.20_5_0.4_2_0.2_2_0.28.5	nlp
25 lines	1509 bytes
head (4,2,0)	body (2,2,0)
estimated blow-up	28.5

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	36.78sec	0.06sec	3	1062	29320
htl	4.61sec	0.04sec	3	420	6131
str	6.23sec	0.09sec	3	440	5701

test10/test_10.20_5_0.4_2_0.2_2_1.30.9	nlp
25 lines	1557 bytes
head (4,2,0)	body (2,2,1)
estimated blow-up	30.9

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	45.63sec	0.08sec	5	1174	36223
htl	4.88sec	0.02sec	5	409	5982
str	6.41sec	0.02sec	5	427	5595

test10/test_10.20_5_0.4_2_0.2_3_0.55.0	nlp
25 lines	1724 bytes
head (4,2,0)	body (2,3,0)
estimated blow-up	55.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	185.78sec	0.56sec	3	2518	72343
htl	5.33sec	0.08sec	3	457	6768
str	6.87sec	0.07sec	3	477	6215

test10/test_10.20_5_0.4_2_0.2_3_1.60.2	nlp
25 lines	1726 bytes
head (4,2,0)	body (2,3,1)
estimated blow-up	60.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	219.20sec	0.74sec	6	2742	85695
htl	5.64sec	0.03sec	6	475	6976
str	7.18sec	0.03sec	6	495	6499

test10/test_10.20_5_0.4_2_0.2_4_0.86.2	nlp
25 lines	1929 bytes
head (4,2,0)	body (2,4,0)
estimated blow-up	86.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	560.34sec	1.25sec	1	4486	130225
htl	6.08sec	0.05sec	1	499	7475
str	7.65sec	0.01sec	1	519	6810

test10/test_10.20_5_0.4_2_0.2_4_1.95.1	nlp
25 lines	1817 bytes
head (4,2,0)	body (2,4,1)
estimated blow-up	95.1

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	324.97sec	1.29sec	7	3342	98371
htl	5.42sec	0.02sec	7	469	6821
str	6.44sec	0.02sec	7	489	6426

test10/test_10.20_5_0.4_2_0.3_2_0.57.0	nlp
25 lines	1650 bytes
head (4,2,0)	body (3,2,0)
estimated blow-up	57.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	189.06sec	0.76sec	6	2533	80709
htl	5.43sec	0.02sec	6	468	6782
str	6.44sec	0.02sec	6	486	6349

test10/test_10.20_5_0.4_2_0.3_2_1.61.1	nlp
25 lines	1859 bytes
head (4,2,0)	body (3,2,1)
estimated blow-up	61.1

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	147.77sec	0.75sec	5	2198	81091
htl	5.86sec	0.04sec	5	479	7206
str	7.15sec	0.11sec	5	497	6572

test10/test_10.20_5_0.4_2_0.3_3_0.160.0	nlp
25 lines	1857 bytes
head (4,2,0)	body (3,3,0)
estimated blow-up	160.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1485.81sec	2.81sec	5	7348	217645
htl	6.32sec	0.02sec	5	532	7659
str	7.69sec	0.10sec	5	552	7270

test10/test_10.20_5_0.4_2_0.3_3_1.173.6	nlp
25 lines	2027 bytes
head (4,2,0)	body (3,3,1)
estimated blow-up	173.6

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1081.63sec	3.45sec	6	6206	214959
htl	6.18sec	0.21sec	6	524	7778
str	8.43sec	0.06sec	6	544	7253

test10/test_10.20_5_0.4_2_0.3_4_0.326.5	nlp
25 lines	2432 bytes
head (4,2,0)	body (3,4,0)
estimated blow-up	326.5

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	7023.83sec	9.49sec	2	15078	508521
htl	7.54sec	0.02sec	2	585	9089
str	10.94sec	0.02sec	2	603	7991

test10/test_10.20_5_0.4_2_0.3_4_1.356.8	nlp
25 lines	2239 bytes
head (4,2,0)	body (3,4,1)
estimated blow-up	356.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	6413.36sec	9.27sec	7	14538	493833
htl	7.29sec	0.03sec	7	592	8752
str	9.92sec	0.08sec	7	610	8118

test10/test_10.20_5_0.4_2_0.4_2_0.114.6	nlp
25 lines	1834 bytes
head (4,2,0)	body (4,2,0)
estimated blow-up	114.6

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	419.74sec	1.43sec	5	3806	127355
htl	5.83sec	0.10sec	5	503	7287
str	7.77sec	0.02sec	5	523	6888

test10/test_10.20_5_0.4_2_0.4_2_1.122.1	nlp
25 lines	1974 bytes
head (4,2,0)	body (4,2,1)
estimated blow-up	122.1

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	631.95sec	2.45sec	8	4710	178121
htl	6.51sec	0.22sec	8	523	7738
str	8.24sec	0.22sec	8	543	7239

test10/test_10.20_5_0.4_2_0.4_3_0.472.0	nlp
25 lines	2227 bytes
head (4,2,0)	body (4,3,0)
estimated blow-up	472.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	6918.01sec	9.45sec	4	15926	578361
htl	7.86sec	0.11sec	4	597	8821
str	9.72sec	0.11sec	4	615	8159

test10/test_10.20_5_0.4_2_0.4_3_1.507.8	nlp
25 lines	2276 bytes
head (4,2,0)	body (4,3,1)
estimated blow-up	507.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	10141.90sec	18.49sec	7	18526	702727
htl	8.09sec	0.26sec	7	605	8967
str	10.64sec	0.05sec	7	623	8284

test10/test_10.20_5_0.4_2_0.4_4_0.1260.9	nlp
25 lines	2639 bytes
head (4,2,0)	body (4,4,0)
estimated blow-up	1260.9

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	100262.38sec	80.40sec	8	55206	1941785
htl	9.13sec	0.11sec	8	679	10235
str	12.11sec	0.22sec	8	699	9322

test10/test_10.20_5_0.4_2_0.4_4_1.1365.9	nlp
25 lines	2780 bytes
head (4,2,0)	body (4,4,1)
estimated blow-up	1365.9

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	89205.26sec	62.38sec	3	55222	2255375
htl	9.34sec	0.11sec	3	686	10487
str	13.40sec	0.16sec	3	706	9493

test10/test_10.20_5_0.4_3_0.1_2_0.52.4	nlp
25 lines	1565 bytes
head (4,3,0)	body (1,2,0)
estimated blow-up	52.4

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	250.63sec	0.41sec	0	3015	68870
htl	5.50sec	0.01sec	0	491	6977
str	7.17sec	0.07sec	0	509	6585

test10/test_10.20_5_0.4_3_0.1_2_1.58.5	nlp
25 lines	1801 bytes
head (4,3,0)	body (1,2,1)
estimated blow-up	58.5

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	247.93sec	0.57sec	1	2950	81484
htl	5.60sec	0.09sec	1	489	7205
str	7.25sec	0.10sec	1	507	6618

test10/test_10.20_5_0.4_3_0.1_3_0.72.0	nlp
25 lines	1739 bytes
head (4,3,0)	body (1,3,0)
estimated blow-up	72.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	420.48sec	0.57sec	1	3916	91656
htl	5.84sec	0.09sec	1	506	7361
str	7.12sec	0.01sec	1	524	6805

test10/test_10.20_5_0.4_3_0.1_3_1.81.0	nlp
25 lines	1898 bytes
head (4,3,0)	body (1,3,1)
estimated blow-up	81.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	485.98sec	1.07sec	3	4198	112964
htl	5.71sec	0.09sec	3	504	7466
str	7.38sec	0.02sec	3	524	6874

test10/test_10.20_5_0.4_3_0.1_4_0.89.5	nlp
25 lines	1827 bytes
head (4,3,0)	body (1,4,0)
estimated blow-up	89.5

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	756.81sec	0.93sec	0	5300	125156
htl	5.94sec	0.13sec	0	527	7685
str	7.91sec	0.09sec	0	547	7132

test10/test_10.20_5_0.4_3_0.1_4_1.101.2	nlp
25 lines	1948 bytes
head (4,3,0)	body (1,4,1)
estimated blow-up	101.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	806.11sec	0.92sec	0	5449	148464
htl	6.21sec	0.05sec	0	530	7793
str	7.68sec	0.01sec	0	550	7224

test10/test_10.20_5_0.4_3_0.2_2_0.106.5	nlp
25 lines	1937 bytes
head (4,3,0)	body (2,2,0)
estimated blow-up	106.5

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	610.52sec	1.09sec	2	4701	128850
htl	6.11sec	0.10sec	2	531	7809
str	8.41sec	0.02sec	2	551	7205

test10/test_10.20_5_0.4_3_0.2_2_1.117.4	nlp
25 lines	1983 bytes
head (4,3,0)	body (2,2,1)
estimated blow-up	117.4

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	919.32sec	1.22sec	0	5800	174948
htl	6.59sec	0.01sec	0	551	8127
str	8.26sec	0.09sec	0	571	7566

test10/test_10.20_5_0.4_3_0.2_3_0.212.1	nlp
25 lines	2115 bytes
head (4,3,0)	body (2,3,0)
estimated blow-up	212.1

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3042.09sec	2.50sec	1	10449	282885
htl	6.95sec	0.09sec	1	582	8610
str	9.43sec	0.09sec	1	602	7939

test10/test_10.20_5_0.4_3_0.2_3_1.235.6	nlp
25 lines	2193 bytes
head (4,3,0)	body (2,3,1)
estimated blow-up	235.6

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3620.62sec	2.97sec	1	11334	354904
htl	7.30sec	0.09sec	1	587	8758
str	9.10sec	0.05sec	1	607	8069

test10/test_10.20_5_0.4_3_0.2_4_0.341.6	nlp
25 lines	2236 bytes
head (4,3,0)	body (2,4,0)
estimated blow-up	341.6

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	10861.72sec	5.54sec	2	18991	513669
htl	7.47sec	0.07sec	2	616	9079
str	10.34sec	0.02sec	2	636	8398

test10/test_10.20_5_0.4_3_0.2_4_1.381.3	nlp
25 lines	2361 bytes
head (4,3,0)	body (2,4,1)
estimated blow-up	381.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	8382.50sec	5.35sec	0	17121	520543
htl	7.79sec	0.01sec	0	608	9093
str	10.23sec	0.09sec	0	628	8362

test10/test_10.20_5_0.4_3_0.3_2_0.219.8	nlp
25 lines	2162 bytes
head (4,3,0)	body (3,2,0)
estimated blow-up	219.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2578.91sec	2.77sec	0	9652	298263
htl	7.20sec	0.09sec	0	592	8779
str	9.79sec	0.09sec	0	612	8081

test10/test_10.20_5_0.4_3_0.3_2_1.239.3	nlp
25 lines	2241 bytes
head (4,3,0)	body (3,2,1)
estimated blow-up	239.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2321.48sec	3.16sec	0	9121	313275
htl	7.01sec	0.09sec	0	594	8879
str	9.52sec	0.01sec	0	614	8186

test10/test_10.20_5_0.4_3_0.3_3_0.641.2	nlp
25 lines	2354 bytes
head (4,3,0)	body (3,3,0)
estimated blow-up	641.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	26166.51sec	11.64sec	0	29965	951879
htl	8.59sec	0.09sec	0	659	9711
str	11.44sec	0.01sec	0	679	8973

test10/test_10.20_5_0.4_3_0.3_3_1.703.0	nlp
25 lines	2373 bytes
head (4,3,0)	body (3,3,1)
estimated blow-up	703.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	22372.19sec	15.27sec	0	28694	958484
htl	8.48sec	0.13sec	0	658	9642
str	11.01sec	0.08sec	0	678	9021

test10/test_10.20_5_0.4_3_0.3_4_0.1347.0	nlp
25 lines	2776 bytes
head (4,3,0)	body (3,4,0)
estimated blow-up	1347.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	152437.47sec	68.41sec	0	71077	2309513
htl	9.47sec	0.09sec	0	712	10850
str	13.62sec	0.09sec	0	732	9698

test10/test_10.20_5_0.4_3_0.3_4_1.1484.0	nlp
25 lines	2853 bytes
head (4,3,0)	body (3,4,1)
estimated blow-up	1484.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	115058.22sec	115.94sec	0	63337	2291325
htl	9.84sec	0.08sec	0	705	10802
str	13.30sec	0.07sec	0	723	9694

test10/test_10.20_5_0.4_3_0.4_2_0.454.3	nlp
25 lines	2299 bytes
head (4,3,0)	body (4,2,0)
estimated blow-up	454.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	10109.37sec	6.42sec	0	19102	653378
htl	7.98sec	0.10sec	0	635	9393
str	10.92sec	0.09sec	0	653	8634

test10/test_10.20_5_0.4_3_0.4_2_1.489.3	nlp
25 lines	2421 bytes
head (4,3,0)	body (4,2,1)
estimated blow-up	489.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	12495.82sec	11.54sec	1	20631	782400
htl	8.73sec	0.09sec	1	655	9789
str	11.47sec	0.09sec	1	673	9035

test10/test_10.20_5_0.4_3_0.4_3_0.1947.0	nlp
25 lines	2808 bytes
head (4,3,0)	body (4,3,0)
estimated blow-up	1947.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	188231.52sec	144.70sec	0	80271	2932416
htl	10.12sec	0.05sec	0	728	11095
str	14.04sec	0.10sec	0	748	10007

test10/test_10.20_5_0.4_3_0.4_3_1.2111.7	nlp
25 lines	2915 bytes
head (4,3,0)	body (4,3,1)
estimated blow-up	2111.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	247818.96sec	207.54sec	0	88321	3549436
htl	10.26sec	0.09sec	0	739	11344
str	14.13sec	0.09sec	0	759	10168

test10/test_10.20_5_0.4_4_0.1_2_0.128.0	nlp
25 lines	2118 bytes
head (4,4,0)	body (1,2,0)
estimated blow-up	128.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1770.90sec	1.78sec	0	8172	199496
htl	6.61sec	0.08sec	0	575	8543
str	9.28sec	0.02sec	0	595	7798

test10/test_10.20_5_0.4_4_0.1_2_1.144.6	nlp
25 lines	2206 bytes
head (4,4,0)	body (1,2,1)
estimated blow-up	144.6

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1825.08sec	1.93sec	1	8048	222021
htl	6.74sec	0.09sec	1	569	8471
str	9.08sec	0.05sec	1	587	7763

test10/test_10.20_5_0.4_4_0.1_3_0.178.0	nlp
25 lines	2155 bytes
head (4,4,0)	body (1,3,0)
estimated blow-up	178.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3412.85sec	2.64sec	0	11013	260860
htl	7.20sec	0.01sec	0	592	8714
str	9.48sec	0.09sec	0	612	8003

test10/test_10.20_5_0.4_4_0.1_3_1.202.6	nlp
25 lines	2380 bytes
head (4,4,0)	body (1,3,1)
estimated blow-up	202.6

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3824.14sec	2.49sec	0	11745	331111
htl	7.27sec	0.09sec	0	590	8927
str	9.99sec	0.07sec	0	610	8041

test10/test_10.20_5_0.4_4_0.1_4_0.224.0	nlp
25 lines	2319 bytes
head (4,4,0)	body (1,4,0)
estimated blow-up	224.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5963.53sec	3.13sec	0	14780	354529
htl	7.61sec	0.01sec	0	611	9134
str	10.64sec	0.01sec	0	631	8291

test10/test_10.20_5_0.4_4_0.1_4_1.256.0	nlp
25 lines	2425 bytes
head (4,4,0)	body (1,4,1)
estimated blow-up	256.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5671.65sec	2.81sec	0	13980	379649
htl	7.45sec	0.09sec	0	604	9053
str	10.12sec	0.09sec	0	624	8240

test10/test_10.20_5_0.4_4_0.2_2_0.266.6	nlp
25 lines	2358 bytes
head (4,4,0)	body (2,2,0)
estimated blow-up	266.6

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5826.43sec	3.48sec	0	13946	384599
htl	7.27sec	0.01sec	0	619	9219
str	10.48sec	0.01sec	0	639	8444

test10/test_10.20_5_0.4_4_0.2_2_1.296.9	nlp
25 lines	2494 bytes
head (4,4,0)	body (2,2,1)
estimated blow-up	296.9

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	8343.63sec	4.70sec	0	16433	514471
htl	8.37sec	0.13sec	0	635	9614
str	11.67sec	0.07sec	0	653	8649

test10/test_10.20_5_0.4_4_0.2_3_0.541.5	nlp
25 lines	2618 bytes
head (4,4,0)	body (2,3,0)
estimated blow-up	541.5

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	25393.60sec	8.95sec	0	29745	841488
htl	8.38sec	0.10sec	0	668	10142
str	12.54sec	0.08sec	0	688	9121

test10/test_10.20_5_0.4_4_0.2_3_1.606.8	nlp
25 lines	2639 bytes
head (4,4,0)	body (2,3,1)
estimated blow-up	606.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	28467.73sec	15.08sec	0	32634	1008716
htl	8.63sec	0.01sec	0	675	10154
str	12.12sec	0.09sec	0	693	9189

test10/test_10.20_5_0.4_4_0.2_4_0.886.8	nlp
25 lines	2721 bytes
head (4,4,0)	body (2,4,0)
estimated blow-up	886.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	68446.55sec	36.25sec	0	46869	1286524
htl	9.09sec	0.09sec	0	698	10484
str	12.44sec	0.04sec	0	716	9460

test10/test_10.20_5_0.4_4_0.2_4_1.997.5	nlp
25 lines	2910 bytes
head (4,4,0)	body (2,4,1)
estimated blow-up	997.5

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	88643.10sec	87.74sec	0	55862	1764781
htl	9.33sec	0.09sec	0	711	10913
str	13.91sec	0.01sec	0	731	9750

test10/test_10.20_5_0.4_4_0.3_2_0.561.2	nlp
25 lines	2661 bytes
head (4,4,0)	body (3,2,0)
estimated blow-up	561.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	24762.35sec	13.40sec	0	28564	890466
htl	8.97sec	0.09sec	0	680	10354
str	12.59sec	0.09sec	0	700	9298

test10/test_10.20_5_0.4_4_0.3_2_1.616.2	nlp
25 lines	2743 bytes
head (4,4,0)	body (3,2,1)
estimated blow-up	616.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	21287.24sec	11.04sec	0	27486	965578
htl	8.83sec	0.09sec	0	676	10372
str	12.77sec	0.09sec	0	696	9363

test10/test_10.20_5_0.4_4_0.3_3_0.1677.2	nlp
25 lines	2956 bytes
head (4,4,0)	body (3,3,0)
estimated blow-up	1677.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	221877.20sec	143.55sec	0	78185	2466599
htl	9.82sec	0.02sec	0	740	11296
str	15.15sec	0.10sec	0	760	10183

test10/test_10.20_5_0.4_4_0.3_3_1.1851.7	nlp
25 lines	2825 bytes
head (4,4,0)	body (3,3,1)
estimated blow-up	1851.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	230949.90sec	195.01sec	0	86859	2943097
htl	10.46sec	0.02sec	0	750	11159
str	13.95sec	0.09sec	0	768	10259