Individual tests

test30/test_30.20_5_0.1_2_0.1_2_0.1.8	nlp
25 lines	593 bytes
head (1,2,0)	body (1,2,0)
estimated blow-up	1.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	0.51sec	0.00sec	0	110	1665
htl	1.06sec	0.03sec	0	198	2869
str	0.86sec	0.00sec	0	214	2710

test30/test_30.20_5_0.1_2_0.1_2_1.2.2	nlp
25 lines	668 bytes
head (1,2,0)	body (1,2,1)
estimated blow-up	2.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	0.76sec	0.00sec	1	107	1823
htl	0.78sec	0.08sec	1	187	2670
str	0.83sec	0.00sec	1	197	2518

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	0.84sec	0.05sec	0	151	2136
htl	1.03sec	0.04sec	0	217	3154
str	1.26sec	0.00sec	0	237	3043

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1.17sec	0.03sec	0	154	2766
htl	1.13sec	0.00sec	0	220	3293
str	1.39sec	0.00sec	0	240	3173

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1.13sec	0.01sec	0	192	2751
htl	1.04sec	0.01sec	0	246	3670
str	1.50sec	0.08sec	0	262	3408

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1.80sec	0.03sec	0	192	3552
htl	1.60sec	0.00sec	0	241	3724
str	1.98sec	0.04sec	0	267	3566

test30/test_30.20_5_0.1_2_0.2_2_0.3.7	nlp
25 lines	869 bytes
head (1,2,0)	body (2,2,0)
estimated blow-up	3.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1.77sec	0.02sec	0	189	3431
htl	2.03sec	0.01sec	0	267	3938
str	2.25sec	0.01sec	0	287	3729

test30/test_30.20_5_0.1_2_0.2_2_1.4.3	nlp
25 lines	995 bytes
head (1,2,0)	body (2,2,1)
estimated blow-up	4.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2.55sec	0.02sec	0	198	4392
htl	2.45sec	0.01sec	0	272	4206
str	2.40sec	0.01sec	0	294	3927

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5.82sec	0.07sec	0	400	7255
htl	2.97sec	0.01sec	0	314	4774
str	3.08sec	0.01sec	0	338	4484

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5.13sec	0.20sec	0	382	8827
htl	2.72sec	0.02sec	0	311	4873
str	2.85sec	0.02sec	0	339	4590

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	12.90sec	0.21sec	0	655	11653
htl	3.22sec	0.01sec	0	352	5370
str	3.49sec	0.01sec	0	380	5103

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	13.71sec	0.53sec	0	664	15012
htl	3.50sec	0.08sec	0	348	5480
str	3.87sec	0.03sec	0	374	5083

test30/test_30.20_5_0.1_2_0.3_2_0.7.5	nlp
25 lines	1090 bytes
head (1,2,0)	body (3,2,0)
estimated blow-up	7.5

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5.42sec	0.17sec	0	363	7753
htl	3.30sec	0.08sec	0	319	4687
str	3.19sec	0.01sec	0	343	4547

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5.10sec	0.18sec	0	348	9055
htl	3.01sec	0.01sec	0	327	4876
str	3.27sec	0.09sec	0	345	4635

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	33.23sec	1.44sec	0	1066	24067
htl	4.46sec	0.01sec	0	398	6099
str	4.59sec	0.01sec	0	422	5756

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	35.87sec	0.98sec	0	1092	29831
htl	4.11sec	0.09sec	0	398	6185
str	4.75sec	0.05sec	0	422	5817

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	169.54sec	8.05sec	0	2413	54612
htl	4.58sec	0.01sec	0	452	6899
str	5.43sec	0.01sec	0	474	6485

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	167.03sec	9.67sec	0	2450	65933
htl	4.95sec	0.06sec	0	454	7116
str	5.90sec	0.01sec	0	488	6836

test30/test_30.20_5_0.1_2_0.4_2_0.15.2	nlp
25 lines	1388 bytes
head (1,2,0)	body (4,2,0)
estimated blow-up	15.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	14.88sec	0.54sec	0	673	18391
htl	3.98sec	0.01sec	0	383	5776
str	4.39sec	0.01sec	0	415	5661

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	14.50sec	0.56sec	1	649	19842
htl	4.02sec	8.58sec	1	397	6072
str	4.70sec	14.91sec	1	423	5873

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	280.86sec	18.54sec	0	3132	86012
htl	5.02sec	0.01sec	0	477	7356
str	6.41sec	0.01sec	0	517	7192

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	275.91sec	16.06sec	0	3150	103128
htl	5.46sec	0.46sec	0	475	7431
str	6.16sec	0.62sec	0	509	7124

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2128.40sec	148.69sec	0	8694	227972
htl	6.65sec	0.01sec	0	550	8395
str	7.03sec	0.01sec	0	588	8231

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2042.42sec	96.49sec	0	8423	263550
htl	6.34sec	0.07sec	0	547	8716
str	8.52sec	0.07sec	0	583	8259

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2.02sec	0.08sec	0	160	2363
htl	2.19sec	0.08sec	0	230	3428
str	2.26sec	0.06sec	0	242	3111

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1.96sec	0.04sec	0	167	2927
htl	1.86sec	0.08sec	0	230	3503
str	2.60sec	0.00sec	0	258	3444

test30/test_30.20_5_0.1_3_0.1_3_0.2.7	nlp
25 lines	802 bytes
head (1,3,0)	body (1,3,0)
estimated blow-up	2.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2.55sec	0.08sec	0	218	3146
htl	2.17sec	0.00sec	0	252	3773
str	2.58sec	0.08sec	0	266	3467

test30/test_30.20_5_0.1_3_0.1_3_1.3.5	nlp
25 lines	918 bytes
head (1,3,0)	body (1,3,1)
estimated blow-up	3.5

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2.88sec	0.08sec	0	216	3753
htl	2.75sec	0.00sec	0	248	3764
str	2.38sec	0.09sec	0	266	3539

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2.78sec	0.05sec	0	271	3701
htl	2.76sec	0.08sec	0	273	4070
str	2.46sec	0.08sec	0	293	3857

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3.44sec	0.01sec	0	279	4842
htl	2.90sec	0.08sec	0	267	4119
str	3.23sec	0.03sec	0	299	4036

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3.53sec	0.02sec	0	279	4885
htl	2.61sec	0.03sec	0	292	4310
str	2.68sec	0.00sec	0	314	4112

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3.73sec	0.08sec	0	288	6198
htl	2.96sec	0.01sec	0	298	4518
str	3.16sec	0.08sec	0	316	4208

