Individual tests

test35/test_35.20_5_0.1_2_0.1_2_0.1.8	nlp
25 lines	601 bytes
head (1,2,0)	body (1,2,0)
estimated blow-up	1.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	0.88sec	0.01sec	0	106	1603
htl	1.31sec	0.00sec	0	197	2878
str	1.11sec	0.00sec	0	211	2671

test35/test_35.20_5_0.1_2_0.1_2_1.2.2	nlp
25 lines	671 bytes
head (1,2,0)	body (1,2,1)
estimated blow-up	2.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	0.91sec	0.00sec	0	105	1797
htl	1.21sec	0.08sec	0	189	2699
str	0.80sec	0.04sec	0	203	2606

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	0.85sec	0.01sec	0	151	2143
htl	0.87sec	0.01sec	0	226	3308
str	1.62sec	0.03sec	0	246	3187

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1.23sec	0.04sec	0	158	2862
htl	1.49sec	0.01sec	0	223	3366
str	1.86sec	0.00sec	0	249	3325

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1.64sec	0.01sec	0	190	2753
htl	1.74sec	0.02sec	0	249	3750
str	2.31sec	0.00sec	0	267	3497

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2.03sec	0.01sec	0	194	3612
htl	1.93sec	0.03sec	0	244	3798
str	2.47sec	0.00sec	0	274	3683

test35/test_35.20_5_0.1_2_0.2_2_0.3.7	nlp
25 lines	872 bytes
head (1,2,0)	body (2,2,0)
estimated blow-up	3.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2.03sec	0.01sec	0	194	3526
htl	2.01sec	0.01sec	0	272	4043
str	2.53sec	0.04sec	0	292	3822

test35/test_35.20_5_0.1_2_0.2_2_1.4.3	nlp
25 lines	1002 bytes
head (1,2,0)	body (2,2,1)
estimated blow-up	4.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2.52sec	0.01sec	0	198	4401
htl	2.28sec	0.01sec	0	274	4262
str	2.95sec	0.01sec	0	298	4011

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5.50sec	0.04sec	0	394	7170
htl	3.00sec	0.01sec	0	319	4885
str	3.00sec	0.01sec	0	345	4619

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5.72sec	0.14sec	0	388	9008
htl	2.93sec	0.04sec	0	317	5004
str	3.06sec	0.01sec	0	343	4672

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	13.22sec	0.31sec	0	647	11624
htl	3.04sec	0.01sec	0	352	5388
str	3.57sec	0.01sec	0	382	5149

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	13.97sec	0.59sec	0	660	14987
htl	3.46sec	0.04sec	0	352	5578
str	4.07sec	0.08sec	0	376	5126

test35/test_35.20_5_0.1_2_0.3_2_0.7.5	nlp
25 lines	1094 bytes
head (1,2,0)	body (3,2,0)
estimated blow-up	7.5

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5.57sec	0.12sec	0	364	7721
htl	3.27sec	0.01sec	0	328	4848
str	3.41sec	0.01sec	0	354	4734

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5.51sec	0.23sec	0	362	9523
htl	3.29sec	0.01sec	0	334	5025
str	3.58sec	0.08sec	0	360	4924

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	35.22sec	1.73sec	0	1102	25108
htl	3.84sec	0.01sec	0	404	6228
str	4.64sec	0.01sec	0	430	5904

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	34.18sec	1.77sec	0	1078	29697
htl	4.09sec	0.01sec	0	401	6276
str	4.76sec	0.04sec	0	427	5931

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	147.44sec	6.97sec	0	2285	52749
htl	4.97sec	0.01sec	0	460	7119
str	5.60sec	0.01sec	0	480	6641

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	158.21sec	9.77sec	0	2390	64891
htl	5.31sec	0.01sec	0	460	7261
str	5.69sec	0.08sec	0	494	6965

test35/test_35.20_5_0.1_2_0.4_2_0.15.2	nlp
25 lines	1400 bytes
head (1,2,0)	body (4,2,0)
estimated blow-up	15.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	14.75sec	0.56sec	0	673	18580
htl	3.81sec	0.09sec	0	394	5998
str	4.91sec	0.04sec	0	428	5902

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	14.09sec	0.74sec	1	651	20394
htl	4.40sec	22.93sec	1	401	6159
str	4.49sec	171.96sec	1	431	6031

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	235.49sec	15.26sec	0	2932	81189
htl	5.74sec	0.01sec	0	485	7553
str	6.46sec	0.08sec	0	525	7371

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	274.59sec	19.76sec	0	3154	104168
htl	5.08sec	11.48sec	0	479	7547
str	6.44sec	25.18sec	0	517	7296

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2350.08sec	143.50sec	0	9144	242116
htl	6.44sec	0.01sec	0	559	8590
str	7.87sec	0.09sec	0	597	8418

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2649.47sec	110.98sec	0	9532	302442
htl	6.79sec	0.10sec	0	557	8941
str	8.15sec	0.02sec	0	595	8507

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2.15sec	0.00sec	0	162	2431
htl	2.31sec	0.05sec	0	233	3509
str	2.80sec	0.06sec	0	247	3204

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2.50sec	0.08sec	0	165	2936
htl	2.32sec	0.00sec	0	236	3654
str	2.58sec	0.07sec	0	270	3655

test35/test_35.20_5_0.1_3_0.1_3_0.2.7	nlp
25 lines	804 bytes
head (1,3,0)	body (1,3,0)
estimated blow-up	2.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2.66sec	0.06sec	0	225	3266
htl	2.50sec	0.08sec	0	256	3853
str	2.71sec	0.04sec	0	274	3599

test35/test_35.20_5_0.1_3_0.1_3_1.3.5	nlp
25 lines	922 bytes
head (1,3,0)	body (1,3,1)
estimated blow-up	3.5

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2.94sec	0.04sec	0	219	3791
htl	2.32sec	0.09sec	0	248	3760
str	2.44sec	0.06sec	0	266	3542

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3.45sec	0.01sec	0	276	3788
htl	2.49sec	0.01sec	0	272	4070
str	3.13sec	0.00sec	0	292	3854

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3.51sec	0.01sec	0	275	4825
htl	2.94sec	0.08sec	0	273	4268
str	2.66sec	0.04sec	0	303	4115

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3.39sec	0.13sec	0	278	4919
htl	2.58sec	0.08sec	0	291	4323
str	2.96sec	0.07sec	0	315	4151

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3.50sec	0.02sec	0	274	5923
htl	3.14sec	0.00sec	0	292	4426
str	3.04sec	0.08sec	0	310	4121

