Individual tests

test25/test_25.20_5_0.1_2_0.1_2_0.1.8	nlp
25 lines	588 bytes
head (1,2,0)	body (1,2,0)
estimated blow-up	1.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	0.49sec	0.00sec	0	107	1613
htl	0.81sec	0.04sec	0	201	2920
str	0.75sec	0.04sec	0	219	2779

test25/test_25.20_5_0.1_2_0.1_2_1.2.2	nlp
25 lines	665 bytes
head (1,2,0)	body (1,2,1)
estimated blow-up	2.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	0.73sec	0.05sec	0	107	1819
htl	0.71sec	0.04sec	0	191	2720
str	0.70sec	0.03sec	0	201	2563

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	0.74sec	0.05sec	0	150	2099
htl	0.96sec	0.00sec	0	218	3120
str	0.97sec	0.00sec	0	238	3027

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	0.95sec	0.02sec	0	152	2696
htl	1.01sec	0.00sec	0	217	3215
str	1.13sec	0.05sec	0	237	3108

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1.22sec	0.03sec	0	177	2501
htl	1.36sec	0.00sec	0	238	3498
str	1.25sec	0.01sec	0	256	3308

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1.31sec	0.06sec	0	188	3472
htl	1.28sec	0.00sec	0	236	3612
str	1.40sec	0.02sec	0	262	3471

test25/test_25.20_5_0.1_2_0.2_2_0.3.7	nlp
25 lines	861 bytes
head (1,2,0)	body (2,2,0)
estimated blow-up	3.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1.22sec	0.01sec	0	189	3377
htl	1.27sec	0.03sec	0	259	3758
str	1.63sec	0.01sec	0	277	3557

test25/test_25.20_5_0.1_2_0.2_2_1.4.3	nlp
25 lines	987 bytes
head (1,2,0)	body (2,2,1)
estimated blow-up	4.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1.84sec	0.01sec	0	198	4348
htl	1.72sec	0.04sec	0	266	4068
str	1.73sec	0.01sec	0	288	3809

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	4.43sec	0.05sec	0	388	6959
htl	2.42sec	0.04sec	0	305	4575
str	3.05sec	0.01sec	0	329	4305

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5.65sec	0.07sec	0	386	8788
htl	2.65sec	0.08sec	0	304	4704
str	3.53sec	0.02sec	0	326	4338

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	12.35sec	0.16sec	0	645	11366
htl	2.82sec	0.01sec	0	340	5104
str	3.86sec	0.10sec	0	368	4853

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	12.56sec	0.45sec	0	637	14111
htl	3.63sec	0.01sec	0	338	5245
str	3.77sec	0.01sec	0	362	4841

test25/test_25.20_5_0.1_2_0.3_2_0.7.5	nlp
25 lines	1077 bytes
head (1,2,0)	body (3,2,0)
estimated blow-up	7.5

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	4.95sec	0.02sec	0	358	7534
htl	2.89sec	0.01sec	0	317	4610
str	3.30sec	0.01sec	0	345	4558

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	4.74sec	0.04sec	0	354	9014
htl	2.80sec	0.01sec	0	322	4745
str	2.90sec	0.01sec	0	342	4553

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	35.87sec	1.14sec	0	1082	24136
htl	3.72sec	0.01sec	0	384	5808
str	4.53sec	0.01sec	0	408	5493

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	31.92sec	0.73sec	0	1020	27332
htl	3.89sec	0.05sec	0	386	5939
str	4.48sec	0.01sec	0	408	5551

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	147.68sec	6.20sec	0	2263	50898
htl	4.65sec	0.01sec	0	442	6704
str	5.43sec	0.04sec	0	464	6285

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	163.31sec	7.06sec	0	2416	64046
htl	4.59sec	0.08sec	0	445	6885
str	5.75sec	0.01sec	0	477	6587

test25/test_25.20_5_0.1_2_0.4_2_0.15.2	nlp
25 lines	1384 bytes
head (1,2,0)	body (4,2,0)
estimated blow-up	15.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	15.12sec	0.43sec	0	671	18115
htl	3.76sec	0.07sec	0	384	5754
str	4.43sec	0.13sec	0	416	5635

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	15.35sec	0.56sec	0	665	20058
htl	3.56sec	0.39sec	0	385	5821
str	4.05sec	0.66sec	0	411	5656

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	246.01sec	13.87sec	0	2926	79585
htl	4.72sec	0.08sec	0	465	7104
str	6.34sec	0.01sec	0	501	6894

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	240.09sec	12.90sec	0	2945	94802
htl	5.32sec	0.08sec	0	466	7230
str	6.43sec	0.08sec	0	500	6945

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2556.19sec	108.02sec	0	9266	238180
htl	6.10sec	0.08sec	0	544	8209
str	7.39sec	0.01sec	0	576	7958

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1924.09sec	69.70sec	0	8276	252793
htl	6.81sec	0.09sec	0	536	8434
str	8.02sec	0.09sec	0	568	7957

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2.27sec	0.09sec	0	161	2370
htl	2.36sec	0.00sec	0	226	3330
str	2.21sec	0.03sec	0	238	3041

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1.98sec	0.00sec	0	161	2814
htl	2.25sec	0.08sec	0	227	3430
str	2.19sec	0.02sec	0	253	3353

test25/test_25.20_5_0.1_3_0.1_3_0.2.7	nlp
25 lines	793 bytes
head (1,3,0)	body (1,3,0)
estimated blow-up	2.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2.82sec	0.00sec	0	215	3093
htl	2.37sec	0.00sec	0	250	3711
str	2.70sec	0.04sec	0	268	3475

test25/test_25.20_5_0.1_3_0.1_3_1.3.5	nlp
25 lines	912 bytes
head (1,3,0)	body (1,3,1)
estimated blow-up	3.5

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2.72sec	0.08sec	0	219	3769
htl	2.38sec	0.08sec	0	244	3652
str	2.77sec	0.00sec	0	262	3457

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3.16sec	0.08sec	0	255	3462
htl	2.67sec	0.01sec	0	262	3861
str	3.23sec	0.04sec	0	282	3679

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3.50sec	0.09sec	0	277	4755
htl	2.92sec	0.08sec	0	267	4060
str	3.27sec	0.08sec	0	297	3967

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3.86sec	0.06sec	0	271	4681
htl	2.95sec	0.00sec	0	289	4237
str	2.63sec	0.04sec	0	311	4048

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3.82sec	0.09sec	0	283	6123
htl	2.91sec	0.01sec	0	290	4356
str	2.85sec	0.00sec	0	308	4071

