Individual tests

test15/test_15.20_5_0.1_2_0.1_2_0.1.8	nlp
25 lines	562 bytes
head (1,2,0)	body (1,2,0)
estimated blow-up	1.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	0.24sec	0.00sec	0	102	1472
htl	0.33sec	0.00sec	0	189	2622
str	0.36sec	0.00sec	0	205	2519

test15/test_15.20_5_0.1_2_0.1_2_1.2.2	nlp
25 lines	636 bytes
head (1,2,0)	body (1,2,1)
estimated blow-up	2.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	0.24sec	0.00sec	0	100	1626
htl	0.34sec	0.00sec	0	179	2476
str	0.34sec	0.00sec	0	187	2320

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	0.30sec	0.00sec	0	133	1790
htl	0.37sec	0.00sec	0	204	2798
str	0.38sec	0.01sec	0	216	2643

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	0.34sec	0.00sec	0	149	2549
htl	0.37sec	0.00sec	0	206	2958
str	0.41sec	0.00sec	0	222	2819

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	0.37sec	0.00sec	0	167	2289
htl	0.41sec	0.00sec	0	225	3172
str	0.45sec	0.00sec	0	239	2977

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	0.43sec	0.00sec	0	186	3256
htl	0.41sec	0.00sec	0	224	3273
str	0.48sec	0.00sec	0	244	3124

test15/test_15.20_5_0.1_2_0.2_2_0.3.7	nlp
25 lines	839 bytes
head (1,2,0)	body (2,2,0)
estimated blow-up	3.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	0.43sec	0.00sec	0	186	3208
htl	0.44sec	0.00sec	0	246	3479
str	0.49sec	0.00sec	0	264	3320

test15/test_15.20_5_0.1_2_0.2_2_1.4.3	nlp
25 lines	947 bytes
head (1,2,0)	body (2,2,1)
estimated blow-up	4.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	0.48sec	0.01sec	0	184	3887
htl	0.48sec	0.00sec	0	244	3563
str	0.54sec	0.00sec	0	262	3337

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1.07sec	0.01sec	0	351	6017
htl	0.56sec	0.00sec	0	284	4095
str	0.66sec	0.00sec	0	306	3892

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1.18sec	0.03sec	0	358	7902
htl	0.63sec	0.00sec	0	283	4233
str	0.66sec	0.00sec	0	303	3932

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2.94sec	0.03sec	0	586	9950
htl	0.70sec	0.01sec	0	323	4684
str	0.83sec	0.01sec	0	345	4410

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3.61sec	0.06sec	0	615	13242
htl	0.90sec	0.04sec	0	322	4846
str	1.04sec	0.01sec	0	342	4426

test15/test_15.20_5_0.1_2_0.3_2_0.7.5	nlp
25 lines	1043 bytes
head (1,2,0)	body (3,2,0)
estimated blow-up	7.5

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1.22sec	0.02sec	0	338	6724
htl	0.84sec	0.01sec	0	294	4120
str	0.82sec	0.01sec	0	310	3913

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1.34sec	0.05sec	0	314	7654
htl	0.85sec	0.01sec	0	287	4140
str	0.84sec	0.01sec	0	303	3898

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	10.30sec	0.10sec	0	959	20525
htl	1.42sec	0.01sec	0	360	5274
str	1.98sec	0.01sec	0	378	4899

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	14.99sec	0.28sec	0	949	24188
htl	2.04sec	0.01sec	0	362	5368
str	2.63sec	0.07sec	0	380	4972

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	126.79sec	0.60sec	0	2193	46805
htl	4.64sec	0.08sec	0	419	6120
str	5.34sec	0.08sec	0	439	5742

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	140.59sec	4.53sec	0	2165	54421
htl	4.56sec	0.01sec	0	417	6246
str	5.65sec	0.08sec	0	439	5820

test15/test_15.20_5_0.1_2_0.4_2_0.15.2	nlp
25 lines	1334 bytes
head (1,2,0)	body (4,2,0)
estimated blow-up	15.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	13.47sec	0.07sec	0	629	16159
htl	3.40sec	0.01sec	0	353	5113
str	4.29sec	0.08sec	0	379	4953

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	12.91sec	0.05sec	1	593	16888
htl	3.67sec	0.01sec	1	354	5170
str	4.09sec	0.01sec	1	374	4936

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	225.54sec	7.91sec	0	2754	71384
htl	4.80sec	0.01sec	0	439	6495
str	5.84sec	0.05sec	0	465	6158

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	229.94sec	8.10sec	0	2746	84802
htl	4.65sec	0.06sec	0	440	6601
str	5.90sec	0.08sec	0	464	6205

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2046.07sec	36.81sec	0	8197	200332
htl	5.76sec	0.01sec	0	515	7516
str	7.35sec	0.08sec	0	541	7208

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1576.13sec	18.31sec	0	7417	215491
htl	5.61sec	0.07sec	0	506	7737
str	7.71sec	0.01sec	0	532	7206

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1.90sec	0.00sec	0	145	2016
htl	1.93sec	0.08sec	0	211	2960
str	2.41sec	0.00sec	0	223	2749

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2.47sec	0.00sec	0	154	2569
htl	2.40sec	0.08sec	0	213	3103
str	2.81sec	0.08sec	0	235	3037

test15/test_15.20_5_0.1_3_0.1_3_0.2.7	nlp
25 lines	753 bytes
head (1,3,0)	body (1,3,0)
estimated blow-up	2.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2.18sec	0.00sec	0	196	2685
htl	2.39sec	0.08sec	0	233	3280
str	2.58sec	0.00sec	0	245	3050

test15/test_15.20_5_0.1_3_0.1_3_1.3.5	nlp
25 lines	867 bytes
head (1,3,0)	body (1,3,1)
estimated blow-up	3.5

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2.58sec	0.01sec	0	206	3374
htl	2.30sec	0.04sec	0	232	3333
str	2.44sec	0.00sec	0	246	3133

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3.07sec	0.08sec	0	221	2948
htl	2.57sec	0.00sec	0	246	3480
str	3.11sec	0.00sec	0	262	3298

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3.24sec	0.08sec	0	253	4171
htl	2.69sec	0.04sec	0	243	3575
str	2.85sec	0.08sec	0	267	3451

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3.15sec	0.06sec	0	238	3924
htl	2.88sec	0.00sec	0	269	3773
str	2.53sec	0.04sec	0	287	3608

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3.71sec	0.12sec	0	261	5322
htl	2.75sec	0.00sec	0	270	3914
str	3.08sec	0.08sec	0	284	3643