test35/test_35.20_5_0.1_3_0.2_3_0.8.3	nlp
25 lines	1191 bytes
head (1,3,0)	body (2,3,0)
estimated blow-up	8.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	10.05sec	0.14sec	0	572	10334
htl	3.54sec	0.01sec	0	345	5288
str	4.03sec	0.01sec	0	361	4830

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	10.97sec	0.27sec	0	575	13609
htl	3.77sec	0.09sec	0	347	5589
str	4.02sec	0.01sec	0	381	5291

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	26.22sec	0.75sec	0	957	16552
htl	3.76sec	0.01sec	0	379	5749
str	4.09sec	0.04sec	0	397	5308

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	28.52sec	0.57sec	0	997	23574
htl	3.96sec	0.01sec	0	386	6125
str	4.57sec	0.01sec	0	412	5700

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	9.29sec	0.40sec	0	527	11895
htl	3.69sec	0.08sec	0	361	5437
str	4.04sec	0.08sec	0	385	5212

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	9.20sec	0.24sec	0	504	13345
htl	3.60sec	0.01sec	0	356	5455
str	4.27sec	0.01sec	0	382	5235

test35/test_35.20_5_0.1_3_0.3_3_0.25.4	nlp
25 lines	1604 bytes
head (1,3,0)	body (3,3,0)
estimated blow-up	25.4

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	75.54sec	1.81sec	0	1647	38488
htl	4.21sec	0.08sec	0	426	6658
str	5.65sec	0.01sec	0	456	6285

test35/test_35.20_5_0.1_3_0.3_3_1.29.5	nlp
25 lines	1630 bytes
head (1,3,0)	body (3,3,1)
estimated blow-up	29.5

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	70.37sec	2.59sec	0	1569	42674
htl	4.63sec	0.10sec	0	431	6732
str	5.22sec	0.01sec	0	459	6421

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	354.21sec	14.28sec	0	3654	82626
htl	5.16sec	0.09sec	0	485	7528
str	5.94sec	0.09sec	0	515	7154

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	371.49sec	15.07sec	0	3708	100502
htl	5.49sec	0.08sec	0	489	7731
str	5.91sec	0.10sec	0	511	7165

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	27.74sec	1.36sec	0	969	25975
htl	4.79sec	0.01sec	0	422	6386
str	4.62sec	0.06sec	0	454	6267

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	30.73sec	1.57sec	1	998	31620
htl	4.01sec	0.11sec	1	421	6602
str	4.86sec	0.16sec	1	453	6328

test35/test_35.20_5_0.1_3_0.4_3_0.77.1	nlp
25 lines	1895 bytes
head (1,3,0)	body (4,3,0)
estimated blow-up	77.1

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	597.39sec	22.31sec	0	4753	130275
htl	5.68sec	0.09sec	0	513	7963
str	6.79sec	0.09sec	0	547	7702

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	593.22sec	27.66sec	0	4675	147890
htl	5.60sec	0.24sec	0	510	8045
str	7.11sec	0.42sec	0	548	7778

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5989.62sec	341.45sec	0	14079	414074
htl	6.86sec	0.09sec	0	590	9530
str	9.25sec	0.01sec	0	634	9062

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5877.41sec	313.88sec	0	14137	462057
htl	7.52sec	0.09sec	0	589	9435
str	8.67sec	0.09sec	0	637	9169

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2.58sec	0.09sec	0	207	2976
htl	2.91sec	0.08sec	0	261	3983
str	2.73sec	0.00sec	0	279	3686

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2.49sec	0.01sec	0	201	3570
htl	2.78sec	0.08sec	0	254	3973
str	2.90sec	0.09sec	0	274	3680

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3.30sec	0.04sec	0	277	3932
htl	3.02sec	0.09sec	0	278	4202
str	3.09sec	0.00sec	0	290	3814

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3.70sec	0.01sec	0	289	5244
htl	2.54sec	0.00sec	0	282	4427
str	3.37sec	0.08sec	0	298	4025

test35/test_35.20_5_0.1_4_0.1_4_0.3.6	nlp
25 lines	1087 bytes
head (1,4,0)	body (1,4,0)
estimated blow-up	3.6

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	4.71sec	0.09sec	0	354	5230
htl	3.32sec	0.00sec	0	303	4756
str	3.36sec	0.08sec	0	331	4445

test35/test_35.20_5_0.1_4_0.1_4_1.4.9	nlp
25 lines	1203 bytes
head (1,4,0)	body (1,4,1)
estimated blow-up	4.9

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5.34sec	0.07sec	0	376	6960
htl	3.15sec	0.01sec	0	302	4776
str	3.36sec	0.01sec	0	322	4390

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5.20sec	0.10sec	0	376	6823
htl	3.37sec	0.13sec	0	328	4989
str	3.50sec	0.08sec	0	338	4453

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	4.90sec	0.01sec	0	373	8126
htl	2.91sec	0.01sec	0	328	5026
str	3.09sec	0.01sec	0	348	4705

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	15.19sec	0.01sec	0	726	12597
htl	3.86sec	0.08sec	0	364	5462
str	4.04sec	0.03sec	0	382	5124

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	16.09sec	0.62sec	0	721	16069
htl	4.11sec	0.08sec	0	368	5825
str	4.11sec	0.08sec	0	404	5607

test35/test_35.20_5_0.1_4_0.2_4_0.14.8	nlp
25 lines	1512 bytes
head (1,4,0)	body (2,4,0)
estimated blow-up	14.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	40.59sec	0.24sec	0	1228	21940
htl	4.55sec	0.04sec	0	403	6246
str	4.58sec	0.01sec	0	429	5845

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	36.73sec	1.28sec	0	1133	24990
htl	4.42sec	0.08sec	0	394	6179
str	4.68sec	0.02sec	0	422	5825

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	14.51sec	0.39sec	0	675	15159
htl	4.22sec	0.08sec	0	384	5848
str	4.74sec	0.01sec	0	412	5613

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	13.66sec	0.41sec	0	651	16961
htl	3.99sec	0.01sec	0	380	5859
str	4.22sec	0.09sec	0	402	5525

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	129.42sec	4.24sec	0	2186	50507
htl	4.77sec	0.07sec	0	453	7077
str	5.30sec	0.08sec	0	481	6669

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	131.08sec	3.30sec	0	2183	60023
htl	4.77sec	0.01sec	0	455	7139
str	5.88sec	0.01sec	0	487	6862

test35/test_35.20_5_0.1_4_0.3_4_0.60.2	nlp
25 lines	1970 bytes
head (1,4,0)	body (3,4,0)
estimated blow-up	60.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	567.93sec	10.83sec	0	4670	106161
htl	5.82sec	0.08sec	0	508	7945
str	6.64sec	0.09sec	0	550	7768

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	643.86sec	7.95sec	0	4938	136948
htl	5.76sec	0.01sec	0	516	8378
str	7.38sec	0.08sec	0	558	7959

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	47.16sec	0.57sec	0	1285	33692
htl	4.52sec	0.02sec	0	450	6865
str	5.50sec	0.01sec	0	482	6704

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	44.76sec	1.63sec	0	1227	39809
htl	5.19sec	0.09sec	0	448	7175
str	6.25sec	0.08sec	0	490	6946

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	797.52sec	25.15sec	0	5504	147774
htl	5.78sec	0.01sec	0	525	8089
str	7.09sec	0.04sec	0	559	7840

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	952.29sec	31.75sec	0	5986	191204
htl	6.25sec	0.07sec	0	532	8370
str	7.34sec	0.08sec	0	572	8169

