Individual tests

test40/test_40.20_5_0.1_2_0.1_2_0.1.8	nlp
25 lines	602 bytes
head (1,2,0)	body (1,2,0)
estimated blow-up	1.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1.01sec	0.00sec	0	105	1604
htl	1.15sec	0.00sec	0	199	2920
str	1.38sec	0.02sec	0	217	2771

test40/test_40.20_5_0.1_2_0.1_2_1.2.2	nlp
25 lines	675 bytes
head (1,2,0)	body (1,2,1)
estimated blow-up	2.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	0.85sec	0.03sec	0	107	1841
htl	1.27sec	0.00sec	0	192	2760
str	1.60sec	0.05sec	0	204	2627

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1.31sec	0.01sec	0	155	2212
htl	1.63sec	0.00sec	0	226	3320
str	1.75sec	0.01sec	0	246	3191

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1.53sec	0.01sec	0	160	2915
htl	1.98sec	0.01sec	0	229	3490
str	2.01sec	0.01sec	0	257	3455

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1.89sec	0.01sec	0	198	2869
htl	2.23sec	0.05sec	0	258	3926
str	2.42sec	0.00sec	0	274	3616

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1.90sec	0.01sec	0	194	3636
htl	2.11sec	0.01sec	0	252	3966
str	2.39sec	0.08sec	0	282	3819

test40/test_40.20_5_0.1_2_0.2_2_0.3.7	nlp
25 lines	874 bytes
head (1,2,0)	body (2,2,0)
estimated blow-up	3.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2.06sec	0.09sec	0	193	3522
htl	2.34sec	0.01sec	0	273	4068
str	2.56sec	0.01sec	0	291	3809

test40/test_40.20_5_0.1_2_0.2_2_1.4.3	nlp
25 lines	1006 bytes
head (1,2,0)	body (2,2,1)
estimated blow-up	4.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2.57sec	0.02sec	0	206	4607
htl	2.42sec	0.01sec	0	286	4486
str	2.91sec	0.08sec	0	308	4178

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5.54sec	0.21sec	0	398	7287
htl	2.54sec	0.01sec	0	323	4985
str	3.25sec	0.04sec	0	347	4666

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5.99sec	0.19sec	0	396	9270
htl	3.23sec	0.02sec	0	322	5112
str	3.20sec	0.01sec	0	348	4772

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	12.71sec	0.54sec	0	667	11937
htl	3.27sec	0.01sec	0	359	5531
str	4.28sec	0.01sec	0	391	5324

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	14.18sec	0.84sec	1	674	15420
htl	3.44sec	0.57sec	1	359	5738
str	3.81sec	0.59sec	1	387	5339

test40/test_40.20_5_0.1_2_0.3_2_0.7.5	nlp
25 lines	1098 bytes
head (1,2,0)	body (3,2,0)
estimated blow-up	7.5

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5.11sec	0.31sec	0	366	7862
htl	3.12sec	0.01sec	0	332	4936
str	3.55sec	0.08sec	0	358	4814

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5.73sec	0.16sec	0	358	9392
htl	2.95sec	0.01sec	0	336	5065
str	3.29sec	0.01sec	0	360	4917

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	34.86sec	1.81sec	0	1104	25134
htl	4.27sec	0.08sec	0	406	6289
str	4.77sec	0.01sec	0	432	5954

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	35.38sec	1.97sec	0	1092	30452
htl	4.44sec	0.04sec	0	410	6457
str	4.54sec	0.08sec	0	436	6099

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	180.52sec	9.95sec	0	2510	57929
htl	5.07sec	0.05sec	0	467	7237
str	5.49sec	0.01sec	0	491	6828

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	172.62sec	10.35sec	0	2456	66512
htl	5.06sec	0.09sec	0	470	7465
str	5.87sec	0.10sec	0	508	7228

test40/test_40.20_5_0.1_2_0.4_2_0.15.2	nlp
25 lines	1408 bytes
head (1,2,0)	body (4,2,0)
estimated blow-up	15.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	14.88sec	0.66sec	0	680	18816
htl	4.42sec	0.01sec	0	406	6233
str	4.63sec	0.01sec	0	442	6149

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	14.07sec	0.78sec	1	637	19711
htl	4.13sec	37.80sec	1	404	6246
str	4.63sec	119.40sec	1	432	6070

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	250.35sec	19.70sec	0	3044	84730
htl	5.48sec	0.01sec	0	493	7727
str	6.59sec	0.10sec	0	537	7595

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	280.66sec	19.05sec	0	3188	106075
htl	5.31sec	7.22sec	0	490	7782
str	6.41sec	9.13sec	0	532	7574

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2400.99sec	148.07sec	0	9274	245432
htl	6.35sec	0.10sec	0	574	8911
str	7.80sec	0.01sec	0	616	8788

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2267.40sec	128.78sec	0	8921	284350
htl	7.03sec	0.04sec	0	564	9099
str	8.41sec	0.12sec	0	600	8616

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2.14sec	0.00sec	0	162	2437
htl	2.01sec	0.08sec	0	235	3555
str	2.16sec	0.00sec	0	247	3218

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2.03sec	0.08sec	0	170	3055
htl	2.25sec	0.04sec	0	242	3780
str	2.34sec	0.01sec	0	272	3694

test40/test_40.20_5_0.1_3_0.1_3_0.2.7	nlp
25 lines	808 bytes
head (1,3,0)	body (1,3,0)
estimated blow-up	2.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2.47sec	0.08sec	0	222	3227
htl	2.81sec	0.00sec	0	258	3901
str	2.84sec	0.08sec	0	276	3637

test40/test_40.20_5_0.1_3_0.1_3_1.3.5	nlp
25 lines	931 bytes
head (1,3,0)	body (1,3,1)
estimated blow-up	3.5

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2.87sec	0.01sec	0	220	3860
htl	2.59sec	0.00sec	0	251	3847
str	2.84sec	0.05sec	0	271	3635

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3.68sec	0.05sec	0	272	3736
htl	2.95sec	0.08sec	0	276	4154
str	2.62sec	0.00sec	0	296	3919

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3.43sec	0.02sec	0	281	4981
htl	2.95sec	0.08sec	0	282	4425
str	2.86sec	0.08sec	0	314	4285

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	4.02sec	0.02sec	0	284	5021
htl	2.88sec	0.00sec	0	298	4446
str	2.95sec	0.08sec	0	320	4234

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3.79sec	0.09sec	0	287	6254
htl	2.84sec	0.01sec	0	303	4654
str	3.03sec	0.01sec	0	323	4363