test30/test_30.20_5_0.1_3_0.2_3_0.8.3	nlp
25 lines	1184 bytes
head (1,3,0)	body (2,3,0)
estimated blow-up	8.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	10.69sec	0.11sec	0	581	10392
htl	3.25sec	0.01sec	0	338	5129
str	3.32sec	0.07sec	0	354	4680

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	11.33sec	0.20sec	0	575	13579
htl	3.52sec	0.04sec	0	343	5486
str	4.14sec	0.08sec	0	377	5204

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	25.84sec	0.55sec	0	957	16421
htl	3.81sec	0.02sec	0	369	5525
str	3.78sec	0.08sec	0	383	5039

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	27.96sec	0.59sec	0	984	23003
htl	3.75sec	0.08sec	0	379	5952
str	4.73sec	0.02sec	0	405	5540

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	9.57sec	0.12sec	0	532	11848
htl	3.67sec	0.01sec	0	359	5377
str	3.62sec	0.09sec	0	383	5154

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	9.38sec	0.14sec	0	513	13402
htl	3.56sec	0.01sec	0	363	5530
str	3.96sec	0.01sec	0	389	5321

test30/test_30.20_5_0.1_3_0.3_3_0.25.4	nlp
25 lines	1598 bytes
head (1,3,0)	body (3,3,0)
estimated blow-up	25.4

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	72.96sec	2.51sec	0	1620	37629
htl	4.48sec	0.10sec	0	419	6511
str	4.93sec	0.09sec	0	449	6154

test30/test_30.20_5_0.1_3_0.3_3_1.29.5	nlp
25 lines	1619 bytes
head (1,3,0)	body (3,3,1)
estimated blow-up	29.5

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	74.48sec	2.15sec	0	1618	43635
htl	4.62sec	0.08sec	0	423	6540
str	4.98sec	0.08sec	0	453	6292

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	334.60sec	12.00sec	0	3542	79707
htl	5.04sec	0.05sec	0	478	7388
str	5.92sec	0.01sec	0	506	6979

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	353.12sec	15.09sec	0	3607	97298
htl	5.30sec	0.08sec	0	481	7571
str	6.20sec	0.03sec	0	501	6971

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	28.01sec	0.78sec	0	967	25683
htl	4.15sec	0.01sec	0	410	6171
str	4.42sec	0.04sec	0	440	6037

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	29.19sec	0.90sec	0	970	30626
htl	4.60sec	0.01sec	0	418	6534
str	4.96sec	0.01sec	0	450	6261

test30/test_30.20_5_0.1_3_0.4_3_0.77.1	nlp
25 lines	1877 bytes
head (1,3,0)	body (4,3,0)
estimated blow-up	77.1

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	627.28sec	27.21sec	0	4833	131113
htl	6.00sec	0.01sec	0	506	7780
str	6.31sec	0.01sec	0	538	7500

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	590.80sec	23.16sec	0	4591	143577
htl	5.89sec	0.01sec	0	503	7860
str	6.54sec	0.05sec	0	539	7591

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5521.76sec	155.42sec	0	13497	390614
htl	6.66sec	0.09sec	0	577	9233
str	8.50sec	0.09sec	0	617	8728

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5912.16sec	252.45sec	0	14085	451644
htl	7.23sec	0.02sec	0	580	9214
str	8.65sec	0.01sec	0	622	8865

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2.01sec	0.00sec	0	200	2849
htl	3.07sec	0.00sec	0	257	3892
str	2.85sec	0.06sec	0	277	3640

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3.01sec	0.01sec	0	203	3578
htl	2.40sec	0.09sec	0	250	3871
str	2.83sec	0.00sec	0	270	3604

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2.83sec	0.05sec	0	268	3781
htl	2.84sec	0.08sec	0	271	4054
str	3.25sec	0.08sec	0	283	3694

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3.85sec	0.08sec	0	300	5466
htl	3.43sec	0.00sec	0	290	4569
str	3.18sec	0.09sec	0	304	4106

test30/test_30.20_5_0.1_4_0.1_4_0.3.6	nlp
25 lines	1079 bytes
head (1,4,0)	body (1,4,0)
estimated blow-up	3.6

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	4.55sec	0.09sec	0	339	4980
htl	2.84sec	0.00sec	0	293	4558
str	3.62sec	0.08sec	0	321	4277

test30/test_30.20_5_0.1_4_0.1_4_1.4.9	nlp
25 lines	1192 bytes
head (1,4,0)	body (1,4,1)
estimated blow-up	4.9

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5.66sec	0.01sec	0	370	6788
htl	3.00sec	0.08sec	0	298	4668
str	3.36sec	0.09sec	0	320	4339

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	4.99sec	0.04sec	0	359	6434
htl	3.35sec	0.05sec	0	314	4698
str	3.20sec	0.00sec	0	324	4223

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	4.91sec	0.01sec	0	352	7581
htl	3.12sec	0.08sec	0	320	4862
str	3.41sec	0.09sec	0	336	4476

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	15.86sec	0.21sec	0	734	12648
htl	3.69sec	0.01sec	0	356	5283
str	4.10sec	0.09sec	0	376	4988

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	16.25sec	0.25sec	0	727	16163
htl	3.39sec	0.08sec	0	359	5618
str	3.82sec	0.10sec	0	391	5353

test30/test_30.20_5_0.1_4_0.2_4_0.14.8	nlp
25 lines	1501 bytes
head (1,4,0)	body (2,4,0)
estimated blow-up	14.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	41.29sec	0.20sec	0	1244	21950
htl	4.30sec	0.06sec	0	401	6172
str	4.47sec	0.07sec	0	427	5786

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	35.88sec	0.29sec	0	1129	24629
htl	4.33sec	0.01sec	0	388	6032
str	4.97sec	0.06sec	0	420	5760

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	13.89sec	0.25sec	0	650	14494
htl	3.81sec	0.09sec	0	380	5746
str	4.44sec	0.08sec	0	406	5500

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	13.16sec	0.24sec	0	633	16454
htl	3.94sec	0.01sec	0	377	5780
str	4.81sec	0.08sec	0	401	5496

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	115.98sec	4.22sec	0	2067	47743
htl	4.82sec	0.08sec	0	445	6911
str	5.69sec	0.08sec	0	479	6622

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	127.22sec	2.09sec	0	2146	58116
htl	4.78sec	0.01sec	0	446	6930
str	5.51sec	0.08sec	0	478	6673