test35/test_35.20_5_0.1_4_0.4_4_0.243.8	nlp
25 lines	2374 bytes
head (1,4,0)	body (4,4,0)
estimated blow-up	243.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	9738.09sec	278.95sec	0	17722	483573
htl	7.20sec	0.01sec	0	607	9505
str	8.87sec	0.01sec	0	637	8993

test35/test_35.20_5_0.1_4_0.4_4_1.279.3	nlp
25 lines	2572 bytes
head (1,4,0)	body (4,4,1)
estimated blow-up	279.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	10623.63sec	562.73sec	0	18118	584797
htl	7.32sec	0.09sec	0	611	9795
str	9.51sec	0.09sec	0	663	9572

test35/test_35.20_5_0.2_2_0.1_2_0.3.7	nlp
25 lines	791 bytes
head (2,2,0)	body (1,2,0)
estimated blow-up	3.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2.18sec	0.01sec	6	212	3784
htl	2.36sec	0.11sec	6	280	4098
str	3.01sec	0.26sec	6	300	3894

test35/test_35.20_5_0.2_2_0.1_2_1.4.2	nlp
25 lines	1012 bytes
head (2,2,0)	body (1,2,1)
estimated blow-up	4.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2.62sec	0.09sec	2	216	4754
htl	2.88sec	0.58sec	2	288	4513
str	3.03sec	1.30sec	2	316	4272

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3.42sec	0.08sec	0	292	5368
htl	3.09sec	0.08sec	0	311	4722
str	3.27sec	0.01sec	0	327	4329

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	4.09sec	0.06sec	29	288	6127
htl	3.32sec	2.13sec	29	302	4564
str	3.43sec	3.13sec	29	320	4262

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5.32sec	0.09sec	12	368	6544
htl	3.14sec	0.08sec	12	335	5057
str	3.15sec	0.21sec	12	353	4727

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	4.98sec	0.04sec	35	366	7919
htl	3.27sec	3.32sec	35	325	4939
str	3.70sec	6.00sec	35	349	4720

test35/test_35.20_5_0.2_2_0.2_2_0.7.3	nlp
25 lines	1099 bytes
head (2,2,0)	body (2,2,0)
estimated blow-up	7.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5.35sec	0.03sec	5	366	8001
htl	3.53sec	2.04sec	5	349	5208
str	3.74sec	2.27sec	5	375	5059

test35/test_35.20_5_0.2_2_0.2_2_1.8.2	nlp
25 lines	1224 bytes
head (2,2,0)	body (2,2,1)
estimated blow-up	8.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	6.06sec	0.13sec	2	372	9745
htl	3.52sec	21.41sec	2	348	5351
str	3.79sec	40.33sec	2	370	5061

test35/test_35.20_5_0.2_2_0.2_3_0.13.2	nlp
25 lines	1310 bytes
head (2,2,0)	body (2,3,0)
estimated blow-up	13.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	16.72sec	0.11sec	0	732	16718
htl	4.31sec	0.05sec	0	397	6071
str	4.65sec	0.09sec	0	417	5690

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	18.94sec	0.59sec	0	770	21226
htl	4.21sec	8.63sec	0	402	6364
str	4.60sec	16.48sec	0	434	6076

test35/test_35.20_5_0.2_2_0.2_4_0.19.8	nlp
25 lines	1479 bytes
head (2,2,0)	body (2,4,0)
estimated blow-up	19.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	43.13sec	1.23sec	17	1236	27525
htl	4.39sec	0.75sec	17	433	6637
str	4.99sec	0.90sec	17	451	6166

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	53.67sec	0.90sec	27	1338	37187
htl	4.55sec	15.95sec	27	432	6722
str	5.45sec	20.33sec	27	464	6436

test35/test_35.20_5_0.2_2_0.3_2_0.14.7	nlp
25 lines	1324 bytes
head (2,2,0)	body (3,2,0)
estimated blow-up	14.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	14.09sec	0.47sec	5	637	16829
htl	4.28sec	134.77sec	5	416	6276
str	4.83sec	586.63sec	5	440	6037

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	16.37sec	0.52sec	2	696	21235
htl	4.54sec	309.67sec	2	418	6442
str	4.69sec	479.59sec	2	448	6258

test35/test_35.20_5_0.2_2_0.3_3_0.38.7	nlp
25 lines	1705 bytes
head (2,2,0)	body (3,3,0)
estimated blow-up	38.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	125.89sec	1.58sec	5	2114	58309
htl	5.37sec	1.15sec	5	473	7383
str	5.87sec	2.82sec	5	509	7105

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	126.95sec	4.34sec	9	2097	68188
htl	5.30sec	216.37sec	9	478	7531
str	6.51sec	361.52sec	9	510	7198

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	673.99sec	22.66sec	0	5014	138909
htl	6.10sec	0.09sec	0	542	8587
str	7.63sec	0.09sec	0	584	8269

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	644.95sec	27.16sec	51	4858	154929
htl	5.97sec	82.79sec	51	537	8469
str	7.62sec	133.93sec	51	579	8266

test35/test_35.20_5_0.2_2_0.4_2_0.29.6	nlp
25 lines	1644 bytes
head (2,2,0)	body (4,2,0)
estimated blow-up	29.6

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	51.88sec	1.37sec	23	1324	42835
htl	5.18sec	191.82sec	23	471	7329
str	5.87sec	228.05sec	23	503	7049

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	56.15sec	1.79sec	7	1342	49144
htl	4.67sec	268.82sec	7	472	7333
str	6.18sec	534.00sec	7	504	7072

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1024.83sec	46.37sec	2	6176	202565
htl	6.87sec	25.17sec	2	561	8864
str	8.06sec	38.88sec	2	599	8479

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1095.82sec	47.38sec	2	6338	231111
htl	7.07sec	774.08sec	--	565	8988
str	8.55sec	777.89sec	--	611	8778