test40/test_40.20_5_0.1_3_0.2_3_0.8.3	nlp
25 lines	1194 bytes
head (1,3,0)	body (2,3,0)
estimated blow-up	8.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	10.50sec	0.23sec	0	564	10213
htl	3.20sec	0.01sec	0	348	5357
str	3.75sec	0.08sec	0	364	4899

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	10.89sec	0.22sec	0	582	13899
htl	3.60sec	0.08sec	0	356	5778
str	4.30sec	0.08sec	0	398	5610

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	26.03sec	0.85sec	0	976	17024
htl	3.85sec	0.01sec	0	384	5868
str	4.19sec	0.07sec	0	400	5370

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	28.89sec	1.07sec	0	1001	23760
htl	4.41sec	0.10sec	0	394	6301
str	4.55sec	0.01sec	0	422	5906

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	9.28sec	0.31sec	0	530	12056
htl	3.27sec	0.08sec	0	365	5535
str	4.20sec	0.01sec	0	391	5327

test40/test_40.20_5_0.1_3_0.3_2_1.11.2	nlp
25 lines	1336 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	503	13303
htl	3.99sec	0.08sec	0	365	5618
str	4.02sec	13.17sec	0	393	5427

test40/test_40.20_5_0.1_3_0.3_3_0.25.4	nlp
25 lines	1610 bytes
head (1,3,0)	body (3,3,0)
estimated blow-up	25.4

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	77.68sec	3.89sec	0	1683	39445
htl	4.65sec	0.10sec	0	431	6762
str	5.46sec	0.03sec	0	467	6500

test40/test_40.20_5_0.1_3_0.3_3_1.29.5	nlp
25 lines	1639 bytes
head (1,3,0)	body (3,3,1)
estimated blow-up	29.5

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	76.24sec	3.54sec	0	1651	45108
htl	4.55sec	0.01sec	0	438	6873
str	5.36sec	0.08sec	0	468	6583

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	364.10sec	15.93sec	0	3709	84318
htl	5.42sec	0.01sec	0	492	7689
str	6.72sec	0.01sec	0	526	7357

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	350.99sec	16.86sec	0	3618	98683
htl	5.45sec	0.08sec	0	497	7947
str	6.41sec	0.01sec	0	521	7395

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	28.19sec	1.62sec	0	962	25879
htl	4.54sec	0.01sec	0	424	6464
str	4.94sec	0.04sec	0	454	6295

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	31.15sec	1.60sec	1	975	31391
htl	4.61sec	1.46sec	1	433	6856
str	4.95sec	1.96sec	1	465	6558

test40/test_40.20_5_0.1_3_0.4_3_0.77.1	nlp
25 lines	1906 bytes
head (1,3,0)	body (4,3,0)
estimated blow-up	77.1

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	636.28sec	30.32sec	0	4922	135915
htl	5.80sec	0.09sec	0	521	8137
str	6.99sec	0.01sec	0	553	7823

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	551.36sec	38.40sec	0	4515	144244
htl	5.96sec	0.01sec	0	518	8229
str	7.33sec	0.09sec	0	556	7953

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5490.02sec	327.47sec	0	13510	398611
htl	7.12sec	0.08sec	0	597	9703
str	9.13sec	0.08sec	0	645	9290

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5622.20sec	252.07sec	0	13949	455857
htl	7.25sec	0.09sec	0	597	9612
str	9.33sec	0.01sec	0	645	9345

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2.14sec	0.04sec	0	209	2997
htl	2.58sec	0.09sec	0	267	4095
str	3.02sec	0.02sec	0	287	3809

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3.07sec	0.01sec	0	211	3805
htl	3.12sec	0.08sec	0	263	4149
str	2.79sec	0.08sec	0	285	3855

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3.24sec	0.08sec	0	281	4059
htl	3.24sec	0.00sec	0	286	4383
str	2.77sec	0.08sec	0	298	3969

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3.87sec	0.09sec	0	294	5345
htl	3.22sec	0.01sec	0	292	4633
str	3.18sec	0.08sec	0	312	4254

test40/test_40.20_5_0.1_4_0.1_4_0.3.6	nlp
25 lines	1090 bytes
head (1,4,0)	body (1,4,0)
estimated blow-up	3.6

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	4.88sec	0.04sec	0	356	5275
htl	3.18sec	0.00sec	0	308	4867
str	3.13sec	0.01sec	0	334	4506

test40/test_40.20_5_0.1_4_0.1_4_1.4.9	nlp
25 lines	1207 bytes
head (1,4,0)	body (1,4,1)
estimated blow-up	4.9

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5.25sec	0.02sec	0	381	7071
htl	2.86sec	0.00sec	0	308	4895
str	3.75sec	0.08sec	0	332	4560

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5.02sec	0.10sec	0	376	6845
htl	3.02sec	0.01sec	0	328	5013
str	3.66sec	0.07sec	0	338	4466

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5.08sec	0.10sec	0	366	7978
htl	3.35sec	0.01sec	0	333	5148
str	3.53sec	0.01sec	0	355	4848

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	15.47sec	0.05sec	0	743	12890
htl	3.95sec	0.09sec	0	364	5469
str	4.08sec	0.01sec	0	386	5205

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	16.07sec	0.56sec	0	735	16511
htl	3.96sec	0.07sec	0	374	5958
str	4.44sec	0.01sec	0	412	5764

test40/test_40.20_5_0.1_4_0.2_4_0.14.8	nlp
25 lines	1522 bytes
head (1,4,0)	body (2,4,0)
estimated blow-up	14.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	41.01sec	0.39sec	0	1238	22146
htl	4.36sec	0.09sec	0	413	6454
str	4.76sec	0.04sec	0	445	6155

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	42.06sec	1.29sec	0	1218	26761
htl	4.27sec	0.01sec	0	407	6431
str	4.94sec	0.01sec	0	433	6013

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	14.01sec	0.24sec	0	667	15060
htl	3.70sec	0.08sec	0	387	5915
str	4.23sec	0.08sec	0	413	5648

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	13.66sec	0.40sec	0	657	17177
htl	3.56sec	0.08sec	0	386	5994
str	4.47sec	0.08sec	0	412	5716

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	129.55sec	5.21sec	0	2189	51162
htl	4.89sec	0.03sec	0	457	7177
str	5.82sec	0.09sec	0	485	6751

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	131.89sec	2.61sec	0	2187	60382
htl	5.06sec	0.01sec	0	461	7279
str	5.81sec	0.04sec	0	493	6993