test30/test_30.20_5_0.1_4_0.3_4_0.60.2	nlp
25 lines	1955 bytes
head (1,4,0)	body (3,4,0)
estimated blow-up	60.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	554.83sec	1.16sec	0	4606	103250
htl	5.74sec	0.08sec	0	499	7746
str	6.67sec	0.01sec	0	535	7480

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	608.20sec	16.45sec	0	4804	132256
htl	5.72sec	0.04sec	0	505	8138
str	7.56sec	0.08sec	0	545	7687

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	48.00sec	0.62sec	0	1278	33076
htl	4.63sec	0.01sec	0	442	6676
str	5.23sec	0.01sec	0	474	6540

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	46.37sec	1.92sec	0	1247	40096
htl	4.73sec	0.01sec	0	438	6936
str	5.98sec	0.08sec	0	474	6614

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	798.01sec	13.75sec	0	5500	145932
htl	6.20sec	0.01sec	0	519	7935
str	7.06sec	0.05sec	0	547	7611

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	940.58sec	24.88sec	0	5955	189121
htl	6.17sec	0.01sec	0	520	8109
str	7.40sec	0.01sec	0	560	7914

test30/test_30.20_5_0.1_4_0.4_4_0.243.8	nlp
25 lines	2355 bytes
head (1,4,0)	body (4,4,0)
estimated blow-up	243.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	9551.70sec	290.95sec	0	17404	469652
htl	7.60sec	0.08sec	0	597	9270
str	8.56sec	0.02sec	0	627	8786

test30/test_30.20_5_0.1_4_0.4_4_1.279.3	nlp
25 lines	2558 bytes
head (1,4,0)	body (4,4,1)
estimated blow-up	279.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	9310.51sec	431.69sec	0	17091	546007
htl	7.49sec	0.01sec	0	595	9469
str	9.22sec	0.08sec	0	643	9204

test30/test_30.20_5_0.2_2_0.1_2_0.3.7	nlp
25 lines	782 bytes
head (2,2,0)	body (1,2,0)
estimated blow-up	3.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2.56sec	0.01sec	0	212	3728
htl	2.44sec	0.01sec	0	275	3969
str	2.93sec	0.08sec	0	293	3751

test30/test_30.20_5_0.2_2_0.1_2_1.4.2	nlp
25 lines	1009 bytes
head (2,2,0)	body (1,2,1)
estimated blow-up	4.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3.01sec	0.11sec	1	216	4782
htl	2.48sec	0.06sec	1	280	4345
str	3.39sec	0.21sec	1	310	4162

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3.80sec	0.01sec	0	290	5223
htl	3.51sec	0.01sec	0	306	4579
str	3.44sec	0.04sec	0	322	4212

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	4.11sec	0.02sec	5	274	5797
htl	3.09sec	1.79sec	5	296	4427
str	3.36sec	2.62sec	5	314	4149

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5.14sec	0.13sec	6	362	6390
htl	3.72sec	0.02sec	6	323	4829
str	3.45sec	0.07sec	6	339	4480

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5.57sec	0.09sec	7	362	7782
htl	3.25sec	0.46sec	7	318	4804
str	3.25sec	0.71sec	7	344	4633

test30/test_30.20_5_0.2_2_0.2_2_0.7.3	nlp
25 lines	1089 bytes
head (2,2,0)	body (2,2,0)
estimated blow-up	7.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	4.79sec	0.11sec	0	346	7501
htl	3.94sec	0.03sec	0	345	5116
str	3.51sec	0.11sec	0	369	4945

test30/test_30.20_5_0.2_2_0.2_2_1.8.2	nlp
25 lines	1216 bytes
head (2,2,0)	body (2,2,1)
estimated blow-up	8.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5.72sec	0.04sec	0	364	9597
htl	3.46sec	2.44sec	0	347	5289
str	3.72sec	4.34sec	0	367	4977

test30/test_30.20_5_0.2_2_0.2_3_0.13.2	nlp
25 lines	1300 bytes
head (2,2,0)	body (2,3,0)
estimated blow-up	13.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	16.74sec	0.03sec	0	734	16538
htl	3.81sec	0.08sec	0	393	5973
str	4.60sec	0.09sec	0	411	5576

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	18.97sec	0.50sec	0	770	21112
htl	4.30sec	0.53sec	0	392	6140
str	4.64sec	0.77sec	0	420	5789

test30/test_30.20_5_0.2_2_0.2_4_0.19.8	nlp
25 lines	1470 bytes
head (2,2,0)	body (2,4,0)
estimated blow-up	19.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	47.96sec	0.94sec	0	1297	28530
htl	4.48sec	0.09sec	0	427	6470
str	5.05sec	0.06sec	0	443	5983

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	53.08sec	0.60sec	3	1344	37163
htl	4.86sec	0.43sec	3	431	6670
str	5.61sec	0.60sec	3	459	6317

test30/test_30.20_5_0.2_2_0.3_2_0.14.7	nlp
25 lines	1318 bytes
head (2,2,0)	body (3,2,0)
estimated blow-up	14.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	13.47sec	0.14sec	8	621	16435
htl	3.91sec	13.01sec	8	403	6019
str	4.52sec	17.83sec	8	421	5683

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	15.56sec	0.39sec	2	674	20185
htl	4.15sec	6.89sec	2	406	6211
str	4.74sec	8.57sec	2	434	6007

test30/test_30.20_5_0.2_2_0.3_3_0.38.7	nlp
25 lines	1690 bytes
head (2,2,0)	body (3,3,0)
estimated blow-up	38.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	121.13sec	1.33sec	0	2074	56725
htl	5.38sec	0.02sec	0	467	7208
str	5.99sec	0.11sec	0	497	6858

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	136.56sec	3.45sec	12	2185	69403
htl	5.06sec	15.64sec	12	467	7284
str	6.19sec	24.30sec	12	501	7015

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	659.80sec	13.73sec	0	4946	136117
htl	5.92sec	0.03sec	0	530	8336
str	7.91sec	0.11sec	0	566	7917

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	613.62sec	23.46sec	26	4726	148843
htl	6.40sec	2.27sec	26	528	8264
str	7.71sec	3.15sec	26	572	8127