test35/test_35.20_5_0.2_2_0.4_4_0.292.6	nlp
25 lines	2528 bytes
head (2,2,0)	body (4,4,0)
estimated blow-up	292.6

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	10479.05sec	276.46sec	1	18508	614465
htl	7.89sec	0.22sec	1	635	10252
str	10.92sec	0.23sec	1	677	9674

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	10029.24sec	349.44sec	12	18252	697123
htl	8.00sec	419.28sec	12	639	10359
str	10.49sec	742.47sec	12	681	9820

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	6.43sec	0.02sec	0	429	7778
htl	3.76sec	0.04sec	0	342	5216
str	3.42sec	0.04sec	0	366	4927

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	7.15sec	0.01sec	0	452	9751
htl	3.36sec	0.08sec	0	346	5434
str	3.83sec	0.06sec	0	370	5076

test35/test_35.20_5_0.2_3_0.1_3_0.8.1	nlp
25 lines	1178 bytes
head (2,3,0)	body (1,3,0)
estimated blow-up	8.1

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	12.09sec	0.01sec	0	639	11827
htl	3.91sec	0.08sec	0	367	5661
str	4.30sec	0.08sec	0	393	5351

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	12.40sec	0.02sec	0	618	13903
htl	3.68sec	0.08sec	0	354	5504
str	4.03sec	0.04sec	0	382	5191

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	17.72sec	0.10sec	0	791	14687
htl	3.87sec	0.10sec	0	388	6054
str	4.71sec	0.09sec	0	420	5765

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	19.45sec	0.30sec	1	800	17281
htl	4.19sec	0.02sec	1	387	6068
str	4.64sec	0.02sec	1	411	5653

test35/test_35.20_5_0.2_3_0.2_2_0.12.9	nlp
25 lines	1366 bytes
head (2,3,0)	body (2,2,0)
estimated blow-up	12.9

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	16.99sec	0.11sec	0	739	16437
htl	3.78sec	0.01sec	0	399	6115
str	4.78sec	0.06sec	0	425	5822

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	19.67sec	0.12sec	0	797	21480
htl	4.47sec	2.09sec	0	406	6306
str	4.54sec	2.49sec	0	426	5904

test35/test_35.20_5_0.2_3_0.2_3_0.24.3	nlp
25 lines	1586 bytes
head (2,3,0)	body (2,3,0)
estimated blow-up	24.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	72.43sec	0.04sec	0	1608	36409
htl	5.22sec	0.08sec	0	443	6873
str	5.43sec	0.08sec	0	479	6648

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	76.71sec	0.25sec	0	1646	45048
htl	4.94sec	0.05sec	0	450	7124
str	5.99sec	0.04sec	0	486	6854

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	184.20sec	1.26sec	0	2606	56561
htl	5.17sec	0.01sec	0	487	7511
str	6.32sec	0.08sec	0	517	7231

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	208.13sec	2.66sec	0	2754	75242
htl	5.10sec	0.01sec	0	488	7828
str	6.58sec	0.09sec	0	522	7420

test35/test_35.20_5_0.2_3_0.3_2_0.27.0	nlp
25 lines	1615 bytes
head (2,3,0)	body (3,2,0)
estimated blow-up	27.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	68.95sec	1.42sec	5	1548	42085
htl	5.11sec	2.95sec	5	477	7402
str	5.27sec	3.61sec	5	499	6959

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	52.41sec	0.42sec	0	1313	40677
htl	4.94sec	9.12sec	0	456	7094
str	5.83sec	12.81sec	0	498	7000

test35/test_35.20_5_0.2_3_0.3_3_0.73.9	nlp
25 lines	1971 bytes
head (2,3,0)	body (3,3,0)
estimated blow-up	73.9

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	598.17sec	0.92sec	0	4721	131993
htl	5.82sec	0.01sec	0	531	8403
str	7.22sec	0.01sec	0	567	8012

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	570.62sec	1.95sec	1	4566	142970
htl	5.77sec	4.99sec	1	525	8188
str	6.81sec	7.72sec	1	557	7910

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3245.98sec	2.78sec	0	10682	290558
htl	7.34sec	0.01sec	0	586	9190
str	8.67sec	0.08sec	0	626	8883

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3036.48sec	75.67sec	0	10570	349431
htl	7.13sec	1.44sec	0	589	9524
str	9.13sec	2.47sec	0	639	9228

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	208.65sec	1.25sec	0	2734	81514
htl	5.66sec	0.61sec	0	524	7954
str	6.95sec	0.92sec	0	554	7743

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	217.63sec	1.07sec	4	2762	102137
htl	6.10sec	45.81sec	4	530	8450
str	7.42sec	53.21sec	4	564	8035

test35/test_35.20_5_0.2_3_0.4_3_0.224.5	nlp
25 lines	2305 bytes
head (2,3,0)	body (4,3,0)
estimated blow-up	224.5

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5725.44sec	40.84sec	0	13956	451124
htl	7.52sec	0.04sec	0	612	9720
str	8.93sec	0.04sec	0	654	9327

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5279.39sec	13.23sec	0	13711	505987
htl	7.52sec	0.22sec	0	607	9726
str	9.21sec	0.25sec	0	645	9224

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	57266.11sec	453.10sec	0	40946	1346526
htl	8.64sec	0.02sec	0	687	11139
str	11.70sec	0.02sec	0	737	10622

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	64739.83sec	250.25sec	0	44265	1714075
htl	9.27sec	0.44sec	0	694	11435
str	12.43sec	0.42sec	0	744	10799

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	15.65sec	0.09sec	0	731	13203
htl	3.83sec	0.04sec	0	392	6085
str	4.20sec	0.08sec	0	416	5683

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	16.73sec	0.11sec	0	748	16696
htl	3.93sec	0.08sec	0	394	6303
str	4.68sec	0.05sec	0	428	5962

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	28.28sec	0.06sec	0	1012	18377
htl	4.21sec	0.07sec	0	411	6356
str	4.82sec	0.01sec	0	431	5881

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	29.60sec	0.22sec	0	1013	22422
htl	4.19sec	0.04sec	0	414	6564
str	4.95sec	0.01sec	0	442	6146

test35/test_35.20_5_0.2_4_0.1_4_0.14.2	nlp
25 lines	1614 bytes
head (2,4,0)	body (1,4,0)
estimated blow-up	14.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	50.16sec	0.11sec	0	1363	25508
htl	4.39sec	0.04sec	0	436	7008
str	5.49sec	0.09sec	0	470	6516

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	47.32sec	0.21sec	0	1280	28577
htl	4.50sec	0.01sec	0	432	6984
str	5.74sec	0.05sec	0	476	6727

test35/test_35.20_5_0.2_4_0.2_2_0.18.8	nlp
25 lines	1621 bytes
head (2,4,0)	body (2,2,0)
estimated blow-up	18.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	49.35sec	0.09sec	0	1320	29540
htl	4.77sec	0.08sec	0	454	7053
str	5.78sec	0.01sec	0	482	6684

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	48.64sec	0.56sec	0	1287	35183
htl	5.00sec	0.02sec	0	459	7248
str	5.54sec	0.05sec	0	487	6866

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	216.05sec	0.40sec	0	2835	62970
htl	5.57sec	0.01sec	0	498	7750
str	6.54sec	0.09sec	0	526	7333

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	224.86sec	2.95sec	0	2856	74868
htl	5.82sec	0.08sec	0	497	7779
str	6.52sec	0.09sec	0	523	7356