test40/test_40.20_5_0.1_4_0.3_4_0.60.2	nlp
25 lines	1986 bytes
head (1,4,0)	body (3,4,0)
estimated blow-up	60.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	616.22sec	15.21sec	0	4865	111079
htl	5.44sec	0.09sec	0	521	8225
str	7.17sec	0.05sec	0	559	7967

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	679.51sec	29.77sec	0	5086	142558
htl	6.00sec	0.09sec	0	529	8660
str	7.67sec	0.09sec	0	575	8285

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	47.21sec	0.75sec	0	1283	33813
htl	4.48sec	0.01sec	0	455	6957
str	5.11sec	0.09sec	0	485	6761

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	47.12sec	2.28sec	0	1253	41166
htl	4.70sec	0.08sec	0	454	7289
str	5.70sec	0.08sec	0	496	7040

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	859.34sec	32.69sec	0	5729	155151
htl	6.10sec	0.08sec	0	537	8354
str	6.95sec	0.08sec	0	571	8087

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1028.61sec	18.01sec	0	6238	201357
htl	6.42sec	0.01sec	0	540	8541
str	7.62sec	0.04sec	0	588	8462

test40/test_40.20_5_0.1_4_0.4_4_0.243.8	nlp
25 lines	2389 bytes
head (1,4,0)	body (4,4,0)
estimated blow-up	243.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	11842.79sec	430.01sec	0	19259	526413
htl	7.33sec	0.01sec	0	621	9779
str	9.29sec	0.08sec	0	653	9299

test40/test_40.20_5_0.1_4_0.4_4_1.279.3	nlp
25 lines	2587 bytes
head (1,4,0)	body (4,4,1)
estimated blow-up	279.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	10663.18sec	488.01sec	0	18317	594789
htl	8.03sec	0.01sec	0	618	9951
str	9.73sec	0.04sec	0	676	9822

test40/test_40.20_5_0.2_2_0.1_2_0.3.7	nlp
25 lines	800 bytes
head (2,2,0)	body (1,2,0)
estimated blow-up	3.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2.35sec	0.09sec	23	218	3924
htl	2.92sec	0.11sec	23	283	4173
str	3.07sec	0.17sec	23	301	3921

test40/test_40.20_5_0.2_2_0.1_2_1.4.2	nlp
25 lines	1018 bytes
head (2,2,0)	body (1,2,1)
estimated blow-up	4.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2.94sec	0.01sec	0	222	4939
htl	3.09sec	2.46sec	0	291	4566
str	3.52sec	15.27sec	0	321	4360

test40/test_40.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	4.21sec	0.08sec	0	302	5547
htl	2.86sec	0.08sec	0	319	4868
str	3.07sec	0.01sec	0	335	4467

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3.82sec	0.06sec	22	290	6224
htl	2.87sec	9.14sec	22	306	4655
str	3.21sec	16.07sec	22	324	4344

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5.27sec	0.11sec	20	368	6582
htl	3.39sec	0.56sec	20	333	5035
str	3.50sec	0.71sec	20	351	4701

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5.73sec	0.09sec	32	368	7915
htl	3.19sec	9.84sec	32	327	4996
str	3.69sec	11.52sec	32	351	4771

test40/test_40.20_5_0.2_2_0.2_2_0.7.3	nlp
25 lines	1105 bytes
head (2,2,0)	body (2,2,0)
estimated blow-up	7.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5.85sec	0.11sec	1	372	8149
htl	3.83sec	1.78sec	1	348	5247
str	4.05sec	2.30sec	1	372	5044

test40/test_40.20_5_0.2_2_0.2_2_1.8.2	nlp
25 lines	1233 bytes
head (2,2,0)	body (2,2,1)
estimated blow-up	8.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5.74sec	0.03sec	1	370	9821
htl	4.20sec	163.79sec	1	358	5565
str	3.95sec	368.27sec	1	382	5281

test40/test_40.20_5_0.2_2_0.2_3_0.13.2	nlp
25 lines	1320 bytes
head (2,2,0)	body (2,3,0)
estimated blow-up	13.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	17.55sec	0.10sec	7	762	17565
htl	4.68sec	1.36sec	7	409	6333
str	4.98sec	1.96sec	7	431	5963

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	19.73sec	0.78sec	3	788	21921
htl	4.53sec	9.97sec	3	409	6524
str	4.92sec	27.58sec	3	439	6165

test40/test_40.20_5_0.2_2_0.2_4_0.19.8	nlp
25 lines	1486 bytes
head (2,2,0)	body (2,4,0)
estimated blow-up	19.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	45.39sec	1.85sec	0	1270	28551
htl	4.75sec	0.03sec	0	437	6714
str	5.28sec	0.11sec	0	459	6302

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	50.96sec	1.24sec	32	1312	36789
htl	4.73sec	145.44sec	32	439	6877
str	5.62sec	204.74sec	32	473	6621

test40/test_40.20_5_0.2_2_0.3_2_0.14.7	nlp
25 lines	1330 bytes
head (2,2,0)	body (3,2,0)
estimated blow-up	14.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	14.06sec	0.41sec	10	651	17313
htl	4.55sec	774.75sec	--	417	6303
str	4.79sec	774.77sec	--	439	6027

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	15.65sec	0.46sec	2	686	20827
htl	4.38sec	712.37sec	2	425	6607
str	4.53sec	778.64sec	--	453	6370

test40/test_40.20_5_0.2_2_0.3_3_0.38.7	nlp
25 lines	1711 bytes
head (2,2,0)	body (3,3,0)
estimated blow-up	38.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	134.62sec	2.77sec	1	2196	60857
htl	5.24sec	0.72sec	1	484	7581
str	6.50sec	0.89sec	1	516	7226

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	127.69sec	4.51sec	12	2101	68336
htl	5.49sec	777.30sec	--	484	7671
str	6.34sec	778.06sec	--	520	7390

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	674.00sec	19.48sec	0	5002	139757
htl	6.57sec	0.10sec	0	550	8770
str	7.47sec	0.10sec	0	594	8487

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	685.47sec	28.57sec	35	5030	160763
htl	6.16sec	775.64sec	--	546	8656
str	7.31sec	774.79sec	--	592	8516

test40/test_40.20_5_0.2_2_0.4_2_0.29.6	nlp
25 lines	1653 bytes
head (2,2,0)	body (4,2,0)
estimated blow-up	29.6

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	51.93sec	1.85sec	7	1326	43319
htl	5.24sec	777.04sec	--	484	7558
str	6.23sec	775.52sec	--	524	7402

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	55.67sec	2.29sec	7	1342	49713
htl	5.05sec	775.93sec	--	483	7592
str	6.58sec	776.08sec	--	515	7303

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1023.86sec	35.93sec	8	6182	205645
htl	6.65sec	776.61sec	--	574	9146
str	8.28sec	777.48sec	--	614	8772

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1096.13sec	51.24sec	2	6344	232519
htl	6.95sec	775.86sec	--	571	9126
str	8.03sec	778.72sec	--	619	8940