test15/test_15.20_5_0.1_3_0.2_3_0.8.3	nlp
25 lines	1120 bytes
head (1,3,0)	body (2,3,0)
estimated blow-up	8.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	8.59sec	0.04sec	0	508	8613
htl	2.72sec	0.08sec	0	310	4471
str	3.33sec	0.08sec	0	324	4104

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	10.50sec	0.09sec	0	538	12071
htl	2.96sec	0.00sec	0	311	4734
str	4.24sec	0.01sec	0	335	4369

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	22.10sec	0.04sec	0	871	14368
htl	3.48sec	0.04sec	0	349	5023
str	4.30sec	0.05sec	0	363	4645

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	26.23sec	0.21sec	0	947	20701
htl	3.52sec	0.01sec	0	351	5259
str	4.28sec	0.01sec	0	369	4826

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	8.95sec	0.01sec	0	487	10206
htl	3.44sec	0.01sec	0	319	4578
str	3.85sec	0.08sec	0	337	4302

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	8.39sec	0.12sec	0	474	11662
htl	3.30sec	0.01sec	0	329	4802
str	4.02sec	0.08sec	0	349	4552

test15/test_15.20_5_0.1_3_0.3_3_0.25.4	nlp
25 lines	1514 bytes
head (1,3,0)	body (3,3,0)
estimated blow-up	25.4

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	70.68sec	1.25sec	0	1577	34395
htl	4.44sec	0.08sec	0	394	5842
str	5.46sec	0.08sec	0	416	5405

test15/test_15.20_5_0.1_3_0.3_3_1.29.5	nlp
25 lines	1536 bytes
head (1,3,0)	body (3,3,1)
estimated blow-up	29.5

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	62.27sec	0.40sec	0	1476	37317
htl	4.04sec	0.01sec	0	389	5738
str	4.75sec	0.05sec	0	409	5369

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	306.73sec	9.27sec	0	3398	72335
htl	4.87sec	0.06sec	0	444	6564
str	5.77sec	0.01sec	0	470	6173

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	277.86sec	4.44sec	0	3198	80663
htl	4.61sec	0.08sec	0	442	6671
str	5.76sec	0.01sec	0	454	6007

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	27.26sec	0.60sec	0	955	23367
htl	3.96sec	0.08sec	0	383	5510
str	4.49sec	0.09sec	0	405	5313

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	28.16sec	0.42sec	0	937	27716
htl	3.99sec	0.04sec	0	385	5814
str	5.01sec	0.01sec	0	409	5452

test15/test_15.20_5_0.1_3_0.4_3_0.77.1	nlp
25 lines	1785 bytes
head (1,3,0)	body (4,3,0)
estimated blow-up	77.1

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	535.92sec	2.70sec	0	4495	114400
htl	4.73sec	0.08sec	0	472	6942
str	6.16sec	0.01sec	0	496	6582

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	449.59sec	3.37sec	0	4039	116281
htl	5.29sec	0.08sec	0	466	6975
str	6.42sec	0.01sec	0	494	6655

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	4571.02sec	22.76sec	0	11929	324574
htl	6.59sec	0.04sec	0	538	8242
str	8.22sec	0.01sec	0	566	7631

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5142.56sec	10.91sec	0	13040	390844
htl	6.04sec	0.09sec	0	542	8257
str	8.64sec	0.11sec	0	568	7696

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2.57sec	0.00sec	0	177	2417
htl	2.56sec	0.08sec	0	234	3365
str	2.40sec	0.08sec	0	254	3215

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2.31sec	0.00sec	0	184	3079
htl	2.59sec	0.00sec	0	232	3438
str	2.62sec	0.08sec	0	250	3213

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2.92sec	0.00sec	0	232	3159
htl	2.72sec	0.00sec	0	258	3695
str	2.75sec	0.08sec	0	270	3401

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3.54sec	0.08sec	0	275	4782
htl	2.61sec	0.00sec	0	258	3860
str	3.26sec	0.08sec	0	272	3519

test15/test_15.20_5_0.1_4_0.1_4_0.3.6	nlp
25 lines	1037 bytes
head (1,4,0)	body (1,4,0)
estimated blow-up	3.6

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3.94sec	0.08sec	0	283	4086
htl	3.08sec	0.00sec	0	272	4071
str	3.46sec	0.09sec	0	294	3772

test15/test_15.20_5_0.1_4_0.1_4_1.4.9	nlp
25 lines	1138 bytes
head (1,4,0)	body (1,4,1)
estimated blow-up	4.9

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	4.55sec	0.08sec	0	336	5890
htl	2.99sec	0.08sec	0	271	4054
str	3.60sec	0.00sec	0	291	3789

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5.17sec	0.09sec	0	345	5908
htl	3.26sec	0.00sec	0	292	4171
str	3.77sec	0.00sec	0	302	3810

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	4.82sec	0.01sec	0	329	6700
htl	2.93sec	0.00sec	0	295	4278
str	3.47sec	0.00sec	0	309	3974

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	13.66sec	0.01sec	0	653	10650
htl	3.18sec	0.08sec	0	328	4639
str	4.07sec	0.01sec	0	346	4416

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	14.09sec	0.11sec	0	666	13986
htl	3.44sec	0.01sec	0	330	4943
str	4.03sec	0.08sec	0	354	4622

test15/test_15.20_5_0.1_4_0.2_4_0.14.8	nlp
25 lines	1424 bytes
head (1,4,0)	body (2,4,0)
estimated blow-up	14.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	35.77sec	0.04sec	0	1134	19133
htl	3.79sec	0.08sec	0	370	5427
str	4.15sec	0.06sec	0	390	5038

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	31.46sec	0.39sec	0	1040	20954
htl	3.93sec	0.08sec	0	362	5394
str	4.46sec	0.08sec	0	382	5010

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	12.29sec	0.02sec	0	606	12834
htl	3.68sec	0.01sec	0	348	5018
str	4.18sec	0.08sec	0	366	4688

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	12.65sec	0.02sec	0	599	14751
htl	3.70sec	0.08sec	0	349	5131
str	4.13sec	0.06sec	0	371	4872

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	106.33sec	1.24sec	0	1966	42922
htl	4.23sec	0.01sec	0	413	6125
str	5.35sec	0.08sec	0	439	5749

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	119.75sec	0.75sec	0	2070	51581
htl	4.56sec	0.01sec	0	418	6203
str	5.33sec	0.08sec	0	442	5877

test15/test_15.20_5_0.1_4_0.3_4_0.60.2	nlp
25 lines	1850 bytes
head (1,4,0)	body (3,4,0)
estimated blow-up	60.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	411.64sec	1.28sec	0	3946	83845
htl	5.30sec	0.01sec	0	459	6815
str	6.10sec	0.04sec	0	481	6354

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	496.47sec	2.02sec	0	4328	112101
htl	5.08sec	0.04sec	0	467	7206
str	7.00sec	0.09sec	0	493	6583

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	42.99sec	0.23sec	0	1215	29221
htl	3.95sec	0.01sec	0	411	5923
str	5.16sec	0.08sec	0	433	5682

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	37.37sec	0.11sec	0	1095	33002
htl	3.72sec	0.09sec	0	391	5983
str	5.33sec	0.08sec	0	417	5564

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	590.68sec	1.43sec	0	4684	116124
htl	5.38sec	0.08sec	0	481	7047
str	6.16sec	0.08sec	0	501	6633

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	786.81sec	1.89sec	0	5418	158845
htl	5.30sec	0.01sec	0	489	7288
str	6.90sec	0.01sec	0	515	6920