test30/test_30.20_5_0.2_2_0.4_2_0.29.6	nlp
25 lines	1628 bytes
head (2,2,0)	body (4,2,0)
estimated blow-up	29.6

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	51.72sec	1.24sec	19	1316	42161
htl	4.93sec	66.13sec	19	470	7228
str	5.88sec	68.81sec	19	504	7004

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	55.46sec	0.89sec	8	1337	48373
htl	5.02sec	175.17sec	8	462	7146
str	6.05sec	296.64sec	8	494	6907

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1002.19sec	22.07sec	3	6098	198369
htl	6.35sec	0.91sec	3	552	8653
str	8.03sec	1.40sec	3	590	8286

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1005.97sec	23.50sec	4	6058	218001
htl	6.78sec	238.81sec	4	550	8677
str	7.96sec	322.62sec	4	586	8313

test30/test_30.20_5_0.2_2_0.4_4_0.292.6	nlp
25 lines	2503 bytes
head (2,2,0)	body (4,4,0)
estimated blow-up	292.6

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	11187.95sec	81.47sec	0	18762	616129
htl	7.30sec	0.02sec	0	628	10053
str	10.49sec	0.10sec	0	670	9491

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	9527.41sec	300.45sec	32	17224	649474
htl	7.37sec	43.79sec	32	625	10048
str	10.47sec	57.28sec	32	661	9432

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	6.44sec	0.02sec	0	442	7936
htl	3.79sec	0.06sec	0	340	5139
str	3.86sec	0.08sec	0	364	4858

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	7.68sec	0.01sec	1	451	9630
htl	3.37sec	0.09sec	1	340	5293
str	4.10sec	0.09sec	1	364	4960

test30/test_30.20_5_0.2_3_0.1_3_0.8.1	nlp
25 lines	1169 bytes
head (2,3,0)	body (1,3,0)
estimated blow-up	8.1

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	11.74sec	0.01sec	0	627	11540
htl	3.64sec	0.01sec	0	361	5529
str	4.29sec	0.01sec	0	385	5195

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	11.58sec	0.10sec	0	575	12827
htl	3.82sec	0.01sec	0	353	5489
str	4.10sec	0.01sec	0	383	5227

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	17.54sec	0.10sec	0	777	14261
htl	4.26sec	0.01sec	0	379	5851
str	4.91sec	0.05sec	0	411	5578

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	19.80sec	0.10sec	2	813	17553
htl	3.86sec	0.07sec	2	381	5920
str	4.29sec	0.01sec	2	407	5555

test30/test_30.20_5_0.2_3_0.2_2_0.12.9	nlp
25 lines	1363 bytes
head (2,3,0)	body (2,2,0)
estimated blow-up	12.9

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	16.58sec	0.02sec	0	739	16378
htl	3.74sec	0.09sec	0	393	5987
str	4.70sec	0.01sec	0	419	5710

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	19.24sec	0.03sec	0	785	21175
htl	4.23sec	0.08sec	0	403	6232
str	4.71sec	0.08sec	0	429	5946

test30/test_30.20_5_0.2_3_0.2_3_0.24.3	nlp
25 lines	1578 bytes
head (2,3,0)	body (2,3,0)
estimated blow-up	24.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	74.48sec	0.11sec	0	1635	36752
htl	4.22sec	0.04sec	0	440	6792
str	5.46sec	0.07sec	0	478	6612

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	75.14sec	0.15sec	0	1612	43690
htl	5.10sec	0.01sec	0	441	6928
str	5.50sec	0.04sec	0	473	6596

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	178.90sec	1.10sec	0	2558	54850
htl	5.37sec	0.01sec	0	473	7221
str	6.24sec	0.09sec	0	505	7008

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	193.67sec	1.10sec	0	2636	71308
htl	5.39sec	0.08sec	0	475	7554
str	6.71sec	0.09sec	0	509	7164

test30/test_30.20_5_0.2_3_0.3_2_0.27.0	nlp
25 lines	1608 bytes
head (2,3,0)	body (3,2,0)
estimated blow-up	27.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	64.41sec	1.05sec	2	1490	39727
htl	5.03sec	0.23sec	2	465	7158
str	5.42sec	0.32sec	2	485	6685

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	59.50sec	0.73sec	0	1413	43338
htl	4.60sec	0.01sec	0	457	7072
str	6.10sec	0.01sec	0	499	7012

test30/test_30.20_5_0.2_3_0.3_3_0.73.9	nlp
25 lines	1959 bytes
head (2,3,0)	body (3,3,0)
estimated blow-up	73.9

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	564.31sec	0.93sec	0	4578	128301
htl	5.91sec	0.09sec	0	520	8165
str	7.24sec	0.05sec	0	552	7709

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	492.86sec	2.17sec	5	4240	131066
htl	5.85sec	1.77sec	5	517	8006
str	7.03sec	2.12sec	5	545	7680

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3447.48sec	2.79sec	0	10931	294909
htl	6.76sec	0.01sec	0	580	9037
str	8.41sec	0.09sec	0	614	8625

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2547.79sec	89.56sec	4	9696	315205
htl	6.78sec	0.21sec	4	574	9210
str	9.25sec	0.22sec	4	618	8836

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	224.13sec	0.41sec	0	2819	83290
htl	5.76sec	0.01sec	0	522	7867
str	6.83sec	0.01sec	0	552	7671

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	213.83sec	0.75sec	6	2736	99837
htl	6.10sec	8.45sec	6	522	8253
str	7.17sec	10.33sec	6	552	7786