test40/test_40.20_5_0.2_2_0.4_4_0.292.6	nlp
25 lines	2539 bytes
head (2,2,0)	body (4,4,0)
estimated blow-up	292.6

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	11661.44sec	357.13sec	0	19090	638985
htl	8.17sec	0.78sec	0	647	10510
str	10.71sec	1.09sec	0	695	10020

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	10653.68sec	431.75sec	24	18630	718675
htl	8.18sec	774.56sec	--	646	10525
str	10.21sec	774.91sec	--	684	9907

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	6.98sec	0.01sec	0	426	7784
htl	3.54sec	0.08sec	0	347	5327
str	3.85sec	0.04sec	0	371	5033

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	7.69sec	0.01sec	0	467	10113
htl	3.71sec	0.01sec	0	353	5583
str	3.87sec	0.09sec	0	377	5217

test40/test_40.20_5_0.2_3_0.1_3_0.8.1	nlp
25 lines	1184 bytes
head (2,3,0)	body (1,3,0)
estimated blow-up	8.1

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	11.58sec	0.08sec	0	627	11671
htl	3.79sec	0.08sec	0	373	5803
str	3.99sec	0.10sec	0	399	5477

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	12.12sec	0.06sec	4	604	13756
htl	3.70sec	0.21sec	4	364	5739
str	4.31sec	0.21sec	4	400	5540

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	18.15sec	0.11sec	0	784	14656
htl	4.41sec	0.01sec	0	394	6196
str	4.70sec	0.08sec	0	426	5887

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	20.42sec	0.17sec	0	825	18100
htl	4.32sec	0.04sec	0	399	6323
str	4.24sec	0.05sec	0	427	5948

test40/test_40.20_5_0.2_3_0.2_2_0.12.9	nlp
25 lines	1370 bytes
head (2,3,0)	body (2,2,0)
estimated blow-up	12.9

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	18.25sec	0.12sec	0	770	17202
htl	4.11sec	0.39sec	0	406	6244
str	4.25sec	0.40sec	0	436	6012

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	19.39sec	0.04sec	0	791	21394
htl	4.20sec	6.57sec	0	413	6460
str	4.95sec	9.29sec	0	439	6161

test40/test_40.20_5_0.2_3_0.2_3_0.24.3	nlp
25 lines	1596 bytes
head (2,3,0)	body (2,3,0)
estimated blow-up	24.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	77.98sec	0.08sec	0	1671	37976
htl	4.98sec	0.09sec	0	457	7161
str	5.43sec	0.01sec	0	495	6957

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	77.51sec	0.44sec	0	1647	45324
htl	4.88sec	0.03sec	0	460	7342
str	6.18sec	0.12sec	0	492	6978

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	197.05sec	1.10sec	0	2706	58871
htl	5.50sec	0.08sec	0	495	7680
str	6.19sec	0.09sec	0	529	7471

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	228.08sec	1.78sec	0	2877	79267
htl	6.09sec	0.13sec	0	498	8042
str	6.52sec	0.02sec	0	534	7643

test40/test_40.20_5_0.2_3_0.3_2_0.27.0	nlp
25 lines	1618 bytes
head (2,3,0)	body (3,2,0)
estimated blow-up	27.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	64.69sec	1.59sec	6	1500	40425
htl	5.33sec	24.62sec	6	483	7538
str	5.98sec	42.79sec	6	507	7113

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	55.85sec	0.89sec	0	1359	42598
htl	4.72sec	4.55sec	0	469	7360
str	6.18sec	9.13sec	0	513	7307

test40/test_40.20_5_0.2_3_0.3_3_0.73.9	nlp
25 lines	1980 bytes
head (2,3,0)	body (3,3,0)
estimated blow-up	73.9

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	597.56sec	8.39sec	0	4726	132394
htl	6.21sec	0.03sec	0	536	8502
str	7.56sec	0.03sec	0	574	8139

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	531.72sec	4.82sec	3	4409	138657
htl	5.97sec	91.27sec	3	532	8344
str	7.42sec	197.94sec	3	568	8126

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3418.68sec	21.21sec	0	10939	299992
htl	7.34sec	0.09sec	0	596	9419
str	9.15sec	0.09sec	0	634	9050

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3017.60sec	85.24sec	2	10526	349305
htl	7.38sec	1.45sec	2	599	9743
str	9.38sec	2.12sec	2	649	9435

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	216.24sec	1.94sec	1	2778	83645
htl	5.93sec	64.45sec	1	529	8092
str	6.70sec	97.77sec	1	561	7895

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	218.00sec	4.82sec	7	2767	103106
htl	6.52sec	773.82sec	--	540	8677
str	7.31sec	774.44sec	--	574	8229

test40/test_40.20_5_0.2_3_0.4_3_0.224.5	nlp
25 lines	2319 bytes
head (2,3,0)	body (4,3,0)
estimated blow-up	224.5

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5229.93sec	46.21sec	3	13314	437096
htl	7.22sec	0.42sec	3	617	9866
str	9.19sec	0.41sec	3	663	9511

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5294.58sec	85.58sec	3	13716	511868
htl	7.94sec	28.60sec	3	620	10007
str	9.15sec	38.29sec	3	662	9569

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	59709.28sec	774.37sec	--	42098	1388489
htl	8.92sec	0.09sec	0	697	11349
str	12.09sec	0.09sec	0	749	10847

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	65758.88sec	775.51sec	--	44460	1737100
htl	9.36sec	19.25sec	0	701	11610
str	12.34sec	42.76sec	0	755	11045

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	16.17sec	0.09sec	0	744	13506
htl	4.30sec	0.01sec	0	397	6192
str	4.27sec	0.08sec	0	419	5744

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	17.88sec	0.23sec	0	766	17059
htl	4.29sec	0.10sec	0	403	6487
str	4.58sec	0.09sec	0	441	6210

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	29.71sec	0.03sec	0	1047	19130
htl	4.65sec	0.01sec	0	426	6676
str	4.79sec	0.01sec	0	448	6202

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	32.20sec	0.22sec	0	1062	23654
htl	4.54sec	0.08sec	0	424	6763
str	5.30sec	0.09sec	0	456	6418

test40/test_40.20_5_0.2_4_0.1_4_0.14.2	nlp
25 lines	1621 bytes
head (2,4,0)	body (1,4,0)
estimated blow-up	14.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	49.41sec	0.11sec	0	1356	25440
htl	5.14sec	0.01sec	0	448	7262
str	5.71sec	0.03sec	0	484	6783

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	48.20sec	0.11sec	0	1294	28993
htl	5.03sec	0.01sec	0	435	7030
str	5.59sec	0.09sec	0	491	7001