test25/test_25.20_5_0.1_3_0.2_3_0.8.3	nlp
25 lines	1171 bytes
head (1,3,0)	body (2,3,0)
estimated blow-up	8.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	9.45sec	0.19sec	0	548	9713
htl	3.32sec	0.08sec	0	327	4898
str	3.22sec	0.04sec	0	343	4493

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	10.75sec	0.32sec	0	561	13070
htl	3.46sec	0.06sec	0	332	5246
str	4.08sec	0.08sec	0	362	4902

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	25.00sec	0.25sec	0	939	16060
htl	3.72sec	0.01sec	0	366	5460
str	3.79sec	0.01sec	0	384	5044

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	27.50sec	0.56sec	0	977	22570
htl	3.87sec	0.01sec	0	373	5814
str	4.64sec	0.06sec	0	395	5348

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	9.00sec	0.05sec	0	514	11356
htl	3.59sec	0.08sec	0	346	5147
str	4.27sec	0.01sec	0	368	4882

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	9.48sec	0.08sec	0	517	13377
htl	3.55sec	0.01sec	0	351	5301
str	4.13sec	0.01sec	0	377	5114

test25/test_25.20_5_0.1_3_0.3_3_0.25.4	nlp
25 lines	1581 bytes
head (1,3,0)	body (3,3,0)
estimated blow-up	25.4

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	72.35sec	2.77sec	0	1619	37158
htl	4.19sec	0.04sec	0	411	6312
str	4.91sec	0.08sec	0	439	5948

test25/test_25.20_5_0.1_3_0.3_3_1.29.5	nlp
25 lines	1610 bytes
head (1,3,0)	body (3,3,1)
estimated blow-up	29.5

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	72.32sec	0.88sec	0	1586	42502
htl	4.24sec	0.01sec	0	413	6334
str	5.41sec	0.10sec	0	437	6000

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	336.20sec	10.33sec	0	3562	78979
htl	4.68sec	0.07sec	0	466	7112
str	6.01sec	0.06sec	0	492	6680

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	342.26sec	3.32sec	0	3560	93912
htl	5.02sec	0.01sec	0	470	7329
str	5.99sec	0.01sec	0	490	6747

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	26.93sec	0.85sec	0	948	24739
htl	3.61sec	0.05sec	0	405	6046
str	4.51sec	0.09sec	0	437	5967

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	30.64sec	0.76sec	0	993	31046
htl	4.28sec	0.08sec	0	414	6420
str	4.62sec	0.01sec	0	442	6095

test25/test_25.20_5_0.1_3_0.4_3_0.77.1	nlp
25 lines	1857 bytes
head (1,3,0)	body (4,3,0)
estimated blow-up	77.1

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	597.74sec	14.76sec	0	4747	127156
htl	5.66sec	0.08sec	0	495	7529
str	6.79sec	0.01sec	0	525	7236

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	554.71sec	15.07sec	0	4504	136666
htl	5.42sec	0.10sec	0	492	7600
str	7.00sec	0.01sec	0	524	7280

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5652.83sec	139.39sec	0	13499	384932
htl	6.75sec	0.01sec	0	567	8971
str	8.91sec	0.01sec	0	609	8526

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	4969.85sec	199.69sec	0	13119	418100
htl	6.72sec	0.05sec	0	563	8860
str	8.74sec	0.09sec	0	605	8530

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2.19sec	0.07sec	0	195	2736
htl	2.23sec	0.08sec	0	250	3739
str	2.59sec	0.00sec	0	268	3485

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2.27sec	0.00sec	0	202	3550
htl	2.69sec	0.03sec	0	250	3842
str	2.52sec	0.00sec	0	274	3647

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3.45sec	0.00sec	0	266	3722
htl	2.68sec	0.00sec	0	270	4013
str	2.68sec	0.05sec	0	282	3665

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3.59sec	0.08sec	0	276	4938
htl	2.44sec	0.08sec	0	274	4243
str	2.86sec	0.09sec	0	290	3872

test25/test_25.20_5_0.1_4_0.1_4_0.3.6	nlp
25 lines	1060 bytes
head (1,4,0)	body (1,4,0)
estimated blow-up	3.6

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	4.47sec	0.08sec	0	322	4635
htl	2.87sec	0.08sec	0	288	4419
str	3.42sec	0.00sec	0	314	4138

test25/test_25.20_5_0.1_4_0.1_4_1.4.9	nlp
25 lines	1180 bytes
head (1,4,0)	body (1,4,1)
estimated blow-up	4.9

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5.06sec	0.09sec	0	363	6603
htl	2.95sec	0.00sec	0	291	4515
str	3.54sec	0.02sec	0	311	4188

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	4.97sec	0.01sec	0	367	6579
htl	3.13sec	0.00sec	0	312	4645
str	3.24sec	0.00sec	0	322	4174

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5.52sec	0.13sec	0	359	7648
htl	3.27sec	0.00sec	0	317	4770
str	3.45sec	0.08sec	0	333	4417

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	16.05sec	0.12sec	0	741	12590
htl	3.46sec	0.08sec	0	353	5192
str	3.78sec	0.09sec	0	373	4917

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	15.63sec	0.27sec	0	714	15642
htl	3.59sec	0.01sec	0	354	5490
str	4.15sec	0.04sec	0	382	5166

test25/test_25.20_5_0.1_4_0.2_4_0.14.8	nlp
25 lines	1480 bytes
head (1,4,0)	body (2,4,0)
estimated blow-up	14.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	40.98sec	0.22sec	0	1224	21467
htl	3.96sec	0.05sec	0	390	5921
str	4.22sec	0.04sec	0	414	5523

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	34.84sec	0.04sec	0	1096	23332
htl	4.19sec	0.01sec	0	382	5862
str	4.83sec	0.08sec	0	406	5477

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	13.25sec	0.13sec	0	639	14113
htl	3.75sec	0.08sec	0	375	5605
str	4.13sec	0.08sec	0	401	5383

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	14.10sec	0.05sec	0	646	16665
htl	3.64sec	0.07sec	0	367	5574
str	4.27sec	0.01sec	0	387	5236

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	119.19sec	3.29sec	0	2094	47603
htl	4.90sec	0.01sec	0	435	6674
str	5.55sec	0.03sec	0	463	6285

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	127.20sec	1.10sec	0	2145	57187
htl	4.78sec	0.01sec	0	440	6763
str	5.34sec	0.09sec	0	466	6424

test25/test_25.20_5_0.1_4_0.3_4_0.60.2	nlp
25 lines	1938 bytes
head (1,4,0)	body (3,4,0)
estimated blow-up	60.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	536.96sec	0.75sec	0	4535	101050
htl	5.11sec	0.01sec	0	490	7527
str	6.91sec	0.08sec	0	518	7137

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	614.58sec	1.58sec	0	4816	130130
htl	5.66sec	0.07sec	0	495	7897
str	7.09sec	0.09sec	0	531	7400

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	42.91sec	0.09sec	0	1213	30641
htl	4.39sec	0.01sec	0	429	6388
str	5.28sec	0.04sec	0	455	6172

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	40.79sec	1.24sec	0	1145	36665
htl	4.63sec	0.06sec	0	415	6525
str	5.68sec	0.01sec	0	449	6208

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	731.16sec	5.35sec	0	5255	137563
htl	5.69sec	0.01sec	0	504	7624
str	7.00sec	0.01sec	0	530	7287

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	966.64sec	1.60sec	0	6029	188866
htl	5.78sec	0.10sec	0	515	7955
str	6.94sec	0.09sec	0	549	7681