test30/test_30.20_5_0.2_3_0.4_3_0.224.5	nlp
25 lines	2289 bytes
head (2,3,0)	body (4,3,0)
estimated blow-up	224.5

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5231.97sec	4.68sec	0	13302	427364
htl	7.29sec	0.08sec	0	599	9446
str	8.93sec	0.01sec	0	639	9031

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5098.43sec	45.00sec	1	13457	491598
htl	7.29sec	3.81sec	1	599	9530
str	9.18sec	4.65sec	1	635	9020

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	61049.09sec	363.78sec	0	41898	1361618
htl	9.13sec	0.09sec	0	679	10912
str	11.91sec	0.01sec	0	725	10339

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	52669.50sec	774.75sec	--	40992	1568233
htl	8.72sec	0.21sec	0	677	11069
str	12.11sec	0.51sec	0	727	10464

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	16.03sec	0.10sec	0	737	13174
htl	3.86sec	0.01sec	0	385	5906
str	4.48sec	0.08sec	0	407	5486

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	17.17sec	0.09sec	0	748	16345
htl	4.03sec	0.01sec	0	390	6186
str	4.64sec	0.08sec	0	418	5752

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	27.89sec	0.05sec	0	1009	18186
htl	4.29sec	0.01sec	0	409	6288
str	4.96sec	0.01sec	0	431	5865

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	28.80sec	0.03sec	0	992	21695
htl	4.07sec	0.01sec	0	405	6377
str	5.14sec	0.08sec	0	431	5922

test30/test_30.20_5_0.2_4_0.1_4_0.14.2	nlp
25 lines	1599 bytes
head (2,4,0)	body (1,4,0)
estimated blow-up	14.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	49.71sec	0.11sec	0	1344	24905
htl	4.71sec	0.09sec	0	429	6829
str	5.48sec	0.09sec	0	463	6353

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	46.99sec	0.09sec	0	1281	28411
htl	4.59sec	0.01sec	0	421	6725
str	5.30sec	0.08sec	0	463	6469

test30/test_30.20_5_0.2_4_0.2_2_0.18.8	nlp
25 lines	1619 bytes
head (2,4,0)	body (2,2,0)
estimated blow-up	18.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	50.71sec	0.09sec	0	1334	29707
htl	4.43sec	0.03sec	0	448	6955
str	5.72sec	0.01sec	0	474	6548

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	52.27sec	0.21sec	0	1327	36083
htl	5.05sec	0.08sec	0	452	7060
str	5.90sec	0.09sec	0	480	6714

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	220.61sec	0.24sec	0	2862	63223
htl	5.38sec	0.08sec	0	491	7575
str	6.98sec	0.06sec	0	523	7256

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	207.48sec	1.63sec	0	2730	71266
htl	5.37sec	0.08sec	0	484	7524
str	6.29sec	0.01sec	0	510	7109

test30/test_30.20_5_0.2_4_0.2_4_0.57.3	nlp
25 lines	2036 bytes
head (2,4,0)	body (2,4,0)
estimated blow-up	57.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	576.03sec	0.90sec	0	4662	105206
htl	5.80sec	0.01sec	0	523	8226
str	7.68sec	0.04sec	0	565	7905

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	546.25sec	0.76sec	0	4494	116279
htl	6.09sec	0.09sec	0	522	8200
str	7.52sec	0.01sec	0	554	7803

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	194.87sec	0.29sec	0	2654	70865
htl	5.73sec	0.09sec	0	510	7920
str	6.85sec	0.06sec	0	552	7725

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	181.74sec	0.44sec	0	2526	80584
htl	5.80sec	0.09sec	0	507	8016
str	7.08sec	0.05sec	0	541	7622

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1738.00sec	1.74sec	0	7981	219169
htl	6.79sec	0.09sec	0	571	9084
str	8.75sec	0.01sec	0	615	8707

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1600.19sec	1.76sec	1	7590	244486
htl	6.67sec	0.09sec	1	564	9067
str	8.57sec	0.09sec	1	608	8694

test30/test_30.20_5_0.2_4_0.3_4_0.233.0	nlp
25 lines	2543 bytes
head (2,4,0)	body (3,4,0)
estimated blow-up	233.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	9832.04sec	4.15sec	0	18113	502502
htl	7.57sec	0.07sec	0	625	10020
str	10.20sec	0.05sec	0	669	9496

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	10699.57sec	82.83sec	0	19334	602112
htl	8.07sec	0.10sec	0	629	10057
str	9.97sec	0.01sec	0	663	9416

test30/test_30.20_5_0.2_4_0.4_2_0.85.7	nlp
25 lines	2155 bytes
head (2,4,0)	body (4,2,0)
estimated blow-up	85.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	643.37sec	12.50sec	0	4856	155885
htl	6.39sec	0.06sec	0	571	9030
str	7.75sec	0.09sec	0	605	8526

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	664.62sec	12.08sec	0	4940	180069
htl	6.65sec	0.01sec	0	573	9127
str	8.56sec	0.09sec	0	613	8750

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	16938.40sec	18.36sec	0	23517	763711
htl	8.32sec	0.01sec	0	647	10383
str	10.36sec	0.05sec	0	679	9639

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	17258.20sec	12.26sec	0	24204	845856
htl	8.28sec	0.11sec	0	650	10276
str	10.07sec	0.02sec	0	696	9994

test30/test_30.20_5_0.2_4_0.4_4_0.945.5	nlp
25 lines	2951 bytes
head (2,4,0)	body (4,4,0)
estimated blow-up	945.5

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	162493.11sec	31.81sec	0	68342	2217074
htl	9.76sec	0.01sec	0	719	11553
str	12.62sec	0.09sec	0	753	10748

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	174384.94sec	76.53sec	0	71041	2642370
htl	10.15sec	0.10sec	0	725	11705
str	13.50sec	0.09sec	0	773	11167

test30/test_30.20_5_0.3_2_0.1_2_0.7.3	nlp
25 lines	1076 bytes
head (3,2,0)	body (1,2,0)
estimated blow-up	7.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	6.38sec	0.57sec	137	394	8813
htl	3.64sec	6.39sec	137	356	5342
str	3.64sec	9.12sec	137	374	5008

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	6.26sec	1.42sec	40	386	9615
htl	3.22sec	119.84sec	40	363	5430
str	4.22sec	158.14sec	40	387	5297

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	9.20sec	0.42sec	185	516	11351
htl	3.63sec	3.39sec	185	374	5544
str	4.58sec	5.06sec	185	396	5310

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	10.05sec	1.10sec	139	534	13549
htl	3.96sec	35.94sec	139	380	5709
str	3.65sec	44.10sec	139	394	5358

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	15.29sec	0.16sec	17	686	15733
htl	4.42sec	1.28sec	17	397	6145
str	4.61sec	2.24sec	17	431	5891

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	16.91sec	0.91sec	103	716	19361
htl	4.55sec	68.70sec	103	407	6332
str	5.02sec	95.54sec	103	441	6148

