Individual tests

test20/test_20.20_5_0.1_2_0.1_2_0.1.8	nlp
25 lines	580 bytes
head (1,2,0)	body (1,2,0)
estimated blow-up	1.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	0.43sec	0.02sec	0	102	1510
htl	0.37sec	0.00sec	0	192	2729
str	0.60sec	0.00sec	0	208	2592

test20/test_20.20_5_0.1_2_0.1_2_1.2.2	nlp
25 lines	654 bytes
head (1,2,0)	body (1,2,1)
estimated blow-up	2.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	0.33sec	0.00sec	0	106	1776
htl	0.41sec	0.00sec	0	185	2600
str	0.54sec	0.01sec	0	193	2426

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	0.54sec	0.04sec	0	143	1994
htl	0.64sec	0.03sec	0	209	2948
str	0.65sec	0.00sec	0	229	2887

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	0.50sec	0.00sec	0	150	2602
htl	0.66sec	0.03sec	0	212	3089
str	0.47sec	0.00sec	0	228	2941

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	0.46sec	0.00sec	0	174	2448
htl	0.54sec	0.00sec	0	232	3356
str	0.63sec	0.00sec	0	246	3126

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	0.57sec	0.01sec	0	187	3376
htl	0.71sec	0.04sec	0	232	3492
str	0.65sec	0.02sec	0	254	3320

test20/test_20.20_5_0.1_2_0.2_2_0.3.7	nlp
25 lines	856 bytes
head (1,2,0)	body (2,2,0)
estimated blow-up	3.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	0.75sec	0.04sec	0	189	3364
htl	0.73sec	0.01sec	0	257	3710
str	1.02sec	0.04sec	0	275	3515

test20/test_20.20_5_0.1_2_0.2_2_1.4.3	nlp
25 lines	969 bytes
head (1,2,0)	body (2,2,1)
estimated blow-up	4.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	0.95sec	0.04sec	0	192	4130
htl	1.04sec	0.04sec	0	250	3749
str	1.24sec	0.04sec	0	270	3513

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2.41sec	0.03sec	0	370	6474
htl	1.18sec	0.01sec	0	298	4395
str	1.45sec	0.08sec	0	320	4136

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2.58sec	0.04sec	0	372	8309
htl	1.33sec	0.00sec	0	290	4431
str	1.69sec	0.01sec	0	306	4020

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	6.97sec	0.17sec	0	613	10589
htl	1.78sec	0.08sec	0	332	4919
str	1.89sec	0.01sec	0	358	4671

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	8.53sec	0.42sec	0	644	14100
htl	2.65sec	0.01sec	0	333	5104
str	3.01sec	0.01sec	0	353	4658

test20/test_20.20_5_0.1_2_0.3_2_0.7.5	nlp
25 lines	1062 bytes
head (1,2,0)	body (3,2,0)
estimated blow-up	7.5

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3.91sec	0.04sec	0	351	7193
htl	2.45sec	0.01sec	0	310	4422
str	3.25sec	0.04sec	0	328	4218

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5.19sec	0.02sec	0	348	8765
htl	2.61sec	0.01sec	0	313	4591
str	3.18sec	0.03sec	0	331	4361

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	30.78sec	0.62sec	0	1038	22920
htl	3.14sec	0.01sec	0	374	5577
str	3.41sec	0.01sec	0	394	5217

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	32.17sec	0.36sec	0	1037	27161
htl	3.86sec	0.08sec	0	377	5703
str	4.41sec	0.08sec	0	399	5339

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	140.45sec	5.01sec	0	2181	48411
htl	4.35sec	0.04sec	0	429	6395
str	5.26sec	0.09sec	0	451	6025

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	146.38sec	7.40sec	0	2263	58111
htl	4.73sec	0.08sec	0	433	6595
str	5.34sec	0.06sec	0	459	6230

test20/test_20.20_5_0.1_2_0.4_2_0.15.2	nlp
25 lines	1361 bytes
head (1,2,0)	body (4,2,0)
estimated blow-up	15.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	14.44sec	0.42sec	0	665	17566
htl	3.68sec	0.05sec	0	369	5447
str	4.47sec	0.01sec	0	395	5251

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	13.03sec	0.42sec	0	595	17637
htl	4.00sec	0.01sec	0	367	5478
str	4.30sec	0.01sec	0	391	5292

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	236.28sec	11.17sec	0	2832	76419
htl	5.06sec	0.06sec	0	452	6822
str	6.26sec	0.01sec	0	484	6560

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	241.68sec	7.41sec	0	2842	90580
htl	4.96sec	0.02sec	0	453	6940
str	5.97sec	0.10sec	0	485	6634

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2180.61sec	71.49sec	0	8559	216412
htl	6.22sec	0.09sec	0	528	7867
str	7.26sec	0.04sec	0	560	7636

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1963.17sec	37.25sec	0	8159	244508
htl	5.93sec	0.09sec	0	527	8190
str	8.16sec	0.01sec	0	559	7736

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1.94sec	0.04sec	0	149	2126
htl	2.01sec	0.08sec	0	219	3157
str	2.18sec	0.08sec	0	231	2906

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2.06sec	0.00sec	0	160	2743
htl	2.41sec	0.00sec	0	223	3326
str	2.35sec	0.08sec	0	249	3273

test20/test_20.20_5_0.1_3_0.1_3_0.2.7	nlp
25 lines	777 bytes
head (1,3,0)	body (1,3,0)
estimated blow-up	2.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3.00sec	0.00sec	0	211	2983
htl	2.39sec	0.09sec	0	244	3555
str	2.59sec	0.09sec	0	258	3297

test20/test_20.20_5_0.1_3_0.1_3_1.3.5	nlp
25 lines	899 bytes
head (1,3,0)	body (1,3,1)
estimated blow-up	3.5

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2.85sec	0.01sec	0	210	3572
htl	2.18sec	0.00sec	0	238	3516
str	2.64sec	0.00sec	0	254	3310

test20/test_20.20_5_0.1_3_0.1_4_0.3.1	nlp
25 lines	855 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	244	3293
htl	2.27sec	0.08sec	0	250	3620
str	2.44sec	0.08sec	0	268	3434

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3.44sec	0.00sec	0	256	4355
htl	2.44sec	0.00sec	0	252	3810
str	2.89sec	0.00sec	0	278	3675

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3.84sec	0.04sec	0	267	4567
htl	3.16sec	0.09sec	0	279	4023
str	2.80sec	0.08sec	0	297	3806

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3.96sec	0.01sec	0	275	5797
htl	3.40sec	0.00sec	0	285	4225
str	2.95sec	0.00sec	0	301	3930