test25/test_25.20_5_0.1_4_0.4_4_0.243.8	nlp
25 lines	2329 bytes
head (1,4,0)	body (4,4,0)
estimated blow-up	243.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	8646.87sec	16.11sec	0	16695	443886
htl	6.86sec	0.11sec	0	583	8959
str	8.44sec	0.10sec	0	613	8492

test25/test_25.20_5_0.1_4_0.4_4_1.279.3	nlp
25 lines	2532 bytes
head (1,4,0)	body (4,4,1)
estimated blow-up	279.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	9079.46sec	158.43sec	0	16895	532907
htl	6.95sec	0.01sec	0	586	9237
str	9.35sec	0.01sec	0	628	8882

test25/test_25.20_5_0.2_2_0.1_2_0.3.7	nlp
25 lines	774 bytes
head (2,2,0)	body (1,2,0)
estimated blow-up	3.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2.55sec	0.08sec	1	206	3600
htl	2.45sec	0.01sec	1	269	3860
str	3.44sec	0.01sec	1	289	3688

test25/test_25.20_5_0.2_2_0.1_2_1.4.2	nlp
25 lines	994 bytes
head (2,2,0)	body (1,2,1)
estimated blow-up	4.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2.44sec	0.09sec	0	212	4596
htl	2.83sec	0.09sec	0	273	4197
str	3.26sec	0.06sec	0	299	3962

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3.80sec	0.09sec	0	290	5203
htl	3.61sec	0.08sec	0	300	4443
str	2.82sec	0.08sec	0	314	4056

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3.96sec	0.09sec	8	278	5827
htl	2.62sec	0.10sec	8	291	4306
str	3.42sec	0.11sec	8	307	4006

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5.09sec	0.01sec	3	358	6266
htl	3.29sec	0.08sec	3	323	4782
str	3.51sec	0.08sec	3	343	4532

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5.06sec	0.01sec	0	342	7297
htl	3.59sec	0.05sec	0	313	4693
str	3.52sec	0.01sec	0	335	4462

test25/test_25.20_5_0.2_2_0.2_2_0.7.3	nlp
25 lines	1083 bytes
head (2,2,0)	body (2,2,0)
estimated blow-up	7.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5.55sec	0.08sec	2	352	7565
htl	3.44sec	0.09sec	2	337	4960
str	3.75sec	0.01sec	2	359	4763

test25/test_25.20_5_0.2_2_0.2_2_1.8.2	nlp
25 lines	1195 bytes
head (2,2,0)	body (2,2,1)
estimated blow-up	8.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	6.19sec	0.11sec	3	366	9317
htl	3.34sec	0.59sec	3	338	5091
str	3.63sec	0.73sec	3	358	4794

test25/test_25.20_5_0.2_2_0.2_3_0.13.2	nlp
25 lines	1284 bytes
head (2,2,0)	body (2,3,0)
estimated blow-up	13.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	16.97sec	0.03sec	0	730	16400
htl	4.18sec	0.01sec	0	383	5747
str	4.55sec	0.01sec	0	401	5362

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	18.23sec	0.38sec	0	754	20297
htl	4.10sec	0.01sec	0	383	5920
str	4.60sec	0.05sec	0	409	5564

test25/test_25.20_5_0.2_2_0.2_4_0.19.8	nlp
25 lines	1458 bytes
head (2,2,0)	body (2,4,0)
estimated blow-up	19.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	43.70sec	0.30sec	0	1228	26923
htl	3.90sec	0.01sec	0	413	6226
str	5.45sec	0.01sec	0	433	5814

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	50.31sec	0.23sec	0	1308	35743
htl	4.39sec	0.10sec	0	423	6485
str	4.91sec	0.03sec	0	447	6082

test25/test_25.20_5_0.2_2_0.3_2_0.14.7	nlp
25 lines	1300 bytes
head (2,2,0)	body (3,2,0)
estimated blow-up	14.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	14.08sec	0.06sec	3	643	16621
htl	3.84sec	2.84sec	3	401	5925
str	4.45sec	3.97sec	3	419	5615

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	14.77sec	0.06sec	2	658	19513
htl	3.94sec	2.51sec	2	399	6050
str	4.79sec	3.48sec	2	427	5858

test25/test_25.20_5_0.2_2_0.3_3_0.38.7	nlp
25 lines	1674 bytes
head (2,2,0)	body (3,3,0)
estimated blow-up	38.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	117.65sec	1.30sec	0	2040	55063
htl	5.05sec	0.09sec	0	457	6999
str	5.85sec	0.01sec	0	487	6660

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	122.98sec	1.27sec	2	2055	64988
htl	5.16sec	3.90sec	2	458	7089
str	5.88sec	4.52sec	2	488	6767

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	606.27sec	0.58sec	0	4735	128991
htl	5.85sec	0.07sec	0	521	8118
str	7.26sec	0.05sec	0	559	7752

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	559.59sec	18.70sec	2	4494	140375
htl	6.07sec	0.09sec	2	516	8008
str	7.19sec	0.10sec	2	556	7813

test25/test_25.20_5_0.2_2_0.4_2_0.29.6	nlp
25 lines	1614 bytes
head (2,2,0)	body (4,2,0)
estimated blow-up	29.6

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	45.33sec	0.78sec	11	1218	38249
htl	5.18sec	6.38sec	11	458	6977
str	5.86sec	7.57sec	11	490	6737

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	55.27sec	0.59sec	10	1329	47620
htl	4.70sec	18.23sec	10	454	6973
str	5.59sec	23.83sec	10	484	6702

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	943.04sec	19.98sec	0	5916	190512
htl	5.88sec	0.01sec	0	537	8345
str	7.80sec	0.09sec	0	573	7980

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1096.61sec	37.83sec	2	6326	225903
htl	6.32sec	7.94sec	2	539	8415
str	7.50sec	9.05sec	2	573	8044

test25/test_25.20_5_0.2_2_0.4_4_0.292.6	nlp
25 lines	2480 bytes
head (2,2,0)	body (4,4,0)
estimated blow-up	292.6

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	9964.70sec	6.51sec	0	18239	589992
htl	7.42sec	0.09sec	0	618	9820
str	10.23sec	0.02sec	0	654	9156

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	10115.74sec	142.54sec	17	17794	655055
htl	7.74sec	5.25sec	17	617	9821
str	10.18sec	5.51sec	17	653	9241

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	6.47sec	0.09sec	0	413	7363
htl	3.15sec	0.03sec	0	324	4824
str	3.34sec	0.05sec	0	344	4486

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	7.12sec	0.09sec	0	436	9321
htl	3.54sec	0.03sec	0	331	5101
str	3.78sec	0.01sec	0	355	4779