test30/test_30.20_5_0.3_2_0.2_2_0.14.4	nlp
25 lines	1339 bytes
head (3,2,0)	body (2,2,0)
estimated blow-up	14.4

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	16.15sec	2.09sec	195	692	18167
htl	4.47sec	31.65sec	195	421	6316
str	4.76sec	39.97sec	195	449	6124

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	17.07sec	1.11sec	54	706	21257
htl	4.60sec	98.83sec	54	416	6286
str	4.89sec	139.64sec	54	446	6145

test30/test_30.20_5_0.3_2_0.2_3_0.27.1	nlp
25 lines	1546 bytes
head (3,2,0)	body (2,3,0)
estimated blow-up	27.1

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	61.26sec	1.81sec	79	1446	39049
htl	4.96sec	10.67sec	79	463	7052
str	5.65sec	11.67sec	79	487	6707

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	59.13sec	2.65sec	30	1400	43755
htl	4.67sec	154.79sec	30	466	7174
str	6.08sec	243.15sec	30	494	6919

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	176.80sec	4.33sec	57	2498	68637
htl	5.54sec	3.17sec	57	507	7792
str	6.85sec	3.32sec	57	539	7500

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	155.79sec	6.89sec	71	2332	74449
htl	6.00sec	96.40sec	71	495	7776
str	7.20sec	140.30sec	71	531	7505

test30/test_30.20_5_0.3_2_0.3_2_0.28.8	nlp
25 lines	1600 bytes
head (3,2,0)	body (3,2,0)
estimated blow-up	28.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	45.02sec	2.44sec	78	1212	38429
htl	5.03sec	202.12sec	78	474	7291
str	5.90sec	232.28sec	78	504	7011

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	50.17sec	4.65sec	55	1262	43565
htl	5.33sec	774.87sec	--	482	7386
str	5.98sec	774.96sec	--	510	7098

test30/test_30.20_5_0.3_2_0.3_3_0.78.9	nlp
25 lines	1902 bytes
head (3,2,0)	body (3,3,0)
estimated blow-up	78.9

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	468.40sec	13.22sec	107	4128	132963
htl	6.28sec	20.67sec	107	549	8513
str	7.86sec	23.63sec	107	585	8225

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	506.25sec	22.26sec	47	4266	155559
htl	5.99sec	495.48sec	47	546	8547
str	7.66sec	572.89sec	47	578	8144

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2551.70sec	22.72sec	36	9566	311085
htl	7.17sec	22.46sec	36	603	9606
str	9.36sec	28.79sec	36	651	9274

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2075.43sec	30.28sec	55	8724	324355
htl	7.28sec	354.67sec	55	597	9535
str	9.27sec	773.36sec	55	639	9097

test30/test_30.20_5_0.3_2_0.4_2_0.58.1	nlp
25 lines	1860 bytes
head (3,2,0)	body (4,2,0)
estimated blow-up	58.1

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	175.45sec	17.98sec	91	2454	89875
htl	6.03sec	774.14sec	--	546	8464
str	7.46sec	774.15sec	--	580	8103

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	196.92sec	2.76sec	88	2584	106689
htl	6.56sec	774.07sec	--	546	8566
str	7.88sec	774.55sec	--	586	8326

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3829.33sec	134.76sec	80	11856	432137
htl	7.76sec	135.07sec	80	625	9788
str	9.91sec	156.74sec	80	665	9421

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	4498.68sec	73.65sec	27	12484	538937
htl	7.82sec	773.19sec	--	629	10222
str	10.57sec	773.43sec	--	673	9645

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	41653.07sec	75.35sec	60	36062	1336865
htl	8.89sec	10.33sec	60	697	11134
str	11.48sec	11.11sec	60	733	10431

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	40771.75sec	198.67sec	23	36060	1501545
htl	9.34sec	180.93sec	23	694	11280
str	12.43sec	257.09sec	23	740	10639

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	41.90sec	0.05sec	5	1220	27895
htl	4.40sec	0.02sec	5	440	6774
str	5.33sec	0.04sec	5	470	6472

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	41.54sec	0.21sec	1	1190	32243
htl	4.83sec	0.27sec	1	438	6936
str	5.98sec	0.39sec	1	470	6580

test30/test_30.20_5_0.3_3_0.1_3_0.24.1	nlp
25 lines	1567 bytes
head (3,3,0)	body (1,3,0)
estimated blow-up	24.1

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	86.91sec	0.22sec	0	1769	40201
htl	4.40sec	0.09sec	0	457	7035
str	6.16sec	0.09sec	0	491	6783

test30/test_30.20_5_0.3_3_0.1_3_1.27.8	nlp
25 lines	1802 bytes
head (3,3,0)	body (1,3,1)
estimated blow-up	27.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	84.10sec	0.59sec	4	1714	47206
htl	5.22sec	0.59sec	4	463	7436
str	6.62sec	0.76sec	4	499	6975

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	145.11sec	0.23sec	2	2311	51315
htl	5.22sec	0.09sec	2	481	7344
str	6.04sec	0.01sec	2	505	6971

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	138.65sec	0.86sec	11	2232	60705
htl	5.84sec	0.90sec	11	481	7519
str	6.38sec	1.09sec	11	511	7159

test30/test_30.20_5_0.3_3_0.2_2_0.36.7	nlp
25 lines	1708 bytes
head (3,3,0)	body (2,2,0)
estimated blow-up	36.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	121.26sec	0.62sec	10	2081	53931
htl	5.43sec	0.04sec	10	500	7679
str	6.48sec	0.12sec	10	528	7316

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	129.77sec	3.67sec	43	2124	64181
htl	5.46sec	49.09sec	43	497	7675
str	6.77sec	81.07sec	43	533	7507

test30/test_30.20_5_0.3_3_0.2_3_0.71.6	nlp
25 lines	1869 bytes
head (3,3,0)	body (2,3,0)
estimated blow-up	71.6

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	466.59sec	1.75sec	12	4154	108889
htl	6.18sec	0.55sec	12	525	8034
str	7.51sec	0.57sec	12	569	7971

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	506.08sec	1.34sec	6	4297	134492
htl	6.39sec	1.35sec	6	537	8511
str	7.59sec	1.64sec	6	573	8122

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1654.54sec	1.93sec	0	7753	215820
htl	6.56sec	0.06sec	0	578	9249
str	9.30sec	0.02sec	0	634	9030

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1756.25sec	18.45sec	0	8059	246195
htl	6.76sec	0.11sec	0	575	8941
str	8.36sec	0.07sec	0	609	8604