test15/test_15.20_5_0.1_4_0.4_4_0.243.8	nlp
25 lines	2229 bytes
head (1,4,0)	body (4,4,0)
estimated blow-up	243.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	7657.48sec	19.58sec	0	15465	392137
htl	6.62sec	0.09sec	0	559	8326
str	8.33sec	0.04sec	0	585	7847

test15/test_15.20_5_0.1_4_0.4_4_1.279.3	nlp
25 lines	2430 bytes
head (1,4,0)	body (4,4,1)
estimated blow-up	279.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5985.85sec	30.44sec	0	14049	421182
htl	6.59sec	0.09sec	0	547	8373
str	8.57sec	0.02sec	0	577	7847

test15/test_15.20_5_0.2_2_0.1_2_0.3.7	nlp
25 lines	747 bytes
head (2,2,0)	body (1,2,0)
estimated blow-up	3.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2.60sec	0.09sec	0	194	3282
htl	2.61sec	0.04sec	0	252	3491
str	2.79sec	0.00sec	0	268	3320

test15/test_15.20_5_0.2_2_0.1_2_1.4.2	nlp
25 lines	955 bytes
head (2,2,0)	body (1,2,1)
estimated blow-up	4.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2.67sec	0.05sec	0	202	4254
htl	2.66sec	0.00sec	0	258	3829
str	2.75sec	0.01sec	0	278	3555

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3.72sec	0.01sec	0	276	4713
htl	2.93sec	0.08sec	0	277	3955
str	2.95sec	0.00sec	0	291	3642

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3.53sec	0.01sec	1	254	5084
htl	2.85sec	0.08sec	1	275	3950
str	2.90sec	0.01sec	1	287	3649

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	4.85sec	0.04sec	2	334	5610
htl	2.89sec	0.08sec	2	298	4240
str	3.33sec	0.04sec	2	312	3961

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5.17sec	0.06sec	0	340	6926
htl	3.26sec	0.00sec	0	297	4284
str	3.43sec	0.09sec	0	319	4118

test15/test_15.20_5_0.2_2_0.2_2_0.7.3	nlp
25 lines	1027 bytes
head (2,2,0)	body (2,2,0)
estimated blow-up	7.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	4.63sec	0.09sec	0	304	6201
htl	3.49sec	0.08sec	0	310	4385
str	3.44sec	0.09sec	0	328	4182

test15/test_15.20_5_0.2_2_0.2_2_1.8.2	nlp
25 lines	1151 bytes
head (2,2,0)	body (2,2,1)
estimated blow-up	8.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5.44sec	0.01sec	0	354	8701
htl	3.27sec	0.01sec	0	316	4623
str	3.62sec	0.08sec	0	332	4298

test15/test_15.20_5_0.2_2_0.2_3_0.13.2	nlp
25 lines	1241 bytes
head (2,2,0)	body (2,3,0)
estimated blow-up	13.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	16.24sec	0.09sec	0	694	14893
htl	3.98sec	0.01sec	0	355	5147
str	3.72sec	0.01sec	0	369	4748

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	17.80sec	0.30sec	0	729	18835
htl	4.02sec	0.08sec	0	364	5445
str	4.08sec	0.08sec	0	386	5068

test15/test_15.20_5_0.2_2_0.2_4_0.19.8	nlp
25 lines	1406 bytes
head (2,2,0)	body (2,4,0)
estimated blow-up	19.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	36.77sec	0.12sec	0	1126	23714
htl	4.12sec	0.01sec	0	391	5703
str	4.96sec	0.01sec	0	403	5204

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	47.09sec	0.22sec	0	1250	32753
htl	3.82sec	0.08sec	0	396	5882
str	4.97sec	0.05sec	0	414	5418

test15/test_15.20_5_0.2_2_0.3_2_0.14.7	nlp
25 lines	1246 bytes
head (2,2,0)	body (3,2,0)
estimated blow-up	14.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	12.35sec	0.02sec	1	577	14096
htl	3.94sec	0.01sec	1	376	5359
str	4.43sec	0.09sec	1	392	5058

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	14.85sec	0.22sec	1	644	18184
htl	4.13sec	0.09sec	1	373	5471
str	4.39sec	0.09sec	1	395	5217

test15/test_15.20_5_0.2_2_0.3_3_0.38.7	nlp
25 lines	1606 bytes
head (2,2,0)	body (3,3,0)
estimated blow-up	38.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	112.63sec	0.22sec	0	1986	50874
htl	4.59sec	0.01sec	0	432	6398
str	5.79sec	0.01sec	0	454	6001

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	117.74sec	0.27sec	2	2010	59455
htl	4.88sec	0.10sec	2	433	6490
str	4.93sec	0.07sec	2	455	6079

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	435.39sec	1.42sec	0	3984	103079
htl	5.50sec	0.01sec	0	491	7415
str	7.12sec	0.09sec	0	517	6902

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	479.33sec	0.59sec	0	4144	121797
htl	5.27sec	0.08sec	0	485	7295
str	6.79sec	0.10sec	0	515	6987

test15/test_15.20_5_0.2_2_0.4_2_0.29.6	nlp
25 lines	1553 bytes
head (2,2,0)	body (4,2,0)
estimated blow-up	29.6

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	46.80sec	0.21sec	2	1234	37027
htl	4.52sec	0.03sec	2	432	6404
str	5.73sec	0.01sec	2	460	6165

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	47.99sec	0.25sec	2	1231	41792
htl	4.70sec	0.09sec	2	417	6211
str	5.53sec	0.05sec	2	439	5897

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	871.88sec	1.41sec	0	5684	172621
htl	5.50sec	0.01sec	0	507	7679
str	7.46sec	0.09sec	0	535	7227

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	806.54sec	1.31sec	2	5394	181392
htl	6.30sec	0.07sec	2	506	7683
str	7.30sec	0.02sec	2	532	7235

test15/test_15.20_5_0.2_2_0.4_4_0.292.6	nlp
25 lines	2383 bytes
head (2,2,0)	body (4,4,0)
estimated blow-up	292.6

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	8360.70sec	12.54sec	0	16690	510556
htl	7.24sec	0.01sec	0	587	9058
str	9.85sec	0.06sec	0	615	8313

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	6765.71sec	7.12sec	0	14866	510947
htl	7.26sec	0.01sec	0	580	8907
str	9.70sec	0.09sec	0	606	8271

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	6.16sec	0.02sec	0	415	7061
htl	2.87sec	0.01sec	0	314	4515
str	3.77sec	0.08sec	0	334	4250

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	6.68sec	0.09sec	0	407	8248
htl	3.35sec	0.08sec	0	312	4625
str	3.79sec	0.08sec	0	332	4309