test25/test_25.20_5_0.2_3_0.1_3_0.8.1	nlp
25 lines	1156 bytes
head (2,3,0)	body (1,3,0)
estimated blow-up	8.1

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	11.18sec	0.07sec	0	608	11073
htl	3.41sec	0.03sec	0	353	5351
str	4.14sec	0.08sec	0	379	5067

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	11.07sec	0.09sec	0	588	13016
htl	3.52sec	0.01sec	0	347	5346
str	4.22sec	0.07sec	0	371	4965

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	17.31sec	0.06sec	0	773	14087
htl	3.71sec	0.01sec	0	373	5711
str	4.63sec	0.09sec	0	401	5387

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	18.39sec	0.10sec	0	777	16567
htl	4.14sec	0.01sec	0	370	5690
str	4.32sec	0.08sec	0	396	5352

test25/test_25.20_5_0.2_3_0.2_2_0.12.9	nlp
25 lines	1346 bytes
head (2,3,0)	body (2,2,0)
estimated blow-up	12.9

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	16.95sec	0.10sec	0	729	15954
htl	3.71sec	0.08sec	0	385	5793
str	4.66sec	0.09sec	0	409	5487

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	18.74sec	0.03sec	0	765	20225
htl	4.30sec	0.01sec	0	394	6021
str	4.49sec	0.01sec	0	414	5651

test25/test_25.20_5_0.2_3_0.2_3_0.24.3	nlp
25 lines	1561 bytes
head (2,3,0)	body (2,3,0)
estimated blow-up	24.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	72.07sec	0.04sec	0	1602	35808
htl	4.87sec	0.08sec	0	431	6583
str	5.34sec	0.01sec	0	465	6366

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	72.13sec	0.11sec	0	1578	42470
htl	4.72sec	0.01sec	0	432	6723
str	5.86sec	0.01sec	0	462	6367

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	153.30sec	1.08sec	0	2364	50295
htl	5.33sec	0.01sec	0	461	6963
str	6.22sec	0.09sec	0	493	6765

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	195.70sec	0.95sec	0	2654	70618
htl	5.23sec	0.09sec	0	466	7336
str	6.40sec	0.01sec	0	496	6888

test25/test_25.20_5_0.2_3_0.3_2_0.27.0	nlp
25 lines	1592 bytes
head (2,3,0)	body (3,2,0)
estimated blow-up	27.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	65.45sec	0.39sec	0	1497	39577
htl	4.74sec	0.08sec	0	453	6899
str	5.62sec	0.01sec	0	473	6460

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	53.34sec	0.23sec	0	1331	40480
htl	5.02sec	0.01sec	0	448	6872
str	5.90sec	0.09sec	0	486	6761

test25/test_25.20_5_0.2_3_0.3_3_0.73.9	nlp
25 lines	1943 bytes
head (2,3,0)	body (3,3,0)
estimated blow-up	73.9

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	523.29sec	0.59sec	0	4409	121574
htl	5.85sec	0.09sec	0	507	7868
str	7.42sec	0.04sec	0	541	7477

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	547.61sec	1.45sec	2	4478	136343
htl	6.16sec	0.02sec	2	510	7803
str	6.67sec	0.02sec	2	540	7525

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3350.56sec	4.48sec	0	10777	288001
htl	6.82sec	0.01sec	0	571	8824
str	8.61sec	0.01sec	0	605	8430

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2537.04sec	3.64sec	0	9692	313205
htl	6.71sec	0.09sec	0	563	8976
str	8.83sec	0.09sec	0	605	8569

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	201.63sec	0.42sec	0	2676	77323
htl	5.45sec	0.01sec	0	509	7584
str	6.57sec	0.01sec	0	533	7303

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	224.18sec	0.58sec	2	2800	100773
htl	5.64sec	0.58sec	2	513	8024
str	6.95sec	0.76sec	2	543	7587

test25/test_25.20_5_0.2_3_0.4_3_0.224.5	nlp
25 lines	2267 bytes
head (2,3,0)	body (4,3,0)
estimated blow-up	224.5

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	4997.87sec	4.16sec	0	13051	411451
htl	7.09sec	0.04sec	0	588	9179
str	8.95sec	0.01sec	0	620	8639

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	4401.07sec	9.46sec	0	12483	447846
htl	6.89sec	0.02sec	0	587	9271
str	8.50sec	0.01sec	0	617	8682

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	45541.82sec	58.45sec	0	36781	1184838
htl	8.59sec	0.05sec	0	659	10507
str	11.41sec	0.01sec	0	699	9862

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	55322.67sec	775.16sec	--	41371	1563184
htl	8.44sec	0.02sec	0	668	10843
str	12.37sec	0.02sec	0	712	10155

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	14.81sec	0.05sec	0	708	12557
htl	3.69sec	0.08sec	0	374	5675
str	4.31sec	0.09sec	0	394	5240

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	16.99sec	0.02sec	0	739	16019
htl	3.72sec	0.01sec	0	383	6026
str	4.81sec	0.09sec	0	411	5599

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	26.47sec	0.05sec	0	969	17244
htl	4.06sec	0.01sec	0	396	6023
str	4.48sec	0.08sec	0	414	5530

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	30.02sec	0.05sec	0	1011	22068
htl	4.33sec	0.07sec	0	398	6218
str	4.88sec	0.01sec	0	422	5741

test25/test_25.20_5_0.2_4_0.1_4_0.14.2	nlp
25 lines	1583 bytes
head (2,4,0)	body (1,4,0)
estimated blow-up	14.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	45.28sec	0.03sec	0	1284	23720
htl	4.16sec	0.09sec	0	417	6569
str	5.25sec	0.08sec	0	445	6008

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	44.89sec	0.11sec	0	1251	27604
htl	4.40sec	0.08sec	0	412	6541
str	5.42sec	0.01sec	0	452	6252

test25/test_25.20_5_0.2_4_0.2_2_0.18.8	nlp
25 lines	1602 bytes
head (2,4,0)	body (2,2,0)
estimated blow-up	18.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	49.15sec	0.04sec	0	1299	28599
htl	4.70sec	0.08sec	0	433	6615
str	5.13sec	0.04sec	0	453	6131

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	48.40sec	0.05sec	0	1280	34448
htl	4.65sec	0.09sec	0	439	6791
str	5.74sec	0.08sec	0	467	6447

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	204.41sec	0.40sec	0	2755	60052
htl	5.48sec	0.01sec	0	479	7313
str	6.66sec	0.01sec	0	505	6902

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	209.10sec	1.80sec	0	2740	71116
htl	5.06sec	0.10sec	0	476	7313
str	6.11sec	0.01sec	0	500	6880