test35/test_35.20_5_0.2_4_0.2_4_0.57.3	nlp
25 lines	2052 bytes
head (2,4,0)	body (2,4,0)
estimated blow-up	57.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	610.52sec	0.91sec	0	4826	109939
htl	6.17sec	0.08sec	0	540	8574
str	8.21sec	0.08sec	0	580	8190

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	542.46sec	9.62sec	0	4510	117987
htl	6.31sec	0.09sec	0	530	8390
str	7.27sec	0.09sec	0	568	8088

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	184.55sec	0.40sec	0	2594	69561
htl	6.17sec	0.14sec	0	519	8123
str	7.07sec	0.04sec	0	561	7901

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	185.56sec	2.46sec	0	2570	82465
htl	6.08sec	0.09sec	0	521	8319
str	7.04sec	0.09sec	0	551	7835

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1799.68sec	5.25sec	0	8136	225241
htl	6.83sec	0.06sec	0	582	9328
str	9.13sec	0.01sec	0	634	9076

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1774.73sec	2.77sec	0	7988	259062
htl	6.96sec	0.01sec	0	578	9362
str	8.70sec	0.09sec	0	628	9074

test35/test_35.20_5_0.2_4_0.3_4_0.233.0	nlp
25 lines	2559 bytes
head (2,4,0)	body (3,4,0)
estimated blow-up	233.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	9487.88sec	44.14sec	0	17809	500169
htl	8.35sec	0.09sec	0	636	10269
str	10.13sec	0.01sec	0	686	9846

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	9747.25sec	125.35sec	0	18568	587192
htl	7.93sec	0.09sec	0	636	10245
str	9.81sec	0.09sec	0	674	9674

test35/test_35.20_5_0.2_4_0.4_2_0.85.7	nlp
25 lines	2167 bytes
head (2,4,0)	body (4,2,0)
estimated blow-up	85.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	658.82sec	1.90sec	0	4932	159417
htl	6.54sec	0.07sec	0	578	9186
str	8.36sec	0.09sec	0	620	8822

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	668.20sec	9.30sec	0	4942	182381
htl	6.79sec	0.77sec	0	583	9359
str	8.83sec	0.89sec	0	627	9023

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	14521.72sec	14.38sec	0	22009	724469
htl	8.15sec	0.09sec	0	653	10567
str	10.85sec	0.09sec	0	695	9974

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	16878.81sec	106.20sec	0	23938	842130
htl	8.34sec	4.84sec	0	657	10447
str	9.98sec	6.00sec	0	701	10115

test35/test_35.20_5_0.2_4_0.4_4_0.945.5	nlp
25 lines	2972 bytes
head (2,4,0)	body (4,4,0)
estimated blow-up	945.5

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	175051.38sec	37.76sec	0	73999	2429639
htl	9.99sec	0.01sec	0	736	11900
str	12.67sec	0.02sec	0	774	11152

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	176922.25sec	24.25sec	0	71052	2676718
htl	10.19sec	0.02sec	0	735	11934
str	13.28sec	0.10sec	0	783	11380

test35/test_35.20_5_0.3_2_0.1_2_0.7.3	nlp
25 lines	1085 bytes
head (3,2,0)	body (1,2,0)
estimated blow-up	7.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	6.67sec	1.34sec	328	396	8971
htl	3.54sec	75.06sec	328	367	5555
str	4.37sec	96.12sec	328	387	5241

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	6.50sec	1.12sec	93	394	9921
htl	3.62sec	773.32sec	--	360	5436
str	4.04sec	773.70sec	--	388	5352

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	9.12sec	1.08sec	132	510	11409
htl	3.79sec	35.07sec	132	385	5804
str	4.54sec	54.01sec	132	409	5581

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	10.21sec	2.10sec	257	536	13803
htl	3.77sec	289.34sec	257	386	5850
str	4.40sec	367.16sec	257	400	5482

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	15.80sec	0.77sec	226	700	16145
htl	4.63sec	43.40sec	226	411	6430
str	4.98sec	85.88sec	226	449	6229

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	16.24sec	1.10sec	257	704	19205
htl	3.98sec	289.99sec	257	410	6415
str	4.82sec	382.57sec	257	446	6259

test35/test_35.20_5_0.3_2_0.2_2_0.14.4	nlp
25 lines	1344 bytes
head (3,2,0)	body (2,2,0)
estimated blow-up	14.4

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	13.97sec	2.77sec	308	648	17171
htl	4.47sec	189.78sec	308	424	6396
str	4.91sec	219.29sec	308	450	6159

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	17.10sec	1.44sec	95	706	21705
htl	4.52sec	773.74sec	--	414	6335
str	4.98sec	773.98sec	--	444	6177

test35/test_35.20_5_0.3_2_0.2_3_0.27.1	nlp
25 lines	1553 bytes
head (3,2,0)	body (2,3,0)
estimated blow-up	27.1

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	63.07sec	9.96sec	452	1480	40139
htl	4.87sec	186.29sec	452	474	7281
str	5.44sec	243.81sec	452	502	6984

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	61.47sec	10.11sec	268	1440	45647
htl	5.06sec	774.33sec	--	475	7373
str	6.10sec	773.75sec	--	503	7096

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	171.18sec	5.57sec	87	2468	68473
htl	5.59sec	26.01sec	87	514	7963
str	6.76sec	40.03sec	87	546	7659

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	167.62sec	11.62sec	190	2434	79277
htl	5.87sec	774.24sec	--	509	8052
str	7.34sec	774.33sec	--	547	7797

test35/test_35.20_5_0.3_2_0.3_2_0.28.8	nlp
25 lines	1614 bytes
head (3,2,0)	body (3,2,0)
estimated blow-up	28.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	48.10sec	2.14sec	87	1248	39717
htl	5.09sec	773.62sec	--	491	7601
str	6.15sec	774.18sec	--	521	7297

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	52.01sec	2.11sec	36	1302	45567
htl	5.40sec	774.32sec	--	489	7543
str	5.74sec	773.36sec	--	517	7258

test35/test_35.20_5_0.3_2_0.3_3_0.78.9	nlp
25 lines	1914 bytes
head (3,2,0)	body (3,3,0)
estimated blow-up	78.9

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	477.07sec	26.86sec	164	4174	134965
htl	6.37sec	106.12sec	164	557	8695
str	7.25sec	126.23sec	164	593	8383

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	452.53sec	28.60sec	30	4022	147503
htl	5.99sec	776.24sec	--	550	8663
str	7.70sec	775.59sec	--	582	8249

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2295.48sec	39.48sec	30	8934	292481
htl	7.73sec	152.39sec	30	611	9802
str	9.53sec	179.79sec	30	657	9407

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2227.59sec	42.14sec	132	8986	336809
htl	7.55sec	774.34sec	--	612	9851
str	9.40sec	775.28sec	--	656	9433