test30/test_30.20_5_0.3_3_0.3_2_0.76.3	nlp
25 lines	1955 bytes
head (3,3,0)	body (3,2,0)
estimated blow-up	76.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	509.56sec	3.31sec	10	4331	133761
htl	6.46sec	0.92sec	10	560	8682
str	7.86sec	1.16sec	10	592	8264

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	429.38sec	13.04sec	52	3919	143560
htl	6.43sec	27.21sec	52	551	8798
str	8.64sec	48.39sec	52	597	8483

test30/test_30.20_5_0.3_3_0.3_3_0.217.0	nlp
25 lines	2320 bytes
head (3,3,0)	body (3,3,0)
estimated blow-up	217.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	4578.30sec	16.43sec	32	12719	408261
htl	7.68sec	1.67sec	32	615	9719
str	9.27sec	2.11sec	32	659	9344

test30/test_30.20_5_0.3_3_0.3_3_1.241.0	nlp
25 lines	2422 bytes
head (3,3,0)	body (3,3,1)
estimated blow-up	241.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5120.43sec	26.33sec	3	13381	492320
htl	7.79sec	4.03sec	3	620	9923
str	9.62sec	5.14sec	3	658	9368

test30/test_30.20_5_0.3_3_0.3_4_0.446.8	nlp
25 lines	2538 bytes
head (3,3,0)	body (3,4,0)
estimated blow-up	446.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	28192.94sec	20.95sec	0	31290	983099
htl	8.32sec	0.02sec	0	677	10617
str	10.56sec	0.09sec	0	717	10190

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	30429.65sec	29.75sec	3	30719	1140755
htl	8.51sec	0.25sec	3	676	10892
str	11.38sec	0.07sec	3	712	10191

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1896.95sec	20.35sec	9	8185	300951
htl	7.95sec	7.04sec	9	623	9886
str	9.92sec	8.24sec	9	665	9407

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1544.31sec	13.93sec	7	7535	296248
htl	7.70sec	22.25sec	7	614	9690
str	9.37sec	27.87sec	7	654	9302

test30/test_30.20_5_0.3_3_0.4_3_0.659.3	nlp
25 lines	2645 bytes
head (3,3,0)	body (4,3,0)
estimated blow-up	659.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	41887.74sec	639.85sec	2	37615	1345858
htl	8.95sec	0.36sec	2	694	11005
str	11.38sec	0.39sec	2	738	10547

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	48017.63sec	645.62sec	0	41010	1678051
htl	9.42sec	7.36sec	0	702	11310
str	12.61sec	9.47sec	0	756	10888

test30/test_30.20_5_0.3_3_0.4_4_0.1776.3	nlp
25 lines	3047 bytes
head (3,3,0)	body (4,4,0)
estimated blow-up	1776.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	484440.08sec	118.92sec	0	123450	4559827
htl	11.01sec	0.11sec	0	776	12422
str	14.63sec	0.16sec	0	816	11655

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	455530.02sec	776.12sec	--	113695	4749450
htl	11.11sec	6.37sec	24	771	12482
str	14.23sec	7.07sec	24	815	11768

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	196.95sec	1.29sec	0	2694	60465
htl	6.17sec	0.09sec	0	512	8015
str	7.16sec	0.03sec	0	544	7576

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	224.54sec	1.11sec	5	2859	76754
htl	6.07sec	0.23sec	5	516	8193
str	7.15sec	0.40sec	5	554	7816

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	413.12sec	0.41sec	0	3932	89081
htl	6.26sec	0.09sec	0	529	8378
str	7.45sec	0.10sec	0	565	7920

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	397.58sec	0.98sec	0	3818	106594
htl	6.01sec	0.06sec	0	527	8442
str	8.08sec	0.09sec	0	563	7963

test30/test_30.20_5_0.3_4_0.1_4_0.56.4	nlp
25 lines	2069 bytes
head (3,4,0)	body (1,4,0)
estimated blow-up	56.4

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	626.36sec	0.63sec	0	4876	112541
htl	6.50sec	0.01sec	0	551	8701
str	8.05sec	0.07sec	0	589	8237

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	614.57sec	0.77sec	0	4782	132483
htl	6.25sec	0.07sec	0	549	8790
str	7.47sec	0.01sec	0	585	8276

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	667.55sec	1.07sec	0	4974	133165
htl	6.82sec	0.01sec	0	571	9018
str	8.84sec	0.05sec	0	611	8614

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	714.42sec	3.31sec	2	5132	158353
htl	6.73sec	1.12sec	2	572	9071
str	8.66sec	1.14sec	2	600	8496

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3318.94sec	1.76sec	0	10632	288320
htl	7.70sec	0.01sec	0	612	9708
str	9.33sec	0.09sec	0	646	9128

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3124.19sec	5.20sec	0	10666	326552
htl	7.66sec	0.04sec	0	612	9641
str	9.09sec	0.04sec	0	652	9280

test30/test_30.20_5_0.3_4_0.2_4_0.224.6	nlp
25 lines	2720 bytes
head (3,4,0)	body (2,4,0)
estimated blow-up	224.6

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	10390.33sec	6.07sec	0	19374	557640
htl	8.30sec	0.09sec	0	655	10718
str	11.65sec	0.09sec	0	701	10024

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	8912.63sec	35.57sec	0	17640	575857
htl	8.17sec	0.02sec	0	648	10438
str	11.02sec	0.02sec	0	696	9999

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2855.71sec	3.52sec	0	9799	310178
htl	7.66sec	0.09sec	0	633	10050
str	10.26sec	0.09sec	0	675	9575

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2305.77sec	8.92sec	4	9160	326889
htl	8.07sec	2.63sec	4	628	9971
str	10.34sec	3.14sec	4	672	9606

test30/test_30.20_5_0.3_4_0.3_3_0.434.0	nlp
25 lines	2796 bytes
head (3,4,0)	body (3,3,0)
estimated blow-up	434.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	27938.73sec	12.52sec	0	30946	1026377
htl	9.45sec	0.01sec	0	693	11259
str	12.85sec	0.01sec	0	745	10690

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	24859.59sec	15.79sec	1	28069	1043556
htl	9.30sec	0.10sec	1	684	11039
str	12.10sec	0.10sec	1	730	10485