test25/test_25.20_5_0.2_4_0.2_4_0.57.3	nlp
25 lines	2021 bytes
head (2,4,0)	body (2,4,0)
estimated blow-up	57.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	489.99sec	0.58sec	0	4293	96929
htl	5.57sec	0.10sec	0	510	7973
str	7.05sec	0.01sec	0	548	7569

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	489.84sec	0.57sec	0	4252	109431
htl	5.33sec	0.08sec	0	510	7934
str	6.87sec	0.09sec	0	542	7558

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	195.13sec	0.43sec	0	2646	69496
htl	5.55sec	0.09sec	0	500	7703
str	7.11sec	0.09sec	0	534	7380

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	170.13sec	0.56sec	0	2446	75671
htl	5.75sec	0.09sec	0	498	7762
str	7.28sec	0.10sec	0	528	7333

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1664.60sec	2.14sec	0	7829	212055
htl	6.65sec	0.13sec	0	560	8821
str	9.15sec	0.05sec	0	606	8502

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1543.60sec	1.61sec	0	7585	241255
htl	6.50sec	0.04sec	0	556	8852
str	8.24sec	0.09sec	0	598	8471

test25/test_25.20_5_0.2_4_0.3_4_0.233.0	nlp
25 lines	2519 bytes
head (2,4,0)	body (3,4,0)
estimated blow-up	233.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	8507.40sec	3.99sec	0	16954	464767
htl	7.47sec	0.05sec	0	612	9726
str	10.20sec	0.01sec	0	654	9200

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	9944.59sec	108.16sec	0	18674	570994
htl	7.57sec	0.05sec	0	613	9688
str	10.59sec	0.01sec	0	647	9083

test25/test_25.20_5_0.2_4_0.4_2_0.85.7	nlp
25 lines	2130 bytes
head (2,4,0)	body (4,2,0)
estimated blow-up	85.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	676.12sec	1.75sec	0	4980	157091
htl	6.97sec	0.01sec	0	562	8793
str	8.54sec	0.01sec	0	598	8352

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	629.54sec	11.34sec	0	4795	173466
htl	6.43sec	0.01sec	0	560	8850
str	8.69sec	0.01sec	0	594	8381

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	14511.74sec	21.66sec	0	21886	701410
htl	8.12sec	0.01sec	0	633	10079
str	9.91sec	0.01sec	0	667	9393

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	16951.36sec	19.88sec	0	23957	819805
htl	7.99sec	0.09sec	0	639	9975
str	9.62sec	0.09sec	0	677	9590

test25/test_25.20_5_0.2_4_0.4_4_0.945.5	nlp
25 lines	2912 bytes
head (2,4,0)	body (4,4,0)
estimated blow-up	945.5

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	152619.20sec	50.64sec	0	66555	2124692
htl	9.34sec	0.09sec	0	708	11268
str	13.21sec	0.09sec	0	746	10564

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	139633.53sec	119.75sec	0	65162	2402812
htl	9.68sec	0.07sec	0	707	11310
str	12.77sec	0.09sec	0	749	10695

test25/test_25.20_5_0.3_2_0.1_2_0.7.3	nlp
25 lines	1065 bytes
head (3,2,0)	body (1,2,0)
estimated blow-up	7.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5.95sec	0.30sec	66	394	8709
htl	3.34sec	2.34sec	66	347	5131
str	3.86sec	2.96sec	66	365	4817

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	6.25sec	0.41sec	69	386	9555
htl	3.47sec	20.91sec	69	351	5229
str	3.69sec	23.76sec	69	373	5060

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	8.56sec	0.29sec	39	488	10418
htl	3.78sec	2.63sec	39	369	5442
str	3.71sec	3.49sec	39	391	5215

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	10.56sec	0.22sec	23	538	13436
htl	3.87sec	1.65sec	23	376	5594
str	3.90sec	2.13sec	23	390	5261

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	14.96sec	0.21sec	11	676	15475
htl	4.12sec	0.75sec	11	390	6000
str	4.71sec	1.12sec	11	422	5717

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	16.57sec	0.25sec	27	710	18939
htl	4.20sec	2.66sec	27	394	6074
str	4.88sec	3.51sec	27	428	5902

test25/test_25.20_5_0.3_2_0.2_2_0.14.4	nlp
25 lines	1327 bytes
head (3,2,0)	body (2,2,0)
estimated blow-up	14.4

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	15.57sec	0.66sec	34	688	17859
htl	4.30sec	5.18sec	34	411	6124
str	5.22sec	6.02sec	34	437	5914

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	16.64sec	0.39sec	29	698	20959
htl	4.06sec	22.42sec	29	396	5970
str	5.04sec	20.77sec	29	420	5734

test25/test_25.20_5_0.3_2_0.2_3_0.27.1	nlp
25 lines	1527 bytes
head (3,2,0)	body (2,3,0)
estimated blow-up	27.1

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	65.01sec	1.24sec	60	1490	39695
htl	4.81sec	2.28sec	60	459	6926
str	5.75sec	2.62sec	60	483	6587

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	58.52sec	1.29sec	32	1392	43513
htl	4.94sec	18.98sec	32	457	6967
str	5.83sec	20.71sec	32	481	6655

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	154.88sec	2.46sec	22	2326	62475
htl	5.40sec	0.76sec	22	489	7418
str	6.28sec	0.89sec	22	517	7084

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	159.83sec	1.10sec	16	2362	74853
htl	5.44sec	2.27sec	16	488	7613
str	6.76sec	2.81sec	16	514	7172

test25/test_25.20_5_0.3_2_0.3_2_0.28.8	nlp
25 lines	1577 bytes
head (3,2,0)	body (3,2,0)
estimated blow-up	28.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	48.91sec	1.62sec	46	1274	39553
htl	4.92sec	19.36sec	46	473	7186
str	5.82sec	22.12sec	46	497	6818

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	54.48sec	2.47sec	21	1326	45217
htl	5.37sec	58.33sec	21	478	7251
str	6.16sec	60.32sec	21	504	6965

test25/test_25.20_5_0.3_2_0.3_3_0.78.9	nlp
25 lines	1886 bytes
head (3,2,0)	body (3,3,0)
estimated blow-up	78.9

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	437.53sec	4.31sec	22	3978	125721
htl	6.01sec	2.07sec	22	537	8237
str	7.24sec	2.54sec	22	569	7920

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	457.77sec	5.50sec	27	4042	143947
htl	6.13sec	51.20sec	27	533	8281
str	7.91sec	55.60sec	27	563	7858

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2313.93sec	13.20sec	13	8952	285761
htl	6.92sec	0.75sec	13	590	9315
str	9.75sec	0.57sec	13	632	8900

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1912.42sec	17.71sec	11	8398	307947
htl	6.86sec	24.16sec	11	583	9238
str	8.97sec	30.28sec	11	615	8666