test40/test_40.20_5_0.2_4_0.2_2_0.18.8	nlp
25 lines	1633 bytes
head (2,4,0)	body (2,2,0)
estimated blow-up	18.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	51.61sec	0.22sec	0	1348	30206
htl	5.33sec	0.07sec	0	459	7189
str	5.50sec	0.01sec	0	483	6735

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	49.49sec	0.93sec	0	1292	35565
htl	4.90sec	0.01sec	0	463	7347
str	5.65sec	0.01sec	0	493	6993

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	215.58sec	0.26sec	0	2839	63675
htl	5.68sec	0.01sec	0	507	7957
str	6.61sec	0.09sec	0	539	7590

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	243.61sec	3.47sec	0	2982	78856
htl	5.76sec	0.09sec	0	506	7959
str	6.43sec	0.09sec	0	536	7613

test40/test_40.20_5_0.2_4_0.2_4_0.57.3	nlp
25 lines	2072 bytes
head (2,4,0)	body (2,4,0)
estimated blow-up	57.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	631.46sec	9.30sec	0	4898	112632
htl	6.66sec	0.01sec	0	545	8715
str	8.03sec	0.09sec	0	585	8322

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	599.53sec	2.48sec	0	4742	124930
htl	6.28sec	0.08sec	0	546	8711
str	7.72sec	0.08sec	0	584	8391

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	181.66sec	0.30sec	0	2560	69415
htl	6.23sec	0.09sec	0	524	8253
str	7.07sec	0.01sec	0	570	8084

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	181.64sec	0.40sec	0	2540	81601
htl	6.23sec	0.02sec	0	522	8359
str	7.13sec	0.05sec	0	558	7975

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1791.02sec	5.08sec	0	8103	226942
htl	7.19sec	0.09sec	0	590	9507
str	9.30sec	0.09sec	0	640	9215

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1535.55sec	8.09sec	0	7494	245375
htl	7.47sec	1.51sec	0	583	9515
str	9.00sec	1.62sec	0	633	9199

test40/test_40.20_5_0.2_4_0.3_4_0.233.0	nlp
25 lines	2577 bytes
head (2,4,0)	body (3,4,0)
estimated blow-up	233.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	9527.48sec	20.18sec	0	17808	503980
htl	7.66sec	0.01sec	0	643	10447
str	10.64sec	0.01sec	0	691	9970

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	10165.25sec	140.09sec	0	18894	603205
htl	8.01sec	0.23sec	0	637	10305
str	10.06sec	0.43sec	0	677	9760

test40/test_40.20_5_0.2_4_0.4_2_0.85.7	nlp
25 lines	2177 bytes
head (2,4,0)	body (4,2,0)
estimated blow-up	85.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	662.50sec	10.83sec	0	4928	160517
htl	6.91sec	0.02sec	0	587	9390
str	8.32sec	0.09sec	0	631	9038

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	667.25sec	8.77sec	0	4954	183605
htl	7.13sec	7.75sec	0	593	9574
str	8.78sec	9.13sec	0	639	9264

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	16887.36sec	78.36sec	0	23531	778939
htl	8.56sec	0.09sec	0	668	10869
str	10.85sec	0.09sec	0	710	10245

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	18319.62sec	332.79sec	0	24923	885828
htl	8.48sec	2.11sec	0	672	10770
str	10.25sec	2.18sec	0	716	10389

test40/test_40.20_5_0.2_4_0.4_4_0.945.5	nlp
25 lines	2993 bytes
head (2,4,0)	body (4,4,0)
estimated blow-up	945.5

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	200386.33sec	48.24sec	0	76429	2520575
htl	10.12sec	0.09sec	0	746	12135
str	13.52sec	0.02sec	0	786	11386

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	180223.08sec	285.96sec	0	75143	2832469
htl	10.46sec	0.09sec	0	749	12234
str	13.81sec	0.09sec	0	803	11765

test40/test_40.20_5_0.3_2_0.1_2_0.7.3	nlp
25 lines	1091 bytes
head (3,2,0)	body (1,2,0)
estimated blow-up	7.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	7.03sec	1.63sec	501	422	9535
htl	3.71sec	232.52sec	501	380	5792
str	3.89sec	278.93sec	501	402	5498

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	6.67sec	7.27sec	270	396	10045
htl	3.92sec	775.60sec	--	375	5723
str	4.24sec	776.15sec	--	405	5655

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	9.68sec	1.12sec	228	524	11747
htl	3.81sec	24.21sec	228	388	5860
str	4.24sec	35.49sec	228	412	5631

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	10.47sec	5.71sec	480	554	14257
htl	3.86sec	775.66sec	--	391	5959
str	4.12sec	775.25sec	--	405	5577

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	15.62sec	0.66sec	146	702	16277
htl	4.50sec	23.22sec	146	415	6528
str	5.07sec	27.90sec	146	457	6389

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	16.79sec	1.82sec	261	726	19913
htl	4.19sec	776.35sec	--	417	6571
str	4.91sec	775.63sec	--	453	6395

test40/test_40.20_5_0.3_2_0.2_2_0.14.4	nlp
25 lines	1352 bytes
head (3,2,0)	body (2,2,0)
estimated blow-up	14.4

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	15.88sec	3.31sec	344	700	18551
htl	4.65sec	774.99sec	--	434	6604
str	5.37sec	774.78sec	--	462	6369

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	17.56sec	0.93sec	77	718	22017
htl	4.47sec	775.19sec	--	417	6380
str	5.37sec	775.37sec	--	443	6138

test40/test_40.20_5_0.3_2_0.2_3_0.27.1	nlp
25 lines	1556 bytes
head (3,2,0)	body (2,3,0)
estimated blow-up	27.1

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	63.56sec	8.94sec	526	1480	40291
htl	5.04sec	774.53sec	--	478	7373
str	6.08sec	774.45sec	--	506	7075

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	61.85sec	4.83sec	109	1450	45889
htl	5.23sec	775.11sec	--	481	7515
str	6.30sec	774.63sec	--	511	7257

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	179.01sec	8.25sec	381	2534	70599
htl	5.92sec	471.60sec	381	522	8137
str	6.59sec	552.17sec	381	554	7804

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	154.48sec	38.26sec	131	2340	76889
htl	5.45sec	773.43sec	--	513	8165
str	6.93sec	773.35sec	--	553	7920

test40/test_40.20_5_0.3_2_0.3_2_0.28.8	nlp
25 lines	1620 bytes
head (3,2,0)	body (3,2,0)
estimated blow-up	28.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	47.13sec	10.13sec	157	1246	39977
htl	5.33sec	773.32sec	--	500	7783
str	5.67sec	773.62sec	--	526	7387

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	54.40sec	39.25sec	160	1336	47091
htl	5.58sec	775.19sec	--	498	7741
str	5.99sec	774.99sec	--	522	7364