test20/test_20.20_5_0.1_3_0.2_3_0.8.3	nlp
25 lines	1143 bytes
head (1,3,0)	body (2,3,0)
estimated blow-up	8.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	9.86sec	0.11sec	0	546	9471
htl	3.35sec	0.08sec	0	323	4760
str	3.45sec	0.01sec	0	337	4351

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	10.04sec	0.26sec	0	553	12643
htl	2.88sec	0.04sec	0	323	5017
str	3.98sec	0.08sec	0	355	4739

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	23.66sec	0.44sec	0	907	15311
htl	3.62sec	0.01sec	0	357	5241
str	4.04sec	0.01sec	0	371	4809

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	26.63sec	0.22sec	0	962	21745
htl	3.62sec	0.06sec	0	362	5537
str	4.65sec	0.04sec	0	382	5084

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	9.03sec	0.20sec	0	495	10735
htl	3.40sec	0.08sec	0	332	4879
str	3.90sec	0.01sec	0	356	4673

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	8.51sec	0.27sec	0	468	11829
htl	3.16sec	0.01sec	0	334	4981
str	3.60sec	0.04sec	0	360	4807

test20/test_20.20_5_0.1_3_0.3_3_0.25.4	nlp
25 lines	1554 bytes
head (1,3,0)	body (3,3,0)
estimated blow-up	25.4

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	76.14sec	1.05sec	0	1667	37460
htl	4.34sec	0.01sec	0	405	6126
str	5.41sec	0.01sec	0	431	5748

test20/test_20.20_5_0.1_3_0.3_3_1.29.5	nlp
25 lines	1585 bytes
head (1,3,0)	body (3,3,1)
estimated blow-up	29.5

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	64.60sec	0.94sec	0	1499	39397
htl	4.15sec	0.01sec	0	400	6046
str	4.89sec	0.09sec	0	424	5726

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	318.52sec	6.55sec	0	3453	75926
htl	5.17sec	0.09sec	0	457	6894
str	6.12sec	0.01sec	0	485	6521

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	335.47sec	0.52sec	0	3531	91329
htl	5.05sec	0.08sec	0	459	7053
str	6.24sec	0.01sec	0	475	6412

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	26.70sec	0.87sec	0	935	23802
htl	3.91sec	0.08sec	0	393	5784
str	4.51sec	0.09sec	0	423	5700

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	28.49sec	0.23sec	0	958	29470
htl	4.16sec	0.09sec	0	403	6174
str	4.63sec	0.09sec	0	431	5856

test20/test_20.20_5_0.1_3_0.4_3_0.77.1	nlp
25 lines	1832 bytes
head (1,3,0)	body (4,3,0)
estimated blow-up	77.1

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	624.53sec	2.83sec	0	4748	125258
htl	5.28sec	0.01sec	0	485	7275
str	6.46sec	0.01sec	0	513	6956

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	551.39sec	9.48sec	0	4504	135995
htl	5.44sec	0.08sec	0	482	7347
str	6.46sec	0.08sec	0	514	7059

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5196.07sec	118.67sec	0	12672	355143
htl	6.28sec	0.08sec	0	552	8623
str	8.77sec	0.09sec	0	584	8040

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5036.33sec	47.22sec	0	13061	406590
htl	6.33sec	0.10sec	0	554	8603
str	8.76sec	0.01sec	0	588	8147

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2.39sec	0.09sec	0	194	2683
htl	2.01sec	0.00sec	0	246	3615
str	2.61sec	0.08sec	0	264	3389

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2.19sec	0.00sec	0	193	3336
htl	2.73sec	0.08sec	0	242	3666
str	2.58sec	0.03sec	0	260	3398

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3.24sec	0.09sec	0	251	3512
htl	2.76sec	0.00sec	0	267	3930
str	2.83sec	0.00sec	0	279	3606

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3.74sec	0.08sec	0	280	4969
htl	2.44sec	0.00sec	0	268	4101
str	3.54sec	0.00sec	0	282	3729

test20/test_20.20_5_0.1_4_0.1_4_0.3.6	nlp
25 lines	1047 bytes
head (1,4,0)	body (1,4,0)
estimated blow-up	3.6

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	4.12sec	0.09sec	0	297	4285
htl	2.84sec	0.09sec	0	278	4205
str	2.93sec	0.00sec	0	300	3904

test20/test_20.20_5_0.1_4_0.1_4_1.4.9	nlp
25 lines	1166 bytes
head (1,4,0)	body (1,4,1)
estimated blow-up	4.9

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5.08sec	0.01sec	0	358	6451
htl	2.96sec	0.08sec	0	284	4355
str	3.31sec	0.00sec	0	302	4010

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5.08sec	0.01sec	0	356	6279
htl	2.69sec	0.09sec	0	302	4430
str	3.35sec	0.08sec	0	312	4005

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5.06sec	0.12sec	0	339	7080
htl	3.23sec	0.00sec	0	307	4542
str	3.56sec	0.08sec	0	321	4189

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	14.22sec	0.05sec	0	681	11390
htl	3.41sec	0.01sec	0	342	4957
str	3.94sec	0.01sec	0	358	4652

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	15.30sec	0.39sec	0	696	14970
htl	3.32sec	0.01sec	0	340	5176
str	4.21sec	0.01sec	0	366	4848

test20/test_20.20_5_0.1_4_0.2_4_0.14.8	nlp
25 lines	1454 bytes
head (1,4,0)	body (2,4,0)
estimated blow-up	14.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	36.14sec	0.12sec	0	1156	19860
htl	4.03sec	0.01sec	0	381	5708
str	4.25sec	0.04sec	0	409	5398

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	32.52sec	0.23sec	0	1060	22440
htl	3.93sec	0.01sec	0	374	5687
str	4.39sec	0.06sec	0	398	5328

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	12.25sec	0.14sec	0	612	13307
htl	3.59sec	0.01sec	0	359	5287
str	4.61sec	0.09sec	0	381	5009

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	13.47sec	0.02sec	0	632	15838
htl	3.39sec	0.01sec	0	361	5419
str	4.63sec	0.05sec	0	387	5189

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	116.37sec	1.80sec	0	2065	46408
htl	4.77sec	0.01sec	0	426	6444
str	4.88sec	0.03sec	0	450	5996

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	122.99sec	0.74sec	0	2103	54484
htl	4.70sec	0.01sec	0	429	6500
str	5.44sec	0.01sec	0	453	6146

test20/test_20.20_5_0.1_4_0.3_4_0.60.2	nlp
25 lines	1911 bytes
head (1,4,0)	body (3,4,0)
estimated blow-up	60.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	494.28sec	1.26sec	0	4354	95314
htl	5.24sec	0.12sec	0	477	7246
str	6.18sec	0.08sec	0	503	6832

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	549.40sec	1.91sec	0	4550	120858
htl	5.23sec	0.08sec	0	481	7566
str	7.02sec	0.09sec	0	515	7083

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	42.01sec	0.13sec	0	1201	30047
htl	4.15sec	0.08sec	0	407	5982
str	5.07sec	0.08sec	0	431	5771

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	44.39sec	0.76sec	0	1215	37960
htl	4.32sec	0.09sec	0	406	6276
str	5.66sec	0.08sec	0	432	5866

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	717.46sec	9.76sec	0	5204	133279
htl	5.49sec	0.10sec	0	496	7410
str	6.93sec	0.05sec	0	520	7045

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	874.43sec	1.57sec	0	5727	174899
htl	5.58sec	0.09sec	0	502	7636
str	7.07sec	0.04sec	0	534	7338