test30/test_30.20_5_0.3_4_0.3_4_0.912.0	nlp
25 lines	2947 bytes
head (3,4,0)	body (3,4,0)
estimated blow-up	912.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	164859.33sec	36.96sec	0	70727	2267633
htl	10.21sec	0.10sec	0	746	11893
str	13.66sec	0.09sec	0	784	11184

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	119716.62sec	105.37sec	0	65322	2458393
htl	10.33sec	0.10sec	0	741	12085
str	14.40sec	0.11sec	0	791	11436

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	9410.65sec	11.84sec	1	17498	635957
htl	8.89sec	0.04sec	1	686	10911
str	11.74sec	0.04sec	1	726	10318

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	11286.30sec	43.48sec	5	19323	814559
htl	9.25sec	6.73sec	5	696	11236
str	12.44sec	8.41sec	5	746	10740

test30/test_30.20_5_0.3_4_0.4_3_0.1345.7	nlp
25 lines	3064 bytes
head (3,4,0)	body (4,3,0)
estimated blow-up	1345.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	267446.35sec	82.40sec	0	91078	3358118
htl	10.68sec	0.11sec	0	772	12431
str	14.38sec	0.09sec	0	816	11679

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	252639.81sec	166.47sec	0	88464	3640099
htl	10.46sec	0.74sec	0	764	12354
str	14.48sec	0.58sec	0	812	11756

test30/test_30.20_5_0.3_4_0.4_4_0.3701.1	nlp
25 lines	3524 bytes
head (3,4,0)	body (4,4,0)
estimated blow-up	3701.1

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2125241.88sec	775.71sec	--	253020	9356935
htl	12.35sec	0.02sec	0	840	13708
str	17.27sec	0.02sec	0	886	12796

test30/test_30.20_5_0.4_2_0.1_2_0.14.6	nlp
25 lines	1370 bytes
head (4,2,0)	body (1,2,0)
estimated blow-up	14.6

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	18.64sec	6.91sec	887	760	21149
htl	4.71sec	194.39sec	887	442	6785
str	5.00sec	260.15sec	887	476	6542

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	18.56sec	4.84sec	276	734	21709
htl	4.32sec	470.05sec	276	422	6405
str	5.11sec	522.81sec	276	438	6005

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	31.39sec	7.37sec	596	1024	27105
htl	4.49sec	105.75sec	596	459	6944
str	5.46sec	121.95sec	596	483	6634

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	35.36sec	17.29sec	588	1056	32709
htl	5.12sec	775.29sec	--	453	7002
str	5.98sec	775.54sec	--	495	6941

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	57.83sec	11.33sec	938	1398	38089
htl	4.99sec	103.29sec	938	481	7385
str	6.33sec	126.21sec	938	509	7043

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	49.38sec	42.45sec	332	1270	39645
htl	5.00sec	774.89sec	--	464	7271
str	6.01sec	775.19sec	--	494	6936

test30/test_30.20_5_0.4_2_0.2_2_0.28.5	nlp
25 lines	1677 bytes
head (4,2,0)	body (2,2,0)
estimated blow-up	28.5

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	47.69sec	11.17sec	426	1242	39147
htl	5.56sec	775.36sec	--	497	7720
str	6.62sec	775.45sec	--	535	7464

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	56.50sec	33.09sec	202	1348	48713
htl	5.64sec	774.17sec	--	500	7799
str	7.03sec	774.70sec	--	534	7509

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	237.28sec	44.46sec	583	2892	96509
htl	5.97sec	388.50sec	583	538	8520
str	8.26sec	475.21sec	583	580	8164

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	259.13sec	19.59sec	209	3016	110841
htl	6.42sec	775.36sec	--	547	8604
str	7.32sec	775.52sec	--	581	8226

test30/test_30.20_5_0.4_2_0.2_4_0.86.2	nlp
25 lines	2157 bytes
head (4,2,0)	body (2,4,0)
estimated blow-up	86.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	672.96sec	30.13sec	190	4952	165481
htl	7.03sec	69.72sec	190	576	9248
str	9.15sec	87.45sec	190	620	8811

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	499.97sec	142.84sec	235	4240	147399
htl	6.97sec	775.13sec	--	567	8817
str	7.97sec	791.66sec	--	597	8442

test30/test_30.20_5_0.4_2_0.3_2_0.57.0	nlp
25 lines	1836 bytes
head (4,2,0)	body (3,2,0)
estimated blow-up	57.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	207.25sec	133.29sec	447	2692	96813
htl	6.48sec	775.50sec	--	560	8621
str	7.86sec	776.04sec	--	588	8204

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	184.27sec	19.54sec	69	2492	106237
htl	6.28sec	775.15sec	--	563	9028
str	8.35sec	775.65sec	--	599	8491

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1861.76sec	443.96sec	405	8192	284107
htl	7.53sec	757.09sec	405	612	9417
str	8.93sec	777.22sec	--	650	9168

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1670.44sec	594.17sec	195	7828	321557
htl	7.33sec	776.37sec	--	617	9747
str	9.39sec	775.80sec	--	657	9401

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	10495.36sec	456.49sec	212	18314	710293
htl	8.49sec	258.32sec	212	671	11009
str	12.29sec	299.86sec	212	717	10249

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	9566.26sec	780.90sec	--	17538	701075
htl	8.24sec	781.36sec	--	672	10584
str	10.40sec	785.95sec	--	714	10233

test30/test_30.20_5_0.4_2_0.4_2_0.114.6	nlp
25 lines	2044 bytes
head (4,2,0)	body (4,2,0)
estimated blow-up	114.6

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	636.26sec	409.56sec	180	4740	188877
htl	7.74sec	783.43sec	--	609	9374
str	8.79sec	784.17sec	--	643	9026

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	706.77sec	227.80sec	411	4998	222353
htl	7.33sec	781.73sec	--	617	9668
str	9.09sec	782.68sec	--	653	9276

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	14659.78sec	780.20sec	--	22600	942297
htl	9.11sec	784.70sec	--	697	10975
str	11.31sec	782.38sec	--	731	10366

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	16755.30sec	781.63sec	--	23674	1075257
htl	9.08sec	781.05sec	--	702	11049
str	11.12sec	783.60sec	--	740	10551