test40/test_40.20_5_0.3_2_0.3_3_0.78.9	nlp
25 lines	1921 bytes
head (3,2,0)	body (3,3,0)
estimated blow-up	78.9

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	503.09sec	65.81sec	517	4286	138505
htl	6.46sec	776.59sec	--	566	8884
str	7.68sec	775.02sec	--	604	8595

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	508.17sec	18.03sec	34	4272	157673
htl	6.77sec	774.78sec	--	568	9013
str	7.88sec	774.71sec	--	600	8564

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2526.20sec	88.21sec	83	9322	307981
htl	7.43sec	506.44sec	83	621	10003
str	10.16sec	774.47sec	--	673	9709

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2279.17sec	169.23sec	153	9120	345273
htl	7.28sec	779.14sec	--	619	9997
str	9.18sec	774.32sec	--	665	9612

test40/test_40.20_5_0.3_2_0.4_2_0.58.1	nlp
25 lines	1884 bytes
head (3,2,0)	body (4,2,0)
estimated blow-up	58.1

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	185.17sec	81.56sec	46	2526	93859
htl	6.99sec	775.46sec	--	566	8888
str	7.71sec	774.59sec	--	604	8561

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	186.59sec	8.34sec	57	2526	106117
htl	6.58sec	779.77sec	--	562	8928
str	7.62sec	776.49sec	--	604	8669

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	4405.44sec	345.92sec	131	12624	466683
htl	7.89sec	774.03sec	--	646	10253
str	9.52sec	774.32sec	--	692	9962

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	4598.74sec	213.13sec	120	12634	555089
htl	8.21sec	773.89sec	--	645	10593
str	10.54sec	774.45sec	--	699	10170

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	44998.39sec	775.78sec	--	37470	1423673
htl	9.86sec	776.25sec	--	721	11660
str	12.10sec	775.20sec	--	767	11095

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	41203.80sec	776.75sec	--	36586	1559113
htl	9.92sec	775.41sec	--	718	11796
str	12.61sec	775.66sec	--	764	11124

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	42.48sec	0.63sec	73	1227	28609
htl	4.76sec	3.49sec	73	455	7135
str	5.44sec	4.01sec	73	489	6858

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	42.37sec	0.96sec	13	1213	33264
htl	4.41sec	11.19sec	13	454	7286
str	6.09sec	17.81sec	13	490	6962

test40/test_40.20_5_0.3_3_0.1_3_0.24.1	nlp
25 lines	1586 bytes
head (3,3,0)	body (1,3,0)
estimated blow-up	24.1

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	88.66sec	0.41sec	2	1788	41295
htl	5.31sec	0.09sec	2	474	7404
str	6.25sec	0.11sec	2	514	7249

test40/test_40.20_5_0.3_3_0.1_3_1.27.8	nlp
25 lines	1828 bytes
head (3,3,0)	body (1,3,1)
estimated blow-up	27.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	90.03sec	1.60sec	8	1784	49805
htl	5.57sec	9.45sec	8	483	7879
str	7.00sec	14.77sec	8	523	7445

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	145.43sec	1.30sec	68	2308	51691
htl	5.82sec	2.63sec	68	497	7696
str	6.53sec	3.48sec	68	525	7371

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	146.27sec	3.65sec	76	2297	62991
htl	5.62sec	12.37sec	76	497	7858
str	6.58sec	15.94sec	76	531	7557

test40/test_40.20_5_0.3_3_0.2_2_0.36.7	nlp
25 lines	1733 bytes
head (3,3,0)	body (2,2,0)
estimated blow-up	36.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	145.95sec	1.67sec	30	2293	60649
htl	5.74sec	9.45sec	30	517	8044
str	6.60sec	10.67sec	30	547	7693

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	125.94sec	9.43sec	106	2092	64561
htl	5.73sec	775.56sec	--	510	7999
str	6.35sec	791.67sec	--	550	7862

test40/test_40.20_5_0.3_3_0.2_3_0.71.6	nlp
25 lines	1894 bytes
head (3,3,0)	body (2,3,0)
estimated blow-up	71.6

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	526.56sec	10.01sec	94	4434	117894
htl	6.10sec	9.90sec	94	553	8593
str	7.72sec	12.04sec	94	601	8574

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	563.47sec	8.61sec	4	4558	144278
htl	6.54sec	104.05sec	4	560	8995
str	7.95sec	129.26sec	4	598	8601

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1770.88sec	5.86sec	17	8091	230263
htl	7.24sec	0.95sec	17	598	9707
str	9.41sec	1.07sec	17	652	9411

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1813.91sec	32.92sec	2	8205	256360
htl	6.88sec	36.23sec	2	595	9404
str	8.36sec	49.56sec	2	633	9116

test40/test_40.20_5_0.3_3_0.3_2_0.76.3	nlp
25 lines	1987 bytes
head (3,3,0)	body (3,2,0)
estimated blow-up	76.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	481.04sec	21.42sec	40	4199	133494
htl	6.73sec	773.46sec	--	576	9076
str	7.34sec	773.29sec	--	608	8614

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	445.10sec	22.28sec	99	4005	147550
htl	6.77sec	774.21sec	--	571	9212
str	8.37sec	773.37sec	--	617	8871

test40/test_40.20_5_0.3_3_0.3_3_0.217.0	nlp
25 lines	2350 bytes
head (3,3,0)	body (3,3,0)
estimated blow-up	217.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	4924.30sec	99.94sec	104	13382	437266
htl	8.45sec	57.06sec	104	635	10158
str	9.55sec	73.55sec	104	683	9814

test40/test_40.20_5_0.3_3_0.3_3_1.241.0	nlp
25 lines	2450 bytes
head (3,3,0)	body (3,3,1)
estimated blow-up	241.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5401.76sec	201.72sec	39	13791	512075
htl	8.06sec	775.14sec	--	637	10302
str	9.70sec	774.93sec	--	679	9818

test40/test_40.20_5_0.3_3_0.3_4_0.446.8	nlp
25 lines	2577 bytes
head (3,3,0)	body (3,4,0)
estimated blow-up	446.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	28029.84sec	21.72sec	2	31161	1001722
htl	8.92sec	0.22sec	2	698	11118
str	10.81sec	0.21sec	2	744	10758

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	36883.38sec	507.77sec	12	33755	1276167
htl	9.41sec	64.15sec	12	701	11438
str	12.03sec	104.44sec	12	739	10727

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2097.60sec	40.74sec	34	8485	318461
htl	8.34sec	776.39sec	--	645	10361
str	10.33sec	775.32sec	--	685	9801

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1863.97sec	94.57sec	12	8326	336890
htl	8.00sec	774.95sec	--	638	10217
str	9.63sec	775.41sec	--	682	9849

test40/test_40.20_5_0.3_3_0.4_3_0.659.3	nlp
25 lines	2676 bytes
head (3,3,0)	body (4,3,0)
estimated blow-up	659.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	45040.05sec	774.83sec	--	40539	1480697
htl	9.75sec	41.77sec	21	712	11419
str	11.40sec	54.04sec	21	762	11033

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	51534.99sec	774.70sec	--	42478	1784990
htl	9.99sec	775.96sec	--	720	11721
str	12.87sec	775.43sec	--	776	11324