test20/test_20.20_5_0.1_4_0.4_4_0.243.8	nlp
25 lines	2298 bytes
head (1,4,0)	body (4,4,0)
estimated blow-up	243.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	9627.28sec	28.11sec	0	17327	451427
htl	7.05sec	0.09sec	0	579	8799
str	8.54sec	0.01sec	0	605	8283

test20/test_20.20_5_0.1_4_0.4_4_1.279.3	nlp
25 lines	2488 bytes
head (1,4,0)	body (4,4,1)
estimated blow-up	279.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	7355.54sec	195.62sec	0	15288	471319
htl	6.61sec	0.10sec	0	569	8848
str	9.00sec	0.04sec	0	605	8406

test20/test_20.20_5_0.2_2_0.1_2_0.3.7	nlp
25 lines	762 bytes
head (2,2,0)	body (1,2,0)
estimated blow-up	3.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2.63sec	0.08sec	0	199	3437
htl	2.60sec	0.00sec	0	265	3729
str	2.78sec	0.00sec	0	281	3523

test20/test_20.20_5_0.2_2_0.1_2_1.4.2	nlp
25 lines	980 bytes
head (2,2,0)	body (1,2,1)
estimated blow-up	4.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2.97sec	0.01sec	1	200	4280
htl	2.78sec	0.01sec	1	266	4023
str	3.50sec	0.01sec	1	290	3772

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3.93sec	0.01sec	0	274	4844
htl	2.93sec	0.08sec	0	292	4265
str	3.26sec	0.08sec	0	308	3940

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3.61sec	0.04sec	0	264	5467
htl	2.99sec	0.01sec	0	283	4119
str	3.40sec	0.01sec	0	297	3826

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5.26sec	0.01sec	0	352	6070
htl	3.02sec	0.01sec	0	310	4507
str	3.12sec	0.01sec	0	326	4217

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	4.70sec	0.01sec	1	340	7072
htl	2.92sec	0.08sec	1	309	4577
str	3.60sec	0.08sec	1	331	4364

test20/test_20.20_5_0.2_2_0.2_2_0.7.3	nlp
25 lines	1068 bytes
head (2,2,0)	body (2,2,0)
estimated blow-up	7.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	4.55sec	0.08sec	0	322	6815
htl	3.45sec	0.01sec	0	325	4732
str	3.69sec	0.01sec	0	345	4511

test20/test_20.20_5_0.2_2_0.2_2_1.8.2	nlp
25 lines	1185 bytes
head (2,2,0)	body (2,2,1)
estimated blow-up	8.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	5.79sec	0.08sec	0	360	9037
htl	3.53sec	0.01sec	0	327	4880
str	3.85sec	0.09sec	0	349	4642

test20/test_20.20_5_0.2_2_0.2_3_0.13.2	nlp
25 lines	1267 bytes
head (2,2,0)	body (2,3,0)
estimated blow-up	13.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	16.15sec	0.09sec	0	706	15537
htl	3.75sec	0.01sec	0	365	5408
str	4.45sec	0.09sec	0	381	5010

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	18.26sec	0.02sec	0	748	19663
htl	3.67sec	0.01sec	0	373	5678
str	4.93sec	0.01sec	0	395	5287

test20/test_20.20_5_0.2_2_0.2_4_0.19.8	nlp
25 lines	1438 bytes
head (2,2,0)	body (2,4,0)
estimated blow-up	19.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	38.64sec	0.41sec	0	1147	24928
htl	3.90sec	0.01sec	0	404	6011
str	4.95sec	0.04sec	0	420	5545

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	48.55sec	0.22sec	2	1272	34030
htl	4.31sec	0.10sec	2	413	6239
str	5.35sec	0.03sec	2	435	5825

test20/test_20.20_5_0.2_2_0.3_2_0.14.7	nlp
25 lines	1277 bytes
head (2,2,0)	body (3,2,0)
estimated blow-up	14.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	12.62sec	0.05sec	3	591	14825
htl	3.79sec	0.41sec	3	384	5585
str	4.22sec	0.43sec	3	402	5300

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	15.11sec	0.05sec	2	652	19007
htl	4.27sec	0.03sec	2	382	5725
str	4.58sec	0.03sec	2	404	5451

test20/test_20.20_5_0.2_2_0.3_3_0.38.7	nlp
25 lines	1646 bytes
head (2,2,0)	body (3,3,0)
estimated blow-up	38.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	122.89sec	0.57sec	0	2082	54951
htl	5.08sec	0.08sec	0	448	6762
str	6.29sec	0.08sec	0	474	6388

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	105.36sec	1.11sec	3	1889	58986
htl	4.49sec	0.24sec	3	444	6776
str	5.53sec	0.24sec	3	474	6477

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	573.05sec	0.57sec	0	4601	123117
htl	5.57sec	0.01sec	0	508	7811
str	7.17sec	0.04sec	0	542	7409

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	581.55sec	13.43sec	3	4586	139727
htl	5.46sec	0.10sec	3	508	7771
str	7.10sec	0.11sec	3	544	7544

test20/test_20.20_5_0.2_2_0.4_2_0.29.6	nlp
25 lines	1599 bytes
head (2,2,0)	body (4,2,0)
estimated blow-up	29.6

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	51.25sec	0.24sec	2	1306	40531
htl	4.72sec	0.56sec	2	447	6765
str	5.37sec	0.55sec	2	479	6542

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	52.31sec	0.43sec	4	1302	46135
htl	4.55sec	0.90sec	4	435	6626
str	5.83sec	0.77sec	4	461	6323

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	968.64sec	12.79sec	0	5982	187667
htl	6.08sec	0.01sec	0	532	8164
str	7.74sec	0.10sec	0	562	7709

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	986.52sec	1.63sec	1	5994	207975
htl	6.10sec	0.02sec	1	532	8198
str	7.67sec	0.03sec	1	564	7816

test20/test_20.20_5_0.2_2_0.4_4_0.292.6	nlp
25 lines	2435 bytes
head (2,2,0)	body (4,4,0)
estimated blow-up	292.6

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	9104.83sec	6.38sec	0	17401	547278
htl	7.71sec	0.07sec	0	604	9462
str	10.38sec	0.02sec	0	636	8781

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	8957.91sec	10.14sec	4	16730	600486
htl	7.18sec	0.23sec	4	599	9397
str	9.88sec	0.20sec	4	631	8804

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	6.60sec	0.01sec	0	414	7275
htl	3.25sec	0.04sec	0	323	4763
str	3.56sec	0.04sec	0	345	4479

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	7.12sec	0.04sec	0	432	9037
htl	3.44sec	0.01sec	0	323	4902
str	3.96sec	0.08sec	0	345	4566