test15/test_15.20_5_0.2_3_0.1_3_0.8.1	nlp
25 lines	1101 bytes
head (2,3,0)	body (1,3,0)
estimated blow-up	8.1

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	11.07sec	0.01sec	0	576	10049
htl	3.59sec	0.08sec	0	327	4756
str	3.60sec	0.09sec	0	347	4445

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	9.82sec	0.08sec	0	526	11216
htl	3.57sec	0.01sec	0	326	4841
str	4.15sec	0.07sec	0	348	4508

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	15.59sec	0.05sec	0	713	12452
htl	3.44sec	0.01sec	0	349	5135
str	4.34sec	0.01sec	0	373	4816

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	17.10sec	0.10sec	0	744	15284
htl	3.68sec	0.01sec	0	350	5186
str	3.86sec	0.05sec	0	368	4776

test15/test_15.20_5_0.2_3_0.2_2_0.12.9	nlp
25 lines	1285 bytes
head (2,3,0)	body (2,2,0)
estimated blow-up	12.9

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	14.85sec	0.02sec	0	673	14023
htl	3.73sec	0.01sec	0	362	5257
str	4.36sec	0.06sec	0	382	4944

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	17.36sec	0.13sec	0	724	18482
htl	4.07sec	0.10sec	0	371	5478
str	4.36sec	0.04sec	0	395	5246

test15/test_15.20_5_0.2_3_0.2_3_0.24.3	nlp
25 lines	1494 bytes
head (2,3,0)	body (2,3,0)
estimated blow-up	24.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	67.26sec	0.12sec	0	1539	32690
htl	4.50sec	0.04sec	0	411	6063
str	5.47sec	0.09sec	0	437	5748

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	60.67sec	0.22sec	0	1434	37288
htl	4.09sec	0.01sec	0	406	6133
str	5.16sec	0.08sec	0	428	5682

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	138.93sec	0.40sec	0	2239	45779
htl	4.70sec	0.01sec	0	436	6373
str	5.53sec	0.02sec	0	460	6062

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	161.77sec	0.75sec	0	2394	59988
htl	4.89sec	0.08sec	0	440	6719
str	6.16sec	0.08sec	0	462	6179

test15/test_15.20_5_0.2_3_0.3_2_0.27.0	nlp
25 lines	1529 bytes
head (2,3,0)	body (3,2,0)
estimated blow-up	27.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	59.56sec	0.22sec	0	1413	35709
htl	4.72sec	0.09sec	0	433	6365
str	5.24sec	0.08sec	0	451	5955

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	48.21sec	0.18sec	0	1257	35007
htl	4.77sec	0.08sec	0	427	6343
str	5.78sec	0.04sec	0	453	6074

test15/test_15.20_5_0.2_3_0.3_3_0.73.9	nlp
25 lines	1855 bytes
head (2,3,0)	body (3,3,0)
estimated blow-up	73.9

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	521.09sec	0.94sec	0	4386	115714
htl	5.21sec	0.08sec	0	488	7322
str	6.97sec	0.08sec	0	512	6815

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	376.89sec	1.40sec	0	3683	103783
htl	5.24sec	0.08sec	0	475	7043
str	6.49sec	0.09sec	0	497	6677

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2576.27sec	3.80sec	0	9632	246152
htl	6.38sec	0.05sec	0	542	8121
str	8.13sec	0.09sec	0	566	7596

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1968.95sec	3.83sec	0	8581	260246
htl	6.26sec	0.09sec	0	536	8258
str	8.44sec	0.10sec	0	564	7691

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	175.50sec	0.44sec	0	2479	67903
htl	5.10sec	0.01sec	0	477	6875
str	6.25sec	0.07sec	0	497	6587

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	202.15sec	0.42sec	0	2642	89493
htl	5.51sec	0.01sec	0	486	7387
str	7.16sec	0.08sec	0	508	6846

test15/test_15.20_5_0.2_3_0.4_3_0.224.5	nlp
25 lines	2177 bytes
head (2,3,0)	body (4,3,0)
estimated blow-up	224.5

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	4272.07sec	4.00sec	0	11949	356704
htl	6.60sec	0.01sec	0	563	8545
str	8.56sec	0.01sec	0	591	7988

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3565.41sec	8.59sec	1	11246	377206
htl	6.58sec	0.02sec	1	559	8553
str	8.59sec	0.01sec	1	585	7993

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	39709.17sec	67.87sec	0	33878	1028101
htl	8.27sec	0.09sec	0	634	9798
str	11.15sec	0.09sec	0	658	8953

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	38284.07sec	44.10sec	0	35184	1237860
htl	8.04sec	0.05sec	0	636	10046
str	11.68sec	0.09sec	0	662	9092

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	13.82sec	0.09sec	0	658	11195
htl	3.54sec	0.06sec	0	353	5189
str	4.42sec	0.08sec	0	371	4784

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	15.84sec	0.09sec	0	692	14278
htl	3.52sec	0.02sec	0	359	5429
str	4.54sec	0.01sec	0	381	4992

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	22.84sec	0.02sec	0	874	14975
htl	4.26sec	0.02sec	0	370	5404
str	4.15sec	0.01sec	0	388	5019

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	24.22sec	0.07sec	0	893	18468
htl	3.74sec	0.05sec	0	370	5569
str	4.54sec	0.09sec	0	390	5078

test15/test_15.20_5_0.2_4_0.1_4_0.14.2	nlp
25 lines	1506 bytes
head (2,4,0)	body (1,4,0)
estimated blow-up	14.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	41.29sec	0.03sec	0	1208	21357
htl	4.29sec	0.08sec	0	395	6016
str	5.29sec	0.01sec	0	419	5437

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	39.55sec	0.08sec	0	1154	23961
htl	3.92sec	0.09sec	0	390	5970
str	5.17sec	0.08sec	0	418	5518

test15/test_15.20_5_0.2_4_0.2_2_0.18.8	nlp
25 lines	1530 bytes
head (2,4,0)	body (2,2,0)
estimated blow-up	18.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	46.46sec	0.12sec	0	1255	26485
htl	4.20sec	0.08sec	0	410	6057
str	5.24sec	0.08sec	0	430	5625

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	45.40sec	0.21sec	0	1228	31560
htl	4.69sec	0.09sec	0	416	6195
str	5.12sec	0.01sec	0	440	5853

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	176.56sec	0.23sec	0	2544	52717
htl	4.63sec	0.04sec	0	454	6707
str	5.77sec	0.04sec	0	478	6285

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	163.60sec	0.25sec	0	2408	59281
htl	4.75sec	0.01sec	0	443	6594
str	6.24sec	0.08sec	0	465	6182