test35/test_35.20_5_0.3_2_0.4_2_0.58.1	nlp
25 lines	1877 bytes
head (3,2,0)	body (4,2,0)
estimated blow-up	58.1

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	193.08sec	19.63sec	49	2586	96147
htl	6.11sec	774.84sec	--	561	8767
str	7.65sec	775.70sec	--	597	8402

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	195.20sec	7.41sec	55	2584	107953
htl	6.40sec	775.16sec	--	554	8764
str	7.47sec	774.88sec	--	598	8568

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	4039.00sec	441.03sec	92	12196	449553
htl	8.10sec	776.30sec	--	637	10061
str	9.31sec	775.44sec	--	685	9818

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	4514.44sec	175.59sec	95	12494	546709
htl	7.48sec	775.49sec	--	639	10453
str	10.71sec	774.91sec	--	687	9913

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	45132.35sec	773.60sec	--	36574	1382645
htl	9.49sec	436.22sec	188	707	11388
str	11.78sec	581.22sec	188	747	10730

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	40691.02sec	774.44sec	--	35548	1509077
htl	9.20sec	775.37sec	--	705	11532
str	13.01sec	774.93sec	--	751	10872

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	39.81sec	0.17sec	5	1188	27414
htl	4.79sec	0.17sec	5	441	6859
str	5.63sec	0.09sec	5	473	6576

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	43.99sec	0.24sec	6	1226	33384
htl	5.04sec	0.76sec	6	444	7060
str	5.88sec	1.28sec	6	480	6750

test35/test_35.20_5_0.3_3_0.1_3_0.24.1	nlp
25 lines	1578 bytes
head (3,3,0)	body (1,3,0)
estimated blow-up	24.1

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	82.79sec	0.39sec	8	1728	39816
htl	4.91sec	0.13sec	8	464	7198
str	5.85sec	0.07sec	8	502	7004

test35/test_35.20_5_0.3_3_0.1_3_1.27.8	nlp
25 lines	1816 bytes
head (3,3,0)	body (1,3,1)
estimated blow-up	27.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	90.05sec	1.58sec	23	1774	49326
htl	5.31sec	12.39sec	23	473	7655
str	6.81sec	17.67sec	23	517	7315

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	138.23sec	0.49sec	5	2254	50287
htl	5.32sec	0.06sec	5	487	7486
str	6.25sec	0.12sec	5	513	7132

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	138.96sec	3.21sec	84	2228	60778
htl	5.59sec	15.25sec	84	487	7644
str	6.49sec	17.85sec	84	521	7367

test35/test_35.20_5_0.3_3_0.2_2_0.36.7	nlp
25 lines	1725 bytes
head (3,3,0)	body (2,2,0)
estimated blow-up	36.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	130.12sec	0.75sec	6	2157	56505
htl	5.58sec	0.57sec	6	510	7901
str	6.53sec	0.57sec	6	538	7520

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	124.23sec	9.28sec	82	2080	63979
htl	5.49sec	306.93sec	82	501	7799
str	6.67sec	395.22sec	82	531	7494

test35/test_35.20_5_0.3_3_0.2_3_0.71.6	nlp
25 lines	1887 bytes
head (3,3,0)	body (2,3,0)
estimated blow-up	71.6

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	561.61sec	5.34sec	19	4574	121006
htl	6.22sec	0.77sec	19	541	8358
str	7.24sec	0.75sec	19	579	8174

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	577.74sec	3.94sec	9	4602	145829
htl	6.23sec	44.99sec	9	549	8755
str	7.92sec	54.53sec	9	589	8421

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1799.59sec	2.09sec	0	8159	229541
htl	7.64sec	0.02sec	0	591	9541
str	9.33sec	0.10sec	0	645	9254

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1646.16sec	22.23sec	11	7857	243293
htl	6.93sec	6.20sec	11	582	9137
str	7.99sec	7.92sec	11	620	8849

test35/test_35.20_5_0.3_3_0.3_2_0.76.3	nlp
25 lines	1974 bytes
head (3,3,0)	body (3,2,0)
estimated blow-up	76.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	482.21sec	9.59sec	17	4195	130875
htl	6.50sec	11.02sec	17	573	8967
str	7.79sec	12.57sec	17	605	8533

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	465.28sec	19.01sec	121	4072	150833
htl	6.26sec	438.51sec	121	562	9018
str	8.38sec	774.36sec	--	608	8672

test35/test_35.20_5_0.3_3_0.3_3_0.217.0	nlp
25 lines	2338 bytes
head (3,3,0)	body (3,3,0)
estimated blow-up	217.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	4874.49sec	42.64sec	92	13389	433907
htl	7.72sec	12.19sec	92	628	9996
str	10.20sec	13.96sec	92	676	9677

test35/test_35.20_5_0.3_3_0.3_3_1.241.0	nlp
25 lines	2440 bytes
head (3,3,0)	body (3,3,1)
estimated blow-up	241.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	4998.62sec	94.78sec	23	13290	496002
htl	8.00sec	95.64sec	23	626	10089
str	9.79sec	117.82sec	23	668	9590

test35/test_35.20_5_0.3_3_0.3_4_0.446.8	nlp
25 lines	2562 bytes
head (3,3,0)	body (3,4,0)
estimated blow-up	446.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	27416.21sec	20.30sec	0	31157	989300
htl	8.58sec	0.03sec	0	688	10878
str	10.63sec	0.03sec	0	726	10387

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	33720.94sec	556.29sec	34	32311	1216978
htl	8.70sec	23.23sec	34	690	11206
str	11.79sec	30.94sec	34	724	10442

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2099.22sec	48.97sec	38	8547	318456
htl	7.85sec	301.26sec	38	635	10137
str	10.07sec	364.33sec	38	669	9493

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1737.07sec	59.07sec	21	8040	323369
htl	7.78sec	775.11sec	--	631	10045
str	9.39sec	775.22sec	--	677	9730

test35/test_35.20_5_0.3_3_0.4_3_0.659.3	nlp
25 lines	2665 bytes
head (3,3,0)	body (4,3,0)
estimated blow-up	659.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	48713.81sec	657.31sec	0	40298	1471041
htl	9.67sec	0.28sec	0	712	11375
str	11.57sec	0.25sec	0	758	10917

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	51632.53sec	749.96sec	2	42470	1758051
htl	9.64sec	230.83sec	2	710	11493
str	12.38sec	312.27sec	2	760	10995