test20/test_20.20_5_0.2_3_0.1_3_0.8.1	nlp
25 lines	1137 bytes
head (2,3,0)	body (1,3,0)
estimated blow-up	8.1

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	10.97sec	0.09sec	0	591	10606
htl	3.42sec	0.01sec	0	339	5047
str	3.95sec	0.01sec	0	365	4788

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	10.65sec	0.02sec	0	553	12184
htl	3.45sec	0.01sec	0	338	5152
str	4.07sec	0.07sec	0	364	4822

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	16.08sec	0.01sec	0	723	12976
htl	4.03sec	0.09sec	0	360	5412
str	4.04sec	0.09sec	0	388	5116

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	18.04sec	0.10sec	0	775	16276
htl	3.90sec	0.08sec	0	362	5487
str	4.30sec	0.08sec	0	384	5096

test20/test_20.20_5_0.2_3_0.2_2_0.12.9	nlp
25 lines	1321 bytes
head (2,3,0)	body (2,2,0)
estimated blow-up	12.9

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	17.08sec	0.09sec	0	731	15660
htl	3.87sec	0.08sec	0	379	5617
str	4.46sec	0.01sec	0	403	5348

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	17.51sec	0.05sec	0	737	19419
htl	3.92sec	0.01sec	0	382	5757
str	4.55sec	0.09sec	0	402	5422

test20/test_20.20_5_0.2_3_0.2_3_0.24.3	nlp
25 lines	1530 bytes
head (2,3,0)	body (2,3,0)
estimated blow-up	24.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	71.90sec	0.22sec	0	1592	34692
htl	4.89sec	0.08sec	0	423	6359
str	5.77sec	0.10sec	0	453	6089

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	66.27sec	0.23sec	0	1514	40089
htl	4.39sec	0.08sec	0	419	6439
str	5.98sec	0.06sec	0	445	6040

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	159.26sec	0.39sec	0	2409	50145
htl	5.05sec	0.01sec	0	451	6711
str	6.02sec	0.08sec	0	479	6460

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	182.18sec	0.57sec	0	2549	67521
htl	5.04sec	0.01sec	0	455	7075
str	6.49sec	0.08sec	0	483	6610

test20/test_20.20_5_0.2_3_0.3_2_0.27.0	nlp
25 lines	1569 bytes
head (2,3,0)	body (3,2,0)
estimated blow-up	27.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	59.19sec	0.74sec	0	1411	37055
htl	4.59sec	0.01sec	0	443	6653
str	5.27sec	0.09sec	0	463	6231

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	45.83sec	0.61sec	0	1223	36125
htl	4.80sec	0.01sec	0	437	6621
str	6.16sec	0.08sec	0	471	6456

test20/test_20.20_5_0.2_3_0.3_3_0.73.9	nlp
25 lines	1906 bytes
head (2,3,0)	body (3,3,0)
estimated blow-up	73.9

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	573.62sec	0.86sec	0	4612	124280
htl	5.92sec	0.01sec	0	501	7663
str	6.96sec	0.01sec	0	527	7155

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	447.72sec	1.10sec	1	4040	119524
htl	5.59sec	0.09sec	1	494	7460
str	6.87sec	0.02sec	1	522	7172

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2965.51sec	4.81sec	0	10233	267778
htl	6.81sec	0.04sec	0	557	8492
str	8.53sec	0.10sec	0	587	8057

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2539.64sec	3.80sec	0	9442	298607
htl	6.30sec	0.01sec	0	552	8669
str	8.41sec	0.10sec	0	586	8163

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	165.15sec	0.42sec	0	2404	67932
htl	6.01sec	0.01sec	0	486	7164
str	5.97sec	0.01sec	0	508	6873

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	205.55sec	0.58sec	1	2673	93755
htl	5.82sec	0.02sec	1	501	7738
str	6.84sec	0.05sec	1	527	7258

test20/test_20.20_5_0.2_3_0.4_3_0.224.5	nlp
25 lines	2235 bytes
head (2,3,0)	body (4,3,0)
estimated blow-up	224.5

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	4698.39sec	4.50sec	0	12556	390822
htl	6.96sec	0.09sec	0	577	8920
str	8.71sec	0.01sec	0	611	8424

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3955.32sec	10.84sec	0	11821	417892
htl	7.25sec	0.13sec	0	572	8931
str	8.56sec	0.01sec	0	604	8415

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	44059.82sec	65.78sec	0	35120	1106267
htl	8.05sec	0.01sec	0	646	10170
str	11.31sec	0.06sec	0	680	9460

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	41257.13sec	69.94sec	0	36876	1358142
htl	8.31sec	0.09sec	0	649	10428
str	11.82sec	0.06sec	0	685	9649

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	14.54sec	0.10sec	0	681	11892
htl	3.87sec	0.01sec	0	366	5471
str	4.58sec	0.09sec	0	384	5019

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	15.98sec	0.02sec	0	715	15273
htl	3.42sec	0.01sec	0	371	5725
str	4.50sec	0.08sec	0	399	5348

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	27.40sec	0.09sec	0	978	17140
htl	3.99sec	0.09sec	0	389	5819
str	4.63sec	0.08sec	0	409	5396

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	28.18sec	0.11sec	0	979	20934
htl	4.39sec	0.08sec	0	389	5987
str	4.82sec	0.08sec	0	411	5495

test20/test_20.20_5_0.2_4_0.1_4_0.14.2	nlp
25 lines	1553 bytes
head (2,4,0)	body (1,4,0)
estimated blow-up	14.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	44.93sec	0.03sec	0	1273	23084
htl	4.34sec	0.04sec	0	408	6341
str	5.46sec	0.01sec	0	436	5791

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	45.34sec	0.11sec	0	1241	26778
htl	4.05sec	0.08sec	0	402	6256
str	5.34sec	0.08sec	0	442	6015

test20/test_20.20_5_0.2_4_0.2_2_0.18.8	nlp
25 lines	1571 bytes
head (2,4,0)	body (2,2,0)
estimated blow-up	18.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	48.79sec	0.12sec	0	1284	27583
htl	4.60sec	0.01sec	0	426	6420
str	5.08sec	0.08sec	0	446	5959

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	43.74sec	0.20sec	0	1209	31946
htl	4.51sec	0.04sec	0	424	6467
str	5.50sec	0.01sec	0	452	6166

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	175.32sec	0.39sec	0	2541	54877
htl	5.21sec	0.07sec	0	463	6972
str	6.00sec	0.08sec	0	493	6657

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	201.77sec	0.39sec	0	2690	67620
htl	5.17sec	0.01sec	0	466	7052
str	6.54sec	0.01sec	0	492	6708