test25/test_25.20_5_0.3_2_0.4_2_0.58.1	nlp
25 lines	1846 bytes
head (3,2,0)	body (4,2,0)
estimated blow-up	58.1

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	194.22sec	3.84sec	33	2580	92883
htl	6.02sec	80.26sec	33	526	8104
str	7.65sec	91.77sec	33	560	7771

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	185.70sec	4.69sec	19	2514	102513
htl	6.02sec	273.77sec	19	529	8243
str	7.44sec	310.84sec	19	563	7902

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	4030.61sec	23.62sec	16	12182	434201
htl	7.26sec	2.32sec	16	617	9568
str	9.35sec	2.25sec	16	657	9233

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	4500.86sec	100.87sec	29	12474	529485
htl	7.59sec	124.70sec	29	616	9924
str	10.05sec	160.77sec	29	654	9249

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	41643.83sec	261.03sec	15	36054	1328025
htl	9.21sec	2.32sec	15	684	10843
str	11.82sec	1.93sec	15	720	10209

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	35034.11sec	580.92sec	20	34136	1412085
htl	9.13sec	14.99sec	20	686	11051
str	12.25sec	16.50sec	20	730	10382

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	37.73sec	0.09sec	0	1152	25979
htl	4.54sec	0.01sec	0	426	6488
str	5.35sec	0.08sec	0	458	6227

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	44.65sec	0.20sec	1	1223	32966
htl	4.60sec	0.39sec	1	432	6784
str	5.99sec	0.42sec	1	464	6441

test25/test_25.20_5_0.3_3_0.1_3_0.24.1	nlp
25 lines	1557 bytes
head (3,3,0)	body (1,3,0)
estimated blow-up	24.1

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	85.01sec	0.05sec	0	1749	39565
htl	4.38sec	0.01sec	0	451	6891
str	5.80sec	0.08sec	0	485	6658

test25/test_25.20_5_0.3_3_0.1_3_1.27.8	nlp
25 lines	1782 bytes
head (3,3,0)	body (1,3,1)
estimated blow-up	27.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	83.63sec	0.39sec	0	1704	46418
htl	5.00sec	0.05sec	0	453	7197
str	6.34sec	0.02sec	0	485	6688

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	138.48sec	0.19sec	0	2256	49481
htl	5.22sec	0.01sec	0	473	7144
str	5.93sec	0.01sec	0	499	6834

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	136.39sec	0.59sec	2	2199	58932
htl	5.51sec	0.11sec	2	470	7280
str	5.76sec	0.16sec	2	502	6972

test25/test_25.20_5_0.3_3_0.2_2_0.36.7	nlp
25 lines	1692 bytes
head (3,3,0)	body (2,2,0)
estimated blow-up	36.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	117.69sec	0.24sec	0	2039	52303
htl	5.40sec	0.01sec	0	489	7436
str	6.59sec	0.01sec	0	513	7030

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	121.62sec	1.44sec	23	2036	60729
htl	5.42sec	2.60sec	23	485	7416
str	6.52sec	3.31sec	23	517	7184

test25/test_25.20_5_0.3_3_0.2_3_0.71.6	nlp
25 lines	1852 bytes
head (3,3,0)	body (2,3,0)
estimated blow-up	71.6

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	474.53sec	1.40sec	10	4199	108813
htl	6.01sec	0.23sec	10	525	7963
str	7.35sec	0.18sec	10	561	7783

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	468.81sec	1.22sec	0	4127	126762
htl	5.61sec	0.02sec	0	525	8228
str	7.14sec	0.10sec	0	561	7854

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1691.87sec	2.09sec	0	8026	220652
htl	6.77sec	0.09sec	0	569	9016
str	8.60sec	0.09sec	0	613	8597

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1643.22sec	15.60sec	1	7847	235596
htl	6.53sec	0.11sec	1	566	8707
str	8.26sec	0.09sec	1	598	8343

test25/test_25.20_5_0.3_3_0.3_2_0.76.3	nlp
25 lines	1942 bytes
head (3,3,0)	body (3,2,0)
estimated blow-up	76.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	495.54sec	1.61sec	1	4253	130460
htl	6.43sec	0.04sec	1	548	8438
str	8.01sec	0.11sec	1	578	8002

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	451.37sec	8.60sec	26	4021	145826
htl	6.27sec	2.97sec	26	544	8605
str	8.44sec	3.49sec	26	584	8212

test25/test_25.20_5_0.3_3_0.3_3_0.217.0	nlp
25 lines	2292 bytes
head (3,3,0)	body (3,3,0)
estimated blow-up	217.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	4188.05sec	9.26sec	14	12164	384701
htl	7.26sec	0.13sec	14	605	9466
str	8.98sec	0.25sec	14	643	9007

test25/test_25.20_5_0.3_3_0.3_3_1.241.0	nlp
25 lines	2395 bytes
head (3,3,0)	body (3,3,1)
estimated blow-up	241.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	4858.16sec	9.47sec	5	13109	473940
htl	7.24sec	0.28sec	5	606	9594
str	9.26sec	0.39sec	5	640	9005

test25/test_25.20_5_0.3_3_0.3_4_0.446.8	nlp
25 lines	2522 bytes
head (3,3,0)	body (3,4,0)
estimated blow-up	446.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	24781.18sec	6.41sec	0	29607	919816
htl	8.32sec	0.02sec	0	667	10384
str	11.08sec	0.10sec	0	705	9927

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	32117.03sec	11.34sec	2	31143	1141161
htl	8.74sec	0.09sec	2	669	10691
str	11.21sec	0.10sec	2	701	9938

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1810.92sec	5.31sec	3	8033	293033
htl	7.76sec	0.41sec	3	609	9599
str	9.63sec	0.35sec	3	641	8970

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1578.21sec	10.46sec	5	7590	297290
htl	7.23sec	11.53sec	5	603	9460
str	9.16sec	13.53sec	5	639	9015

test25/test_25.20_5_0.3_3_0.4_3_0.659.3	nlp
25 lines	2606 bytes
head (3,3,0)	body (4,3,0)
estimated blow-up	659.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	37348.80sec	646.97sec	1	34689	1228364
htl	8.56sec	0.06sec	1	679	10662
str	11.31sec	0.11sec	1	717	10111

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	46211.04sec	45.18sec	0	40271	1622522
htl	8.96sec	0.73sec	0	691	11057
str	12.01sec	0.90sec	0	737	10518

test25/test_25.20_5_0.3_3_0.4_4_0.1776.3	nlp
25 lines	3021 bytes
head (3,3,0)	body (4,4,0)
estimated blow-up	1776.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	428431.55sec	108.03sec	0	116722	4265900
htl	10.54sec	0.06sec	0	764	12149
str	14.11sec	0.02sec	0	798	11281

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	379250.90sec	154.10sec	4	107737	4397253
htl	10.35sec	0.06sec	4	754	12105
str	13.93sec	0.08sec	4	794	11342

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	181.89sec	1.26sec	0	2594	57598
htl	5.51sec	0.08sec	0	501	7782
str	7.21sec	0.01sec	0	533	7376

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	209.07sec	0.58sec	2	2755	72793
htl	5.89sec	0.06sec	2	505	7941
str	7.23sec	0.05sec	2	541	7556

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	374.06sec	0.41sec	0	3748	83405
htl	6.00sec	0.09sec	0	520	8152
str	7.57sec	0.09sec	0	556	7729

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	415.91sec	0.74sec	1	3918	107861
htl	6.00sec	0.09sec	1	522	8272
str	7.63sec	0.06sec	1	556	7780