test15/test_15.20_5_0.2_4_0.2_4_0.57.3	nlp
25 lines	1915 bytes
head (2,4,0)	body (2,4,0)
estimated blow-up	57.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	421.68sec	0.62sec	0	3969	84316
htl	5.08sec	0.04sec	0	482	7239
str	6.62sec	0.01sec	0	508	6729

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	427.71sec	0.74sec	0	3956	95523
htl	6.05sec	0.01sec	0	483	7254
str	6.70sec	0.09sec	0	507	6790

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	156.92sec	0.42sec	0	2365	59585
htl	4.93sec	0.09sec	0	471	7021
str	6.61sec	0.08sec	0	497	6623

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	155.97sec	0.57sec	0	2324	68418
htl	5.48sec	0.08sec	0	475	7152
str	7.18sec	0.08sec	0	499	6673

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1260.71sec	2.16sec	0	6862	176300
htl	6.02sec	0.09sec	0	531	8100
str	8.31sec	0.09sec	0	561	7558

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1260.37sec	2.82sec	0	6775	202311
htl	6.11sec	0.09sec	0	527	8162
str	8.09sec	0.05sec	0	553	7540

test15/test_15.20_5_0.2_4_0.3_4_0.233.0	nlp
25 lines	2412 bytes
head (2,4,0)	body (3,4,0)
estimated blow-up	233.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	6695.91sec	5.83sec	0	15332	398299
htl	6.72sec	0.06sec	0	582	8951
str	9.51sec	0.04sec	0	610	8237

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	7212.97sec	8.46sec	0	15890	460902
htl	7.14sec	0.09sec	0	584	8960
str	9.79sec	0.09sec	0	610	8267

test15/test_15.20_5_0.2_4_0.4_2_0.85.7	nlp
25 lines	2023 bytes
head (2,4,0)	body (4,2,0)
estimated blow-up	85.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	559.80sec	2.29sec	0	4501	133413
htl	5.93sec	0.09sec	0	524	7927
str	7.88sec	0.09sec	0	546	7334

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	552.41sec	1.27sec	0	4471	149812
htl	5.98sec	0.10sec	0	532	8139
str	7.92sec	0.09sec	0	556	7581

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	11506.31sec	21.29sec	0	19631	589660
htl	7.45sec	0.09sec	0	601	9279
str	9.65sec	0.09sec	0	625	8496

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	13262.26sec	15.48sec	0	21571	692847
htl	7.61sec	0.01sec	0	607	9215
str	9.22sec	0.05sec	0	633	8665

test15/test_15.20_5_0.2_4_0.4_4_0.945.5	nlp
25 lines	2792 bytes
head (2,4,0)	body (4,4,0)
estimated blow-up	945.5

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	122260.29sec	87.97sec	0	59874	1816563
htl	8.49sec	0.01sec	0	680	10505
str	12.09sec	0.09sec	0	704	9589

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	115428.82sec	160.88sec	0	60901	2094343
htl	9.33sec	0.01sec	0	684	10595
str	12.88sec	0.01sec	0	714	9844

test15/test_15.20_5_0.3_2_0.1_2_0.7.3	nlp
25 lines	1023 bytes
head (3,2,0)	body (1,2,0)
estimated blow-up	7.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5.90sec	0.09sec	2	372	7851
htl	3.56sec	0.04sec	2	327	4696
str	3.85sec	0.08sec	2	343	4401

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5.65sec	0.11sec	4	364	8681
htl	3.37sec	0.22sec	4	329	4726
str	3.78sec	0.19sec	4	347	4540

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	8.88sec	0.12sec	7	484	9918
htl	3.79sec	0.09sec	7	350	4995
str	4.17sec	0.01sec	7	368	4737

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	9.74sec	0.11sec	6	510	12281
htl	3.88sec	0.09sec	6	343	4965
str	4.19sec	0.07sec	6	357	4652

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	14.48sec	0.02sec	3	652	14316
htl	4.27sec	0.01sec	3	367	5469
str	4.89sec	0.09sec	3	391	5081

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	15.52sec	0.03sec	1	688	17453
htl	3.56sec	0.02sec	1	373	5546
str	4.55sec	0.10sec	1	401	5340

test15/test_15.20_5_0.3_2_0.2_2_0.14.4	nlp
25 lines	1269 bytes
head (3,2,0)	body (2,2,0)
estimated blow-up	14.4

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	14.29sec	0.03sec	6	644	15695
htl	3.89sec	0.10sec	6	382	5496
str	4.43sec	0.10sec	6	402	5246

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	15.82sec	0.04sec	4	670	18943
htl	4.25sec	0.04sec	4	385	5613
str	4.94sec	0.09sec	4	411	5454

test15/test_15.20_5_0.3_2_0.2_3_0.27.1	nlp
25 lines	1465 bytes
head (3,2,0)	body (2,3,0)
estimated blow-up	27.1

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	53.82sec	0.07sec	0	1342	33785
htl	4.88sec	0.02sec	0	424	6210
str	5.26sec	0.09sec	0	440	5783

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	48.97sec	0.23sec	2	1256	37049
htl	4.70sec	0.02sec	2	420	6205
str	5.54sec	0.08sec	2	442	5914

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	142.21sec	0.40sec	0	2224	56582
htl	5.06sec	0.04sec	0	454	6692
str	6.01sec	0.10sec	0	476	6301

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	130.51sec	0.40sec	1	2118	62239
htl	5.23sec	0.01sec	--	461	6957
str	6.64sec	0.05sec	1	485	6537

test15/test_15.20_5_0.3_2_0.3_2_0.28.8	nlp
25 lines	1504 bytes
head (3,2,0)	body (3,2,0)
estimated blow-up	28.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	43.61sec	0.30sec	2	1184	34981
htl	4.48sec	0.03sec	2	438	6434
str	5.71sec	0.03sec	2	460	6121

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	43.73sec	0.40sec	11	1164	37484
htl	5.05sec	0.24sec	11	444	6532
str	5.18sec	0.22sec	11	464	6188

test15/test_15.20_5_0.3_2_0.3_3_0.78.9	nlp
25 lines	1805 bytes
head (3,2,0)	body (3,3,0)
estimated blow-up	78.9

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	380.88sec	0.91sec	1	3696	111737
htl	5.58sec	0.09sec	1	504	7489
str	7.16sec	0.10sec	1	532	7170

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	456.16sec	1.07sec	4	4026	134685
htl	5.51sec	0.02sec	4	510	7692
str	6.46sec	0.02sec	4	532	7206

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2056.63sec	4.26sec	0	8548	255391
htl	6.29sec	0.09sec	0	566	8640
str	9.27sec	0.04sec	0	594	8040

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1606.27sec	3.16sec	3	7682	270095
htl	6.35sec	0.21sec	3	551	8494
str	8.41sec	0.18sec	3	577	7886