test35/test_35.20_5_0.3_3_0.4_4_0.1776.3	nlp
25 lines	3073 bytes
head (3,3,0)	body (4,4,0)
estimated blow-up	1776.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	488171.69sec	164.15sec	4	125195	4661215
htl	11.35sec	0.21sec	4	788	12697
str	14.28sec	0.14sec	4	832	11981

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	417467.43sec	709.36sec	70	110212	4668561
htl	11.07sec	83.73sec	70	778	12673
str	14.28sec	106.84sec	70	824	11984

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	206.25sec	0.43sec	0	2766	62028
htl	5.90sec	0.05sec	0	520	8190
str	7.09sec	0.09sec	0	552	7743

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	221.02sec	1.15sec	15	2833	76637
htl	6.24sec	0.78sec	15	525	8413
str	7.32sec	1.11sec	15	567	8105

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	397.46sec	0.41sec	0	3871	88105
htl	6.31sec	0.09sec	0	543	8661
str	7.95sec	0.01sec	0	591	8411

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	440.74sec	4.19sec	6	4048	113810
htl	6.66sec	0.11sec	6	545	8806
str	8.26sec	0.08sec	6	589	8462

test35/test_35.20_5_0.3_4_0.1_4_0.56.4	nlp
25 lines	2087 bytes
head (3,4,0)	body (1,4,0)
estimated blow-up	56.4

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	663.63sec	0.58sec	0	5012	116454
htl	6.59sec	0.06sec	0	564	8979
str	8.71sec	0.06sec	0	604	8536

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	663.00sec	4.67sec	0	4982	139023
htl	6.59sec	0.23sec	0	562	9079
str	7.87sec	0.23sec	0	604	8644

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	676.31sec	1.28sec	0	5028	136580
htl	6.46sec	0.10sec	0	579	9219
str	8.51sec	0.06sec	0	625	8902

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	751.03sec	8.28sec	6	5204	162653
htl	7.03sec	9.11sec	6	585	9357
str	8.19sec	11.00sec	6	617	8819

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3230.50sec	2.09sec	0	10546	289819
htl	8.00sec	0.09sec	0	622	9960
str	10.02sec	0.05sec	0	660	9421

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3119.56sec	5.15sec	6	10672	329347
htl	7.86sec	0.42sec	6	619	9815
str	9.35sec	0.51sec	6	665	9542

test35/test_35.20_5_0.3_4_0.2_4_0.224.6	nlp
25 lines	2742 bytes
head (3,4,0)	body (2,4,0)
estimated blow-up	224.6

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	9439.29sec	6.22sec	0	18502	536125
htl	8.40sec	0.09sec	0	660	10870
str	11.63sec	0.09sec	0	706	10157

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	9517.52sec	20.23sec	0	18160	597005
htl	8.24sec	0.10sec	0	660	10705
str	11.22sec	0.03sec	0	714	10387

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3035.05sec	4.19sec	0	10065	319597
htl	8.06sec	0.11sec	0	641	10236
str	10.33sec	0.03sec	0	687	9826

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2538.78sec	61.01sec	22	9558	347193
htl	7.87sec	345.90sec	22	638	10229
str	10.08sec	406.88sec	22	684	9884

test35/test_35.20_5_0.3_4_0.3_3_0.434.0	nlp
25 lines	2815 bytes
head (3,4,0)	body (3,3,0)
estimated blow-up	434.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	30520.38sec	9.99sec	0	31854	1063281
htl	9.54sec	0.03sec	0	705	11524
str	12.68sec	0.10sec	0	761	10996

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	26524.15sec	24.49sec	0	29356	1096678
htl	9.16sec	0.22sec	0	696	11311
str	12.22sec	0.23sec	0	744	10788

test35/test_35.20_5_0.3_4_0.3_4_0.912.0	nlp
25 lines	2967 bytes
head (3,4,0)	body (3,4,0)
estimated blow-up	912.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	178074.07sec	36.76sec	0	73306	2371589
htl	10.41sec	0.02sec	0	760	12192
str	13.19sec	0.05sec	0	802	11533

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	151994.20sec	127.21sec	0	72050	2730549
htl	10.76sec	0.05sec	0	761	12495
str	14.76sec	0.22sec	0	813	11852

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	9912.49sec	25.01sec	0	18160	662221
htl	9.02sec	0.64sec	0	699	11201
str	12.30sec	0.77sec	0	747	10719

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	11492.12sec	95.23sec	2	19526	832533
htl	9.46sec	62.04sec	2	706	11485
str	12.22sec	81.94sec	2	762	11086

test35/test_35.20_5_0.3_4_0.4_3_0.1345.7	nlp
25 lines	3084 bytes
head (3,4,0)	body (4,3,0)
estimated blow-up	1345.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	266529.28sec	65.39sec	0	88928	3310543
htl	10.92sec	0.02sec	0	780	12637
str	14.95sec	0.02sec	0	828	11950

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	252487.30sec	163.18sec	5	87475	3639165
htl	10.45sec	2.31sec	5	776	12636
str	14.63sec	2.97sec	5	820	11948

test35/test_35.20_5_0.4_2_0.1_2_0.14.6	nlp
25 lines	1384 bytes
head (4,2,0)	body (1,2,0)
estimated blow-up	14.6

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	18.45sec	13.90sec	2321	754	21037
htl	4.70sec	775.17sec	--	449	6963
str	5.58sec	774.54sec	--	483	6691

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	19.34sec	26.33sec	564	756	22717
htl	4.60sec	774.83sec	--	441	6766
str	5.03sec	774.27sec	--	457	6345

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	32.84sec	24.38sec	2334	1054	28065
htl	4.83sec	774.67sec	--	468	7140
str	4.93sec	775.63sec	--	494	6848

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	35.31sec	41.74sec	537	1064	33333
htl	4.95sec	774.91sec	--	465	7260
str	6.33sec	774.66sec	--	505	7143

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	56.35sec	29.77sec	2441	1382	37865
htl	5.40sec	774.51sec	--	486	7512
str	5.92sec	774.59sec	--	514	7166

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	53.11sec	33.75sec	1111	1320	41425
htl	5.33sec	774.91sec	--	478	7525
str	6.18sec	774.86sec	--	512	7244

test35/test_35.20_5_0.4_2_0.2_2_0.28.5	nlp
25 lines	1696 bytes
head (4,2,0)	body (2,2,0)
estimated blow-up	28.5

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	48.80sec	29.27sec	558	1264	39919
htl	5.72sec	774.96sec	--	509	7984
str	6.68sec	775.39sec	--	547	7717

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	56.10sec	52.25sec	184	1354	49409
htl	5.62sec	774.90sec	--	507	7969
str	6.77sec	774.60sec	--	543	7686

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	249.03sec	160.45sec	2265	2972	99173
htl	6.15sec	775.27sec	--	549	8757
str	8.19sec	774.51sec	--	595	8445

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	257.30sec	51.10sec	270	3016	112529
htl	6.59sec	775.00sec	--	550	8714
str	8.01sec	774.54sec	--	592	8461