test25/test_25.20_5_0.3_4_0.1_4_0.56.4	nlp
25 lines	2042 bytes
head (3,4,0)	body (1,4,0)
estimated blow-up	56.4

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	640.45sec	0.60sec	0	4926	112293
htl	6.07sec	0.07sec	0	543	8486
str	8.37sec	0.01sec	0	577	7961

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	589.18sec	0.75sec	0	4680	128086
htl	6.50sec	0.01sec	0	536	8508
str	8.03sec	0.09sec	0	568	7940

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	645.36sec	0.60sec	0	4902	130788
htl	6.67sec	0.01sec	0	559	8760
str	8.59sec	0.05sec	0	597	8319

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	681.15sec	1.80sec	1	5008	152797
htl	6.89sec	0.24sec	1	563	8851
str	8.40sec	0.39sec	1	593	8322

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3240.44sec	1.78sec	0	10530	282214
htl	7.28sec	0.09sec	0	602	9466
str	9.40sec	0.01sec	0	638	8939

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2585.01sec	2.66sec	1	9740	294144
htl	7.49sec	0.05sec	1	596	9273
str	9.03sec	0.05sec	1	632	8873

test25/test_25.20_5_0.3_4_0.2_4_0.224.6	nlp
25 lines	2695 bytes
head (3,4,0)	body (2,4,0)
estimated blow-up	224.6

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	9516.20sec	5.25sec	0	18594	528314
htl	7.98sec	0.01sec	0	642	10424
str	11.57sec	0.01sec	0	678	9568

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	8699.27sec	4.79sec	0	17442	557569
htl	7.92sec	0.10sec	0	637	10133
str	10.91sec	0.02sec	0	681	9656

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2875.52sec	2.12sec	0	9810	306543
htl	7.57sec	0.05sec	0	624	9815
str	9.75sec	0.10sec	0	662	9298

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2406.47sec	9.49sec	3	9344	324249
htl	7.55sec	0.56sec	3	608	9590
str	9.94sec	0.74sec	3	648	9179

test25/test_25.20_5_0.3_4_0.3_3_0.434.0	nlp
25 lines	2760 bytes
head (3,4,0)	body (3,3,0)
estimated blow-up	434.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	26419.97sec	11.45sec	0	30252	988296
htl	9.23sec	0.01sec	0	682	10973
str	12.10sec	0.09sec	0	728	10321

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	23661.47sec	9.60sec	0	27780	1024968
htl	8.82sec	0.02sec	0	671	10725
str	11.49sec	0.02sec	0	713	10123

test25/test_25.20_5_0.3_4_0.3_4_0.912.0	nlp
25 lines	2907 bytes
head (3,4,0)	body (3,4,0)
estimated blow-up	912.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	145957.00sec	32.50sec	0	68081	2144004
htl	10.16sec	0.01sec	0	730	11507
str	13.21sec	0.10sec	0	766	10787

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	111381.45sec	111.18sec	0	62928	2326996
htl	10.17sec	0.10sec	0	729	11788
str	14.42sec	0.10sec	0	771	11004

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	9648.83sec	7.05sec	0	17666	626121
htl	9.04sec	0.09sec	0	670	10553
str	11.39sec	0.09sec	0	710	10012

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	11097.91sec	10.79sec	0	19011	783971
htl	8.84sec	0.12sec	0	682	10937
str	11.91sec	0.11sec	0	728	10392

test25/test_25.20_5_0.3_4_0.4_3_0.1345.7	nlp
25 lines	3039 bytes
head (3,4,0)	body (4,3,0)
estimated blow-up	1345.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	228405.93sec	60.04sec	0	84110	3073666
htl	10.42sec	0.10sec	0	754	12046
str	13.85sec	0.02sec	0	796	11286

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	248152.05sec	130.58sec	0	85729	3468451
htl	10.36sec	0.03sec	0	754	12117
str	14.36sec	0.10sec	0	796	11416

test25/test_25.20_5_0.4_2_0.1_2_0.14.6	nlp
25 lines	1351 bytes
head (4,2,0)	body (1,2,0)
estimated blow-up	14.6

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	17.88sec	1.61sec	218	744	20365
htl	4.41sec	17.83sec	218	431	6533
str	5.65sec	22.76sec	218	459	6202

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	16.66sec	5.33sec	229	682	19957
htl	4.46sec	142.63sec	229	422	6371
str	5.01sec	156.75sec	229	438	5964

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	33.78sec	2.46sec	187	1062	27557
htl	4.88sec	12.23sec	187	447	6685
str	5.22sec	13.57sec	187	469	6377

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	35.51sec	5.00sec	241	1050	32029
htl	4.66sec	106.92sec	241	440	6767
str	5.89sec	132.08sec	241	480	6685

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	54.47sec	3.13sec	236	1356	36285
htl	5.07sec	7.41sec	236	467	7075
str	6.08sec	8.26sec	236	493	6737

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	48.68sec	6.39sec	157	1260	39041
htl	4.90sec	78.09sec	157	459	7125
str	6.07sec	92.54sec	157	489	6824

test25/test_25.20_5_0.4_2_0.2_2_0.28.5	nlp
25 lines	1655 bytes
head (4,2,0)	body (2,2,0)
estimated blow-up	28.5

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	46.01sec	3.10sec	66	1228	37897
htl	5.32sec	71.23sec	66	488	7508
str	6.78sec	77.33sec	66	518	7140

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	53.23sec	6.83sec	88	1302	46609
htl	5.10sec	189.13sec	88	487	7528
str	6.59sec	210.68sec	88	517	7188

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	236.45sec	14.61sec	249	2884	94461
htl	6.25sec	24.73sec	249	522	8201
str	7.27sec	26.88sec	249	558	7759

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	257.65sec	15.65sec	136	3006	108693
htl	6.07sec	113.98sec	136	529	8234
str	7.56sec	193.03sec	136	563	7884

test25/test_25.20_5_0.4_2_0.2_4_0.86.2	nlp
25 lines	2136 bytes
head (4,2,0)	body (2,4,0)
estimated blow-up	86.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	663.17sec	17.19sec	126	4928	163281
htl	6.55sec	12.64sec	126	563	8958
str	8.74sec	15.71sec	126	601	8449

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	489.29sec	42.37sec	64	4188	141943
htl	6.48sec	118.46sec	64	560	8639
str	8.13sec	141.02sec	64	590	8275