test15/test_15.20_5_0.3_2_0.4_2_0.58.1	nlp
25 lines	1774 bytes
head (3,2,0)	body (4,2,0)
estimated blow-up	58.1

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	158.85sec	0.92sec	11	2308	78567
htl	5.42sec	0.22sec	11	493	7394
str	7.03sec	0.23sec	11	515	6912

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	147.92sec	1.09sec	16	2216	86633
htl	5.91sec	0.93sec	16	494	7502
str	6.96sec	0.92sec	16	522	7128

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2872.91sec	5.01sec	1	10394	345835
htl	6.86sec	0.11sec	1	582	8767
str	8.67sec	0.06sec	1	608	8231

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3870.90sec	7.76sec	3	11520	459223
htl	7.35sec	0.41sec	3	591	9252
str	9.51sec	0.40sec	3	617	8450

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	25973.74sec	20.56sec	3	29892	1030685
htl	8.47sec	0.11sec	3	648	9999
str	11.11sec	0.12sec	3	674	9226

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	27673.34sec	23.97sec	1	30654	1175049
htl	8.34sec	0.11sec	1	646	10132
str	12.04sec	0.11sec	1	676	9305

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	36.15sec	0.11sec	0	1117	24129
htl	4.21sec	0.10sec	0	407	5993
str	5.32sec	0.08sec	0	429	5617

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	38.65sec	0.11sec	0	1121	28937
htl	4.27sec	0.04sec	0	409	6225
str	5.49sec	0.09sec	0	437	5875

test15/test_15.20_5_0.3_3_0.1_3_0.24.1	nlp
25 lines	1484 bytes
head (3,3,0)	body (1,3,0)
estimated blow-up	24.1

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	73.72sec	0.04sec	0	1614	35014
htl	4.54sec	0.01sec	0	430	6357
str	5.58sec	0.09sec	0	456	6023

test15/test_15.20_5_0.3_3_0.1_3_1.27.8	nlp
25 lines	1705 bytes
head (3,3,0)	body (1,3,1)
estimated blow-up	27.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	76.00sec	0.25sec	0	1613	41817
htl	4.54sec	0.08sec	0	429	6590
str	6.64sec	0.08sec	0	457	6084

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	130.05sec	0.18sec	0	2173	45171
htl	5.05sec	0.01sec	0	451	6552
str	5.84sec	0.01sec	0	469	6153

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	118.81sec	0.23sec	0	2036	52282
htl	4.89sec	0.08sec	0	447	6666
str	5.97sec	0.05sec	0	473	6301

test15/test_15.20_5_0.3_3_0.2_2_0.36.7	nlp
25 lines	1620 bytes
head (3,3,0)	body (2,2,0)
estimated blow-up	36.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	102.82sec	0.06sec	0	1895	46217
htl	5.06sec	0.08sec	0	464	6831
str	5.95sec	0.08sec	0	486	6444

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	117.29sec	0.42sec	4	1995	56740
htl	4.90sec	0.09sec	4	467	6909
str	6.33sec	0.02sec	4	491	6598

test15/test_15.20_5_0.3_3_0.2_3_0.71.6	nlp
25 lines	1770 bytes
head (3,3,0)	body (2,3,0)
estimated blow-up	71.6

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	402.63sec	0.58sec	0	3829	93584
htl	5.49sec	0.01sec	0	494	7246
str	6.69sec	0.09sec	0	524	7026

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	416.24sec	0.73sec	0	3857	112950
htl	5.99sec	0.01sec	0	500	7600
str	7.04sec	0.10sec	0	524	7073

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1424.54sec	1.25sec	0	7322	192508
htl	6.18sec	0.08sec	0	543	8350
str	8.65sec	0.01sec	0	573	7761

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1280.31sec	1.25sec	0	6897	197058
htl	6.33sec	0.01sec	0	539	8057
str	7.62sec	0.01sec	0	563	7602

test15/test_15.20_5_0.3_3_0.3_2_0.76.3	nlp
25 lines	1846 bytes
head (3,3,0)	body (3,2,0)
estimated blow-up	76.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	418.37sec	0.56sec	0	3875	112361
htl	6.17sec	0.09sec	0	524	7793
str	7.40sec	0.09sec	0	550	7355

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	408.33sec	1.06sec	1	3790	130097
htl	6.46sec	0.09sec	1	521	8008
str	7.79sec	0.06sec	1	549	7497

test15/test_15.20_5_0.3_3_0.3_3_0.217.0	nlp
25 lines	2207 bytes
head (3,3,0)	body (3,3,0)
estimated blow-up	217.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3966.72sec	3.99sec	2	11776	347700
htl	6.84sec	0.12sec	2	580	8805
str	8.75sec	0.07sec	2	610	8286

test15/test_15.20_5_0.3_3_0.3_3_1.241.0	nlp
25 lines	2290 bytes
head (3,3,0)	body (3,3,1)
estimated blow-up	241.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	4155.35sec	3.31sec	0	12110	407057
htl	6.80sec	0.10sec	0	583	8972
str	9.07sec	0.09sec	0	609	8296

test15/test_15.20_5_0.3_3_0.3_4_0.446.8	nlp
25 lines	2408 bytes
head (3,3,0)	body (3,4,0)
estimated blow-up	446.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	19384.46sec	7.40sec	0	26171	772405
htl	7.49sec	0.06sec	0	635	9597
str	10.26sec	0.01sec	0	661	9004

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	21325.09sec	8.62sec	0	26076	902352
htl	7.96sec	0.10sec	0	635	9828
str	10.52sec	0.09sec	0	657	8996

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1703.05sec	2.82sec	0	7799	265966
htl	7.49sec	0.09sec	0	588	8976
str	9.26sec	0.01sec	0	612	8277

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1148.78sec	2.82sec	1	6435	238471
htl	6.81sec	0.10sec	1	566	8654
str	8.71sec	0.10sec	1	596	8185

test15/test_15.20_5_0.3_3_0.4_3_0.659.3	nlp
25 lines	2499 bytes
head (3,3,0)	body (4,3,0)
estimated blow-up	659.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	33506.19sec	25.15sec	0	33944	1122407
htl	8.44sec	0.10sec	0	658	10043
str	10.94sec	0.09sec	0	686	9386

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	36368.20sec	25.19sec	0	35879	1343283
htl	8.36sec	0.09sec	0	664	10310
str	11.73sec	0.02sec	0	694	9583

test15/test_15.20_5_0.3_3_0.4_4_0.1776.3	nlp
25 lines	2892 bytes
head (3,3,0)	body (4,4,0)
estimated blow-up	1776.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	355167.31sec	205.26sec	0	105125	3622594
htl	10.18sec	0.09sec	0	736	11371
str	13.78sec	0.02sec	0	764	10468

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	264908.53sec	114.76sec	0	91818	3502905
htl	9.71sec	0.05sec	0	723	11259
str	13.88sec	0.09sec	0	753	10407

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	146.77sec	0.22sec	0	2311	48999
htl	5.06sec	0.01sec	0	471	7075
str	6.28sec	0.08sec	0	495	6580

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	192.26sec	0.21sec	0	2618	65513
htl	5.65sec	0.01sec	0	481	7305
str	7.10sec	0.01sec	0	507	6821

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	342.90sec	0.50sec	0	3568	76521
htl	5.55sec	0.08sec	0	495	7517
str	7.18sec	0.09sec	0	525	7035

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	352.95sec	0.64sec	0	3591	93520
htl	5.50sec	0.08sec	0	495	7594
str	7.69sec	0.05sec	0	521	7012