test40/test_40.20_5_0.3_3_0.4_4_0.1776.3	nlp
25 lines	3095 bytes
head (3,3,0)	body (4,4,0)
estimated blow-up	1776.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	521698.14sec	773.89sec	--	129229	4862365
htl	11.69sec	1.18sec	9	800	12979
str	14.99sec	0.97sec	9	854	12416

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	365605.68sec	773.80sec	--	107953	4620136
htl	11.27sec	774.68sec	--	786	12872
str	14.61sec	774.18sec	--	834	12210

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	207.41sec	0.77sec	0	2784	63069
htl	6.10sec	0.09sec	0	531	8421
str	7.23sec	0.09sec	0	567	8022

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	217.61sec	1.26sec	7	2824	76783
htl	6.43sec	0.41sec	7	535	8630
str	7.69sec	0.57sec	7	575	8255

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	408.60sec	1.45sec	0	3924	89792
htl	6.41sec	0.09sec	0	552	8867
str	7.67sec	0.09sec	0	596	8528

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	456.36sec	4.32sec	1	4114	115827
htl	6.18sec	0.23sec	1	553	8980
str	8.07sec	0.31sec	1	597	8622

test40/test_40.20_5_0.3_4_0.1_4_0.56.4	nlp
25 lines	2110 bytes
head (3,4,0)	body (1,4,0)
estimated blow-up	56.4

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	690.44sec	0.88sec	0	5128	120365
htl	6.63sec	0.01sec	0	576	9251
str	8.43sec	0.09sec	0	612	8710

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	675.40sec	1.78sec	1	5024	141406
htl	6.90sec	0.23sec	1	570	9261
str	8.36sec	0.28sec	1	612	8821

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	700.97sec	1.78sec	0	5108	140329
htl	7.21sec	0.08sec	0	593	9541
str	8.96sec	0.02sec	0	643	9261

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	768.35sec	14.79sec	13	5340	166881
htl	7.06sec	50.37sec	13	595	9571
str	8.65sec	64.32sec	13	631	9100

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3395.70sec	28.38sec	0	10892	300019
htl	8.04sec	0.02sec	0	634	10207
str	9.86sec	0.05sec	0	678	9757

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2970.97sec	13.19sec	23	10426	324815
htl	7.70sec	1.95sec	23	627	10003
str	9.40sec	2.66sec	23	673	9732

test40/test_40.20_5_0.3_4_0.2_4_0.224.6	nlp
25 lines	2758 bytes
head (3,4,0)	body (2,4,0)
estimated blow-up	224.6

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	10887.67sec	6.05sec	0	19836	579689
htl	8.45sec	0.10sec	0	675	11191
str	11.57sec	0.09sec	0	723	10470

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	10128.52sec	25.18sec	2	18360	606237
htl	8.81sec	1.26sec	2	671	10942
str	11.17sec	1.62sec	2	723	10559

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3045.01sec	6.74sec	2	10087	322565
htl	7.87sec	0.78sec	2	652	10482
str	10.46sec	0.92sec	2	704	10148

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2748.03sec	44.20sec	30	9970	363429
htl	8.53sec	694.06sec	30	648	10463
str	10.50sec	775.34sec	--	694	10082

test40/test_40.20_5_0.3_4_0.3_3_0.434.0	nlp
25 lines	2828 bytes
head (3,4,0)	body (3,3,0)
estimated blow-up	434.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	32884.55sec	327.21sec	0	32800	1101569
htl	9.65sec	0.09sec	0	718	11793
str	12.70sec	0.02sec	0	780	11378

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	25611.28sec	42.76sec	10	28808	1084671
htl	9.32sec	1.98sec	10	700	11433
str	11.77sec	2.45sec	10	750	10958

test40/test_40.20_5_0.3_4_0.3_4_0.912.0	nlp
25 lines	2988 bytes
head (3,4,0)	body (3,4,0)
estimated blow-up	912.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	173840.59sec	136.06sec	0	73566	2393512
htl	10.28sec	0.11sec	0	766	12355
str	13.42sec	0.07sec	0	806	11643

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	126697.06sec	131.70sec	1	67688	2594096
htl	10.48sec	1.59sec	1	763	12597
str	14.89sec	2.12sec	1	819	11997

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	11007.31sec	101.18sec	3	18810	694101
htl	9.10sec	17.05sec	3	705	11379
str	11.85sec	22.09sec	3	755	10924

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	11549.09sec	80.14sec	3	19590	838873
htl	9.49sec	64.24sec	3	715	11700
str	12.35sec	95.71sec	3	777	11398

test40/test_40.20_5_0.3_4_0.4_3_0.1345.7	nlp
25 lines	3105 bytes
head (3,4,0)	body (4,3,0)
estimated blow-up	1345.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	278560.49sec	107.51sec	0	91540	3450012
htl	11.45sec	0.23sec	0	793	12933
str	14.67sec	0.11sec	0	845	12268

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	260616.07sec	365.33sec	16	89794	3760972
htl	11.14sec	15.82sec	16	786	12858
str	14.85sec	19.75sec	16	832	12211

test40/test_40.20_5_0.4_2_0.1_2_0.14.6	nlp
25 lines	1388 bytes
head (4,2,0)	body (1,2,0)
estimated blow-up	14.6

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	18.66sec	13.34sec	2227	768	21589
htl	4.83sec	774.20sec	--	460	7181
str	5.55sec	775.39sec	--	492	6858

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	19.73sec	313.27sec	800	774	23453
htl	5.02sec	775.99sec	--	442	6797
str	5.35sec	774.95sec	--	458	6364

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	33.31sec	111.51sec	11521	1058	28321
htl	5.30sec	773.86sec	--	472	7244
str	5.22sec	774.21sec	--	496	6901

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	35.69sec	90.02sec	1525	1070	33689
htl	5.05sec	790.00sec	--	477	7497
str	5.91sec	774.03sec	--	523	7459

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	55.61sec	77.62sec	8369	1398	38557
htl	5.88sec	774.48sec	--	503	7847
str	6.49sec	773.33sec	--	535	7542

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	54.45sec	52.31sec	982	1344	42393
htl	5.44sec	772.50sec	--	487	7725
str	6.51sec	772.79sec	--	523	7452