test35/test_35.20_5_0.4_2_0.2_4_0.86.2	nlp
25 lines	2169 bytes
head (4,2,0)	body (2,4,0)
estimated blow-up	86.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	669.71sec	107.11sec	849	4958	167549
htl	6.92sec	773.45sec	--	583	9442
str	9.41sec	773.65sec	--	627	8970

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	523.54sec	772.87sec	--	4364	152179
htl	7.08sec	774.73sec	--	584	9147
str	7.66sec	774.95sec	--	618	8824

test35/test_35.20_5_0.4_2_0.3_2_0.57.0	nlp
25 lines	1845 bytes
head (4,2,0)	body (3,2,0)
estimated blow-up	57.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	208.11sec	281.45sec	461	2700	97853
htl	6.86sec	774.72sec	--	569	8835
str	7.55sec	773.92sec	--	597	8397

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	185.45sec	18.34sec	75	2508	107713
htl	6.46sec	774.73sec	--	565	9121
str	8.11sec	774.92sec	--	601	8578

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1864.39sec	775.68sec	--	8198	289155
htl	7.81sec	774.18sec	--	628	9739
str	9.27sec	774.24sec	--	668	9504

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1783.65sec	774.08sec	--	8116	338351
htl	7.63sec	774.29sec	--	630	10010
str	9.53sec	774.62sec	--	668	9595

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	12079.81sec	775.41sec	--	19604	763469
htl	8.93sec	775.66sec	--	678	11216
str	12.30sec	775.03sec	--	728	10510

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	10425.90sec	773.99sec	--	18372	748593
htl	8.78sec	773.09sec	--	685	10863
str	10.92sec	773.55sec	--	727	10490

test35/test_35.20_5_0.4_2_0.4_2_0.114.6	nlp
25 lines	2054 bytes
head (4,2,0)	body (4,2,0)
estimated blow-up	114.6

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	595.08sec	774.99sec	--	4620	184521
htl	7.61sec	774.94sec	--	625	9655
str	9.06sec	774.34sec	--	661	9336

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	704.12sec	136.67sec	198	5008	225889
htl	7.50sec	774.43sec	--	625	9866
str	9.23sec	774.56sec	--	663	9483

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	14934.98sec	774.84sec	--	23042	973753
htl	9.41sec	774.35sec	--	711	11276
str	11.41sec	774.78sec	--	745	10638

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	16614.69sec	775.48sec	--	23676	1091241
htl	9.33sec	774.71sec	--	705	11162
str	11.80sec	775.19sec	--	743	10676

test35/test_35.20_5_0.4_2_0.4_4_0.1260.9	nlp
25 lines	2970 bytes
head (4,2,0)	body (4,4,0)
estimated blow-up	1260.9

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	178243.52sec	774.61sec	--	74888	3124993
htl	11.04sec	775.27sec	--	786	12648
str	14.50sec	775.37sec	--	830	11973

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	151875.43sec	773.68sec	--	69782	3383877
htl	10.80sec	784.09sec	--	773	12661
str	14.89sec	785.95sec	--	815	11812

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	334.55sec	14.68sec	278	3512	94982
htl	6.64sec	18.43sec	278	549	8536
str	7.09sec	21.73sec	278	579	8181

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	344.27sec	56.31sec	215	3522	112513
htl	6.39sec	532.50sec	215	553	8837
str	7.96sec	642.67sec	215	591	8444

test35/test_35.20_5_0.4_3_0.1_3_0.72.0	nlp
25 lines	1975 bytes
head (4,3,0)	body (1,3,0)
estimated blow-up	72.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	655.94sec	17.60sec	227	4916	132489
htl	6.55sec	19.01sec	227	563	8860
str	7.67sec	20.14sec	227	599	8476

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	637.52sec	159.44sec	397	4841	151963
htl	6.63sec	237.46sec	397	561	8979
str	8.15sec	314.34sec	397	605	8670

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1046.49sec	17.75sec	93	6272	172279
htl	7.02sec	12.17sec	93	586	9282
str	8.36sec	16.06sec	93	624	8858

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1092.17sec	70.23sec	401	6378	202719
htl	7.34sec	361.40sec	401	589	9374
str	9.06sec	482.21sec	401	637	9134

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1029.90sec	127.81sec	327	6166	198146
htl	7.17sec	295.73sec	327	603	9606
str	9.15sec	360.81sec	327	649	9273

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1183.75sec	264.25sec	119	6600	235957
htl	7.10sec	783.27sec	--	610	9764
str	8.95sec	782.70sec	--	654	9449

test35/test_35.20_5_0.4_3_0.2_3_0.212.1	nlp
25 lines	2378 bytes
head (4,3,0)	body (2,3,0)
estimated blow-up	212.1

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5338.60sec	179.26sec	184	13668	436475
htl	7.91sec	46.95sec	184	649	10363
str	10.24sec	58.73sec	184	699	10025

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	40957.78sec	511.48sec	205	12916	472199
htl	8.31sec	765.53sec	205	645	10370
str	10.30sec	774.92sec	--	691	9956

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	17736.97sec	40.66sec	20	23941	758820
htl	8.75sec	1.08sec	20	688	10944
str	11.20sec	1.42sec	20	730	10461

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	15601.99sec	774.88sec	--	23151	835456
htl	8.98sec	526.79sec	530	686	11075
str	12.02sec	775.07sec	--	740	10757

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	4613.86sec	486.43sec	117	12779	465181
htl	8.88sec	578.23sec	117	672	10719
str	11.04sec	775.44sec	--	716	10227

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	4601.24sec	774.64sec	--	12644	517501
htl	8.52sec	774.98sec	--	673	10820
str	10.84sec	774.76sec	--	709	10179

test35/test_35.20_5_0.4_3_0.3_3_0.641.2	nlp
25 lines	2668 bytes
head (4,3,0)	body (3,3,0)
estimated blow-up	641.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	47101.02sec	531.49sec	264	39831	1484937
htl	9.47sec	26.90sec	264	729	11611
str	12.77sec	32.74sec	264	771	11065

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	43506.68sec	775.20sec	--	39353	1573169
htl	10.09sec	775.52sec	--	730	11584
str	12.48sec	775.43sec	--	772	11157

test35/test_35.20_5_0.4_3_0.3_4_0.1347.0	nlp
25 lines	3134 bytes
head (4,3,0)	body (3,4,0)
estimated blow-up	1347.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	265367.75sec	775.72sec	--	92030	3497873
htl	11.22sec	37.96sec	341	788	12927
str	15.37sec	47.08sec	341	838	12131