test15/test_15.20_5_0.3_4_0.1_4_0.56.4	nlp
25 lines	1952 bytes
head (3,4,0)	body (1,4,0)
estimated blow-up	56.4

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	538.50sec	0.58sec	0	4490	97727
htl	5.78sec	0.09sec	0	514	7782
str	7.55sec	0.05sec	0	540	7193

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	527.22sec	0.60sec	0	4408	114774
htl	5.49sec	0.05sec	0	510	7821
str	8.00sec	0.09sec	0	538	7248

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	556.45sec	0.59sec	0	4522	114333
htl	6.18sec	0.01sec	0	533	8075
str	8.21sec	0.09sec	0	561	7538

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	537.68sec	1.08sec	0	4420	128832
htl	6.16sec	0.07sec	0	533	8120
str	8.02sec	0.09sec	0	557	7534

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2944.89sec	2.10sec	0	10091	256325
htl	6.85sec	0.01sec	0	578	8802
str	9.08sec	0.09sec	0	602	8128

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2323.17sec	2.10sec	0	9272	261146
htl	6.54sec	0.09sec	0	571	8598
str	9.01sec	0.06sec	0	597	8079

test15/test_15.20_5_0.3_4_0.2_4_0.224.6	nlp
25 lines	2571 bytes
head (3,4,0)	body (2,4,0)
estimated blow-up	224.6

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	8129.65sec	5.05sec	0	17227	466781
htl	7.40sec	0.01sec	0	616	9708
str	10.83sec	0.09sec	0	644	8769

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	6025.24sec	3.66sec	0	14528	439480
htl	7.39sec	0.13sec	0	604	9348
str	10.15sec	0.01sec	0	634	8671

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2121.41sec	2.13sec	0	8543	254046
htl	7.12sec	0.09sec	0	590	9026
str	9.60sec	0.05sec	0	618	8396

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1791.01sec	2.62sec	0	8144	270672
htl	7.03sec	0.01sec	0	588	8984
str	9.22sec	0.01sec	0	612	8336

test15/test_15.20_5_0.3_4_0.3_3_0.434.0	nlp
25 lines	2653 bytes
head (3,4,0)	body (3,3,0)
estimated blow-up	434.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	18887.93sec	18.51sec	0	25801	797389
htl	8.16sec	0.09sec	0	652	10222
str	11.65sec	0.07sec	0	682	9323

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	18113.83sec	7.97sec	0	24323	844137
htl	8.45sec	0.09sec	0	642	9966
str	11.26sec	0.09sec	0	670	9178

test15/test_15.20_5_0.3_4_0.3_4_0.912.0	nlp
25 lines	2775 bytes
head (3,4,0)	body (3,4,0)
estimated blow-up	912.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	110425.20sec	43.59sec	0	59704	1782405
htl	9.48sec	0.07sec	0	699	10691
str	11.93sec	0.09sec	0	725	9868

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	83115.72sec	153.38sec	0	54727	1917185
htl	9.10sec	0.01sec	0	695	10924
str	13.29sec	0.09sec	0	725	10007

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	7512.08sec	6.03sec	0	15788	531753
htl	8.39sec	0.09sec	0	636	9776
str	11.03sec	0.09sec	0	664	9044

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	9422.38sec	10.31sec	0	17550	683241
htl	8.34sec	0.01sec	0	653	10178
str	11.72sec	0.09sec	0	683	9398

test15/test_15.20_5_0.3_4_0.4_3_0.1345.7	nlp
25 lines	2922 bytes
head (3,4,0)	body (4,3,0)
estimated blow-up	1345.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	206067.42sec	92.09sec	0	81202	2794283
htl	9.88sec	0.09sec	0	731	11376
str	13.86sec	0.09sec	0	759	10425

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	146558.10sec	114.01sec	0	68451	2587693
htl	10.05sec	0.01sec	0	718	11181
str	13.32sec	0.09sec	0	746	10330

test15/test_15.20_5_0.3_4_0.4_4_0.3701.1	nlp
25 lines	3345 bytes
head (3,4,0)	body (4,4,0)
estimated blow-up	3701.1

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1455386.62sec	773.11sec	--	201328	6970038
htl	11.40sec	0.02sec	0	793	12481
str	15.98sec	0.10sec	0	823	11384

test15/test_15.20_5_0.4_2_0.1_2_0.14.6	nlp
25 lines	1306 bytes
head (4,2,0)	body (1,2,0)
estimated blow-up	14.6

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	17.15sec	0.22sec	26	696	18233
htl	3.98sec	0.06sec	26	401	5922
str	5.07sec	0.23sec	26	421	5519

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	17.36sec	0.25sec	23	700	19561
htl	4.06sec	0.41sec	23	394	5769
str	4.81sec	0.31sec	23	408	5397

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	28.49sec	0.22sec	7	960	24101
htl	4.63sec	0.03sec	7	416	6047
str	4.87sec	0.04sec	7	436	5751

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	34.21sec	0.56sec	31	1038	30161
htl	4.32sec	0.41sec	31	408	6083
str	5.57sec	0.56sec	31	436	5858

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	53.69sec	0.39sec	7	1344	34223
htl	4.52sec	0.06sec	7	433	6386
str	5.78sec	0.10sec	7	455	6021

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	40.62sec	0.58sec	14	1136	33593
htl	4.69sec	0.28sec	14	414	6240
str	5.54sec	0.27sec	14	434	5843

test15/test_15.20_5_0.4_2_0.2_2_0.28.5	nlp
25 lines	1578 bytes
head (4,2,0)	body (2,2,0)
estimated blow-up	28.5

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	40.23sec	0.40sec	14	1118	32934
htl	5.01sec	0.42sec	14	446	6670
str	5.98sec	0.40sec	14	472	6293

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	47.57sec	0.77sec	18	1214	40241
htl	5.06sec	0.73sec	18	460	6877
str	6.33sec	0.58sec	18	486	6528

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	216.12sec	1.44sec	16	2744	85713
htl	5.73sec	0.21sec	16	494	7534
str	6.95sec	0.23sec	16	522	7035

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	197.76sec	1.58sec	22	2608	89243
htl	5.59sec	0.58sec	22	499	7558
str	7.60sec	0.56sec	22	523	7076

test15/test_15.20_5_0.4_2_0.2_4_0.86.2	nlp
25 lines	2047 bytes
head (4,2,0)	body (2,4,0)
estimated blow-up	86.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	554.53sec	2.08sec	9	4480	141401
htl	6.03sec	0.11sec	9	525	8138
str	8.14sec	0.11sec	9	555	7528

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	382.96sec	2.70sec	21	3678	116895
htl	5.77sec	0.41sec	21	522	7813
str	7.43sec	0.45sec	21	548	7429