test40/test_40.20_5_0.4_2_0.2_2_0.28.5	nlp
25 lines	1702 bytes
head (4,2,0)	body (2,2,0)
estimated blow-up	28.5

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	49.95sec	126.69sec	1629	1284	40877
htl	5.64sec	772.68sec	--	510	8025
str	6.65sec	773.52sec	--	548	7753

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	55.62sec	183.29sec	317	1348	49369
htl	6.03sec	772.85sec	--	514	8121
str	6.81sec	773.81sec	--	550	7829

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	248.81sec	385.47sec	4579	2978	99465
htl	6.71sec	773.05sec	--	557	8941
str	8.04sec	772.88sec	--	603	8617

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	259.51sec	355.36sec	342	3024	113313
htl	6.59sec	773.72sec	--	559	8892
str	7.64sec	774.27sec	--	599	8590

test40/test_40.20_5_0.4_2_0.2_4_0.86.2	nlp
25 lines	2181 bytes
head (4,2,0)	body (2,4,0)
estimated blow-up	86.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	681.34sec	94.99sec	984	5014	170857
htl	7.18sec	773.61sec	--	603	9813
str	8.94sec	773.74sec	--	651	9375

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	571.32sec	774.20sec	--	4568	161707
htl	7.25sec	775.21sec	--	581	9132
str	8.17sec	774.43sec	--	615	8798

test40/test_40.20_5_0.4_2_0.3_2_0.57.0	nlp
25 lines	1854 bytes
head (4,2,0)	body (3,2,0)
estimated blow-up	57.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	209.77sec	774.89sec	--	2700	98773
htl	6.63sec	775.31sec	--	577	9019
str	7.38sec	775.89sec	--	607	8587

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	203.78sec	27.92sec	155	2640	114121
htl	6.64sec	775.43sec	--	577	9355
str	8.74sec	775.66sec	--	617	8856

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1864.95sec	775.73sec	--	8204	290651
htl	7.80sec	775.82sec	--	629	9812
str	9.40sec	775.44sec	--	667	9520

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1494.96sec	775.20sec	--	7400	308359
htl	7.83sec	774.56sec	--	631	10056
str	9.60sec	775.20sec	--	675	9758

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	10761.53sec	775.30sec	--	18586	733685
htl	8.84sec	775.84sec	--	698	11589
str	12.89sec	775.94sec	--	752	10905

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	10021.51sec	773.60sec	--	18056	748691
htl	8.74sec	773.96sec	--	691	11004
str	10.85sec	773.91sec	--	735	10638

test40/test_40.20_5_0.4_2_0.4_2_0.114.6	nlp
25 lines	2067 bytes
head (4,2,0)	body (4,2,0)
estimated blow-up	114.6

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	659.98sec	773.59sec	--	4878	195573
htl	7.56sec	774.82sec	--	631	9796
str	9.28sec	774.70sec	--	667	9444

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	735.52sec	92.52sec	229	5140	234921
htl	8.12sec	775.49sec	--	640	10140
str	9.46sec	775.26sec	--	684	9850

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	14341.23sec	775.52sec	--	22618	967045
htl	9.43sec	775.78sec	--	720	11495
str	11.34sec	775.60sec	--	750	10747

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	17647.07sec	774.28sec	--	24330	1127301
htl	9.56sec	775.08sec	--	716	11410
str	12.01sec	774.65sec	--	758	10979

test40/test_40.20_5_0.4_2_0.4_4_0.1260.9	nlp
25 lines	2982 bytes
head (4,2,0)	body (4,4,0)
estimated blow-up	1260.9

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	181777.94sec	782.94sec	--	73870	3096209
htl	11.30sec	774.96sec	--	798	12904
str	14.98sec	774.99sec	--	848	12320

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	175324.74sec	775.42sec	--	75418	3682457
htl	11.36sec	775.18sec	--	795	13098
str	14.65sec	774.83sec	--	843	12310

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	343.59sec	63.23sec	1015	3568	97130
htl	6.44sec	97.86sec	1015	554	8651
str	7.75sec	118.65sec	1015	592	8429

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	319.92sec	46.20sec	333	3387	109195
htl	6.45sec	775.34sec	--	553	8878
str	8.02sec	774.84sec	--	591	8473

test40/test_40.20_5_0.4_3_0.1_3_0.72.0	nlp
25 lines	1990 bytes
head (4,3,0)	body (1,3,0)
estimated blow-up	72.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	662.81sec	66.53sec	711	4978	135275
htl	6.67sec	205.43sec	711	576	9157
str	8.24sec	252.87sec	711	618	8850

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	642.74sec	344.25sec	601	4874	154139
htl	6.45sec	774.58sec	--	569	9169
str	8.81sec	775.15sec	--	621	8979

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1023.81sec	76.84sec	650	6227	172229
htl	7.34sec	85.47sec	650	593	9442
str	8.31sec	108.65sec	650	627	8933

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1095.18sec	107.24sec	307	6405	204637
htl	6.69sec	463.68sec	307	592	9472
str	8.98sec	633.12sec	307	644	9288

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	988.60sec	570.87sec	585	6069	195948
htl	7.20sec	775.45sec	--	606	9705
str	9.34sec	776.15sec	--	654	9390

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1128.42sec	774.25sec	--	6467	232307
htl	7.45sec	774.50sec	--	614	9873
str	9.00sec	774.76sec	--	658	9535

test40/test_40.20_5_0.4_3_0.2_3_0.212.1	nlp
25 lines	2395 bytes
head (4,3,0)	body (2,3,0)
estimated blow-up	212.1

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5317.84sec	257.32sec	403	13836	447215
htl	8.41sec	202.00sec	403	660	10615
str	10.45sec	240.91sec	403	712	10297

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5839.11sec	775.78sec	--	14320	523095
htl	8.32sec	775.83sec	--	658	10625
str	10.61sec	775.73sec	--	704	10188

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	20546.82sec	224.13sec	138	25749	821609
htl	8.98sec	16.21sec	138	701	11233
str	11.12sec	16.59sec	138	743	10735

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	17744.68sec	773.41sec	--	24451	897861
htl	8.84sec	774.05sec	--	698	11339
str	11.48sec	774.73sec	--	750	10953

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	4671.42sec	774.64sec	--	12857	471780
htl	8.85sec	774.93sec	--	680	10911
str	10.85sec	774.53sec	--	730	10521

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	4267.93sec	775.56sec	--	12214	502452
htl	8.60sec	774.80sec	--	677	10933
str	10.77sec	775.86sec	--	719	10390

test40/test_40.20_5_0.4_3_0.3_3_0.641.2	nlp
25 lines	2681 bytes
head (4,3,0)	body (3,3,0)
estimated blow-up	641.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	45276.66sec	783.62sec	--	40568	1524040
htl	9.86sec	496.59sec	1501	740	11849
str	12.38sec	544.86sec	1501	788	11392

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	42335.48sec	786.82sec	--	38389	1558220
htl	10.13sec	784.76sec	--	738	11776
str	12.15sec	786.22sec	--	778	11298