test20/test_20.20_5_0.2_4_0.2_4_0.57.3	nlp
25 lines	1979 bytes
head (2,4,0)	body (2,4,0)
estimated blow-up	57.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	510.10sec	0.90sec	0	4381	95780
htl	5.51sec	0.01sec	0	501	7699
str	7.46sec	0.09sec	0	529	7160

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	499.67sec	0.88sec	0	4295	108560
htl	5.25sec	0.08sec	0	499	7666
str	6.71sec	0.09sec	0	529	7262

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	166.91sec	0.31sec	0	2446	63288
htl	5.24sec	0.09sec	0	479	7310
str	6.60sec	0.01sec	0	511	6980

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	166.73sec	0.51sec	0	2419	73403
htl	5.46sec	0.01sec	0	486	7472
str	6.70sec	0.08sec	0	512	6979

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1251.17sec	1.72sec	0	6852	183685
htl	6.26sec	0.01sec	0	542	8433
str	8.23sec	0.09sec	0	580	7983

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1230.98sec	2.10sec	0	6724	209223
htl	6.52sec	0.09sec	0	537	8452
str	8.38sec	0.09sec	0	573	7991

test20/test_20.20_5_0.2_4_0.3_4_0.233.0	nlp
25 lines	2478 bytes
head (2,4,0)	body (3,4,0)
estimated blow-up	233.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	7354.19sec	6.54sec	0	16052	433483
htl	7.09sec	0.01sec	0	597	9379
str	9.46sec	0.01sec	0	627	8656

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	8716.15sec	6.91sec	0	17501	527045
htl	7.61sec	0.10sec	0	602	9416
str	10.01sec	0.09sec	0	634	8780

test20/test_20.20_5_0.2_4_0.4_2_0.85.7	nlp
25 lines	2088 bytes
head (2,4,0)	body (4,2,0)
estimated blow-up	85.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	623.63sec	1.97sec	0	4774	147728
htl	6.13sec	0.01sec	0	548	8442
str	7.79sec	0.08sec	0	580	7962

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	631.89sec	1.22sec	0	4793	167102
htl	6.18sec	0.09sec	0	552	8599
str	8.58sec	0.07sec	0	586	8172

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	12256.01sec	21.76sec	0	20098	631095
htl	7.87sec	0.01sec	0	616	9694
str	9.96sec	0.07sec	0	646	8961

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	14367.92sec	19.51sec	0	22344	745153
htl	7.87sec	0.13sec	0	621	9595
str	9.48sec	0.09sec	0	651	9079

test20/test_20.20_5_0.2_4_0.4_4_0.945.5	nlp
25 lines	2863 bytes
head (2,4,0)	body (4,4,0)
estimated blow-up	945.5

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	144368.93sec	78.69sec	0	64109	1991403
htl	9.15sec	0.01sec	0	696	10920
str	12.52sec	0.05sec	0	722	10020

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	129764.92sec	64.11sec	0	63984	2292948
htl	9.48sec	0.01sec	0	697	11008
str	12.96sec	0.09sec	0	735	10357

test20/test_20.20_5_0.3_2_0.1_2_0.7.3	nlp
25 lines	1052 bytes
head (3,2,0)	body (1,2,0)
estimated blow-up	7.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	6.12sec	0.11sec	16	394	8605
htl	3.82sec	0.22sec	16	346	5060
str	3.76sec	0.22sec	16	364	4773

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	6.10sec	0.32sec	41	372	9067
htl	3.51sec	1.82sec	41	339	4979
str	3.47sec	2.05sec	41	363	4872

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	8.97sec	0.04sec	17	500	10517
htl	3.79sec	0.20sec	17	359	5213
str	3.80sec	0.22sec	17	383	5040

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	10.54sec	0.21sec	13	534	13261
htl	3.66sec	0.29sec	13	364	5346
str	3.96sec	0.39sec	13	378	5018

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	14.07sec	0.10sec	1	664	14993
htl	3.69sec	0.02sec	1	381	5783
str	4.87sec	0.02sec	1	409	5462

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	16.15sec	0.09sec	8	682	17770
htl	4.27sec	0.03sec	8	384	5825
str	4.95sec	0.03sec	8	412	5576

test20/test_20.20_5_0.3_2_0.2_2_0.14.4	nlp
25 lines	1301 bytes
head (3,2,0)	body (2,2,0)
estimated blow-up	14.4

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	13.90sec	0.05sec	7	634	16063
htl	4.30sec	0.19sec	7	395	5794
str	4.24sec	0.05sec	7	421	5611

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	16.36sec	0.22sec	15	694	20319
htl	4.13sec	2.11sec	15	393	5855
str	4.82sec	2.43sec	15	415	5592

test20/test_20.20_5_0.3_2_0.2_3_0.27.1	nlp
25 lines	1506 bytes
head (3,2,0)	body (2,3,0)
estimated blow-up	27.1

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	62.63sec	0.39sec	15	1460	38003
htl	4.73sec	0.27sec	15	450	6705
str	6.01sec	0.30sec	15	470	6325

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	54.39sec	0.41sec	9	1328	40607
htl	4.96sec	0.57sec	9	443	6661
str	5.44sec	0.49sec	9	465	6338

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	175.70sec	1.47sec	1	2488	66013
htl	5.36sec	0.02sec	1	484	7257
str	6.32sec	0.05sec	1	508	6866

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	131.60sec	0.90sec	27	2128	64929
htl	5.09sec	0.90sec	27	476	7318
str	6.75sec	0.77sec	27	502	6899

test20/test_20.20_5_0.3_2_0.3_2_0.28.8	nlp
25 lines	1545 bytes
head (3,2,0)	body (3,2,0)
estimated blow-up	28.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	44.18sec	0.57sec	19	1194	36287
htl	4.74sec	1.25sec	19	452	6772
str	5.99sec	1.25sec	19	476	6431

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	44.97sec	0.90sec	10	1194	39717
htl	4.85sec	4.48sec	10	453	6794
str	5.34sec	3.94sec	10	475	6456

test20/test_20.20_5_0.3_2_0.3_3_0.78.9	nlp
25 lines	1860 bytes
head (3,2,0)	body (3,3,0)
estimated blow-up	78.9

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	420.08sec	2.30sec	11	3895	121569
htl	6.38sec	0.25sec	11	523	7933
str	7.50sec	0.40sec	11	551	7574

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	391.35sec	2.28sec	16	3710	129483
htl	5.77sec	1.25sec	16	516	7910
str	6.85sec	1.28sec	16	544	7494

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1897.22sec	14.82sec	0	8140	253609
htl	6.77sec	0.09sec	0	572	8908
str	8.97sec	0.10sec	0	608	8413

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1921.19sec	6.87sec	8	8394	304711
htl	6.47sec	1.81sec	8	574	9000
str	9.11sec	1.69sec	8	604	8405