test15/test_15.20_5_0.4_2_0.3_2_0.57.0	nlp
25 lines	1752 bytes
head (4,2,0)	body (3,2,0)
estimated blow-up	57.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	207.05sec	1.31sec	8	2672	89967
htl	5.76sec	0.25sec	8	504	7504
str	7.00sec	0.24sec	8	526	7093

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	166.01sec	1.81sec	15	2344	94361
htl	5.60sec	2.08sec	15	523	8097
str	8.40sec	2.11sec	15	549	7492

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1274.87sec	6.35sec	16	6808	218803
htl	6.89sec	0.27sec	16	561	8337
str	8.22sec	0.38sec	16	589	7991

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1336.28sec	10.89sec	18	6968	261203
htl	6.84sec	1.97sec	18	569	8653
str	8.03sec	1.58sec	18	597	8171

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	8597.97sec	14.43sec	4	16688	604609
htl	7.81sec	0.25sec	4	610	9731
str	10.90sec	0.22sec	4	638	8750

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	7405.51sec	26.11sec	20	15560	563695
htl	7.46sec	0.76sec	20	621	9436
str	9.65sec	0.65sec	20	649	8913

test15/test_15.20_5_0.4_2_0.4_2_0.114.6	nlp
25 lines	1937 bytes
head (4,2,0)	body (4,2,0)
estimated blow-up	114.6

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	546.20sec	5.69sec	23	4400	160969
htl	6.55sec	1.08sec	23	556	8282
str	8.19sec	0.74sec	23	580	7840

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	601.34sec	5.75sec	44	4592	188109
htl	6.47sec	1.62sec	44	553	8396
str	8.54sec	1.59sec	44	581	7948

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	12076.12sec	33.80sec	23	20776	803559
htl	8.63sec	0.72sec	23	651	9874
str	10.81sec	0.74sec	23	677	9236

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	12043.79sec	35.93sec	32	20342	848589
htl	8.58sec	1.95sec	32	655	9960
str	10.64sec	1.42sec	32	683	9381

test15/test_15.20_5_0.4_2_0.4_4_0.1260.9	nlp
25 lines	2785 bytes
head (4,2,0)	body (4,4,0)
estimated blow-up	1260.9

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	131346.49sec	136.72sec	29	64614	2461071
htl	9.91sec	0.57sec	29	718	11097
str	13.18sec	0.58sec	29	746	10256

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	133898.46sec	141.27sec	15	66416	2921493
htl	9.78sec	0.59sec	15	721	11314
str	13.77sec	0.56sec	15	751	10402

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	305.81sec	0.62sec	3	3353	82863
htl	5.74sec	0.02sec	3	510	7498
str	6.68sec	0.02sec	3	534	7152

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	292.82sec	1.07sec	6	3218	96233
htl	5.58sec	0.10sec	6	500	7628
str	7.70sec	0.08sec	6	524	7093

test15/test_15.20_5_0.4_3_0.1_3_0.72.0	nlp
25 lines	1835 bytes
head (4,3,0)	body (1,3,0)
estimated blow-up	72.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	464.00sec	0.77sec	1	4136	102629
htl	5.68sec	0.01sec	1	520	7795
str	7.14sec	0.10sec	1	542	7252

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	558.95sec	1.61sec	8	4514	129493
htl	6.19sec	0.09sec	8	519	7951
str	7.32sec	0.09sec	8	547	7432

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	967.93sec	1.93sec	5	6034	152904
htl	6.53sec	0.02sec	5	543	8172
str	7.69sec	0.03sec	5	567	7629

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	967.79sec	1.75sec	0	5999	176036
htl	6.39sec	0.09sec	0	546	8268
str	8.25sec	0.09sec	0	574	7783

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	847.06sec	1.95sec	2	5585	165176
htl	6.19sec	0.09sec	2	560	8505
str	8.65sec	0.10sec	2	588	7962

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	937.91sec	2.10sec	1	5864	192629
htl	6.59sec	0.02sec	1	559	8533
str	8.38sec	0.10sec	1	585	8012

test15/test_15.20_5_0.4_3_0.2_3_0.212.1	nlp
25 lines	2245 bytes
head (4,3,0)	body (2,3,0)
estimated blow-up	212.1

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3906.46sec	3.85sec	1	11854	346680
htl	7.13sec	0.09sec	1	600	9175
str	9.20sec	0.11sec	1	630	8621

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3288.14sec	4.67sec	3	10859	363452
htl	7.26sec	0.08sec	3	595	9139
str	9.72sec	0.02sec	3	621	8489

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	15079.47sec	7.44sec	0	22332	647464
htl	7.75sec	0.10sec	0	646	9809
str	10.80sec	0.10sec	0	676	9207

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	10672.77sec	8.75sec	1	19481	642315
htl	7.89sec	0.02sec	1	633	9760
str	10.77sec	0.02sec	1	663	9127

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3511.87sec	5.38sec	0	11174	368603
htl	7.79sec	0.02sec	0	623	9502
str	10.20sec	0.09sec	0	649	8826

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3075.93sec	4.70sec	2	10418	388700
htl	7.47sec	0.11sec	2	617	9510
str	9.99sec	0.02sec	2	641	8787

test15/test_15.20_5_0.4_3_0.3_3_0.641.2	nlp
25 lines	2504 bytes
head (4,3,0)	body (3,3,0)
estimated blow-up	641.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	32077.79sec	16.12sec	2	33404	1140884
htl	8.65sec	0.10sec	2	676	10316
str	11.22sec	0.02sec	2	704	9647

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	34539.83sec	30.62sec	2	35186	1274129
htl	8.50sec	0.11sec	2	683	10364
str	11.37sec	0.03sec	2	709	9754

test15/test_15.20_5_0.4_3_0.3_4_0.1347.0	nlp
25 lines	2932 bytes
head (4,3,0)	body (3,4,0)
estimated blow-up	1347.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	198861.71sec	55.98sec	0	80213	2802007
htl	9.76sec	0.05sec	0	736	11546
str	13.93sec	0.10sec	0	764	10497

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	182330.80sec	131.71sec	4	81014	3230177
htl	10.09sec	0.03sec	4	738	11670
str	13.99sec	0.05sec	4	766	10609

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	12655.46sec	12.35sec	0	21263	792602
htl	8.90sec	0.02sec	0	676	10233
str	11.43sec	0.10sec	0	704	9603

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	17396.97sec	15.76sec	1	23954	1006100
htl	8.83sec	0.10sec	1	675	10404
str	11.48sec	0.11sec	1	699	9664

test15/test_15.20_5_0.4_3_0.4_3_0.1947.0	nlp
25 lines	2973 bytes
head (4,3,0)	body (4,3,0)
estimated blow-up	1947.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	262972.48sec	243.17sec	0	93668	3688097
htl	10.18sec	0.10sec	0	755	11840
str	15.27sec	0.10sec	0	785	10835

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	312169.57sec	208.05sec	1	100013	4371979
htl	10.68sec	0.12sec	1	756	11988
str	14.54sec	0.02sec	1	784	10889