test25/test_25.20_5_0.4_2_0.3_2_0.57.0	nlp
25 lines	1821 bytes
head (4,2,0)	body (3,2,0)
estimated blow-up	57.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	207.48sec	28.79sec	117	2688	95533
htl	6.75sec	177.23sec	117	542	8299
str	7.78sec	180.19sec	117	568	7874

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	193.49sec	8.50sec	61	2548	107297
htl	6.09sec	537.25sec	61	544	8660
str	8.36sec	605.25sec	61	576	8078

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1552.02sec	120.54sec	169	7544	258567
htl	7.35sec	81.62sec	169	597	9120
str	8.96sec	83.87sec	169	633	8870

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1398.01sec	97.17sec	113	7146	289447
htl	7.35sec	414.45sec	113	596	9341
str	8.86sec	418.89sec	113	632	8951

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	9536.99sec	196.45sec	106	17540	670581
htl	8.24sec	36.95sec	106	644	10514
str	11.70sec	41.73sec	106	686	9736

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	9244.29sec	283.02sec	168	17338	682923
htl	8.24sec	302.00sec	168	655	10230
str	10.35sec	332.33sec	168	691	9784

test25/test_25.20_5_0.4_2_0.4_2_0.114.6	nlp
25 lines	2013 bytes
head (4,2,0)	body (4,2,0)
estimated blow-up	114.6

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	532.63sec	68.69sec	103	4350	168137
htl	7.26sec	416.10sec	103	596	9073
str	8.43sec	402.19sec	103	622	8613

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	701.04sec	26.08sec	130	4988	219741
htl	7.34sec	713.49sec	130	604	9373
str	9.20sec	775.44sec	--	640	9015

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	13791.82sec	733.66sec	228	22160	909383
htl	9.15sec	162.36sec	228	689	10755
str	10.70sec	138.76sec	228	717	10054

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	15628.15sec	775.35sec	--	23024	1032273
htl	8.84sec	724.81sec	263	684	10691
str	10.87sec	693.01sec	263	722	10204

test25/test_25.20_5_0.4_2_0.4_4_0.1260.9	nlp
25 lines	2928 bytes
head (4,2,0)	body (4,4,0)
estimated blow-up	1260.9

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	180335.89sec	774.89sec	--	75134	3066149
htl	10.29sec	87.39sec	407	759	12069
str	13.92sec	91.56sec	407	799	11366

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	155042.42sec	776.81sec	--	71298	3344345
htl	10.71sec	161.03sec	154	761	12281
str	14.81sec	141.99sec	154	797	11333

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	314.32sec	2.12sec	24	3396	89912
htl	5.88sec	0.14sec	24	529	8068
str	7.19sec	0.23sec	24	557	7712

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	316.62sec	7.93sec	66	3371	105107
htl	6.24sec	3.66sec	66	531	8347
str	7.90sec	4.35sec	66	563	7889

test25/test_25.20_5_0.4_3_0.1_3_0.72.0	nlp
25 lines	1929 bytes
head (4,3,0)	body (1,3,0)
estimated blow-up	72.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	652.66sec	3.11sec	13	4933	129759
htl	6.32sec	0.25sec	13	551	8545
str	8.26sec	0.36sec	13	587	8181

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	590.87sec	8.75sec	38	4663	142412
htl	6.62sec	2.68sec	38	546	8613
str	7.97sec	3.31sec	38	584	8215

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1008.33sec	3.50sec	14	6150	164874
htl	6.53sec	0.39sec	14	567	8811
str	8.14sec	0.40sec	14	603	8421

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1155.67sec	6.20sec	20	6582	204625
htl	6.70sec	1.24sec	20	573	8955
str	8.39sec	1.58sec	20	615	8660

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	946.97sec	13.38sec	30	5927	185502
htl	7.03sec	2.21sec	30	580	9099
str	9.11sec	2.10sec	30	620	8700

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1146.65sec	24.17sec	30	6503	227720
htl	6.58sec	9.80sec	30	586	9229
str	8.56sec	10.62sec	30	620	8780

test25/test_25.20_5_0.4_3_0.2_3_0.212.1	nlp
25 lines	2346 bytes
head (4,3,0)	body (2,3,0)
estimated blow-up	212.1

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	4715.82sec	13.91sec	16	12927	401545
htl	7.89sec	0.41sec	16	628	9893
str	9.84sec	0.42sec	16	674	9547

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	4304.69sec	33.74sec	42	12362	440616
htl	7.97sec	6.74sec	42	623	9856
str	9.43sec	6.89sec	42	657	9311

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	16517.90sec	14.47sec	1	23171	719327
htl	8.11sec	0.06sec	1	668	10467
str	10.53sec	0.12sec	1	706	9953

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	14313.84sec	36.66sec	37	22271	789293
htl	8.64sec	0.42sec	37	666	10585
str	11.69sec	0.59sec	37	708	10087

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	4098.66sec	35.95sec	46	12054	424457
htl	8.36sec	2.81sec	46	650	10182
str	10.58sec	2.80sec	46	688	9652

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3897.64sec	53.15sec	80	11633	459604
htl	8.26sec	18.43sec	80	645	10221
str	10.51sec	20.56sec	80	679	9596

test25/test_25.20_5_0.4_3_0.3_3_0.641.2	nlp
25 lines	2633 bytes
head (4,3,0)	body (3,3,0)
estimated blow-up	641.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	39940.19sec	48.45sec	12	38527	1399143
htl	9.33sec	0.23sec	12	708	11130
str	11.75sec	0.31sec	12	742	10489

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	36529.84sec	270.30sec	69	36178	1422120
htl	9.14sec	7.62sec	69	705	11022
str	11.49sec	8.07sec	69	741	10539

test25/test_25.20_5_0.4_3_0.3_4_0.1347.0	nlp
25 lines	3065 bytes
head (4,3,0)	body (3,4,0)
estimated blow-up	1347.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	239170.90sec	214.47sec	19	88556	3266273
htl	10.52sec	0.45sec	19	765	12349
str	14.69sec	0.74sec	19	807	11453

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	260668.51sec	414.84sec	24	89420	3778469
htl	10.47sec	2.39sec	24	766	12454
str	14.68sec	2.61sec	24	808	11593

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	17942.14sec	112.58sec	20	25167	995974
htl	9.45sec	3.69sec	20	707	11002
str	11.66sec	3.79sec	20	745	10501

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	19937.44sec	176.45sec	23	25511	1143693
htl	9.49sec	19.03sec	23	715	11329
str	12.04sec	19.90sec	23	749	10676

test25/test_25.20_5_0.4_3_0.4_3_0.1947.0	nlp
25 lines	3090 bytes
head (4,3,0)	body (4,3,0)
estimated blow-up	1947.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	338240.82sec	498.11sec	9	104605	4338903
htl	11.01sec	1.09sec	9	779	12522
str	15.50sec	1.07sec	9	827	11782

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	421506.90sec	581.64sec	12	111263	5198466
htl	11.23sec	2.66sec	12	787	12816
str	15.11sec	2.35sec	12	827	11840