test20/test_20.20_5_0.3_2_0.4_2_0.58.1	nlp
25 lines	1821 bytes
head (3,2,0)	body (4,2,0)
estimated blow-up	58.1

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	175.34sec	2.00sec	11	2442	85803
htl	5.82sec	4.32sec	11	520	7907
str	7.22sec	3.50sec	11	548	7484

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	168.66sec	1.58sec	33	2382	95493
htl	6.20sec	12.55sec	33	516	7951
str	7.49sec	13.01sec	33	548	7601

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3886.15sec	6.74sec	5	11954	414747
htl	7.59sec	0.22sec	5	602	9213
str	9.06sec	0.20sec	5	634	8773

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3960.07sec	22.10sec	13	11709	485734
htl	7.38sec	6.08sec	13	600	9583
str	9.93sec	5.13sec	13	632	8850

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	36465.86sec	32.05sec	6	33742	1200245
htl	8.41sec	0.25sec	6	669	10484
str	11.39sec	0.05sec	6	701	9773

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	33259.71sec	32.42sec	6	33232	1312479
htl	8.63sec	0.60sec	6	671	10672
str	12.61sec	0.56sec	6	707	9905

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	38.48sec	0.11sec	0	1148	25730
htl	4.63sec	0.08sec	0	416	6284
str	5.33sec	0.08sec	0	442	5931

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	38.94sec	0.22sec	0	1131	29946
htl	4.63sec	0.08sec	0	419	6502
str	5.19sec	0.08sec	0	445	6089

test20/test_20.20_5_0.3_3_0.1_3_0.24.1	nlp
25 lines	1529 bytes
head (3,3,0)	body (1,3,0)
estimated blow-up	24.1

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	81.41sec	0.21sec	0	1705	37914
htl	4.89sec	0.09sec	0	443	6687
str	5.58sec	0.09sec	0	475	6451

test20/test_20.20_5_0.3_3_0.1_3_1.27.8	nlp
25 lines	1753 bytes
head (3,3,0)	body (1,3,1)
estimated blow-up	27.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	80.26sec	0.22sec	0	1659	43919
htl	4.79sec	0.07sec	0	441	6916
str	6.19sec	0.08sec	0	471	6402

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	133.44sec	0.23sec	1	2209	47916
htl	4.88sec	0.01sec	1	460	6851
str	5.84sec	0.07sec	1	482	6473

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	135.62sec	0.25sec	1	2187	57970
htl	4.58sec	0.09sec	1	460	7017
str	6.08sec	0.06sec	1	490	6708

test20/test_20.20_5_0.3_3_0.2_2_0.36.7	nlp
25 lines	1662 bytes
head (3,3,0)	body (2,2,0)
estimated blow-up	36.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	125.10sec	0.39sec	0	2103	52822
htl	5.23sec	0.09sec	0	478	7163
str	6.30sec	0.09sec	0	502	6784

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	114.96sec	0.75sec	10	1980	57744
htl	5.33sec	0.39sec	10	477	7198
str	6.83sec	0.39sec	10	509	6995

test20/test_20.20_5_0.3_3_0.2_3_0.71.6	nlp
25 lines	1822 bytes
head (3,3,0)	body (2,3,0)
estimated blow-up	71.6

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	416.20sec	0.75sec	2	3903	99139
htl	5.65sec	0.09sec	2	506	7579
str	6.87sec	0.01sec	2	540	7391

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	504.68sec	0.77sec	0	4279	128947
htl	6.15sec	0.09sec	0	517	8006
str	7.54sec	0.01sec	0	547	7547

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1617.50sec	1.10sec	0	7665	208311
htl	6.68sec	0.08sec	0	557	8723
str	8.60sec	0.01sec	0	597	8270

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1423.03sec	1.76sec	0	7257	215614
htl	6.89sec	0.02sec	0	551	8381
str	8.03sec	0.01sec	0	579	7965

test20/test_20.20_5_0.3_3_0.3_2_0.76.3	nlp
25 lines	1907 bytes
head (3,3,0)	body (3,2,0)
estimated blow-up	76.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	481.07sec	0.88sec	0	4173	125863
htl	6.18sec	0.01sec	0	534	8118
str	7.40sec	0.02sec	0	564	7703

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	416.17sec	1.75sec	11	3832	134780
htl	6.34sec	0.22sec	11	535	8333
str	8.13sec	0.21sec	11	567	7830

test20/test_20.20_5_0.3_3_0.3_3_0.217.0	nlp
25 lines	2264 bytes
head (3,3,0)	body (3,3,0)
estimated blow-up	217.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	4179.72sec	9.62sec	8	12191	378156
htl	7.11sec	0.08sec	8	592	9164
str	9.09sec	0.03sec	8	628	8694

test20/test_20.20_5_0.3_3_0.3_3_1.241.0	nlp
25 lines	2356 bytes
head (3,3,0)	body (3,3,1)
estimated blow-up	241.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	4805.38sec	5.00sec	0	13027	457818
htl	6.79sec	0.10sec	0	597	9350
str	9.39sec	0.02sec	0	633	8813

test20/test_20.20_5_0.3_3_0.3_4_0.446.8	nlp
25 lines	2475 bytes
head (3,3,0)	body (3,4,0)
estimated blow-up	446.8

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	21959.50sec	6.36sec	0	27897	852231
htl	7.97sec	0.09sec	0	652	10038
str	10.55sec	0.01sec	0	684	9500

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	30707.20sec	9.78sec	0	30847	1103718
htl	8.41sec	0.01sec	0	658	10388
str	11.18sec	0.01sec	0	688	9618

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1807.84sec	3.67sec	1	8025	286846
htl	7.18sec	0.02sec	1	596	9313
str	9.45sec	0.10sec	1	626	8662

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1792.22sec	4.33sec	2	8158	310426
htl	7.10sec	0.11sec	2	590	9175
str	9.11sec	0.04sec	2	624	8736

test20/test_20.20_5_0.3_3_0.4_3_0.659.3	nlp
25 lines	2569 bytes
head (3,3,0)	body (4,3,0)
estimated blow-up	659.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	33452.47sec	25.66sec	0	33954	1172446
htl	8.56sec	0.02sec	0	668	10377
str	11.31sec	0.09sec	0	704	9830

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	43396.13sec	30.28sec	4	38794	1529679
htl	8.66sec	0.11sec	4	678	10722
str	11.66sec	0.11sec	4	716	10061

test20/test_20.20_5_0.3_3_0.4_4_0.1776.3	nlp
25 lines	2972 bytes
head (3,3,0)	body (4,4,0)
estimated blow-up	1776.3

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	421100.04sec	181.03sec	0	114501	4079759
htl	10.35sec	0.05sec	0	752	11820
str	13.57sec	0.02sec	0	784	10954

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	300769.47sec	108.84sec	1	99124	3962871
htl	9.95sec	0.10sec	1	738	11703
str	13.26sec	0.03sec	1	772	10895

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	175.05sec	0.07sec	0	2532	55415
htl	5.74sec	0.01sec	0	490	7488
str	6.54sec	0.08sec	0	516	7000

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	197.82sec	0.40sec	0	2669	69465
htl	5.73sec	0.09sec	0	493	7655
str	7.57sec	0.08sec	0	525	7235

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	384.30sec	0.45sec	0	3798	83217
htl	5.95sec	0.09sec	0	511	7911
str	7.34sec	0.01sec	0	541	7387

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	389.40sec	0.58sec	0	3784	101851
htl	5.91sec	0.01sec	0	511	8007
str	7.62sec	0.08sec	0	543	7511

test20/test_20.20_5_0.3_4_0.1_4_0.56.4	nlp
25 lines	2008 bytes
head (3,4,0)	body (1,4,0)
estimated blow-up	56.4

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	601.59sec	0.67sec	0	4758	106707
htl	6.31sec	0.01sec	0	528	8141
str	8.04sec	0.09sec	0	556	7539

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	627.70sec	0.75sec	0	4814	129177
htl	6.46sec	0.01sec	0	529	8288
str	8.24sec	0.05sec	0	563	7761

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	617.25sec	0.73sec	0	4782	125043
htl	6.22sec	0.01sec	0	549	8487
str	8.15sec	0.09sec	0	581	7988

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	664.11sec	1.27sec	0	4941	149023
htl	6.43sec	0.10sec	0	551	8566
str	8.21sec	0.10sec	0	575	7937

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2813.83sec	2.11sec	0	9881	259666
htl	7.27sec	0.09sec	0	586	9095
str	8.68sec	0.09sec	0	616	8495

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2700.08sec	2.10sec	0	9951	293743
htl	7.12sec	0.09sec	0	587	9034
str	8.53sec	0.01sec	0	621	8611

test20/test_20.20_5_0.3_4_0.2_4_0.224.6	nlp
25 lines	2653 bytes
head (3,4,0)	body (2,4,0)
estimated blow-up	224.6

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	8809.49sec	4.99sec	0	17885	497148
htl	7.95sec	0.01sec	0	628	10065
str	11.15sec	0.09sec	0	662	9198

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	7524.29sec	3.96sec	0	16218	505329
htl	7.39sec	0.09sec	0	622	9772
str	10.75sec	0.03sec	0	658	9183

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	2570.35sec	1.94sec	0	9320	284096
htl	7.71sec	0.01sec	0	609	9462
str	10.18sec	0.01sec	0	645	8941

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1961.90sec	3.83sec	2	8485	293726
htl	7.11sec	0.09sec	2	597	9302
str	9.64sec	0.02sec	2	629	8760

test20/test_20.20_5_0.3_4_0.3_3_0.434.0	nlp
25 lines	2724 bytes
head (3,4,0)	body (3,3,0)
estimated blow-up	434.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	25089.28sec	12.56sec	0	29542	949083
htl	8.55sec	0.01sec	0	669	10659
str	11.39sec	0.02sec	0	709	9917

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	21694.50sec	9.45sec	0	26494	954206
htl	8.10sec	0.01sec	0	653	10311
str	11.35sec	0.04sec	0	689	9630

test20/test_20.20_5_0.3_4_0.3_4_0.912.0	nlp
25 lines	2863 bytes
head (3,4,0)	body (3,4,0)
estimated blow-up	912.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	116796.96sec	23.69sec	0	63726	1973670
htl	9.59sec	0.09sec	0	718	11207
str	13.10sec	0.05sec	0	750	10427

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	88624.22sec	65.51sec	0	56485	2060477
htl	9.19sec	0.02sec	0	709	11359
str	13.61sec	0.02sec	0	747	10527

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	8269.78sec	8.43sec	1	16504	581949
htl	8.20sec	0.02sec	1	652	10179
str	11.22sec	0.10sec	1	686	9531

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	10032.75sec	7.63sec	0	18233	745956
htl	8.88sec	0.01sec	0	670	10618
str	11.82sec	0.02sec	0	708	9934

test20/test_20.20_5_0.3_4_0.4_3_0.1345.7	nlp
25 lines	2996 bytes
head (3,4,0)	body (4,3,0)
estimated blow-up	1345.7

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	237803.52sec	93.12sec	0	84984	3036610
htl	10.36sec	0.06sec	0	745	11784
str	13.76sec	0.09sec	0	781	10921

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	195289.80sec	105.37sec	0	80688	3204528
htl	9.79sec	0.11sec	0	741	11762
str	14.18sec	0.09sec	0	773	10925

test20/test_20.20_5_0.3_4_0.4_4_0.3701.1	nlp
25 lines	3435 bytes
head (3,4,0)	body (4,4,0)
estimated blow-up	3701.1

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1672152.42sec	774.64sec	--	220793	7895655
htl	11.66sec	0.07sec	0	808	12935
str	16.48sec	0.02sec	0	844	11883

test20/test_20.20_5_0.4_2_0.1_2_0.14.6	nlp
25 lines	1339 bytes
head (4,2,0)	body (1,2,0)
estimated blow-up	14.6

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	18.38sec	0.42sec	43	746	20221
htl	4.60sec	0.95sec	43	426	6399
str	5.42sec	1.26sec	43	452	6052

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	17.08sec	1.97sec	102	708	20365
htl	4.46sec	7.23sec	102	408	6073
str	4.72sec	7.27sec	102	422	5674

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	30.08sec	0.75sec	48	990	25361
htl	4.23sec	1.40sec	48	439	6481
str	5.45sec	1.83sec	48	463	6231

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	34.61sec	1.76sec	88	1046	31201
htl	4.81sec	8.54sec	88	430	6494
str	5.59sec	8.95sec	88	466	6383

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	54.22sec	1.76sec	121	1354	35657
htl	4.97sec	1.32sec	121	458	6851
str	5.42sec	1.45sec	121	482	6517

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	48.70sec	2.10sec	56	1258	38253
htl	4.99sec	5.67sec	56	442	6780
str	5.80sec	6.05sec	56	468	6438

test20/test_20.20_5_0.4_2_0.2_2_0.28.5	nlp
25 lines	1624 bytes
head (4,2,0)	body (2,2,0)
estimated blow-up	28.5

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	42.53sec	1.31sec	62	1148	34605
htl	5.32sec	5.86sec	62	469	7104
str	6.66sec	6.17sec	62	497	6719

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	49.20sec	2.12sec	34	1246	43309
htl	5.56sec	11.10sec	34	475	7248
str	6.47sec	11.96sec	34	503	6905

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	234.54sec	4.20sec	69	2874	92441
htl	5.84sec	1.79sec	69	512	7957
str	6.96sec	1.89sec	69	544	7461

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	255.96sec	6.11sec	64	3000	105949
htl	6.01sec	10.47sec	64	524	8054
str	7.43sec	10.30sec	64	552	7612

test20/test_20.20_5_0.4_2_0.2_4_0.86.2	nlp
25 lines	2100 bytes
head (4,2,0)	body (2,4,0)
estimated blow-up	86.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	661.69sec	6.74sec	35	4922	160273
htl	6.85sec	1.08sec	35	550	8639
str	8.62sec	1.08sec	35	582	8041

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	476.99sec	11.24sec	73	4134	136883
htl	6.60sec	7.78sec	73	546	8309
str	8.04sec	7.05sec	73	574	7947

test20/test_20.20_5_0.4_2_0.3_2_0.57.0	nlp
25 lines	1800 bytes
head (4,2,0)	body (3,2,0)
estimated blow-up	57.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	207.18sec	7.10sec	37	2682	94215
htl	6.28sec	7.10sec	37	517	7850
str	7.28sec	6.23sec	37	541	7416

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	174.77sec	3.70sec	28	2426	99405
htl	6.41sec	32.02sec	28	535	8433
str	7.97sec	34.76sec	28	565	7851

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1781.20sec	29.51sec	48	8040	270315
htl	7.17sec	4.83sec	48	590	8916
str	8.47sec	5.01sec	48	620	8580

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1407.21sec	43.77sec	36	7138	282309
htl	6.84sec	29.07sec	36	586	9078
str	8.72sec	27.58sec	36	618	8646

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	9796.48sec	57.65sec	27	17722	660485
htl	8.46sec	2.10sec	27	639	10321
str	11.32sec	2.10sec	27	673	9396

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	8092.01sec	106.03sec	63	16240	628983
htl	7.93sec	16.34sec	63	638	9860
str	10.28sec	14.51sec	63	672	9403

test20/test_20.20_5_0.4_2_0.4_2_0.114.6	nlp
25 lines	1983 bytes
head (4,2,0)	body (4,2,0)
estimated blow-up	114.6

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	564.15sec	18.73sec	62	4470	170793
htl	6.91sec	28.61sec	62	569	8599
str	7.99sec	22.28sec	62	597	8203

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	735.15sec	16.82sec	71	5114	217341
htl	7.52sec	34.44sec	71	594	9099
str	9.06sec	34.56sec	71	628	8731

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	12178.75sec	139.81sec	99	20856	836805
htl	8.69sec	9.47sec	99	664	10251
str	10.93sec	7.30sec	99	692	9592

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	15013.93sec	153.32sec	119	22582	981433
htl	8.81sec	35.52sec	119	664	10274
str	10.59sec	28.25sec	119	692	9640

test20/test_20.20_5_0.4_2_0.4_4_0.1260.9	nlp
25 lines	2876 bytes
head (4,2,0)	body (4,4,0)
estimated blow-up	1260.9

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	134378.45sec	317.05sec	85	65144	2594049
htl	10.09sec	5.04sec	85	740	11642
str	13.51sec	4.57sec	85	774	10853

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	160409.47sec	773.56sec	--	72434	3319261
htl	10.49sec	24.68sec	74	750	11967
str	14.10sec	18.37sec	74	784	11026

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	336.51sec	1.25sec	1	3521	90942
htl	5.99sec	0.15sec	1	523	7867
str	7.16sec	0.10sec	1	549	7509

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	287.63sec	2.78sec	24	3201	98044
htl	5.44sec	0.41sec	24	518	8036
str	7.28sec	0.55sec	24	546	7534

test20/test_20.20_5_0.4_3_0.1_3_0.72.0	nlp
25 lines	1886 bytes
head (4,3,0)	body (1,3,0)
estimated blow-up	72.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	538.40sec	1.26sec	1	4470	114541
htl	5.96sec	0.10sec	1	535	8168
str	7.43sec	0.10sec	1	561	7664

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	557.48sec	2.31sec	7	4524	136695
htl	5.96sec	0.23sec	7	533	8320
str	8.38sec	0.40sec	7	571	7950

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1024.46sec	2.02sec	1	6199	163319
htl	6.23sec	0.11sec	1	559	8588
str	8.00sec	0.10sec	1	591	8133

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	956.40sec	3.28sec	5	5962	180561
htl	6.63sec	0.25sec	5	556	8596
str	8.28sec	0.08sec	5	594	8248

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	809.40sec	3.48sec	8	5458	169047
htl	6.83sec	0.06sec	8	567	8801
str	8.51sec	0.24sec	8	601	8306

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	1114.35sec	8.46sec	22	6414	218824
htl	7.00sec	0.63sec	22	579	8998
str	8.47sec	0.61sec	22	611	8541

test20/test_20.20_5_0.4_3_0.2_3_0.212.1	nlp
25 lines	2302 bytes
head (4,3,0)	body (2,3,0)
estimated blow-up	212.1

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	4227.96sec	8.63sec	7	12271	375861
htl	7.45sec	0.12sec	7	615	9568
str	9.88sec	0.07sec	7	655	9130

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	4793.75sec	12.36sec	5	13055	453754
htl	7.49sec	0.24sec	5	618	9656
str	10.03sec	0.25sec	5	650	9088

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	13744.97sec	10.42sec	4	21228	644719
htl	8.38sec	0.03sec	4	653	10117
str	10.92sec	0.03sec	4	685	9538

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	11523.87sec	19.53sec	6	20319	699668
htl	8.24sec	0.04sec	6	650	10215
str	10.74sec	0.11sec	6	688	9675

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	4013.20sec	9.44sec	8	11929	412582
htl	8.10sec	0.12sec	8	640	9916
str	10.40sec	0.07sec	8	674	9335

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	3431.48sec	17.33sec	26	10975	424129
htl	8.10sec	1.12sec	26	629	9869
str	10.56sec	1.25sec	26	657	9148

test20/test_20.20_5_0.4_3_0.3_3_0.641.2	nlp
25 lines	2577 bytes
head (4,3,0)	body (3,3,0)
estimated blow-up	641.2

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	42187.98sec	22.75sec	1	37867	1344255
htl	9.07sec	0.11sec	1	694	10764
str	11.55sec	0.10sec	1	730	10203

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	35622.54sec	57.96sec	11	35925	1369585
htl	9.00sec	0.24sec	11	694	10736
str	11.67sec	0.20sec	11	728	10231

test20/test_20.20_5_0.4_3_0.3_4_0.1347.0	nlp
25 lines	3012 bytes
head (4,3,0)	body (3,4,0)
estimated blow-up	1347.0

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	183673.69sec	86.59sec	5	82167	2972137
htl	9.75sec	0.20sec	5	744	11892
str	14.29sec	0.21sec	5	780	10936

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	271123.73sec	169.95sec	6	92029	3809028
htl	10.69sec	0.24sec	6	757	12161
str	14.62sec	0.32sec	6	793	11231

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	14983.80sec	23.33sec	2	22839	884472
htl	9.08sec	0.06sec	2	683	10554
str	11.39sec	0.15sec	2	713	9913

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

Mapping	Compilation	Runtime	Answersets	Lines	Bytes
dlp	19289.61sec	40.18sec	5	24855	1098382
htl	9.02sec	0.74sec	5	697	10942
str	12.62sec	0.58sec	5	731	10317