next up previous contents
Next: Subseries: 20 variables Up: Subseries: 15 variables Previous: Tables   Contents

Individual tests

test15/test_15.20_5_0.1_1_1.1_1_1_1.1.2 nlp wc
30 lines 560 bytes
head (1,1,1) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.19sec 0.00sec 1 74 1172
htl 0.25sec 0.00sec 1 127 1726
str 0.27sec 0.00sec 1 129 1563

test15/test_15.20_5_0.1_1_1.1_1_1_2.1.3 nlp wc
30 lines 713 bytes
head (1,1,1) body (1,1,1,2)
estimated blow-up 1.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.21sec 0.00sec 1 74 1456
htl 0.28sec 0.00sec 1 114 1708
str 0.28sec 0.00sec 1 122 1578

test15/test_15.20_5_0.1_1_1.1_1_1_3.1.4 nlp wc
30 lines 811 bytes
head (1,1,1) body (1,1,1,3)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.21sec 0.00sec 1 76 1681
htl 0.29sec 0.00sec 1 122 1909
str 0.32sec 0.01sec 1 124 1655

test15/test_15.20_5_0.1_1_1.1_1_1_4.1.5 nlp wc
30 lines 880 bytes
head (1,1,1) body (1,1,1,4)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.22sec 0.00sec 1 74 1788
htl 0.29sec 0.00sec 1 126 2023
str 0.30sec 0.02sec 1 130 1777

test15/test_15.20_5_0.1_1_1.1_2_1_1.4.7 nlp wc
30 lines 1094 bytes
head (1,1,1) body (1,2,1,1)
estimated blow-up 4.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.48sec 0.01sec 1 194 4080
htl 0.51sec 0.00sec 1 224 3462
str 0.58sec 0.01sec 1 244 3127

test15/test_15.20_5_0.1_1_1.1_2_1_2.20.4 nlp wc
30 lines 1724 bytes
head (1,1,1) body (1,2,1,2)
estimated blow-up 20.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.88sec 0.07sec 0 634 20550
htl 1.04sec 0.01sec 0 353 5598
str 1.43sec 0.02sec 0 381 5053

test15/test_15.20_5_0.1_1_1.1_2_1_3.85.3 nlp wc
30 lines 2516 bytes
head (1,1,1) body (1,2,1,3)
estimated blow-up 85.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 114.39sec 2.79sec 0 2408 109564
htl 5.60sec 0.15sec 0 465 7888
str 9.06sec 0.23sec 0 495 6759

test15/test_15.20_5_0.1_1_1.1_2_1_4.350.0 nlp wc
30 lines 3248 bytes
head (1,1,1) body (1,2,1,4)
estimated blow-up 350.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2900.59sec 154.61sec 0 9512 548444
htl 7.23sec 0.91sec 0 564 9935
str 12.66sec 0.90sec 0 594 8239

test15/test_15.20_5_0.1_1_1.1_2_2_1.1.8 nlp wc
30 lines 692 bytes
head (1,1,1) body (1,2,2,1)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.67sec 0.00sec 1 112 1806
htl 2.05sec 0.07sec 1 187 2607
str 1.75sec 0.00sec 1 187 2265

test15/test_15.20_5_0.1_1_1.1_2_2_2.3.7 nlp wc
30 lines 982 bytes
head (1,1,1) body (1,2,2,2)
estimated blow-up 3.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.55sec 0.10sec 1 194 3901
htl 2.70sec 0.08sec 1 240 3432
str 2.62sec 0.09sec 1 240 2989

test15/test_15.20_5_0.1_1_1.1_2_2_3.7.4 nlp wc
30 lines 1200 bytes
head (1,1,1) body (1,2,2,3)
estimated blow-up 7.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.60sec 0.03sec 1 348 8346
htl 3.27sec 0.01sec 1 293 4220
str 3.36sec 0.01sec 1 293 3667

test15/test_15.20_5_0.1_1_1.1_2_2_4.15.0 nlp wc
30 lines 1471 bytes
head (1,1,1) body (1,2,2,4)
estimated blow-up 15.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 13.35sec 0.39sec 1 628 18547
htl 3.98sec 0.10sec 1 338 5021
str 4.43sec 0.09sec 1 338 4294

test15/test_15.20_5_0.1_1_1.1_3_1_1.32.0 nlp wc
30 lines 2055 bytes
head (1,1,1) body (1,3,1,1)
estimated blow-up 32.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 24.98sec 0.23sec 0 870 26529
htl 4.05sec 0.09sec 0 373 6370
str 6.15sec 0.09sec 0 399 5308

test15/test_15.20_5_0.1_1_1.1_3_1_2.821.0 nlp wc
30 lines 3662 bytes
head (1,1,1) body (1,3,1,2)
estimated blow-up 821.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 11556.09sec 151.39sec 0 18958 949028
htl 8.59sec 0.22sec 0 604 11047
str 15.25sec 0.23sec 0 634 8866

test15/test_15.20_5_0.1_1_1.1_3_2_1.10.2 nlp wc
30 lines 1423 bytes
head (1,1,1) body (1,3,2,1)
estimated blow-up 10.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.51sec 0.09sec 1 348 7643
htl 3.03sec 0.09sec 1 284 4561
str 4.04sec 0.01sec 1 312 4032

test15/test_15.20_5_0.1_1_1.1_3_2_2.97.7 nlp wc
30 lines 2387 bytes
head (1,1,1) body (1,3,2,2)
estimated blow-up 97.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 256.35sec 4.49sec 0 3004 102838
htl 4.96sec 0.09sec 0 436 7371
str 8.35sec 0.09sec 0 466 6307

test15/test_15.20_5_0.1_1_1.1_3_2_3.905.0 nlp wc
30 lines 3409 bytes
head (1,1,1) body (1,3,2,3)
estimated blow-up 905.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 19852.20sec 683.94sec 1 25150 1156954
htl 8.02sec 0.04sec 1 590 10448
str 13.83sec 0.08sec 1 620 8592

test15/test_15.20_5_0.1_1_1.1_3_3_1.2.3 nlp wc
30 lines 809 bytes
head (1,1,1) body (1,3,3,1)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.01sec 0.00sec 1 142 2286
htl 2.01sec 0.08sec 1 202 2897
str 2.42sec 0.04sec 1 202 2491

test15/test_15.20_5_0.1_1_1.1_3_3_2.6.5 nlp wc
30 lines 1192 bytes
head (1,1,1) body (1,3,3,2)
estimated blow-up 6.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.48sec 0.09sec 1 374 7576
htl 2.83sec 0.00sec 1 273 4034
str 3.18sec 0.08sec 1 273 3430

test15/test_15.20_5_0.1_1_1.1_3_3_3.19.1 nlp wc
30 lines 1520 bytes
head (1,1,1) body (1,3,3,3)
estimated blow-up 19.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 31.33sec 0.11sec 0 1030 25732
htl 4.20sec 0.08sec 0 375 5528
str 4.81sec 0.01sec 0 375 4752

test15/test_15.20_5_0.1_1_1.1_3_3_4.56.6 nlp wc
30 lines 1905 bytes
head (1,1,1) body (1,3,3,4)
estimated blow-up 56.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 227.21sec 5.28sec 1 2866 87367
htl 4.99sec 0.07sec 1 440 6695
str 6.27sec 0.01sec 1 440 5752

test15/test_15.20_5_0.1_1_1.2_2_2_1.1.3 nlp wc
30 lines 664 bytes
head (1,1,1) body (2,2,2,1)
estimated blow-up 1.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.59sec 0.03sec 0 74 1373
htl 1.57sec 0.00sec 0 126 1816
str 1.85sec 0.06sec 0 130 1650

test15/test_15.20_5_0.1_1_1.2_2_2_2.1.5 nlp wc
30 lines 931 bytes
head (1,1,1) body (2,2,2,2)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.64sec 0.08sec 1 80 1906
htl 1.92sec 0.00sec 1 138 2218
str 1.84sec 0.10sec 1 140 1916

test15/test_15.20_5_0.1_1_1.2_2_2_3.1.6 nlp wc
30 lines 1187 bytes
head (1,1,1) body (2,2,2,3)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.54sec 0.08sec 1 70 2095
htl 1.74sec 0.07sec 1 92 1739
str 1.88sec 0.09sec 1 104 1593

test15/test_15.20_5_0.1_1_1.2_2_2_4.1.6 nlp wc
30 lines 1388 bytes
head (1,1,1) body (2,2,2,4)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.33sec 0.00sec 1 72 2409
htl 1.97sec 0.01sec 1 118 2237
str 2.21sec 0.08sec 1 126 1957

test15/test_15.20_5_0.1_1_1.2_3_2_1.9.2 nlp wc
30 lines 1701 bytes
head (1,1,1) body (2,3,2,1)
estimated blow-up 9.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.82sec 0.05sec 2 402 10623
htl 5.56sec 0.16sec 2 480 7206
str 7.29sec 0.10sec 2 504 6608

test15/test_15.20_5_0.1_1_1.2_3_2_2.85.6 nlp wc
30 lines 3001 bytes
head (1,1,1) body (2,3,2,2)
estimated blow-up 85.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 294.14sec 12.34sec 0 3174 137706
htl 11.20sec 0.22sec 0 779 12436
str 17.45sec 0.22sec 0 809 10998

test15/test_15.20_5_0.1_1_1.2_3_2_3.782.3 nlp wc
30 lines 4205 bytes
head (1,1,1) body (2,3,2,3)
estimated blow-up 782.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 20619.23sec 773.60sec -- 25476 1480269
htl 19.07sec 0.83sec 1 1061 17170
str 31.92sec 0.93sec 1 1091 15145

test15/test_15.20_5_0.1_1_1.2_3_3_1.2.2 nlp wc
30 lines 1075 bytes
head (1,1,1) body (2,3,3,1)
estimated blow-up 2.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.86sec 0.08sec 1 158 3082
htl 4.28sec 0.01sec 1 388 5311
str 4.39sec 0.04sec 1 388 4800

test15/test_15.20_5_0.1_1_1.2_3_3_2.6.3 nlp wc
30 lines 1810 bytes
head (1,1,1) body (2,3,3,2)
estimated blow-up 6.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.54sec 0.21sec 1 368 10916
htl 7.59sec 0.19sec 1 578 8356
str 8.86sec 0.11sec 1 578 7555

test15/test_15.20_5_0.1_1_1.2_3_3_3.18.6 nlp wc
30 lines 2472 bytes
head (1,1,1) body (2,3,3,3)
estimated blow-up 18.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 36.25sec 0.80sec 0 1064 41631
htl 13.01sec 0.33sec 0 848 12523
str 16.69sec 0.20sec 0 848 11348

test15/test_15.20_5_0.1_1_1.2_3_3_4.55.4 nlp wc
30 lines 3039 bytes
head (1,1,1) body (2,3,3,4)
estimated blow-up 55.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 255.48sec 4.61sec 1 2956 137534
htl 18.32sec 0.53sec 1 1029 15337
str 25.09sec 0.53sec 1 1029 13843

test15/test_15.20_5_0.1_1_1.3_3_3_1.1.4 nlp wc
30 lines 798 bytes
head (1,1,1) body (3,3,3,1)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.48sec 0.08sec 0 72 1578
htl 1.83sec 0.04sec 0 112 1743
str 1.78sec 0.01sec 0 118 1581

test15/test_15.20_5_0.1_1_1.3_3_3_2.1.6 nlp wc
30 lines 1132 bytes
head (1,1,1) body (3,3,3,2)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.48sec 0.00sec 1 72 2139
htl 1.63sec 0.01sec 1 112 2027
str 1.88sec 0.01sec 1 120 1801

test15/test_15.20_5_0.1_1_1.3_3_3_3.1.7 nlp wc
30 lines 1430 bytes
head (1,1,1) body (3,3,3,3)
estimated blow-up 1.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.03sec 0.04sec 1 78 2718
htl 1.91sec 0.00sec 1 118 2358
str 2.32sec 0.08sec 1 122 2003

test15/test_15.20_5_0.1_1_1.3_3_3_4.1.7 nlp wc
30 lines 1790 bytes
head (1,1,1) body (3,3,3,4)
estimated blow-up 1.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.91sec 0.00sec 1 72 3046
htl 2.05sec 0.00sec 1 118 2555
str 2.39sec 0.04sec 1 126 2176

test15/test_15.20_5_0.1_2_1.1_1_1_1.1.2 nlp wc
40 lines 1455 bytes
head (1,2,1) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.91sec 0.00sec 0 125 2296
htl 3.89sec 0.04sec 0 320 4541
str 4.01sec 0.00sec 0 320 3991

test15/test_15.20_5_0.1_2_1.1_1_1_2.1.5 nlp wc
40 lines 1529 bytes
head (1,2,1) body (1,1,1,2)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.84sec 0.08sec 10 130 2731
htl 3.91sec 0.02sec 10 318 4631
str 4.35sec 0.02sec 10 318 4054

test15/test_15.20_5_0.1_2_1.1_1_1_3.1.6 nlp wc
39 lines 1682 bytes
head (1,2,1) body (1,1,1,3)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.13sec 0.00sec 0 124 3140
htl 3.62sec 0.01sec 0 317 4733
str 4.41sec 0.08sec 0 321 4158

test15/test_15.20_5_0.1_2_1.1_1_1_4.1.8 nlp wc
40 lines 1737 bytes
head (1,2,1) body (1,1,1,4)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.68sec 0.08sec 5 127 3385
htl 3.94sec 0.10sec 5 301 4544
str 4.29sec 0.10sec 5 303 3969

test15/test_15.20_5_0.1_2_1.1_2_1_1.5.8 nlp wc
40 lines 1990 bytes
head (1,2,1) body (1,2,1,1)
estimated blow-up 5.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.45sec 0.09sec 0 350 8665
htl 5.33sec 0.01sec 0 435 6521
str 7.07sec 0.05sec 0 457 5958

test15/test_15.20_5_0.1_2_1.1_2_1_2.28.5 nlp wc
40 lines 2726 bytes
head (1,2,1) body (1,2,1,2)
estimated blow-up 28.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 45.82sec 0.18sec 0 1178 44443
htl 6.75sec 0.01sec 0 519 8395
str 10.33sec 0.01sec 0 547 7432

test15/test_15.20_5_0.1_2_1.1_2_1_3.128.0 nlp wc
39 lines 3350 bytes
head (1,2,1) body (1,2,1,3)
estimated blow-up 128.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 690.06sec 1.13sec 0 4913 234937
htl 8.48sec 0.01sec 0 623 10341
str 13.61sec 0.09sec 0 651 8960

test15/test_15.20_5_0.1_2_1.1_2_1_4.551.4 nlp wc
39 lines 4076 bytes
head (1,2,1) body (1,2,1,4)
estimated blow-up 551.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 9497.35sec 152.59sec 0 18479 1083919
htl 10.86sec 0.09sec 0 727 12440
str 18.35sec 0.01sec 0 757 10557

test15/test_15.20_5_0.1_2_1.1_2_2_1.2.1 nlp wc
39 lines 1512 bytes
head (1,2,1) body (1,2,2,1)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.82sec 0.03sec 0 196 3692
htl 4.28sec 0.08sec 0 362 5155
str 4.58sec 0.06sec 0 362 4507

test15/test_15.20_5_0.1_2_1.1_2_2_2.4.7 nlp wc
40 lines 1776 bytes
head (1,2,1) body (1,2,2,2)
estimated blow-up 4.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.57sec 0.09sec 0 350 7929
htl 4.87sec 0.04sec 0 413 5884
str 5.71sec 0.01sec 0 413 5245

test15/test_15.20_5_0.1_2_1.1_2_2_3.10.1 nlp wc
40 lines 2001 bytes
head (1,2,1) body (1,2,2,3)
estimated blow-up 10.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 14.10sec 0.22sec 0 644 17308
htl 5.64sec 0.04sec 0 461 6726
str 6.77sec 0.08sec 0 461 5978

test15/test_15.20_5_0.1_2_1.1_2_2_4.21.4 nlp wc
40 lines 2301 bytes
head (1,2,1) body (1,2,2,4)
estimated blow-up 21.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 45.26sec 1.11sec 2 1197 38489
htl 6.14sec 0.10sec 2 489 7279
str 7.97sec 0.09sec 2 489 6441

test15/test_15.20_5_0.1_2_1.1_3_1_1.45.5 nlp wc
38 lines 2732 bytes
head (1,2,1) body (1,3,1,1)
estimated blow-up 45.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 85.08sec 0.05sec 0 1665 56258
htl 6.76sec 0.05sec 0 543 8807
str 10.48sec 0.04sec 0 565 7579

test15/test_15.20_5_0.1_2_1.1_3_1_2.1316.6 nlp wc
39 lines 4385 bytes
head (1,2,1) body (1,3,1,2)
estimated blow-up 1316.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 40549.75sec 7.74sec 0 34322 1808351
htl 12.31sec 0.01sec 0 784 13769
str 21.80sec 0.09sec 0 812 11399

test15/test_15.20_5_0.1_2_1.1_3_2_1.13.6 nlp wc
38 lines 2295 bytes
head (1,2,1) body (1,3,2,1)
estimated blow-up 13.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 16.03sec 0.10sec 0 677 17617
htl 5.83sec 0.06sec 0 472 7347
str 8.28sec 0.08sec 0 502 6698

test15/test_15.20_5_0.1_2_1.1_3_2_2.147.3 nlp wc
40 lines 3227 bytes
head (1,2,1) body (1,3,2,2)
estimated blow-up 147.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 942.45sec 1.59sec 1 5871 220114
htl 8.57sec 0.14sec 1 614 10160
str 14.17sec 0.05sec 1 642 8797

test15/test_15.20_5_0.1_2_1.1_3_2_3.1458.0 nlp wc
40 lines 4379 bytes
head (1,2,1) body (1,3,2,3)
estimated blow-up 1458.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 75951.71sec 50.23sec 3 50255 2461121
htl 12.29sec 0.12sec 3 803 13895
str 22.93sec 0.11sec 3 833 11632

test15/test_15.20_5_0.1_2_1.1_3_3_1.2.9 nlp wc
40 lines 1646 bytes
head (1,2,1) body (1,3,3,1)
estimated blow-up 2.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.83sec 0.00sec 0 256 4861
htl 4.46sec 0.08sec 0 375 5433
str 4.65sec 0.08sec 0 375 4718

test15/test_15.20_5_0.1_2_1.1_3_3_2.9.1 nlp wc
40 lines 2060 bytes
head (1,2,1) body (1,3,3,2)
estimated blow-up 9.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 17.14sec 0.02sec 0 720 16989
htl 5.40sec 0.01sec 0 470 6894
str 6.74sec 0.06sec 0 470 6081

test15/test_15.20_5_0.1_2_1.1_3_3_3.28.5 nlp wc
38 lines 2364 bytes
head (1,2,1) body (1,3,3,3)
estimated blow-up 28.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 103.60sec 3.26sec 0 1892 53738
htl 7.11sec 0.09sec 0 548 8161
str 8.64sec 0.09sec 0 548 7206

test15/test_15.20_5_0.1_2_1.1_3_3_4.88.4 nlp wc
39 lines 2725 bytes
head (1,2,1) body (1,3,3,4)
estimated blow-up 88.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 917.87sec 1.07sec 0 5835 195189
htl 8.14sec 0.08sec 0 615 9400
str 10.59sec 0.01sec 0 615 8227

test15/test_15.20_5_0.1_2_1.2_2_2_1.1.5 nlp wc
39 lines 1530 bytes
head (1,2,1) body (2,2,2,1)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.99sec 0.00sec 0 126 2770
htl 3.29sec 0.00sec 0 305 4435
str 4.02sec 0.08sec 0 307 3894

test15/test_15.20_5_0.1_2_1.2_2_2_2.1.8 nlp wc
39 lines 1664 bytes
head (1,2,1) body (2,2,2,2)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.82sec 0.08sec 0 123 3209
htl 3.62sec 0.00sec 0 293 4433
str 4.11sec 0.08sec 0 293 3836

test15/test_15.20_5_0.1_2_1.2_2_2_3.2.1 nlp wc
40 lines 2121 bytes
head (1,2,1) body (2,2,2,3)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.93sec 0.08sec 15 131 4369
htl 3.95sec 0.23sec 15 336 5281
str 4.95sec 0.26sec 15 336 4520

test15/test_15.20_5_0.1_2_1.2_2_2_4.2.3 nlp wc
40 lines 2315 bytes
head (1,2,1) body (2,2,2,4)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.60sec 0.09sec 15 128 5042
htl 3.79sec 0.11sec 15 302 5005
str 4.88sec 0.08sec 15 304 4261

test15/test_15.20_5_0.1_2_1.2_3_2_1.13.3 nlp wc
39 lines 2531 bytes
head (1,2,1) body (2,3,2,1)
estimated blow-up 13.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 18.07sec 0.04sec 0 727 21287
htl 8.43sec 0.09sec 0 624 9550
str 11.82sec 0.09sec 0 652 8755

test15/test_15.20_5_0.1_2_1.2_3_2_2.138.9 nlp wc
39 lines 3762 bytes
head (1,2,1) body (2,3,2,2)
estimated blow-up 138.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 988.20sec 1.62sec 0 5899 267969
htl 16.01sec 0.09sec 0 954 15157
str 25.16sec 0.02sec 0 982 13505

test15/test_15.20_5_0.1_2_1.2_3_2_3.1339.8 nlp wc
40 lines 5159 bytes
head (1,2,1) body (2,3,2,3)
estimated blow-up 1339.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 88249.15sec 76.86sec 5 53186 3336823
htl 27.16sec 1.76sec 5 1283 20879
str 45.33sec 1.08sec 5 1313 18249

test15/test_15.20_5_0.1_2_1.2_3_3_1.3.1 nlp wc
40 lines 1943 bytes
head (1,2,1) body (2,3,3,1)
estimated blow-up 3.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.85sec 0.06sec 1 284 6395
htl 7.21sec 0.01sec 1 571 8160
str 8.89sec 0.09sec 1 571 7406

test15/test_15.20_5_0.1_2_1.2_3_3_2.9.9 nlp wc
40 lines 2691 bytes
head (1,2,1) body (2,3,3,2)
estimated blow-up 9.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 19.81sec 0.11sec 2 761 25034
htl 12.60sec 0.11sec 2 821 12150
str 16.36sec 0.09sec 2 821 10931

test15/test_15.20_5_0.1_2_1.2_3_3_3.30.9 nlp wc
40 lines 3230 bytes
head (1,2,1) body (2,3,3,3)
estimated blow-up 30.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 112.69sec 0.42sec 1 1924 80034
htl 17.59sec 0.24sec 1 997 14951
str 22.66sec 0.24sec 1 997 13499

test15/test_15.20_5_0.1_2_1.2_3_3_4.95.3 nlp wc
40 lines 3943 bytes
head (1,2,1) body (2,3,3,4)
estimated blow-up 95.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1053.80sec 20.00sec 4 6122 305256
htl 25.72sec 0.73sec 4 1245 18651
str 35.01sec 0.73sec 4 1245 17056

test15/test_15.20_5_0.1_2_1.3_3_3_1.1.6 nlp wc
39 lines 1701 bytes
head (1,2,1) body (3,3,3,1)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.35sec 0.08sec 0 128 3289
htl 3.78sec 0.01sec 0 327 4892
str 4.45sec 0.04sec 0 329 4273

test15/test_15.20_5_0.1_2_1.3_3_3_2.2.1 nlp wc
39 lines 2010 bytes
head (1,2,1) body (3,3,3,2)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.30sec 0.05sec 0 127 4229
htl 3.87sec 0.08sec 0 320 5067
str 4.55sec 0.00sec 0 320 4334

test15/test_15.20_5_0.1_2_1.3_3_3_3.2.4 nlp wc
40 lines 2447 bytes
head (1,2,1) body (3,3,3,3)
estimated blow-up 2.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.02sec 0.08sec 12 130 5518
htl 3.84sec 0.08sec 12 318 5340
str 5.06sec 0.24sec 12 318 4473

test15/test_15.20_5_0.1_2_1.3_3_3_4.2.6 nlp wc
40 lines 2714 bytes
head (1,2,1) body (3,3,3,4)
estimated blow-up 2.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.83sec 0.08sec 16 130 6283
htl 3.86sec 0.23sec 16 307 5385
str 5.11sec 0.27sec 16 307 4519

test15/test_15.20_5_0.1_2_2.1_1_1_1.1.2 nlp wc
34 lines 986 bytes
head (1,2,2) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.79sec 0.11sec 291 99 1694
htl 2.90sec 0.24sec 291 237 3150
str 2.78sec 0.24sec 291 237 2920

test15/test_15.20_5_0.1_2_2.1_1_1_2.1.4 nlp wc
35 lines 1150 bytes
head (1,2,2) body (1,1,1,2)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.66sec 0.05sec 343 103 2080
htl 2.62sec 1.34sec 343 239 3296
str 2.69sec 1.31sec 343 239 3032

test15/test_15.20_5_0.1_2_2.1_1_1_3.1.5 nlp wc
35 lines 1253 bytes
head (1,2,2) body (1,1,1,3)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.91sec 0.08sec 82 100 2376
htl 2.50sec 0.90sec 82 236 3364
str 3.03sec 0.79sec 82 238 3083

test15/test_15.20_5_0.1_2_2.1_1_1_4.1.6 nlp wc
35 lines 1238 bytes
head (1,2,2) body (1,1,1,4)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.45sec 0.04sec 50 97 2464
htl 2.42sec 1.81sec 50 221 3279
str 2.73sec 1.76sec 50 221 2926

test15/test_15.20_5_0.1_2_2.1_2_1_1.5.3 nlp wc
35 lines 1635 bytes
head (1,2,2) body (1,2,1,1)
estimated blow-up 5.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.20sec 0.42sec 560 270 6446
htl 3.89sec 1.44sec 560 337 4954
str 4.79sec 1.57sec 560 359 4637

test15/test_15.20_5_0.1_2_2.1_2_1_2.24.8 nlp wc
35 lines 2201 bytes
head (1,2,2) body (1,2,1,2)
estimated blow-up 24.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 27.77sec 1.33sec 259 917 31619
htl 5.34sec 2.61sec 259 458 7052
str 7.52sec 2.66sec 259 484 6465

test15/test_15.20_5_0.1_2_2.1_2_1_3.108.3 nlp wc
35 lines 2958 bytes
head (1,2,2) body (1,2,1,3)
estimated blow-up 108.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 326.24sec 9.65sec 278 3326 159110
htl 7.18sec 3.83sec 278 532 8803
str 11.15sec 4.16sec 278 562 7731

test15/test_15.20_5_0.1_2_2.1_2_1_4.457.5 nlp wc
35 lines 3456 bytes
head (1,2,2) body (1,2,1,4)
estimated blow-up 457.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3655.23sec 56.28sec 108 11438 658035
htl 9.28sec 4.69sec 108 663 10964
str 15.53sec 5.53sec 108 693 9617

test15/test_15.20_5_0.1_2_2.1_2_2_1.2.0 nlp wc
35 lines 1127 bytes
head (1,2,2) body (1,2,2,1)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.15sec 0.02sec 175 150 2655
htl 3.02sec 0.20sec 175 274 3699
str 3.18sec 0.23sec 175 276 3390

test15/test_15.20_5_0.1_2_2.1_2_2_2.4.3 nlp wc
35 lines 1435 bytes
head (1,2,2) body (1,2,2,2)
estimated blow-up 4.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.84sec 0.21sec 208 268 5936
htl 3.96sec 0.75sec 208 351 4866
str 4.05sec 0.73sec 208 351 4405

test15/test_15.20_5_0.1_2_2.1_2_2_3.9.0 nlp wc
34 lines 1656 bytes
head (1,2,2) body (1,2,2,3)
estimated blow-up 9.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 10.14sec 0.23sec 199 515 13662
htl 4.97sec 0.92sec 199 422 5911
str 5.74sec 0.92sec 199 422 5397

test15/test_15.20_5_0.1_2_2.1_2_2_4.18.6 nlp wc
35 lines 1946 bytes
head (1,2,2) body (1,2,2,4)
estimated blow-up 18.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 29.89sec 0.95sec 359 964 31171
htl 5.44sec 2.29sec 359 463 6736
str 6.79sec 1.73sec 359 463 6045

test15/test_15.20_5_0.1_2_2.1_3_1_1.39.3 nlp wc
35 lines 2516 bytes
head (1,2,2) body (1,3,1,1)
estimated blow-up 39.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 58.99sec 1.27sec 267 1371 45414
htl 6.07sec 1.76sec 267 478 7801
str 8.91sec 1.93sec 267 506 6842

test15/test_15.20_5_0.1_2_2.1_3_1_2.1084.2 nlp wc
35 lines 3982 bytes
head (1,2,2) body (1,3,1,2)
estimated blow-up 1084.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 21209.48sec 98.36sec 166 27634 1479229
htl 10.41sec 5.52sec 166 695 12052
str 17.97sec 4.48sec 166 723 10165

test15/test_15.20_5_0.1_2_2.1_3_2_1.12.1 nlp wc
35 lines 1872 bytes
head (1,2,2) body (1,3,2,1)
estimated blow-up 12.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 10.34sec 0.85sec 910 532 12808
htl 4.64sec 0.92sec 910 399 6004
str 6.31sec 1.24sec 910 423 5527

test15/test_15.20_5_0.1_2_2.1_3_2_2.124.6 nlp wc
35 lines 2948 bytes
head (1,2,2) body (1,3,2,2)
estimated blow-up 124.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 566.95sec 13.02sec 625 4497 167464
htl 7.46sec 1.64sec 625 555 9180
str 11.97sec 2.04sec 625 585 8005

test15/test_15.20_5_0.1_2_2.1_3_2_3.1200.7 nlp wc
35 lines 3894 bytes
head (1,2,2) body (1,3,2,3)
estimated blow-up 1200.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 39838.62sec 177.47sec 555 37415 1815795
htl 10.34sec 3.16sec 555 714 12253
str 17.95sec 3.26sec 555 744 10362

test15/test_15.20_5_0.1_2_2.1_3_3_1.2.7 nlp wc
34 lines 1215 bytes
head (1,2,2) body (1,3,3,1)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.60sec 0.22sec 558 200 3501
htl 3.29sec 0.42sec 558 309 4173
str 3.19sec 0.42sec 558 309 3840

test15/test_15.20_5_0.1_2_2.1_3_3_2.8.1 nlp wc
35 lines 1667 bytes
head (1,2,2) body (1,3,3,2)
estimated blow-up 8.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 9.87sec 0.89sec 993 533 11869
htl 4.65sec 1.09sec 993 401 5631
str 5.06sec 1.13sec 993 401 5113

test15/test_15.20_5_0.1_2_2.1_3_3_3.24.6 nlp wc
35 lines 1975 bytes
head (1,2,2) body (1,3,3,3)
estimated blow-up 24.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 64.43sec 1.96sec 823 1484 39981
htl 5.78sec 1.24sec 823 479 6899
str 6.75sec 1.24sec 823 479 6220

test15/test_15.20_5_0.1_2_2.1_3_3_4.74.8 nlp wc
35 lines 2280 bytes
head (1,2,2) body (1,3,3,4)
estimated blow-up 74.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 469.53sec 10.83sec 481 4120 130781
htl 6.82sec 1.08sec 481 545 8054
str 8.73sec 0.93sec 481 545 7178

test15/test_15.20_5_0.1_2_2.2_2_2_1.1.4 nlp wc
34 lines 1098 bytes
head (1,2,2) body (2,2,2,1)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.70sec 0.08sec 62 103 2074
htl 2.88sec 0.59sec 62 225 3128
str 2.67sec 0.73sec 62 225 2858

test15/test_15.20_5_0.1_2_2.2_2_2_2.1.6 nlp wc
35 lines 1348 bytes
head (1,2,2) body (2,2,2,2)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.82sec 0.11sec 191 104 2593
htl 2.50sec 1.77sec 191 243 3537
str 3.34sec 1.91sec 191 243 3203

test15/test_15.20_5_0.1_2_2.2_2_2_3.1.8 nlp wc
34 lines 1627 bytes
head (1,2,2) body (2,2,2,3)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.00sec 0.00sec 24 103 3259
htl 2.52sec 1.42sec 24 231 3594
str 3.43sec 1.42sec 24 231 3173

test15/test_15.20_5_0.1_2_2.2_2_2_4.2.0 nlp wc
34 lines 1867 bytes
head (1,2,2) body (2,2,2,4)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.67sec 0.01sec 22 100 3725
htl 2.70sec 0.73sec 22 236 3824
str 3.74sec 0.63sec 22 238 3392

test15/test_15.20_5_0.1_2_2.2_3_2_1.11.5 nlp wc
35 lines 2028 bytes
head (1,2,2) body (2,3,2,1)
estimated blow-up 11.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 10.30sec 0.38sec 170 522 14425
htl 6.65sec 1.77sec 170 542 7975
str 8.50sec 2.13sec 170 566 7499

test15/test_15.20_5_0.1_2_2.2_3_2_2.114.4 nlp wc
35 lines 3484 bytes
head (1,2,2) body (2,3,2,2)
estimated blow-up 114.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 525.67sec 7.91sec 57 4283 194534
htl 13.78sec 5.53sec 57 881 13988
str 21.87sec 5.33sec 57 909 12453

test15/test_15.20_5_0.1_2_2.2_3_2_3.1077.6 nlp wc
34 lines 4777 bytes
head (1,2,2) body (2,3,2,3)
estimated blow-up 1077.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 50808.61sec 111.20sec 77 39654 2421273
htl 22.95sec 4.98sec 77 1167 19002
str 38.37sec 5.45sec 77 1197 16642

test15/test_15.20_5_0.1_2_2.2_3_3_1.2.7 nlp wc
35 lines 1540 bytes
head (1,2,2) body (2,3,3,1)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.91sec 0.53sec 927 214 4604
htl 5.96sec 1.88sec 927 477 6538
str 6.37sec 1.95sec 927 477 6061

test15/test_15.20_5_0.1_2_2.2_3_3_2.8.3 nlp wc
34 lines 2173 bytes
head (1,2,2) body (2,3,3,2)
estimated blow-up 8.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 11.36sec 0.20sec 30 556 16715
htl 9.92sec 2.22sec 30 711 10091
str 11.27sec 2.15sec 30 711 9397

test15/test_15.20_5_0.1_2_2.2_3_3_3.25.4 nlp wc
34 lines 2783 bytes
head (1,2,2) body (2,3,3,3)
estimated blow-up 25.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 74.00sec 1.37sec 220 1540 61278
htl 15.29sec 3.64sec 220 954 13893
str 20.06sec 3.44sec 220 954 12801

test15/test_15.20_5_0.1_2_2.2_3_3_4.77.1 nlp wc
35 lines 3568 bytes
head (1,2,2) body (2,3,3,4)
estimated blow-up 77.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 605.13sec 25.29sec 70 4579 225743
htl 23.24sec 7.81sec 70 1184 17591
str 31.12sec 7.53sec 70 1184 16068

test15/test_15.20_5_0.1_2_2.3_3_3_1.1.5 nlp wc
35 lines 1224 bytes
head (1,2,2) body (3,3,3,1)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.78sec 0.03sec 337 104 2437
htl 2.37sec 1.43sec 337 243 3470
str 2.94sec 1.62sec 337 243 3156

test15/test_15.20_5_0.1_2_2.3_3_3_2.1.8 nlp wc
35 lines 1597 bytes
head (1,2,2) body (3,3,3,2)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.00sec 0.01sec 77 101 3184
htl 2.93sec 0.92sec 77 234 3617
str 3.16sec 0.88sec 77 236 3258

test15/test_15.20_5_0.1_2_2.3_3_3_3.2.0 nlp wc
35 lines 1936 bytes
head (1,2,2) body (3,3,3,3)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.09sec 0.10sec 135 104 4033
htl 2.83sec 0.88sec 135 215 3637
str 3.33sec 0.87sec 135 217 3195

test15/test_15.20_5_0.1_2_2.3_3_3_4.2.2 nlp wc
34 lines 2275 bytes
head (1,2,2) body (3,3,3,4)
estimated blow-up 2.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.32sec 0.01sec 30 103 4587
htl 3.28sec 1.77sec 30 242 4170
str 3.55sec 1.78sec 30 242 3646

test15/test_15.20_5_0.1_3_1.1_1_1_1.1.3 nlp wc
55 lines 2397 bytes
head (1,3,1) body (1,1,1,1)
estimated blow-up 1.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.58sec 0.08sec 0 181 3553
htl 5.96sec 0.04sec 0 463 6869
str 8.04sec 0.01sec 0 465 5966

test15/test_15.20_5_0.1_3_1.1_1_1_2.1.5 nlp wc
55 lines 2736 bytes
head (1,3,1) body (1,1,1,2)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.11sec 0.07sec 4 196 4701
htl 6.32sec 0.09sec 4 499 7639
str 8.76sec 0.09sec 4 499 6592

test15/test_15.20_5_0.1_3_1.1_1_1_3.1.8 nlp wc
51 lines 2847 bytes
head (1,3,1) body (1,1,1,3)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.65sec 0.08sec 0 192 5195
htl 6.78sec 0.09sec 0 500 7728
str 9.07sec 0.01sec 0 500 6686

test15/test_15.20_5_0.1_3_1.1_1_1_4.2.0 nlp wc
55 lines 3046 bytes
head (1,3,1) body (1,1,1,4)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.11sec 0.09sec 9 199 5970
htl 6.78sec 0.04sec 9 504 7930
str 9.68sec 0.12sec 9 504 6810

test15/test_15.20_5_0.1_3_1.1_2_1_1.6.4 nlp wc
55 lines 3217 bytes
head (1,3,1) body (1,2,1,1)
estimated blow-up 6.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 12.61sec 0.09sec 0 588 15405
htl 9.32sec 0.09sec 0 623 9728
str 13.05sec 0.05sec 0 647 8749

test15/test_15.20_5_0.1_3_1.1_2_1_2.34.2 nlp wc
55 lines 3834 bytes
head (1,3,1) body (1,2,1,2)
estimated blow-up 34.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 123.78sec 0.19sec 0 2017 77804
htl 10.65sec 0.02sec 0 699 11334
str 17.60sec 0.09sec 0 729 10017

test15/test_15.20_5_0.1_3_1.1_2_1_3.162.4 nlp wc
55 lines 4681 bytes
head (1,3,1) body (1,2,1,3)
estimated blow-up 162.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1892.60sec 3.24sec 2 8237 411339
htl 13.87sec 0.18sec 2 811 13685
str 23.23sec 0.18sec 2 841 11767

test15/test_15.20_5_0.1_3_1.1_2_1_4.729.4 nlp wc
55 lines 5107 bytes
head (1,3,1) body (1,2,1,4)
estimated blow-up 729.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 25957.21sec 445.48sec 11 27678 1602354
htl 16.20sec 0.26sec 11 902 15275
str 29.05sec 0.40sec 11 932 13117

test15/test_15.20_5_0.1_3_1.1_2_2_1.2.3 nlp wc
53 lines 2775 bytes
head (1,3,1) body (1,2,2,1)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.29sec 0.04sec 0 311 6325
htl 6.98sec 0.09sec 0 539 8135
str 9.99sec 0.01sec 0 539 7061

test15/test_15.20_5_0.1_3_1.1_2_2_2.5.2 nlp wc
53 lines 2920 bytes
head (1,3,1) body (1,2,2,2)
estimated blow-up 5.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 11.20sec 0.09sec 0 559 13515
htl 8.63sec 0.07sec 0 602 9141
str 11.31sec 0.01sec 0 602 7991

test15/test_15.20_5_0.1_3_1.1_2_2_3.11.7 nlp wc
55 lines 3225 bytes
head (1,3,1) body (1,2,2,3)
estimated blow-up 11.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 36.47sec 0.16sec 1 1082 31045
htl 9.88sec 0.09sec 1 654 10034
str 13.12sec 0.07sec 1 654 8756

test15/test_15.20_5_0.1_3_1.1_2_2_4.25.8 nlp wc
55 lines 3544 bytes
head (1,3,1) body (1,2,2,4)
estimated blow-up 25.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 131.39sec 0.38sec 0 2116 74901
htl 10.98sec 0.05sec 0 697 10832
str 15.48sec 0.01sec 0 697 9400

test15/test_15.20_5_0.1_3_1.1_3_1_1.55.4 nlp wc
55 lines 3975 bytes
head (1,3,1) body (1,3,1,1)
estimated blow-up 55.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 182.98sec 0.92sec 3 2484 87815
htl 11.46sec 0.07sec 3 723 11892
str 18.79sec 0.07sec 3 747 10309

test15/test_15.20_5_0.1_3_1.1_3_1_2.1771.2 nlp wc
55 lines 5809 bytes
head (1,3,1) body (1,3,1,2)
estimated blow-up 1771.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 144192.97sec 39.05sec 4 64886 3507698
htl 18.39sec 0.21sec 4 965 16960
str 35.35sec 0.07sec 4 995 14114

test15/test_15.20_5_0.1_3_1.1_3_2_1.15.7 nlp wc
55 lines 3433 bytes
head (1,3,1) body (1,3,2,1)
estimated blow-up 15.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 40.62sec 0.03sec 0 1158 30888
htl 9.62sec 0.05sec 0 662 10542
str 14.02sec 0.09sec 0 682 9244

test15/test_15.20_5_0.1_3_1.1_3_2_2.187.1 nlp wc
55 lines 4379 bytes
head (1,3,1) body (1,3,2,2)
estimated blow-up 187.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2592.02sec 2.50sec 0 9566 370220
htl 13.23sec 0.02sec 0 806 13364
str 22.61sec 0.03sec 0 834 11564

test15/test_15.20_5_0.1_3_1.1_3_2_3.1963.9 nlp wc
55 lines 5408 bytes
head (1,3,1) body (1,3,2,3)
estimated blow-up 1963.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 226806.68sec 41.42sec 0 81873 4082186
htl 17.66sec 0.11sec 0 964 16582
str 32.34sec 0.11sec 0 994 13990

test15/test_15.20_5_0.1_3_1.1_3_3_1.3.2 nlp wc
53 lines 2807 bytes
head (1,3,1) body (1,3,3,1)
estimated blow-up 3.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 7.07sec 0.01sec 0 417 8351
htl 7.83sec 0.04sec 0 575 8713
str 10.39sec 0.08sec 0 575 7544

test15/test_15.20_5_0.1_3_1.1_3_3_2.10.6 nlp wc
55 lines 3294 bytes
head (1,3,1) body (1,3,3,2)
estimated blow-up 10.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 49.13sec 0.03sec 0 1284 32183
htl 9.76sec 0.01sec 0 668 10271
str 13.41sec 0.09sec 0 668 8962

test15/test_15.20_5_0.1_3_1.1_3_3_3.35.1 nlp wc
55 lines 3512 bytes
head (1,3,1) body (1,3,3,3)
estimated blow-up 35.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 335.12sec 0.45sec 0 3479 102543
htl 11.13sec 0.10sec 0 731 11359
str 16.00sec 0.02sec 0 731 9881

test15/test_15.20_5_0.1_3_1.1_3_3_4.113.3 nlp wc
53 lines 3828 bytes
head (1,3,1) body (1,3,3,4)
estimated blow-up 113.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2347.82sec 1.38sec 0 9157 315441
htl 12.76sec 0.09sec 0 804 12550
str 17.79sec 0.01sec 0 804 10932

test15/test_15.20_5_0.1_3_1.2_2_2_1.1.5 nlp wc
55 lines 2688 bytes
head (1,3,1) body (2,2,2,1)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.07sec 0.03sec 0 195 4459
htl 6.35sec 0.01sec 0 497 7523
str 8.83sec 0.08sec 0 497 6507

test15/test_15.20_5_0.1_3_1.2_2_2_2.2.0 nlp wc
53 lines 2937 bytes
head (1,3,1) body (2,2,2,2)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.99sec 0.04sec 6 195 5594
htl 6.51sec 0.05sec 6 503 7831
str 9.63sec 0.09sec 6 503 6743

test15/test_15.20_5_0.1_3_1.2_2_2_3.2.4 nlp wc
55 lines 3238 bytes
head (1,3,1) body (2,2,2,3)
estimated blow-up 2.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.35sec 0.08sec 2 196 6951
htl 6.77sec 0.02sec 2 502 7940
str 10.10sec 0.02sec 2 502 6835

test15/test_15.20_5_0.1_3_1.2_2_2_4.2.7 nlp wc
55 lines 3376 bytes
head (1,3,1) body (2,2,2,4)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.46sec 0.01sec 5 191 7948
htl 6.66sec 0.06sec 5 480 7837
str 9.63sec 0.09sec 5 480 6653

test15/test_15.20_5_0.1_3_1.2_3_2_1.16.3 nlp wc
53 lines 3798 bytes
head (1,3,1) body (2,3,2,1)
estimated blow-up 16.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 50.65sec 0.11sec 0 1272 40558
htl 13.77sec 0.09sec 0 835 13265
str 21.58sec 0.05sec 0 857 11744

test15/test_15.20_5_0.1_3_1.2_3_2_2.187.4 nlp wc
55 lines 5102 bytes
head (1,3,1) body (2,3,2,2)
estimated blow-up 187.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2794.57sec 2.12sec 1 10041 484927
htl 22.80sec 0.04sec 1 1129 18365
str 37.61sec 0.03sec 1 1159 16065

test15/test_15.20_5_0.1_3_1.2_3_2_3.1912.2 nlp wc
53 lines 6375 bytes
head (1,3,1) body (2,3,2,3)
estimated blow-up 1912.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 283573.35sec 56.70sec 2 91509 5859597
htl 34.84sec 0.18sec 2 1461 24118
str 60.09sec 0.13sec 2 1491 21014

test15/test_15.20_5_0.1_3_1.2_3_3_1.3.6 nlp wc
53 lines 3175 bytes
head (1,3,1) body (2,3,3,1)
estimated blow-up 3.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 8.52sec 0.09sec 0 470 11781
htl 11.85sec 0.10sec 0 759 11495
str 16.97sec 0.01sec 0 759 10123

test15/test_15.20_5_0.1_3_1.2_3_3_2.12.7 nlp wc
49 lines 3689 bytes
head (1,3,1) body (2,3,3,2)
estimated blow-up 12.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 43.72sec 0.07sec 0 1180 40555
htl 16.98sec 0.02sec 0 962 14585
str 24.02sec 0.02sec 0 962 12971

test15/test_15.20_5_0.1_3_1.2_3_3_3.41.9 nlp wc
55 lines 4512 bytes
head (1,3,1) body (2,3,3,3)
estimated blow-up 41.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 357.98sec 1.59sec 31 3511 152045
htl 24.89sec 0.41sec 31 1199 18336
str 35.47sec 0.44sec 31 1199 16452

test15/test_15.20_5_0.1_3_1.2_3_3_4.134.6 nlp wc
53 lines 4988 bytes
head (1,3,1) body (2,3,3,4)
estimated blow-up 134.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3089.54sec 5.66sec 11 10403 533802
htl 33.98sec 0.21sec 11 1406 21446
str 47.99sec 0.21sec 11 1406 19342

test15/test_15.20_5_0.1_3_1.3_3_3_1.1.8 nlp wc
53 lines 2884 bytes
head (1,3,1) body (3,3,3,1)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.82sec 0.00sec 0 198 5356
htl 7.10sec 0.07sec 0 522 8029
str 9.73sec 0.01sec 0 522 6958

test15/test_15.20_5_0.1_3_1.3_3_3_2.2.4 nlp wc
55 lines 3255 bytes
head (1,3,1) body (3,3,3,2)
estimated blow-up 2.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.74sec 0.10sec 20 203 7241
htl 7.34sec 0.17sec 20 527 8417
str 10.51sec 0.17sec 20 527 7239

test15/test_15.20_5_0.1_3_1.3_3_3_3.2.9 nlp wc
55 lines 3611 bytes
head (1,3,1) body (3,3,3,3)
estimated blow-up 2.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.07sec 0.01sec 13 202 9063
htl 7.45sec 0.11sec 13 516 8476
str 11.13sec 0.12sec 13 516 7241

test15/test_15.20_5_0.1_3_1.3_3_3_4.3.3 nlp wc
53 lines 3730 bytes
head (1,3,1) body (3,3,3,4)
estimated blow-up 3.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.01sec 0.09sec 3 188 9728
htl 6.67sec 0.07sec 3 485 8200
str 9.60sec 0.06sec 3 485 6942

test15/test_15.20_5_0.1_3_2.1_1_1_1.1.2 nlp wc
44 lines 2034 bytes
head (1,3,2) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.34sec 0.03sec 246 146 2988
htl 4.37sec 0.24sec 246 388 5707
str 5.46sec 0.39sec 246 388 4979

test15/test_15.20_5_0.1_3_2.1_1_1_2.1.4 nlp wc
44 lines 2158 bytes
head (1,3,2) body (1,1,1,2)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.56sec 0.05sec 88 145 3400
htl 4.48sec 0.17sec 88 380 5671
str 6.06sec 0.18sec 88 382 4964

test15/test_15.20_5_0.1_3_2.1_1_1_3.1.6 nlp wc
45 lines 2273 bytes
head (1,3,2) body (1,1,1,3)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.50sec 0.04sec 312 147 4005
htl 4.69sec 1.04sec 312 385 5878
str 6.40sec 1.05sec 312 387 5124

test15/test_15.20_5_0.1_3_2.1_1_1_4.1.8 nlp wc
43 lines 2294 bytes
head (1,3,2) body (1,1,1,4)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.24sec 0.09sec 75 146 4288
htl 4.33sec 0.63sec 75 381 5870
str 5.64sec 0.80sec 75 381 5081

test15/test_15.20_5_0.1_3_2.1_2_1_1.5.8 nlp wc
45 lines 2589 bytes
head (1,3,2) body (1,2,1,1)
estimated blow-up 5.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 7.79sec 0.51sec 323 420 11329
htl 6.38sec 0.53sec 323 502 7731
str 9.44sec 0.71sec 323 526 7035

test15/test_15.20_5_0.1_3_2.1_2_1_2.29.3 nlp wc
45 lines 3321 bytes
head (1,3,2) body (1,2,1,2)
estimated blow-up 29.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 68.26sec 1.50sec 166 1463 57114
htl 8.33sec 0.88sec 166 604 9816
str 13.39sec 1.19sec 166 634 8676

test15/test_15.20_5_0.1_3_2.1_2_1_3.135.2 nlp wc
45 lines 3956 bytes
head (1,3,2) body (1,2,1,3)
estimated blow-up 135.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 907.20sec 21.50sec 383 5605 283577
htl 10.67sec 3.97sec 383 699 11666
str 18.10sec 4.69sec 383 727 10095

test15/test_15.20_5_0.1_3_2.1_2_1_4.594.6 nlp wc
44 lines 4622 bytes
head (1,3,2) body (1,2,1,4)
estimated blow-up 594.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 16578.02sec 51.03sec 144 22708 1371999
htl 14.10sec 2.79sec 144 841 14217
str 24.83sec 2.50sec 144 871 12204

test15/test_15.20_5_0.1_3_2.1_2_2_1.2.1 nlp wc
45 lines 2147 bytes
head (1,3,2) body (1,2,2,1)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.27sec 0.01sec 15 222 4581
htl 6.02sec 0.05sec 15 436 6360
str 7.02sec 0.02sec 15 436 5598

test15/test_15.20_5_0.1_3_2.1_2_2_2.4.7 nlp wc
44 lines 2439 bytes
head (1,3,2) body (1,2,2,2)
estimated blow-up 4.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 7.62sec 0.11sec 77 424 10911
htl 6.26sec 0.05sec 77 487 7230
str 8.67sec 0.05sec 77 487 6365

test15/test_15.20_5_0.1_3_2.1_2_2_3.10.4 nlp wc
45 lines 2745 bytes
head (1,3,2) body (1,2,2,3)
estimated blow-up 10.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 18.50sec 0.64sec 452 740 23082
htl 7.15sec 1.08sec 452 556 8498
str 10.29sec 1.05sec 452 556 7423

test15/test_15.20_5_0.1_3_2.1_2_2_4.22.3 nlp wc
45 lines 2990 bytes
head (1,3,2) body (1,2,2,4)
estimated blow-up 22.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 72.75sec 1.43sec 316 1540 55563
htl 8.91sec 0.88sec 316 619 9492
str 12.30sec 0.92sec 316 619 8271

test15/test_15.20_5_0.1_3_2.1_3_1_1.47.1 nlp wc
45 lines 3505 bytes
head (1,3,2) body (1,3,1,1)
estimated blow-up 47.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 137.56sec 5.72sec 956 2127 77141
htl 9.27sec 1.95sec 956 634 10494
str 14.04sec 2.79sec 956 658 9081

test15/test_15.20_5_0.1_3_2.1_3_1_2.1431.3 nlp wc
45 lines 4993 bytes
head (1,3,2) body (1,3,1,2)
estimated blow-up 1431.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 46077.71sec 140.45sec 215 38656 2089225
htl 14.08sec 3.29sec 215 835 14683
str 26.16sec 3.13sec 215 865 12221

test15/test_15.20_5_0.1_3_2.1_3_2_1.13.8 nlp wc
45 lines 2827 bytes
head (1,3,2) body (1,3,2,1)
estimated blow-up 13.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 21.87sec 0.21sec 8 805 22227
htl 7.18sec 0.02sec 8 524 8333
str 10.42sec 0.10sec 8 554 7479

test15/test_15.20_5_0.1_3_2.1_3_2_2.156.1 nlp wc
45 lines 3884 bytes
head (1,3,2) body (1,3,2,2)
estimated blow-up 156.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1301.96sec 7.40sec 87 6849 270793
htl 10.52sec 0.36sec 87 692 11609
str 17.53sec 0.40sec 87 722 9997

test15/test_15.20_5_0.1_3_2.1_3_2_3.1590.6 nlp wc
45 lines 4898 bytes
head (1,3,2) body (1,3,2,3)
estimated blow-up 1590.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 110850.59sec 206.80sec 222 58614 3045757
htl 14.17sec 1.05sec 222 856 14768
str 26.54sec 1.12sec 222 886 12436

test15/test_15.20_5_0.1_3_2.1_3_3_1.3.0 nlp wc
44 lines 2254 bytes
head (1,3,2) body (1,3,3,1)
estimated blow-up 3.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.61sec 0.02sec 48 304 6374
htl 6.00sec 0.03sec 48 468 6875
str 7.74sec 0.03sec 48 468 6066

test15/test_15.20_5_0.1_3_2.1_3_3_2.9.5 nlp wc
45 lines 2628 bytes
head (1,3,2) body (1,3,3,2)
estimated blow-up 9.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 23.37sec 0.17sec 23 850 21845
htl 7.35sec 0.03sec 23 535 8037
str 9.33sec 0.10sec 23 535 7054

test15/test_15.20_5_0.1_3_2.1_3_3_3.30.5 nlp wc
45 lines 3042 bytes
head (1,3,2) body (1,3,3,3)
estimated blow-up 30.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 144.26sec 1.77sec 192 2234 70287
htl 8.74sec 0.51sec 192 619 9536
str 12.30sec 0.51sec 192 619 8300

test15/test_15.20_5_0.1_3_2.1_3_3_4.96.1 nlp wc
45 lines 3383 bytes
head (1,3,2) body (1,3,3,4)
estimated blow-up 96.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1219.36sec 6.00sec 142 6729 241612
htl 10.69sec 0.41sec 142 686 10693
str 14.81sec 0.40sec 142 686 9273

test15/test_15.20_5_0.1_3_2.2_2_2_1.1.4 nlp wc
45 lines 2088 bytes
head (1,3,2) body (2,2,2,1)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.45sec 0.05sec 395 147 3317
htl 4.94sec 0.48sec 395 380 5613
str 5.94sec 0.66sec 395 380 4897

test15/test_15.20_5_0.1_3_2.2_2_2_2.1.8 nlp wc
45 lines 2375 bytes
head (1,3,2) body (2,2,2,2)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.22sec 0.09sec 216 148 4388
htl 4.66sec 2.64sec 216 389 5997
str 6.25sec 3.11sec 216 389 5203

test15/test_15.20_5_0.1_3_2.2_2_2_3.2.1 nlp wc
45 lines 2686 bytes
head (1,3,2) body (2,2,2,3)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.69sec 0.09sec 69 149 5579
htl 5.22sec 1.05sec 69 390 6256
str 6.93sec 1.11sec 69 390 5342

test15/test_15.20_5_0.1_3_2.2_2_2_4.2.3 nlp wc
44 lines 2894 bytes
head (1,3,2) body (2,2,2,4)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.70sec 0.09sec 73 150 6350
htl 5.50sec 1.39sec 73 393 6423
str 7.28sec 1.59sec 73 393 5478

test15/test_15.20_5_0.1_3_2.2_3_2_1.14.0 nlp wc
45 lines 3247 bytes
head (1,3,2) body (2,3,2,1)
estimated blow-up 14.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 26.19sec 0.62sec 171 891 28822
htl 11.11sec 0.58sec 171 714 11157
str 16.12sec 0.58sec 171 744 10180

test15/test_15.20_5_0.1_3_2.2_3_2_2.152.2 nlp wc
44 lines 4395 bytes
head (1,3,2) body (2,3,2,2)
estimated blow-up 152.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1374.57sec 16.33sec 205 6973 339661
htl 18.48sec 3.97sec 205 1009 16214
str 29.67sec 3.65sec 205 1037 14363

test15/test_15.20_5_0.1_3_2.2_3_2_3.1510.1 nlp wc
45 lines 5639 bytes
head (1,3,2) body (2,3,2,3)
estimated blow-up 1510.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 91405.79sec 323.83sec 340 53917 3433086
htl 28.63sec 10.74sec 340 1291 21088
str 49.04sec 9.73sec 340 1321 18469

test15/test_15.20_5_0.1_3_2.2_3_3_1.3.2 nlp wc
45 lines 2521 bytes
head (1,3,2) body (2,3,3,1)
estimated blow-up 3.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.48sec 0.17sec 169 335 8195
htl 8.93sec 0.42sec 169 630 9223
str 11.85sec 0.42sec 169 630 8315

test15/test_15.20_5_0.1_3_2.2_3_3_2.10.7 nlp wc
44 lines 3213 bytes
head (1,3,2) body (2,3,3,2)
estimated blow-up 10.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 23.32sec 0.76sec 225 838 28834
htl 13.77sec 1.22sec 225 847 12712
str 18.47sec 1.28sec 225 847 11491

test15/test_15.20_5_0.1_3_2.2_3_3_3.34.4 nlp wc
45 lines 3826 bytes
head (1,3,2) body (2,3,3,3)
estimated blow-up 34.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 179.80sec 4.81sec 548 2438 106894
htl 20.94sec 4.98sec 548 1080 16248
str 28.25sec 4.97sec 548 1080 14722

test15/test_15.20_5_0.1_3_2.2_3_3_4.108.0 nlp wc
45 lines 4636 bytes
head (1,3,2) body (2,3,3,4)
estimated blow-up 108.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1686.16sec 25.39sec 580 7667 416180
htl 30.40sec 9.23sec 580 1337 20468
str 42.35sec 8.97sec 580 1337 18423

test15/test_15.20_5_0.1_3_2.3_3_3_1.1.6 nlp wc
44 lines 2247 bytes
head (1,3,2) body (3,3,3,1)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.43sec 0.07sec 193 147 3944
htl 4.88sec 0.86sec 193 382 5800
str 6.10sec 0.92sec 193 382 5030

test15/test_15.20_5_0.1_3_2.3_3_3_2.2.1 nlp wc
45 lines 2635 bytes
head (1,3,2) body (3,3,3,2)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.13sec 0.04sec 258 149 5419
htl 4.87sec 2.42sec 258 385 6158
str 6.70sec 2.43sec 258 385 5276

test15/test_15.20_5_0.1_3_2.3_3_3_3.2.5 nlp wc
42 lines 2850 bytes
head (1,3,2) body (3,3,3,3)
estimated blow-up 2.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.85sec 0.00sec 0 146 6344
htl 4.85sec 0.10sec 0 381 6280
str 6.78sec 0.08sec 0 381 5351

test15/test_15.20_5_0.1_3_2.3_3_3_4.2.7 nlp wc
45 lines 3202 bytes
head (1,3,2) body (3,3,3,4)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.19sec 0.01sec 24 145 7405
htl 4.90sec 0.77sec 24 376 6447
str 7.37sec 0.87sec 24 376 5479

test15/test_15.20_5_0.1_3_3.1_1_1_1.1.2 nlp wc
40 lines 1490 bytes
head (1,3,3) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.79sec 1.42sec 3602 115 2164
htl 3.30sec 3.64sec 3602 283 3846
str 3.99sec 3.71sec 3602 283 3591

test15/test_15.20_5_0.1_3_3.1_1_1_2.1.4 nlp wc
40 lines 1552 bytes
head (1,3,3) body (1,1,1,2)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.80sec 1.62sec 3745 123 2673
htl 3.30sec 4.69sec 3745 284 3957
str 3.70sec 4.78sec 3745 284 3670

test15/test_15.20_5_0.1_3_3.1_1_1_3.1.6 nlp wc
39 lines 1623 bytes
head (1,3,3) body (1,1,1,3)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.11sec 1.12sec 2123 125 3034
htl 3.21sec 4.01sec 2123 287 4076
str 4.12sec 4.18sec 2123 287 3775

test15/test_15.20_5_0.1_3_3.1_1_1_4.1.7 nlp wc
40 lines 1743 bytes
head (1,3,3) body (1,1,1,4)
estimated blow-up 1.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.67sec 0.18sec 620 120 3412
htl 3.29sec 1.99sec 620 275 4027
str 3.99sec 1.98sec 620 277 3712

test15/test_15.20_5_0.1_3_3.1_2_1_1.5.6 nlp wc
40 lines 2025 bytes
head (1,3,3) body (1,2,1,1)
estimated blow-up 5.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.81sec 4.30sec 5665 346 8702
htl 4.95sec 6.06sec 5665 393 5774
str 6.52sec 7.34sec 5665 417 5456

test15/test_15.20_5_0.1_3_3.1_2_1_2.27.5 nlp wc
37 lines 2651 bytes
head (1,3,3) body (1,2,1,2)
estimated blow-up 27.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 45.49sec 4.35sec 1530 1179 44029
htl 6.77sec 4.66sec 1530 503 7828
str 9.49sec 6.17sec 1530 533 7241

test15/test_15.20_5_0.1_3_3.1_2_1_3.123.9 nlp wc
40 lines 3362 bytes
head (1,3,3) body (1,2,1,3)
estimated blow-up 123.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 579.61sec 45.33sec 1645 4494 216635
htl 8.76sec 11.41sec 1645 603 9834
str 13.46sec 12.82sec 1645 633 8697

test15/test_15.20_5_0.1_3_3.1_2_1_4.535.5 nlp wc
40 lines 4180 bytes
head (1,3,3) body (1,2,1,4)
estimated blow-up 535.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 9958.11sec 164.32sec 883 18671 1122175
htl 11.52sec 16.54sec 883 732 12428
str 19.76sec 14.63sec 883 762 10628

test15/test_15.20_5_0.1_3_3.1_2_2_1.2.1 nlp wc
40 lines 1532 bytes
head (1,3,3) body (1,2,2,1)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.60sec 1.73sec 4134 185 3407
htl 4.42sec 3.11sec 4134 334 4542
str 4.63sec 3.37sec 4134 334 4191

test15/test_15.20_5_0.1_3_3.1_2_2_2.4.6 nlp wc
39 lines 1825 bytes
head (1,3,3) body (1,2,2,2)
estimated blow-up 4.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.56sec 4.29sec 5664 347 7994
htl 4.82sec 6.39sec 5664 393 5419
str 5.73sec 6.71sec 5664 393 4994

test15/test_15.20_5_0.1_3_3.1_2_2_3.9.8 nlp wc
40 lines 2103 bytes
head (1,3,3) body (1,2,2,3)
estimated blow-up 9.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 14.41sec 5.67sec 4985 644 17995
htl 5.91sec 7.03sec 4985 462 6572
str 7.32sec 7.28sec 4985 462 6013

test15/test_15.20_5_0.1_3_3.1_2_2_4.20.8 nlp wc
40 lines 2333 bytes
head (1,3,3) body (1,2,2,4)
estimated blow-up 20.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 42.97sec 8.89sec 4765 1176 38480
htl 6.69sec 8.10sec 4765 501 7271
str 8.14sec 8.28sec 4765 501 6576

test15/test_15.20_5_0.1_3_3.1_3_1_1.43.9 nlp wc
40 lines 2900 bytes
head (1,3,3) body (1,3,1,1)
estimated blow-up 43.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 92.81sec 12.58sec 5152 1734 58514
htl 7.28sec 9.55sec 5152 534 8611
str 10.86sec 12.13sec 5152 564 7695

test15/test_15.20_5_0.1_3_3.1_3_1_2.1280.0 nlp wc
39 lines 4397 bytes
head (1,3,3) body (1,3,1,2)
estimated blow-up 1280.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 45181.17sec 280.45sec 848 36218 1933386
htl 12.01sec 9.45sec 848 759 13200
str 21.52sec 10.45sec 848 789 11056

test15/test_15.20_5_0.1_3_3.1_3_2_1.13.1 nlp wc
40 lines 2352 bytes
head (1,3,3) body (1,3,2,1)
estimated blow-up 13.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 15.63sec 4.85sec 4275 668 17245
htl 5.40sec 4.87sec 4275 439 6743
str 7.88sec 6.54sec 4275 469 6231

test15/test_15.20_5_0.1_3_3.1_3_2_2.142.9 nlp wc
40 lines 3241 bytes
head (1,3,3) body (1,3,2,2)
estimated blow-up 142.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 889.75sec 136.67sec 6997 5687 212153
htl 8.45sec 11.21sec 6997 601 9708
str 13.62sec 14.07sec 6997 631 8675

test15/test_15.20_5_0.1_3_3.1_3_2_3.1420.6 nlp wc
40 lines 4247 bytes
head (1,3,3) body (1,3,2,3)
estimated blow-up 1420.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 67449.22sec 773.08sec -- 46137 2240122
htl 11.56sec 16.22sec 7690 751 12723
str 20.38sec 19.37sec 7690 781 10880

test15/test_15.20_5_0.1_3_3.1_3_3_1.2.8 nlp wc
40 lines 1665 bytes
head (1,3,3) body (1,3,3,1)
estimated blow-up 2.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.54sec 2.11sec 4474 243 4525
htl 4.44sec 3.68sec 4474 363 4989
str 4.86sec 4.02sec 4474 363 4598

test15/test_15.20_5_0.1_3_3.1_3_3_2.9.0 nlp wc
39 lines 2047 bytes
head (1,3,3) body (1,3,3,2)
estimated blow-up 9.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 14.74sec 3.98sec 3872 662 15445
htl 5.80sec 4.25sec 3872 435 6180
str 6.43sec 4.48sec 3872 435 5586

test15/test_15.20_5_0.1_3_3.1_3_3_3.28.1 nlp wc
40 lines 2410 bytes
head (1,3,3) body (1,3,3,3)
estimated blow-up 28.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 118.92sec 20.53sec 7241 2027 58176
htl 6.94sec 8.89sec 7241 521 7599
str 8.82sec 9.45sec 7241 521 6867

test15/test_15.20_5_0.1_3_3.1_3_3_4.87.1 nlp wc
39 lines 2670 bytes
head (1,3,3) body (1,3,3,4)
estimated blow-up 87.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 906.06sec 77.21sec 3964 5794 189237
htl 8.37sec 8.50sec 3964 598 8814
str 10.71sec 7.74sec 3964 598 7946

test15/test_15.20_5_0.1_3_3.2_2_2_1.1.4 nlp wc
39 lines 1460 bytes
head (1,3,3) body (2,2,2,1)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.83sec 0.73sec 1964 116 2422
htl 3.44sec 2.43sec 1964 270 3742
str 3.75sec 2.31sec 1964 270 3465

test15/test_15.20_5_0.1_3_3.2_2_2_2.1.7 nlp wc
40 lines 1728 bytes
head (1,3,3) body (2,2,2,2)
estimated blow-up 1.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.98sec 0.76sec 1405 123 3283
htl 3.50sec 4.33sec 1405 283 4104
str 3.97sec 4.22sec 1405 283 3783

test15/test_15.20_5_0.1_3_3.2_2_2_3.2.0 nlp wc
40 lines 2006 bytes
head (1,3,3) body (2,2,2,3)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.61sec 0.03sec 268 121 4019
htl 3.66sec 4.01sec 268 281 4276
str 3.88sec 3.99sec 268 281 3877

test15/test_15.20_5_0.1_3_3.2_2_2_4.2.2 nlp wc
37 lines 2204 bytes
head (1,3,3) body (2,2,2,4)
estimated blow-up 2.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.23sec 0.08sec 50 120 4651
htl 3.71sec 3.33sec 50 281 4420
str 4.27sec 3.32sec 50 281 3980

test15/test_15.20_5_0.1_3_3.2_3_2_1.13.0 nlp wc
39 lines 2583 bytes
head (1,3,3) body (2,3,2,1)
estimated blow-up 13.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 16.41sec 6.30sec 4507 691 21021
htl 8.21sec 9.43sec 4507 602 9067
str 12.03sec 10.80sec 4507 626 8407

test15/test_15.20_5_0.1_3_3.2_3_2_2.135.7 nlp wc
40 lines 3935 bytes
head (1,3,3) body (2,3,2,2)
estimated blow-up 135.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 845.82sec 26.20sec 717 5446 256662
htl 15.64sec 12.86sec 717 917 14569
str 25.28sec 14.28sec 717 947 13003

test15/test_15.20_5_0.1_3_3.2_3_2_3.1315.1 nlp wc
40 lines 5157 bytes
head (1,3,3) body (2,3,2,3)
estimated blow-up 1315.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 77187.26sec 808.24sec -- 49292 3009596
htl 26.29sec 21.49sec 100 1217 19624
str 43.26sec 16.44sec 100 1247 17409

test15/test_15.20_5_0.1_3_3.2_3_3_1.3.0 nlp wc
39 lines 1939 bytes
head (1,3,3) body (2,3,3,1)
estimated blow-up 3.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.94sec 1.84sec 2508 270 6191
htl 7.29sec 5.29sec 2508 532 7394
str 8.24sec 5.43sec 2508 532 6872

test15/test_15.20_5_0.1_3_3.2_3_3_2.9.7 nlp wc
39 lines 2635 bytes
head (1,3,3) body (2,3,3,2)
estimated blow-up 9.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 18.23sec 5.20sec 3319 710 23216
htl 11.91sec 11.59sec 3319 772 11181
str 15.45sec 11.59sec 3319 772 10231

test15/test_15.20_5_0.1_3_3.2_3_3_3.30.5 nlp wc
40 lines 3346 bytes
head (1,3,3) body (2,3,3,3)
estimated blow-up 30.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 119.72sec 12.81sec 3146 1902 80173
htl 17.38sec 18.42sec 3146 959 14171
str 23.48sec 19.56sec 3146 959 12954

test15/test_15.20_5_0.1_3_3.2_3_3_4.94.2 nlp wc
38 lines 3967 bytes
head (1,3,3) body (2,3,3,4)
estimated blow-up 94.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 998.04sec 5.15sec 86 5750 291322
htl 27.65sec 10.13sec 86 1225 18136
str 36.09sec 10.42sec 86 1225 16583

test15/test_15.20_5_0.1_3_3.3_3_3_1.1.6 nlp wc
39 lines 1666 bytes
head (1,3,3) body (3,3,3,1)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.60sec 0.70sec 1517 122 3092
htl 3.44sec 4.44sec 1517 274 3934
str 3.79sec 3.99sec 1517 274 3607

test15/test_15.20_5_0.1_3_3.3_3_3_2.2.0 nlp wc
40 lines 2003 bytes
head (1,3,3) body (3,3,3,2)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.01sec 0.11sec 695 123 4093
htl 3.21sec 5.15sec 695 282 4311
str 4.09sec 5.42sec 695 282 3911

test15/test_15.20_5_0.1_3_3.3_3_3_3.2.3 nlp wc
39 lines 2373 bytes
head (1,3,3) body (3,3,3,3)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.25sec 0.02sec 116 121 5024
htl 3.57sec 3.86sec 116 282 4546
str 4.48sec 4.10sec 116 282 4046

test15/test_15.20_5_0.1_3_3.3_3_3_4.2.5 nlp wc
39 lines 2669 bytes
head (1,3,3) body (3,3,3,4)
estimated blow-up 2.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.56sec 0.63sec 1925 124 5764
htl 3.61sec 4.58sec 1925 284 4782
str 4.60sec 4.86sec 1925 284 4226

test15/test_15.20_5_0.2_2_2.1_1_1_1.1.3 nlp wc
38 lines 961 bytes
head (2,2,2) body (1,1,1,1)
estimated blow-up 1.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.36sec 0.08sec 1 110 1783
htl 2.04sec 0.00sec 1 193 2637
str 2.12sec 0.00sec 1 195 2442

test15/test_15.20_5_0.2_2_2.1_1_1_2.1.6 nlp wc
40 lines 1134 bytes
head (2,2,2) body (1,1,1,2)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.06sec 0.02sec 1 124 2398
htl 2.35sec 0.01sec 1 203 2874
str 2.45sec 0.05sec 1 207 2675

test15/test_15.20_5_0.2_2_2.1_1_1_3.1.8 nlp wc
38 lines 1216 bytes
head (2,2,2) body (1,1,1,3)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.87sec 0.03sec 1 124 2789
htl 2.12sec 0.00sec 1 209 3065
str 2.70sec 0.01sec 1 209 2760

test15/test_15.20_5_0.2_2_2.1_1_1_4.2.0 nlp wc
40 lines 1249 bytes
head (2,2,2) body (1,1,1,4)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.74sec 0.06sec 1 122 2945
htl 2.07sec 0.02sec 1 190 2865
str 2.59sec 0.00sec 1 192 2589

test15/test_15.20_5_0.2_2_2.1_2_1_1.6.3 nlp wc
40 lines 1513 bytes
head (2,2,2) body (1,2,1,1)
estimated blow-up 6.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.99sec 0.01sec 1 326 7135
htl 3.43sec 0.00sec 1 314 4708
str 4.21sec 0.08sec 1 336 4295

test15/test_15.20_5_0.2_2_2.1_2_1_2.31.0 nlp wc
38 lines 2260 bytes
head (2,2,2) body (1,2,1,2)
estimated blow-up 31.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 51.54sec 0.19sec 0 1258 42845
htl 5.54sec 0.01sec 0 435 6902
str 7.77sec 0.01sec 0 463 6214

test15/test_15.20_5_0.2_2_2.1_2_1_3.137.9 nlp wc
40 lines 2946 bytes
head (2,2,2) body (1,2,1,3)
estimated blow-up 137.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 528.30sec 5.38sec 1 4174 191993
htl 6.47sec 0.02sec 1 517 8683
str 11.35sec 0.06sec 1 547 7453

test15/test_15.20_5_0.2_2_2.1_2_1_4.588.3 nlp wc
40 lines 3664 bytes
head (2,2,2) body (1,2,1,4)
estimated blow-up 588.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 10631.31sec 245.42sec 1 19250 1102518
htl 9.85sec 0.05sec 1 626 10669
str 16.28sec 0.02sec 1 656 9123

test15/test_15.20_5_0.2_2_2.1_2_2_1.2.2 nlp wc
40 lines 1118 bytes
head (2,2,2) body (1,2,2,1)
estimated blow-up 2.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.31sec 0.00sec 1 186 2985
htl 2.57sec 0.01sec 1 265 3658
str 2.62sec 0.00sec 1 265 3291

test15/test_15.20_5_0.2_2_2.1_2_2_2.5.0 nlp wc
40 lines 1420 bytes
head (2,2,2) body (1,2,2,2)
estimated blow-up 5.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.97sec 0.01sec 1 348 7108
htl 3.40sec 0.00sec 1 310 4408
str 3.94sec 0.00sec 1 310 3894

test15/test_15.20_5_0.2_2_2.1_2_2_3.10.7 nlp wc
40 lines 1581 bytes
head (2,2,2) body (1,2,2,3)
estimated blow-up 10.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 12.77sec 0.14sec 1 594 14609
htl 4.12sec 0.01sec 1 360 5150
str 4.78sec 0.04sec 1 360 4567

test15/test_15.20_5_0.2_2_2.1_2_2_4.22.8 nlp wc
40 lines 1864 bytes
head (2,2,2) body (1,2,2,4)
estimated blow-up 22.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 43.19sec 0.11sec 0 1168 33462
htl 4.92sec 0.01sec 0 427 6141
str 5.88sec 0.02sec 0 427 5527

test15/test_15.20_5_0.2_2_2.1_3_1_1.49.5 nlp wc
38 lines 2492 bytes
head (2,2,2) body (1,3,1,1)
estimated blow-up 49.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 94.11sec 0.26sec 0 1728 53559
htl 5.28sec 0.01sec 0 445 7418
str 8.34sec 0.01sec 0 471 6332

test15/test_15.20_5_0.2_2_2.1_3_1_2.1400.5 nlp wc
40 lines 3968 bytes
head (2,2,2) body (1,3,1,2)
estimated blow-up 1400.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 39669.13sec 47.86sec 2 34678 1761060
htl 11.23sec 0.04sec 2 678 11979
str 18.71sec 0.04sec 2 708 9881

test15/test_15.20_5_0.2_2_2.1_3_2_1.14.7 nlp wc
40 lines 1922 bytes
head (2,2,2) body (1,3,2,1)
estimated blow-up 14.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 17.58sec 0.03sec 1 694 15608
htl 3.81sec 0.02sec 1 358 5653
str 6.03sec 0.01sec 1 382 4980

test15/test_15.20_5_0.2_2_2.1_3_2_2.157.9 nlp wc
40 lines 2764 bytes
head (2,2,2) body (1,3,2,2)
estimated blow-up 157.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 795.65sec 2.59sec 1 5264 177611
htl 6.15sec 0.01sec 1 512 8322
str 9.77sec 0.06sec 1 540 7301

test15/test_15.20_5_0.2_2_2.1_3_2_3.1543.8 nlp wc
40 lines 3798 bytes
head (2,2,2) body (1,3,2,3)
estimated blow-up 1543.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 71706.10sec 83.56sec 2 47192 2155097
htl 10.12sec 0.01sec 2 673 11594
str 17.72sec 0.01sec 2 703 9751

test15/test_15.20_5_0.2_2_2.1_3_3_1.3.0 nlp wc
40 lines 1271 bytes
head (2,2,2) body (1,3,3,1)
estimated blow-up 3.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.12sec 0.00sec 1 246 3922
htl 3.34sec 0.00sec 1 287 4051
str 3.55sec 0.03sec 1 287 3591

test15/test_15.20_5_0.2_2_2.1_3_3_2.9.4 nlp wc
38 lines 1559 bytes
head (2,2,2) body (1,3,3,2)
estimated blow-up 9.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 16.13sec 0.06sec 1 684 13377
htl 3.83sec 0.02sec 1 365 5171
str 4.78sec 0.07sec 1 365 4616

test15/test_15.20_5_0.2_2_2.1_3_3_3.29.5 nlp wc
40 lines 1971 bytes
head (2,2,2) body (1,3,3,3)
estimated blow-up 29.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 114.64sec 0.50sec 1 1954 48686
htl 5.17sec 0.01sec 1 444 6464
str 6.36sec 0.04sec 1 444 5702

test15/test_15.20_5_0.2_2_2.1_3_3_4.91.4 nlp wc
40 lines 2282 bytes
head (2,2,2) body (1,3,3,4)
estimated blow-up 91.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 808.64sec 13.32sec 1 5338 160206
htl 6.07sec 0.01sec 1 507 7567
str 7.84sec 0.01sec 1 507 6648

test15/test_15.20_5_0.2_2_2.2_2_2_1.1.6 nlp wc
38 lines 1045 bytes
head (2,2,2) body (2,2,2,1)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.49sec 0.05sec 1 122 2306
htl 1.97sec 0.03sec 1 201 2838
str 2.32sec 0.00sec 1 201 2586

test15/test_15.20_5_0.2_2_2.2_2_2_2.2.0 nlp wc
40 lines 1378 bytes
head (2,2,2) body (2,2,2,2)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.55sec 0.02sec 0 128 3201
htl 2.03sec 0.01sec 0 202 3048
str 2.45sec 0.05sec 0 202 2718

test15/test_15.20_5_0.2_2_2.2_2_2_3.2.3 nlp wc
40 lines 1584 bytes
head (2,2,2) body (2,2,2,3)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.03sec 0.00sec 1 126 3823
htl 2.19sec 0.04sec 1 211 3356
str 2.70sec 0.01sec 1 211 2951

test15/test_15.20_5_0.2_2_2.2_2_2_4.2.5 nlp wc
40 lines 1859 bytes
head (2,2,2) body (2,2,2,4)
estimated blow-up 2.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.82sec 0.02sec 1 122 4414
htl 2.15sec 0.02sec 1 202 3423
str 2.93sec 0.01sec 1 202 2951

test15/test_15.20_5_0.2_2_2.2_3_2_1.14.2 nlp wc
40 lines 2159 bytes
head (2,2,2) body (2,3,2,1)
estimated blow-up 14.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 18.08sec 0.12sec 0 728 19537
htl 6.98sec 0.02sec 0 528 7919
str 9.59sec 0.01sec 0 552 7281

test15/test_15.20_5_0.2_2_2.2_3_2_2.146.1 nlp wc
40 lines 3358 bytes
head (2,2,2) body (2,3,2,2)
estimated blow-up 146.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 943.64sec 19.46sec 0 5624 240181
htl 13.24sec 0.05sec 0 816 12890
str 21.24sec 0.06sec 0 844 11494

test15/test_15.20_5_0.2_2_2.2_3_2_3.1394.6 nlp wc
40 lines 4748 bytes
head (2,2,2) body (2,3,2,3)
estimated blow-up 1394.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 82994.71sec 202.26sec 1 49944 2943999
htl 26.78sec 0.12sec 1 1157 18771
str 45.98sec 0.17sec 1 1187 16523

test15/test_15.20_5_0.2_2_2.2_3_3_1.3.2 nlp wc
40 lines 1518 bytes
head (2,2,2) body (2,3,3,1)
estimated blow-up 3.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.99sec 0.05sec 0 264 5392
htl 5.83sec 0.05sec 0 449 6234
str 6.60sec 0.08sec 0 449 5672

test15/test_15.20_5_0.2_2_2.2_3_3_2.10.2 nlp wc
40 lines 2244 bytes
head (2,2,2) body (2,3,3,2)
estimated blow-up 10.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 19.73sec 0.11sec 0 720 21057
htl 10.09sec 0.02sec 0 669 9673
str 13.20sec 0.02sec 0 669 8754

test15/test_15.20_5_0.2_2_2.2_3_3_3.31.8 nlp wc
40 lines 2740 bytes
head (2,2,2) body (2,3,3,3)
estimated blow-up 31.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 147.76sec 1.69sec 0 2056 73127
htl 17.78sec 0.08sec 0 888 12873
str 21.48sec 0.10sec 0 888 11901

test15/test_15.20_5_0.2_2_2.2_3_3_4.97.7 nlp wc
40 lines 3435 bytes
head (2,2,2) body (2,3,3,4)
estimated blow-up 97.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1023.42sec 46.19sec 1 5550 261199
htl 24.23sec 0.24sec 1 1084 16075
str 32.36sec 0.41sec 1 1084 14648

test15/test_15.20_5_0.2_2_2.3_3_3_1.1.8 nlp wc
38 lines 1125 bytes
head (2,2,2) body (3,3,3,1)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.95sec 0.00sec 1 112 2470
htl 2.77sec 0.02sec 1 188 2722
str 2.40sec 0.07sec 1 192 2514

test15/test_15.20_5_0.2_2_2.3_3_3_2.2.3 nlp wc
40 lines 1558 bytes
head (2,2,2) body (3,3,3,2)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.33sec 0.08sec 1 128 3780
htl 2.46sec 0.00sec 1 203 3246
str 3.07sec 0.01sec 1 203 2845

test15/test_15.20_5_0.2_2_2.3_3_3_3.2.6 nlp wc
40 lines 1955 bytes
head (2,2,2) body (3,3,3,3)
estimated blow-up 2.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.22sec 0.00sec 1 126 5087
htl 2.88sec 0.02sec 1 211 3690
str 3.38sec 0.02sec 1 211 3159

test15/test_15.20_5_0.2_2_2.3_3_3_4.2.8 nlp wc
40 lines 2297 bytes
head (2,2,2) body (3,3,3,4)
estimated blow-up 2.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.94sec 0.08sec 1 126 5599
htl 2.96sec 0.05sec 1 198 3630
str 3.55sec 0.13sec 1 198 3096

test15/test_15.20_5_0.2_3_2.1_1_1_1.2.6 nlp wc
44 lines 2224 bytes
head (2,3,2) body (1,1,1,1)
estimated blow-up 2.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.26sec 0.11sec 0 290 4854
htl 8.52sec 0.02sec 0 557 7852
str 10.36sec 0.11sec 0 557 7279

test15/test_15.20_5_0.2_3_2.1_1_1_2.3.1 nlp wc
45 lines 2320 bytes
head (2,3,2) body (1,1,1,2)
estimated blow-up 3.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.78sec 0.09sec 0 296 6355
htl 9.24sec 0.07sec 0 569 8136
str 10.33sec 0.07sec 0 569 7481

test15/test_15.20_5_0.2_3_2.1_1_1_3.3.5 nlp wc
42 lines 2402 bytes
head (2,3,2) body (1,1,1,3)
estimated blow-up 3.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.41sec 0.08sec 0 274 7078
htl 8.60sec 0.06sec 0 549 7976
str 10.71sec 0.01sec 0 549 7275

test15/test_15.20_5_0.2_3_2.1_1_1_4.3.9 nlp wc
45 lines 2626 bytes
head (2,3,2) body (1,1,1,4)
estimated blow-up 3.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.62sec 0.07sec 1 309 9103
htl 8.92sec 0.05sec 1 565 8319
str 11.66sec 0.08sec 1 565 7565

test15/test_15.20_5_0.2_3_2.1_2_1_1.12.4 nlp wc
44 lines 2873 bytes
head (2,3,2) body (1,2,1,1)
estimated blow-up 12.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 39.76sec 0.09sec 0 1032 25458
htl 12.29sec 0.05sec 0 695 10443
str 16.56sec 0.07sec 0 719 9669

test15/test_15.20_5_0.2_3_2.1_2_1_2.63.1 nlp wc
44 lines 3438 bytes
head (2,3,2) body (1,2,1,2)
estimated blow-up 63.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 336.21sec 1.02sec 3 3100 109306
htl 15.05sec 0.06sec 3 769 11855
str 20.99sec 0.05sec 3 797 10898

test15/test_15.20_5_0.2_3_2.1_2_1_3.293.7 nlp wc
45 lines 4205 bytes
head (2,3,2) body (1,2,1,3)
estimated blow-up 293.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6800.12sec 11.56sec 7 14168 667564
htl 16.29sec 0.27sec 7 907 14443
str 26.67sec 0.20sec 7 935 12946

test15/test_15.20_5_0.2_3_2.1_2_1_4.1304.1 nlp wc
44 lines 4935 bytes
head (2,3,2) body (1,2,1,4)
estimated blow-up 1304.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 73282.54sec 745.85sec 1 49164 2845468
htl 18.60sec 0.07sec 1 992 16390
str 32.15sec 0.13sec 1 1022 14392

test15/test_15.20_5_0.2_3_2.1_2_2_1.4.7 nlp wc
43 lines 2278 bytes
head (2,3,2) body (1,2,2,1)
estimated blow-up 4.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 7.83sec 0.01sec 0 456 8065
htl 8.20sec 0.01sec 0 596 8486
str 10.44sec 0.03sec 0 596 7788

test15/test_15.20_5_0.2_3_2.1_2_2_2.10.3 nlp wc
45 lines 2647 bytes
head (2,3,2) body (1,2,2,2)
estimated blow-up 10.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 31.74sec 0.07sec 0 996 21698
htl 11.01sec 0.03sec 0 691 9968
str 13.49sec 0.04sec 0 691 9116

test15/test_15.20_5_0.2_3_2.1_2_2_3.22.6 nlp wc
44 lines 2884 bytes
head (2,3,2) body (1,2,2,3)
estimated blow-up 22.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 94.75sec 0.23sec 0 1754 48127
htl 11.86sec 0.01sec 0 747 10988
str 16.72sec 0.05sec 0 747 9977

test15/test_15.20_5_0.2_3_2.1_2_2_4.48.7 nlp wc
45 lines 3138 bytes
head (2,3,2) body (1,2,2,4)
estimated blow-up 48.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 338.76sec 0.89sec 1 3360 106872
htl 12.92sec 0.02sec 1 780 11541
str 16.84sec 0.02sec 1 780 10501

test15/test_15.20_5_0.2_3_2.1_3_1_1.101.4 nlp wc
45 lines 3826 bytes
head (2,3,2) body (1,3,1,1)
estimated blow-up 101.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 768.67sec 1.46sec 1 5047 173378
htl 13.37sec 0.21sec 1 822 13261
str 21.89sec 0.03sec 1 852 11744

test15/test_15.20_5_0.1_1_1.1_1_1_1.1.2 nlp wc
30 lines 560 bytes
head (1,1,1) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.19sec 0.00sec 1 74 1172
htl 0.26sec 0.00sec 1 127 1726
str 0.26sec 0.00sec 1 129 1563

test15/test_15.20_5_0.1_1_1.1_1_1_2.1.3 nlp wc
30 lines 713 bytes
head (1,1,1) body (1,1,1,2)
estimated blow-up 1.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.21sec 0.00sec 1 74 1456
htl 0.27sec 0.00sec 1 114 1708
str 0.27sec 0.00sec 1 122 1578

test15/test_15.20_5_0.1_1_1.1_1_1_3.1.4 nlp wc
30 lines 811 bytes
head (1,1,1) body (1,1,1,3)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.22sec 0.00sec 1 76 1681
htl 0.28sec 0.00sec 1 122 1909
str 0.30sec 0.01sec 1 124 1655

test15/test_15.20_5_0.1_1_1.1_1_1_4.1.5 nlp wc
30 lines 880 bytes
head (1,1,1) body (1,1,1,4)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.22sec 0.00sec 1 74 1788
htl 0.28sec 0.00sec 1 126 2023
str 0.30sec 0.02sec 1 130 1777

test15/test_15.20_5_0.1_1_1.1_2_1_1.4.7 nlp wc
30 lines 1094 bytes
head (1,1,1) body (1,2,1,1)
estimated blow-up 4.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.47sec 0.01sec 1 194 4080
htl 0.45sec 0.00sec 1 224 3462
str 0.55sec 0.00sec 1 244 3127

test15/test_15.20_5_0.1_1_1.1_2_1_2.20.4 nlp wc
30 lines 1724 bytes
head (1,1,1) body (1,2,1,2)
estimated blow-up 20.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.16sec 0.07sec 0 634 20550
htl 0.78sec 0.01sec 0 353 5598
str 1.09sec 0.01sec 0 381 5053

test15/test_15.20_5_0.1_1_1.1_2_1_3.85.3 nlp wc
30 lines 2516 bytes
head (1,1,1) body (1,2,1,3)
estimated blow-up 85.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 50.39sec 0.91sec 0 2408 109564
htl 1.88sec 0.07sec 0 465 7888
str 2.93sec 0.13sec 0 495 6759

test15/test_15.20_5_0.1_1_1.1_2_1_4.350.0 nlp wc
30 lines 3248 bytes
head (1,1,1) body (1,2,1,4)
estimated blow-up 350.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 889.70sec 54.02sec 0 9512 548444
htl 2.59sec 0.27sec 0 564 9935
str 4.22sec 0.29sec 0 594 8239

test15/test_15.20_5_0.1_1_1.1_2_2_1.1.8 nlp wc
30 lines 692 bytes
head (1,1,1) body (1,2,2,1)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.46sec 0.00sec 1 112 1806
htl 0.57sec 0.00sec 1 187 2607
str 0.63sec 0.00sec 1 187 2265

test15/test_15.20_5_0.1_1_1.1_2_2_2.3.7 nlp wc
30 lines 982 bytes
head (1,1,1) body (1,2,2,2)
estimated blow-up 3.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.82sec 0.01sec 1 194 3901
htl 0.85sec 0.00sec 1 240 3432
str 0.80sec 0.00sec 1 240 2989

test15/test_15.20_5_0.1_1_1.1_2_2_3.7.4 nlp wc
30 lines 1200 bytes
head (1,1,1) body (1,2,2,3)
estimated blow-up 7.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.77sec 0.02sec 1 348 8346
htl 1.07sec 0.01sec 1 293 4220
str 1.15sec 0.01sec 1 293 3667

test15/test_15.20_5_0.1_1_1.1_2_2_4.15.0 nlp wc
30 lines 1471 bytes
head (1,1,1) body (1,2,2,4)
estimated blow-up 15.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.63sec 0.15sec 1 628 18547
htl 1.28sec 0.01sec 1 338 5021
str 1.54sec 0.01sec 1 338 4294

test15/test_15.20_5_0.1_1_1.1_3_1_1.32.0 nlp wc
30 lines 2055 bytes
head (1,1,1) body (1,3,1,1)
estimated blow-up 32.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 9.12sec 0.06sec 0 870 26529
htl 1.22sec 0.01sec 0 373 6370
str 2.10sec 0.01sec 0 399 5308

test15/test_15.20_5_0.1_1_1.1_3_1_2.821.0 nlp wc
30 lines 3662 bytes
head (1,1,1) body (1,3,1,2)
estimated blow-up 821.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3608.96sec 53.22sec 0 18958 949028
htl 2.72sec 0.06sec 0 604 11047
str 5.21sec 0.11sec 0 634 8866

test15/test_15.20_5_0.1_1_1.1_3_2_1.10.2 nlp wc
30 lines 1423 bytes
head (1,1,1) body (1,3,2,1)
estimated blow-up 10.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.66sec 0.01sec 1 348 7643
htl 0.95sec 0.00sec 1 284 4561
str 1.24sec 0.01sec 1 312 4032

test15/test_15.20_5_0.1_1_1.1_3_2_2.97.7 nlp wc
30 lines 2387 bytes
head (1,1,1) body (1,3,2,2)
estimated blow-up 97.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 88.85sec 1.50sec 0 3004 102838
htl 1.74sec 0.04sec 0 436 7371
str 2.72sec 0.01sec 0 466 6307

test15/test_15.20_5_0.1_1_1.1_3_2_3.905.0 nlp wc
30 lines 3409 bytes
head (1,1,1) body (1,3,2,3)
estimated blow-up 905.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6269.50sec 239.32sec 1 25150 1156954
htl 2.63sec 0.04sec 1 590 10448
str 4.67sec 0.05sec 1 620 8592

test15/test_15.20_5_0.1_1_1.1_3_3_1.2.3 nlp wc
30 lines 809 bytes
head (1,1,1) body (1,3,3,1)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.63sec 0.00sec 1 142 2286
htl 0.77sec 0.00sec 1 202 2897
str 0.72sec 0.00sec 1 202 2491

test15/test_15.20_5_0.1_1_1.1_3_3_2.6.5 nlp wc
30 lines 1192 bytes
head (1,1,1) body (1,3,3,2)
estimated blow-up 6.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.81sec 0.02sec 1 374 7576
htl 1.01sec 0.00sec 1 273 4034
str 1.21sec 0.00sec 1 273 3430

test15/test_15.20_5_0.1_1_1.1_3_3_3.19.1 nlp wc
30 lines 1520 bytes
head (1,1,1) body (1,3,3,3)
estimated blow-up 19.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 10.69sec 0.05sec 0 1030 25732
htl 1.23sec 0.03sec 0 375 5528
str 1.43sec 0.01sec 0 375 4752

test15/test_15.20_5_0.1_1_1.1_3_3_4.56.6 nlp wc
30 lines 1905 bytes
head (1,1,1) body (1,3,3,4)
estimated blow-up 56.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 78.96sec 1.77sec 1 2866 87367
htl 1.55sec 0.01sec 1 440 6695
str 1.96sec 0.01sec 1 440 5752

test15/test_15.20_5_0.1_1_1.2_2_2_1.1.3 nlp wc
30 lines 664 bytes
head (1,1,1) body (2,2,2,1)
estimated blow-up 1.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.39sec 0.00sec 0 74 1373
htl 0.41sec 0.00sec 0 126 1816
str 0.51sec 0.00sec 0 130 1650

test15/test_15.20_5_0.1_1_1.2_2_2_2.1.5 nlp wc
30 lines 931 bytes
head (1,1,1) body (2,2,2,2)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.48sec 0.00sec 1 80 1906
htl 0.59sec 0.00sec 1 138 2218
str 0.52sec 0.01sec 1 140 1916

test15/test_15.20_5_0.1_1_1.2_2_2_3.1.6 nlp wc
30 lines 1187 bytes
head (1,1,1) body (2,2,2,3)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.37sec 0.00sec 1 70 2095
htl 0.54sec 0.00sec 1 92 1739
str 0.60sec 0.00sec 1 104 1593

test15/test_15.20_5_0.1_1_1.2_2_2_4.1.6 nlp wc
30 lines 1388 bytes
head (1,1,1) body (2,2,2,4)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.55sec 0.00sec 1 72 2409
htl 0.55sec 0.00sec 1 118 2237
str 0.71sec 0.01sec 1 126 1957

test15/test_15.20_5_0.1_1_1.2_3_2_1.9.2 nlp wc
30 lines 1701 bytes
head (1,1,1) body (2,3,2,1)
estimated blow-up 9.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.33sec 0.02sec 2 402 10623
htl 1.67sec 0.02sec 2 480 7206
str 2.53sec 0.02sec 2 504 6608

test15/test_15.20_5_0.1_1_1.2_3_2_2.85.6 nlp wc
30 lines 3001 bytes
head (1,1,1) body (2,3,2,2)
estimated blow-up 85.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 102.49sec 4.30sec 0 3174 137706
htl 3.91sec 0.07sec 0 779 12436
str 5.70sec 0.06sec 0 809 10998

test15/test_15.20_5_0.1_1_1.2_3_2_3.782.3 nlp wc
30 lines 4205 bytes
head (1,1,1) body (2,3,2,3)
estimated blow-up 782.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6666.60sec 271.75sec -- 25476 1480269
htl 6.50sec 0.30sec 1 1061 17170
str 10.81sec 0.28sec 1 1091 15145

test15/test_15.20_5_0.1_1_1.2_3_3_1.2.2 nlp wc
30 lines 1075 bytes
head (1,1,1) body (2,3,3,1)
estimated blow-up 2.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.69sec 0.00sec 1 158 3082
htl 1.35sec 0.01sec 1 388 5311
str 1.39sec 0.02sec 1 388 4800

test15/test_15.20_5_0.1_1_1.2_3_3_2.6.3 nlp wc
30 lines 1810 bytes
head (1,1,1) body (2,3,3,2)
estimated blow-up 6.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.16sec 0.07sec 1 368 10916
htl 2.41sec 0.08sec 1 578 8356
str 2.90sec 0.07sec 1 578 7555

test15/test_15.20_5_0.1_1_1.2_3_3_3.18.6 nlp wc
30 lines 2472 bytes
head (1,1,1) body (2,3,3,3)
estimated blow-up 18.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 12.49sec 0.26sec 0 1064 41631
htl 4.40sec 0.14sec 0 848 12523
str 5.55sec 0.11sec 0 848 11348

test15/test_15.20_5_0.1_1_1.2_3_3_4.55.4 nlp wc
30 lines 3039 bytes
head (1,1,1) body (2,3,3,4)
estimated blow-up 55.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 88.19sec 1.66sec 1 2956 137534
htl 6.21sec 0.21sec 1 1029 15337
str 8.52sec 0.21sec 1 1029 13843

test15/test_15.20_5_0.1_1_1.3_3_3_1.1.4 nlp wc
30 lines 798 bytes
head (1,1,1) body (3,3,3,1)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.36sec 0.00sec 0 72 1578
htl 0.49sec 0.00sec 0 112 1743
str 0.50sec 0.01sec 0 118 1581

test15/test_15.20_5_0.1_1_1.3_3_3_2.1.6 nlp wc
30 lines 1132 bytes
head (1,1,1) body (3,3,3,2)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.43sec 0.00sec 1 72 2139
htl 0.46sec 0.00sec 1 112 2027
str 0.55sec 0.01sec 1 120 1801

test15/test_15.20_5_0.1_1_1.3_3_3_3.1.7 nlp wc
30 lines 1430 bytes
head (1,1,1) body (3,3,3,3)
estimated blow-up 1.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.45sec 0.00sec 1 78 2718
htl 0.57sec 0.00sec 1 118 2358
str 0.63sec 0.01sec 1 122 2003

test15/test_15.20_5_0.1_1_1.3_3_3_4.1.7 nlp wc
30 lines 1790 bytes
head (1,1,1) body (3,3,3,4)
estimated blow-up 1.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.52sec 0.00sec 1 72 3046
htl 0.58sec 0.00sec 1 118 2555
str 0.68sec 0.01sec 1 126 2176

test15/test_15.20_5_0.1_2_1.1_1_1_1.1.2 nlp wc
40 lines 1455 bytes
head (1,2,1) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.59sec 0.00sec 0 125 2296
htl 1.19sec 0.00sec 0 320 4541
str 1.32sec 0.00sec 0 320 3991

test15/test_15.20_5_0.1_2_1.1_1_1_2.1.5 nlp wc
40 lines 1529 bytes
head (1,2,1) body (1,1,1,2)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.57sec 0.01sec 10 130 2731
htl 1.09sec 0.02sec 10 318 4631
str 1.26sec 0.02sec 10 318 4054

test15/test_15.20_5_0.1_2_1.1_1_1_3.1.6 nlp wc
39 lines 1682 bytes
head (1,2,1) body (1,1,1,3)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.49sec 0.00sec 0 124 3140
htl 1.13sec 0.00sec 0 317 4733
str 1.35sec 0.00sec 0 321 4158

test15/test_15.20_5_0.1_2_1.1_1_1_4.1.8 nlp wc
40 lines 1737 bytes
head (1,2,1) body (1,1,1,4)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.57sec 0.00sec 5 127 3385
htl 1.12sec 0.02sec 5 301 4544
str 1.43sec 0.03sec 5 303 3969

test15/test_15.20_5_0.1_2_1.1_2_1_1.5.8 nlp wc
40 lines 1990 bytes
head (1,2,1) body (1,2,1,1)
estimated blow-up 5.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.78sec 0.01sec 0 350 8665
htl 1.82sec 0.01sec 0 435 6521
str 2.32sec 0.01sec 0 457 5958

test15/test_15.20_5_0.1_2_1.1_2_1_2.28.5 nlp wc
40 lines 2726 bytes
head (1,2,1) body (1,2,1,2)
estimated blow-up 28.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 15.64sec 0.06sec 0 1178 44443
htl 2.29sec 0.01sec 0 519 8395
str 3.51sec 0.01sec 0 547 7432

test15/test_15.20_5_0.1_2_1.1_2_1_3.128.0 nlp wc
39 lines 3350 bytes
head (1,2,1) body (1,2,1,3)
estimated blow-up 128.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 240.16sec 0.41sec 0 4913 234937
htl 2.91sec 0.01sec 0 623 10341
str 4.44sec 0.01sec 0 651 8960

test15/test_15.20_5_0.1_2_1.1_2_1_4.551.4 nlp wc
39 lines 4076 bytes
head (1,2,1) body (1,2,1,4)
estimated blow-up 551.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3181.22sec 51.15sec 0 18479 1083919
htl 3.86sec 0.01sec 0 727 12440
str 6.36sec 0.01sec 0 757 10557

test15/test_15.20_5_0.1_2_1.1_2_2_1.2.1 nlp wc
39 lines 1512 bytes
head (1,2,1) body (1,2,2,1)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.76sec 0.00sec 0 196 3692
htl 1.18sec 0.00sec 0 362 5155
str 1.50sec 0.01sec 0 362 4507

test15/test_15.20_5_0.1_2_1.1_2_2_2.4.7 nlp wc
40 lines 1776 bytes
head (1,2,1) body (1,2,2,2)
estimated blow-up 4.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.83sec 0.01sec 0 350 7929
htl 1.51sec 0.01sec 0 413 5884
str 1.79sec 0.01sec 0 413 5245

test15/test_15.20_5_0.1_2_1.1_2_2_3.10.1 nlp wc
40 lines 2001 bytes
head (1,2,1) body (1,2,2,3)
estimated blow-up 10.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.60sec 0.08sec 0 644 17308
htl 1.79sec 0.01sec 0 461 6726
str 2.25sec 0.01sec 0 461 5978

test15/test_15.20_5_0.1_2_1.1_2_2_4.21.4 nlp wc
40 lines 2301 bytes
head (1,2,1) body (1,2,2,4)
estimated blow-up 21.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 15.17sec 0.36sec 2 1197 38489
htl 2.01sec 0.02sec 2 489 7279
str 2.75sec 0.02sec 2 489 6441

test15/test_15.20_5_0.1_2_1.1_3_1_1.45.5 nlp wc
38 lines 2732 bytes
head (1,2,1) body (1,3,1,1)
estimated blow-up 45.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 28.84sec 0.05sec 0 1665 56258
htl 2.35sec 0.01sec 0 543 8807
str 3.45sec 0.01sec 0 565 7579

test15/test_15.20_5_0.1_2_1.1_3_1_2.1316.6 nlp wc
39 lines 4385 bytes
head (1,2,1) body (1,3,1,2)
estimated blow-up 1316.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 12748.35sec 2.59sec 0 34322 1808351
htl 4.02sec 0.01sec 0 784 13769
str 7.14sec 0.01sec 0 812 11399

test15/test_15.20_5_0.1_2_1.1_3_2_1.13.6 nlp wc
38 lines 2295 bytes
head (1,2,1) body (1,3,2,1)
estimated blow-up 13.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.26sec 0.03sec 0 677 17617
htl 1.93sec 0.01sec 0 472 7347
str 2.60sec 0.01sec 0 502 6698

test15/test_15.20_5_0.1_2_1.1_3_2_2.147.3 nlp wc
40 lines 3227 bytes
head (1,2,1) body (1,3,2,2)
estimated blow-up 147.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 318.82sec 0.55sec 1 5871 220114
htl 2.83sec 0.02sec 1 614 10160
str 4.58sec 0.02sec 1 642 8797

test15/test_15.20_5_0.1_2_1.1_3_2_3.1458.0 nlp wc
40 lines 4379 bytes
head (1,2,1) body (1,3,2,3)
estimated blow-up 1458.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 26629.49sec 24.24sec 3 50255 2461121
htl 5.54sec 0.06sec 3 803 13895
str 10.27sec 0.03sec 3 833 11632

test15/test_15.20_5_0.1_2_1.1_3_3_1.2.9 nlp wc
40 lines 1646 bytes
head (1,2,1) body (1,3,3,1)
estimated blow-up 2.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.53sec 0.00sec 0 256 4861
htl 1.90sec 0.01sec 0 375 5433
str 2.17sec 0.00sec 0 375 4718

test15/test_15.20_5_0.1_2_1.1_3_3_2.9.1 nlp wc
40 lines 2060 bytes
head (1,2,1) body (1,3,3,2)
estimated blow-up 9.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 7.57sec 0.02sec 0 720 16989
htl 2.48sec 0.01sec 0 470 6894
str 3.02sec 0.01sec 0 470 6081

test15/test_15.20_5_0.1_2_1.1_3_3_3.28.5 nlp wc
38 lines 2364 bytes
head (1,2,1) body (1,3,3,3)
estimated blow-up 28.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 47.50sec 1.49sec 0 1892 53738
htl 2.90sec 0.01sec 0 548 8161
str 4.13sec 0.01sec 0 548 7206

test15/test_15.20_5_0.1_2_1.1_3_3_4.88.4 nlp wc
39 lines 2725 bytes
head (1,2,1) body (1,3,3,4)
estimated blow-up 88.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 427.09sec 0.43sec 0 5835 195189
htl 3.79sec 0.01sec 0 615 9400
str 4.75sec 0.01sec 0 615 8227

test15/test_15.20_5_0.1_2_1.2_2_2_1.1.5 nlp wc
39 lines 1530 bytes
head (1,2,1) body (2,2,2,1)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.81sec 0.00sec 0 126 2770
htl 1.57sec 0.00sec 0 305 4435
str 1.64sec 0.00sec 0 307 3894

test15/test_15.20_5_0.1_2_1.2_2_2_2.1.8 nlp wc
39 lines 1664 bytes
head (1,2,1) body (2,2,2,2)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.74sec 0.00sec 0 123 3209
htl 1.46sec 0.00sec 0 293 4433
str 1.65sec 0.00sec 0 293 3836

test15/test_15.20_5_0.1_2_1.2_2_2_3.2.1 nlp wc
40 lines 2121 bytes
head (1,2,1) body (2,2,2,3)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.91sec 0.01sec 15 131 4369
htl 1.64sec 0.14sec 15 336 5281
str 2.22sec 0.07sec 15 336 4520

test15/test_15.20_5_0.1_2_1.2_2_2_4.2.3 nlp wc
40 lines 2315 bytes
head (1,2,1) body (2,2,2,4)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.90sec 0.01sec 15 128 5042
htl 1.52sec 0.04sec 15 302 5005
str 2.08sec 0.04sec 15 304 4261

test15/test_15.20_5_0.1_2_1.2_3_2_1.13.3 nlp wc
39 lines 2531 bytes
head (1,2,1) body (2,3,2,1)
estimated blow-up 13.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 8.39sec 0.09sec 0 727 21287
htl 3.69sec 0.01sec 0 624 9550
str 5.30sec 0.01sec 0 652 8755

test15/test_15.20_5_0.1_2_1.2_3_2_2.138.9 nlp wc
39 lines 3762 bytes
head (1,2,1) body (2,3,2,2)
estimated blow-up 138.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 456.59sec 0.83sec 0 5899 267969
htl 7.53sec 0.02sec 0 954 15157
str 11.37sec 0.02sec 0 982 13505

test15/test_15.20_5_0.1_2_1.2_3_2_3.1339.8 nlp wc
40 lines 5159 bytes
head (1,2,1) body (2,3,2,3)
estimated blow-up 1339.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 39235.70sec 36.68sec 5 53186 3336823
htl 12.81sec 0.84sec 5 1283 20879
str 21.63sec 0.55sec 5 1313 18249

test15/test_15.20_5_0.1_2_1.2_3_3_1.3.1 nlp wc
40 lines 1943 bytes
head (1,2,1) body (2,3,3,1)
estimated blow-up 3.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.89sec 0.01sec 1 284 6395
htl 3.17sec 0.01sec 1 571 8160
str 3.89sec 0.01sec 1 571 7406

test15/test_15.20_5_0.1_2_1.2_3_3_2.9.9 nlp wc
40 lines 2691 bytes
head (1,2,1) body (2,3,3,2)
estimated blow-up 9.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 9.09sec 0.04sec 2 761 25034
htl 5.73sec 0.04sec 2 821 12150
str 7.71sec 0.04sec 2 821 10931

test15/test_15.20_5_0.1_2_1.2_3_3_3.30.9 nlp wc
40 lines 3230 bytes
head (1,2,1) body (2,3,3,3)
estimated blow-up 30.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 51.61sec 0.28sec 1 1924 80034
htl 7.74sec 0.16sec 1 997 14951
str 10.29sec 0.15sec 1 997 13499

test15/test_15.20_5_0.1_2_1.2_3_3_4.95.3 nlp wc
40 lines 3943 bytes
head (1,2,1) body (2,3,3,4)
estimated blow-up 95.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 486.58sec 9.36sec 4 6122 305256
htl 11.58sec 0.31sec 4 1245 18651
str 15.99sec 0.29sec 4 1245 17056

test15/test_15.20_5_0.1_2_1.3_3_3_1.1.6 nlp wc
39 lines 1701 bytes
head (1,2,1) body (3,3,3,1)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.73sec 0.00sec 0 128 3289
htl 1.62sec 0.00sec 0 327 4892
str 2.05sec 0.00sec 0 329 4273

test15/test_15.20_5_0.1_2_1.3_3_3_2.2.1 nlp wc
39 lines 2010 bytes
head (1,2,1) body (3,3,3,2)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.93sec 0.00sec 0 127 4229
htl 1.62sec 0.00sec 0 320 5067
str 1.99sec 0.00sec 0 320 4334

test15/test_15.20_5_0.1_2_1.3_3_3_3.2.4 nlp wc
40 lines 2447 bytes
head (1,2,1) body (3,3,3,3)
estimated blow-up 2.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.12sec 0.01sec 12 130 5518
htl 1.62sec 0.16sec 12 318 5340
str 2.41sec 0.16sec 12 318 4473

test15/test_15.20_5_0.1_2_1.3_3_3_4.2.6 nlp wc
40 lines 2714 bytes
head (1,2,1) body (3,3,3,4)
estimated blow-up 2.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.10sec 0.01sec 16 130 6283
htl 1.62sec 0.15sec 16 307 5385
str 2.26sec 0.14sec 16 307 4519

test15/test_15.20_5_0.1_2_2.1_1_1_1.1.2 nlp wc
34 lines 986 bytes
head (1,2,2) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.63sec 0.03sec 291 99 1694
htl 1.16sec 0.15sec 291 237 3150
str 1.11sec 0.15sec 291 237 2920

test15/test_15.20_5_0.1_2_2.1_1_1_2.1.4 nlp wc
35 lines 1150 bytes
head (1,2,2) body (1,1,1,2)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.69sec 0.05sec 343 103 2080
htl 1.12sec 0.74sec 343 239 3296
str 1.29sec 0.65sec 343 239 3032

test15/test_15.20_5_0.1_2_2.1_1_1_3.1.5 nlp wc
35 lines 1253 bytes
head (1,2,2) body (1,1,1,3)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.77sec 0.01sec 82 100 2376
htl 1.02sec 0.44sec 82 236 3364
str 1.30sec 0.40sec 82 238 3083

test15/test_15.20_5_0.1_2_2.1_1_1_4.1.6 nlp wc
35 lines 1238 bytes
head (1,2,2) body (1,1,1,4)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.67sec 0.01sec 50 97 2464
htl 1.04sec 0.78sec 50 221 3279
str 1.23sec 0.84sec 50 221 2926

test15/test_15.20_5_0.1_2_2.1_2_1_1.5.3 nlp wc
35 lines 1635 bytes
head (1,2,2) body (1,2,1,1)
estimated blow-up 5.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.78sec 0.19sec 560 270 6446
htl 1.65sec 0.72sec 560 337 4954
str 2.20sec 0.71sec 560 359 4637

test15/test_15.20_5_0.1_2_2.1_2_1_2.24.8 nlp wc
35 lines 2201 bytes
head (1,2,2) body (1,2,1,2)
estimated blow-up 24.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 13.13sec 0.69sec 259 917 31619
htl 2.45sec 1.25sec 259 458 7052
str 3.52sec 1.28sec 259 484 6465

test15/test_15.20_5_0.1_2_2.1_2_1_3.108.3 nlp wc
35 lines 2958 bytes
head (1,2,2) body (1,2,1,3)
estimated blow-up 108.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 150.46sec 4.61sec 278 3326 159110
htl 3.16sec 1.78sec 278 532 8803
str 5.28sec 2.04sec 278 562 7731

test15/test_15.20_5_0.1_2_2.1_2_1_4.457.5 nlp wc
35 lines 3456 bytes
head (1,2,2) body (1,2,1,4)
estimated blow-up 457.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1701.38sec 26.50sec 108 11438 658035
htl 4.20sec 2.34sec 108 663 10964
str 7.14sec 2.56sec 108 693 9617

test15/test_15.20_5_0.1_2_2.1_2_2_1.2.0 nlp wc
35 lines 1127 bytes
head (1,2,2) body (1,2,2,1)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.89sec 0.02sec 175 150 2655
htl 1.19sec 0.05sec 175 274 3699
str 1.41sec 0.14sec 175 276 3390

test15/test_15.20_5_0.1_2_2.1_2_2_2.4.3 nlp wc
35 lines 1435 bytes
head (1,2,2) body (1,2,2,2)
estimated blow-up 4.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.49sec 0.06sec 208 268 5936
htl 1.74sec 0.35sec 208 351 4866
str 1.88sec 0.34sec 208 351 4405

test15/test_15.20_5_0.1_2_2.1_2_2_3.9.0 nlp wc
34 lines 1656 bytes
head (1,2,2) body (1,2,2,3)
estimated blow-up 9.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.66sec 0.17sec 199 515 13662
htl 1.98sec 0.45sec 199 422 5911
str 2.27sec 0.44sec 199 422 5397

test15/test_15.20_5_0.1_2_2.1_2_2_4.18.6 nlp wc
35 lines 1946 bytes
head (1,2,2) body (1,2,2,4)
estimated blow-up 18.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 13.76sec 0.59sec 359 964 31171
htl 2.39sec 1.05sec 359 463 6736
str 3.15sec 0.90sec 359 463 6045

test15/test_15.20_5_0.1_2_2.1_3_1_1.39.3 nlp wc
35 lines 2516 bytes
head (1,2,2) body (1,3,1,1)
estimated blow-up 39.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 27.02sec 0.66sec 267 1371 45414
htl 2.74sec 0.89sec 267 478 7801
str 3.95sec 0.91sec 267 506 6842

test15/test_15.20_5_0.1_2_2.1_3_1_2.1084.2 nlp wc
35 lines 3982 bytes
head (1,2,2) body (1,3,1,2)
estimated blow-up 1084.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 9794.80sec 46.47sec 166 27634 1479229
htl 4.76sec 2.55sec 166 695 12052
str 8.49sec 2.33sec 166 723 10165

test15/test_15.20_5_0.1_2_2.1_3_2_1.12.1 nlp wc
35 lines 1872 bytes
head (1,2,2) body (1,3,2,1)
estimated blow-up 12.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.59sec 0.47sec 910 532 12808
htl 1.94sec 0.46sec 910 399 6004
str 2.77sec 0.62sec 910 423 5527

test15/test_15.20_5_0.1_2_2.1_3_2_2.124.6 nlp wc
35 lines 2948 bytes
head (1,2,2) body (1,3,2,2)
estimated blow-up 124.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 262.13sec 6.08sec 625 4497 167464
htl 3.29sec 0.87sec 625 555 9180
str 5.57sec 1.03sec 625 585 8005

test15/test_15.20_5_0.1_2_2.1_3_2_3.1200.7 nlp wc
35 lines 3894 bytes
head (1,2,2) body (1,3,2,3)
estimated blow-up 1200.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 18215.29sec 83.25sec 555 37415 1815795
htl 4.83sec 1.60sec 555 714 12253
str 8.08sec 1.60sec 555 744 10362

test15/test_15.20_5_0.1_2_2.1_3_3_1.2.7 nlp wc
34 lines 1215 bytes
head (1,2,2) body (1,3,3,1)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.18sec 0.06sec 558 200 3501
htl 1.44sec 0.25sec 558 309 4173
str 1.49sec 0.19sec 558 309 3840

test15/test_15.20_5_0.1_2_2.1_3_3_2.8.1 nlp wc
35 lines 1667 bytes
head (1,2,2) body (1,3,3,2)
estimated blow-up 8.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.60sec 0.36sec 993 533 11869
htl 2.16sec 0.58sec 993 401 5631
str 2.21sec 0.52sec 993 401 5113

test15/test_15.20_5_0.1_2_2.1_3_3_3.24.6 nlp wc
35 lines 1975 bytes
head (1,2,2) body (1,3,3,3)
estimated blow-up 24.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 30.03sec 1.03sec 823 1484 39981
htl 2.52sec 0.55sec 823 479 6899
str 2.94sec 0.59sec 823 479 6220

test15/test_15.20_5_0.1_2_2.1_3_3_4.74.8 nlp wc
35 lines 2280 bytes
head (1,2,2) body (1,3,3,4)
estimated blow-up 74.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 216.04sec 5.15sec 481 4120 130781
htl 3.35sec 0.49sec 481 545 8054
str 3.84sec 0.48sec 481 545 7178

test15/test_15.20_5_0.1_2_2.2_2_2_1.1.4 nlp wc
34 lines 1098 bytes
head (1,2,2) body (2,2,2,1)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.67sec 0.01sec 62 103 2074
htl 1.04sec 0.35sec 62 225 3128
str 1.11sec 0.30sec 62 225 2858

test15/test_15.20_5_0.1_2_2.2_2_2_2.1.6 nlp wc
35 lines 1348 bytes
head (1,2,2) body (2,2,2,2)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.59sec 0.08sec 191 104 2593
htl 1.09sec 0.78sec 191 243 3537
str 1.39sec 0.78sec 191 243 3203

test15/test_15.20_5_0.1_2_2.2_2_2_3.1.8 nlp wc
34 lines 1627 bytes
head (1,2,2) body (2,2,2,3)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.83sec 0.00sec 24 103 3259
htl 1.19sec 0.60sec 24 231 3594
str 1.35sec 0.72sec 24 231 3173

test15/test_15.20_5_0.1_2_2.2_2_2_4.2.0 nlp wc
34 lines 1867 bytes
head (1,2,2) body (2,2,2,4)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.90sec 0.01sec 22 100 3725
htl 1.16sec 0.36sec 22 236 3824
str 1.46sec 0.28sec 22 238 3392

test15/test_15.20_5_0.1_2_2.2_3_2_1.11.5 nlp wc
35 lines 2028 bytes
head (1,2,2) body (2,3,2,1)
estimated blow-up 11.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.73sec 0.16sec 170 522 14425
htl 3.06sec 0.79sec 170 542 7975
str 4.03sec 1.00sec 170 566 7499

test15/test_15.20_5_0.1_2_2.2_3_2_2.114.4 nlp wc
35 lines 3484 bytes
head (1,2,2) body (2,3,2,2)
estimated blow-up 114.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 245.41sec 3.56sec 57 4283 194534
htl 6.69sec 2.77sec 57 881 13988
str 9.52sec 2.47sec 57 909 12453

test15/test_15.20_5_0.1_2_2.2_3_2_3.1077.6 nlp wc
34 lines 4777 bytes
head (1,2,2) body (2,3,2,3)
estimated blow-up 1077.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 23193.99sec 51.68sec 77 39654 2421273
htl 10.48sec 2.33sec 77 1167 19002
str 17.20sec 2.63sec 77 1197 16642

test15/test_15.20_5_0.1_2_2.2_3_3_1.2.7 nlp wc
35 lines 1540 bytes
head (1,2,2) body (2,3,3,1)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.26sec 0.31sec 927 214 4604
htl 2.42sec 0.91sec 927 477 6538
str 2.80sec 1.03sec 927 477 6061

test15/test_15.20_5_0.1_2_2.2_3_3_2.8.3 nlp wc
34 lines 2173 bytes
head (1,2,2) body (2,3,3,2)
estimated blow-up 8.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.07sec 0.14sec 30 556 16715
htl 4.51sec 1.04sec 30 711 10091
str 5.01sec 1.05sec 30 711 9397

test15/test_15.20_5_0.1_2_2.2_3_3_3.25.4 nlp wc
34 lines 2783 bytes
head (1,2,2) body (2,3,3,3)
estimated blow-up 25.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 33.97sec 0.61sec 220 1540 61278
htl 6.98sec 1.66sec 220 954 13893
str 9.27sec 1.52sec 220 954 12801

test15/test_15.20_5_0.1_2_2.2_3_3_4.77.1 nlp wc
35 lines 3568 bytes
head (1,2,2) body (2,3,3,4)
estimated blow-up 77.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 281.36sec 11.71sec 70 4579 225743
htl 10.79sec 3.57sec 70 1184 17591
str 13.96sec 3.37sec 70 1184 16068

test15/test_15.20_5_0.1_2_2.3_3_3_1.1.5 nlp wc
35 lines 1224 bytes
head (1,2,2) body (3,3,3,1)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.69sec 0.03sec 337 104 2437
htl 1.07sec 0.68sec 337 243 3470
str 1.34sec 0.76sec 337 243 3156

test15/test_15.20_5_0.1_2_2.3_3_3_2.1.8 nlp wc
35 lines 1597 bytes
head (1,2,2) body (3,3,3,2)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.78sec 0.01sec 77 101 3184
htl 1.09sec 0.47sec 77 234 3617
str 1.47sec 0.47sec 77 236 3258

test15/test_15.20_5_0.1_2_2.3_3_3_3.2.0 nlp wc
35 lines 1936 bytes
head (1,2,2) body (3,3,3,3)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.83sec 0.01sec 135 104 4033
htl 1.25sec 0.44sec 135 215 3637
str 1.42sec 0.44sec 135 217 3195

test15/test_15.20_5_0.1_2_2.3_3_3_4.2.2 nlp wc
34 lines 2275 bytes
head (1,2,2) body (3,3,3,4)
estimated blow-up 2.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.90sec 0.01sec 30 103 4587
htl 1.28sec 0.89sec 30 242 4170
str 1.66sec 0.88sec 30 242 3646

test15/test_15.20_5_0.1_3_1.1_1_1_1.1.3 nlp wc
55 lines 2397 bytes
head (1,3,1) body (1,1,1,1)
estimated blow-up 1.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.05sec 0.00sec 0 181 3553
htl 2.61sec 0.01sec 0 463 6869
str 3.55sec 0.01sec 0 465 5966

test15/test_15.20_5_0.1_3_1.1_1_1_2.1.5 nlp wc
55 lines 2736 bytes
head (1,3,1) body (1,1,1,2)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.38sec 0.01sec 4 196 4701
htl 2.82sec 0.02sec 4 499 7639
str 4.01sec 0.02sec 4 499 6592

test15/test_15.20_5_0.1_3_1.1_1_1_3.1.8 nlp wc
51 lines 2847 bytes
head (1,3,1) body (1,1,1,3)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.38sec 0.00sec 0 192 5195
htl 3.04sec 0.01sec 0 500 7728
str 4.32sec 0.01sec 0 500 6686

test15/test_15.20_5_0.1_3_1.1_1_1_4.2.0 nlp wc
55 lines 3046 bytes
head (1,3,1) body (1,1,1,4)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.32sec 0.01sec 9 199 5970
htl 3.35sec 0.04sec 9 504 7930
str 4.35sec 0.07sec 9 504 6810

test15/test_15.20_5_0.1_3_1.1_2_1_1.6.4 nlp wc
55 lines 3217 bytes
head (1,3,1) body (1,2,1,1)
estimated blow-up 6.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.86sec 0.01sec 0 588 15405
htl 4.08sec 0.01sec 0 623 9728
str 6.07sec 0.01sec 0 647 8749

test15/test_15.20_5_0.1_3_1.1_2_1_2.34.2 nlp wc
55 lines 3834 bytes
head (1,3,1) body (1,2,1,2)
estimated blow-up 34.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 57.13sec 0.14sec 0 2017 77804
htl 5.08sec 0.02sec 0 699 11334
str 8.31sec 0.01sec 0 729 10017

test15/test_15.20_5_0.1_3_1.1_2_1_3.162.4 nlp wc
55 lines 4681 bytes
head (1,3,1) body (1,2,1,3)
estimated blow-up 162.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 876.64sec 1.40sec 2 8237 411339
htl 6.15sec 0.06sec 2 811 13685
str 10.89sec 0.12sec 2 841 11767

test15/test_15.20_5_0.1_3_1.1_2_1_4.729.4 nlp wc
55 lines 5107 bytes
head (1,3,1) body (1,2,1,4)
estimated blow-up 729.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 11658.40sec 208.30sec 11 27678 1602354
htl 7.66sec 0.21sec 11 902 15275
str 12.79sec 0.18sec 11 932 13117

test15/test_15.20_5_0.1_3_1.1_2_2_1.2.3 nlp wc
53 lines 2775 bytes
head (1,3,1) body (1,2,2,1)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.08sec 0.00sec 0 311 6325
htl 3.45sec 0.01sec 0 539 8135
str 4.40sec 0.01sec 0 539 7061

test15/test_15.20_5_0.1_3_1.1_2_2_2.5.2 nlp wc
53 lines 2920 bytes
head (1,3,1) body (1,2,2,2)
estimated blow-up 5.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.97sec 0.01sec 0 559 13515
htl 3.60sec 0.01sec 0 602 9141
str 4.86sec 0.01sec 0 602 7991

test15/test_15.20_5_0.1_3_1.1_2_2_3.11.7 nlp wc
55 lines 3225 bytes
head (1,3,1) body (1,2,2,3)
estimated blow-up 11.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 16.65sec 0.13sec 1 1082 31045
htl 4.34sec 0.02sec 1 654 10034
str 6.04sec 0.01sec 1 654 8756

test15/test_15.20_5_0.1_3_1.1_2_2_4.25.8 nlp wc
55 lines 3544 bytes
head (1,3,1) body (1,2,2,4)
estimated blow-up 25.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 60.12sec 0.08sec 0 2116 74901
htl 4.71sec 0.01sec 0 697 10832
str 6.93sec 0.01sec 0 697 9400

test15/test_15.20_5_0.1_3_1.1_3_1_1.55.4 nlp wc
55 lines 3975 bytes
head (1,3,1) body (1,3,1,1)
estimated blow-up 55.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 84.17sec 0.42sec 3 2484 87815
htl 5.19sec 0.03sec 3 723 11892
str 7.91sec 0.03sec 3 747 10309

test15/test_15.20_5_0.1_3_1.1_3_1_2.1771.2 nlp wc
55 lines 5809 bytes
head (1,3,1) body (1,3,1,2)
estimated blow-up 1771.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 59939.11sec 18.22sec 4 64886 3507698
htl 8.28sec 0.16sec 4 965 16960
str 16.07sec 0.07sec 4 995 14114

test15/test_15.20_5_0.1_3_1.1_3_2_1.15.7 nlp wc
55 lines 3433 bytes
head (1,3,1) body (1,3,2,1)
estimated blow-up 15.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 18.54sec 0.03sec 0 1158 30888
htl 4.51sec 0.01sec 0 662 10542
str 6.37sec 0.01sec 0 682 9244

test15/test_15.20_5_0.1_3_1.1_3_2_2.187.1 nlp wc
55 lines 4379 bytes
head (1,3,1) body (1,3,2,2)
estimated blow-up 187.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1198.18sec 1.14sec 0 9566 370220
htl 5.85sec 0.02sec 0 806 13364
str 10.28sec 0.03sec 0 834 11564

test15/test_15.20_5_0.1_3_1.1_3_2_3.1963.9 nlp wc
55 lines 5408 bytes
head (1,3,1) body (1,3,2,3)
estimated blow-up 1963.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 99820.63sec 19.27sec 0 81873 4082186
htl 8.13sec 0.04sec 0 964 16582
str 14.54sec 0.03sec 0 994 13990

test15/test_15.20_5_0.1_3_1.1_3_3_1.3.2 nlp wc
53 lines 2807 bytes
head (1,3,1) body (1,3,3,1)
estimated blow-up 3.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.08sec 0.01sec 0 417 8351
htl 3.74sec 0.01sec 0 575 8713
str 4.75sec 0.01sec 0 575 7544

test15/test_15.20_5_0.1_3_1.1_3_3_2.10.6 nlp wc
55 lines 3294 bytes
head (1,3,1) body (1,3,3,2)
estimated blow-up 10.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 22.51sec 0.03sec 0 1284 32183
htl 4.61sec 0.01sec 0 668 10271
str 6.34sec 0.01sec 0 668 8962

test15/test_15.20_5_0.1_3_1.1_3_3_3.35.1 nlp wc
55 lines 3512 bytes
head (1,3,1) body (1,3,3,3)
estimated blow-up 35.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 152.82sec 0.23sec 0 3479 102543
htl 5.13sec 0.02sec 0 731 11359
str 7.32sec 0.01sec 0 731 9881

test15/test_15.20_5_0.1_3_1.1_3_3_4.113.3 nlp wc
53 lines 3828 bytes
head (1,3,1) body (1,3,3,4)
estimated blow-up 113.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1082.11sec 0.65sec 0 9157 315441
htl 5.82sec 0.01sec 0 804 12550
str 8.38sec 0.01sec 0 804 10932

test15/test_15.20_5_0.1_3_1.2_2_2_1.1.5 nlp wc
55 lines 2688 bytes
head (1,3,1) body (2,2,2,1)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.38sec 0.00sec 0 195 4459
htl 2.93sec 0.01sec 0 497 7523
str 4.06sec 0.01sec 0 497 6507

test15/test_15.20_5_0.1_3_1.2_2_2_2.2.0 nlp wc
53 lines 2937 bytes
head (1,3,1) body (2,2,2,2)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.30sec 0.01sec 6 195 5594
htl 2.97sec 0.01sec 6 503 7831
str 4.15sec 0.01sec 6 503 6743

test15/test_15.20_5_0.1_3_1.2_2_2_3.2.4 nlp wc
55 lines 3238 bytes
head (1,3,1) body (2,2,2,3)
estimated blow-up 2.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.40sec 0.01sec 2 196 6951
htl 3.08sec 0.01sec 2 502 7940
str 4.64sec 0.02sec 2 502 6835

test15/test_15.20_5_0.1_3_1.2_2_2_4.2.7 nlp wc
55 lines 3376 bytes
head (1,3,1) body (2,2,2,4)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.60sec 0.01sec 5 191 7948
htl 3.01sec 0.02sec 5 480 7837
str 4.36sec 0.02sec 5 480 6653

test15/test_15.20_5_0.1_3_1.2_3_2_1.16.3 nlp wc
53 lines 3798 bytes
head (1,3,1) body (2,3,2,1)
estimated blow-up 16.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 23.47sec 0.04sec 0 1272 40558
htl 6.14sec 0.01sec 0 835 13265
str 9.79sec 0.01sec 0 857 11744

test15/test_15.20_5_0.1_3_1.2_3_2_2.187.4 nlp wc
55 lines 5102 bytes
head (1,3,1) body (2,3,2,2)
estimated blow-up 187.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1285.50sec 0.97sec 1 10041 484927
htl 10.27sec 0.02sec 1 1129 18365
str 17.05sec 0.03sec 1 1159 16065

test15/test_15.20_5_0.1_3_1.2_3_2_3.1912.2 nlp wc
53 lines 6375 bytes
head (1,3,1) body (2,3,2,3)
estimated blow-up 1912.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 127559.77sec 25.70sec 2 91509 5859597
htl 15.85sec 0.13sec 2 1461 24118
str 27.25sec 0.14sec 2 1491 21014

test15/test_15.20_5_0.1_3_1.2_3_3_1.3.6 nlp wc
53 lines 3175 bytes
head (1,3,1) body (2,3,3,1)
estimated blow-up 3.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.73sec 0.02sec 0 470 11781
htl 5.62sec 0.01sec 0 759 11495
str 7.47sec 0.01sec 0 759 10123

test15/test_15.20_5_0.1_3_1.2_3_3_2.12.7 nlp wc
49 lines 3689 bytes
head (1,3,1) body (2,3,3,2)
estimated blow-up 12.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 20.48sec 0.04sec 0 1180 40555
htl 7.99sec 0.02sec 0 962 14585
str 11.29sec 0.02sec 0 962 12971

test15/test_15.20_5_0.1_3_1.2_3_3_3.41.9 nlp wc
55 lines 4512 bytes
head (1,3,1) body (2,3,3,3)
estimated blow-up 41.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 166.00sec 0.74sec 31 3511 152045
htl 11.04sec 0.14sec 31 1199 18336
str 16.49sec 0.19sec 31 1199 16452

test15/test_15.20_5_0.1_3_1.2_3_3_4.134.6 nlp wc
53 lines 4988 bytes
head (1,3,1) body (2,3,3,4)
estimated blow-up 134.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1431.37sec 2.75sec 11 10403 533802
htl 15.47sec 0.13sec 11 1406 21446
str 22.82sec 0.17sec 11 1406 19342

test15/test_15.20_5_0.1_3_1.3_3_3_1.1.8 nlp wc
53 lines 2884 bytes
head (1,3,1) body (3,3,3,1)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.19sec 0.03sec 0 198 5356
htl 3.11sec 0.01sec 0 522 8029
str 4.40sec 0.01sec 0 522 6958

test15/test_15.20_5_0.1_3_1.3_3_3_2.2.4 nlp wc
55 lines 3255 bytes
head (1,3,1) body (3,3,3,2)
estimated blow-up 2.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.40sec 0.02sec 20 203 7241
htl 3.20sec 0.05sec 20 527 8417
str 4.63sec 0.12sec 20 527 7239

test15/test_15.20_5_0.1_3_1.3_3_3_3.2.9 nlp wc
55 lines 3611 bytes
head (1,3,1) body (3,3,3,3)
estimated blow-up 2.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.63sec 0.05sec 13 202 9063
htl 3.19sec 0.04sec 13 516 8476
str 4.81sec 0.04sec 13 516 7241

test15/test_15.20_5_0.1_3_1.3_3_3_4.3.3 nlp wc
53 lines 3730 bytes
head (1,3,1) body (3,3,3,4)
estimated blow-up 3.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.62sec 0.01sec 3 188 9728
htl 2.87sec 0.03sec 3 485 8200
str 4.23sec 0.03sec 3 485 6942

test15/test_15.20_5_0.1_3_2.1_1_1_1.1.2 nlp wc
44 lines 2034 bytes
head (1,3,2) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.83sec 0.03sec 246 146 2988
htl 2.14sec 0.16sec 246 388 5707
str 2.50sec 0.16sec 246 388 4979

test15/test_15.20_5_0.1_3_2.1_1_1_2.1.4 nlp wc
44 lines 2158 bytes
head (1,3,2) body (1,1,1,2)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.90sec 0.02sec 88 145 3400
htl 2.00sec 0.12sec 88 380 5671
str 2.58sec 0.06sec 88 382 4964

test15/test_15.20_5_0.1_3_2.1_1_1_3.1.6 nlp wc
45 lines 2273 bytes
head (1,3,2) body (1,1,1,3)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.20sec 0.04sec 312 147 4005
htl 2.06sec 0.46sec 312 385 5878
str 2.74sec 0.53sec 312 387 5124

test15/test_15.20_5_0.1_3_2.1_1_1_4.1.8 nlp wc
43 lines 2294 bytes
head (1,3,2) body (1,1,1,4)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.96sec 0.03sec 75 146 4288
htl 2.11sec 0.32sec 75 381 5870
str 2.57sec 0.33sec 75 381 5081

test15/test_15.20_5_0.1_3_2.1_2_1_1.5.8 nlp wc
45 lines 2589 bytes
head (1,3,2) body (1,2,1,1)
estimated blow-up 5.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.61sec 0.20sec 323 420 11329
htl 2.82sec 0.31sec 323 502 7731
str 4.20sec 0.34sec 323 526 7035

test15/test_15.20_5_0.1_3_2.1_2_1_2.29.3 nlp wc
45 lines 3321 bytes
head (1,3,2) body (1,2,1,2)
estimated blow-up 29.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 31.46sec 0.67sec 166 1463 57114
htl 3.89sec 0.38sec 166 604 9816
str 6.13sec 0.58sec 166 634 8676

test15/test_15.20_5_0.1_3_2.1_2_1_3.135.2 nlp wc
45 lines 3956 bytes
head (1,3,2) body (1,2,1,3)
estimated blow-up 135.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 418.33sec 10.01sec 383 5605 283577
htl 4.86sec 1.90sec 383 699 11666
str 8.26sec 2.00sec 383 727 10095

test15/test_15.20_5_0.1_3_2.1_2_1_4.594.6 nlp wc
44 lines 4622 bytes
head (1,3,2) body (1,2,1,4)
estimated blow-up 594.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 7655.82sec 25.40sec 144 22708 1371999
htl 6.52sec 1.26sec 144 841 14217
str 11.39sec 1.33sec 144 871 12204

test15/test_15.20_5_0.1_3_2.1_2_2_1.2.1 nlp wc
45 lines 2147 bytes
head (1,3,2) body (1,2,2,1)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.39sec 0.01sec 15 222 4581
htl 2.42sec 0.02sec 15 436 6360
str 3.18sec 0.02sec 15 436 5598

test15/test_15.20_5_0.1_3_2.1_2_2_2.4.7 nlp wc
44 lines 2439 bytes
head (1,3,2) body (1,2,2,2)
estimated blow-up 4.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.24sec 0.04sec 77 424 10911
htl 2.98sec 0.05sec 77 487 7230
str 3.78sec 0.10sec 77 487 6365

test15/test_15.20_5_0.1_3_2.1_2_2_3.10.4 nlp wc
45 lines 2745 bytes
head (1,3,2) body (1,2,2,3)
estimated blow-up 10.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 8.44sec 0.32sec 452 740 23082
htl 3.34sec 0.50sec 452 556 8498
str 4.50sec 0.53sec 452 556 7423

test15/test_15.20_5_0.1_3_2.1_2_2_4.22.3 nlp wc
45 lines 2990 bytes
head (1,3,2) body (1,2,2,4)
estimated blow-up 22.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 33.58sec 0.76sec 316 1540 55563
htl 4.24sec 0.48sec 316 619 9492
str 5.68sec 0.41sec 316 619 8271

test15/test_15.20_5_0.1_3_2.1_3_1_1.47.1 nlp wc
45 lines 3505 bytes
head (1,3,2) body (1,3,1,1)
estimated blow-up 47.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 63.59sec 2.67sec 956 2127 77141
htl 4.08sec 0.94sec 956 634 10494
str 6.34sec 1.22sec 956 658 9081

test15/test_15.20_5_0.1_3_2.1_3_1_2.1431.3 nlp wc
45 lines 4993 bytes
head (1,3,2) body (1,3,1,2)
estimated blow-up 1431.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 21344.48sec 66.96sec 215 38656 2089225
htl 6.44sec 1.51sec 215 835 14683
str 11.71sec 1.38sec 215 865 12221

test15/test_15.20_5_0.1_3_2.1_3_2_1.13.8 nlp wc
45 lines 2827 bytes
head (1,3,2) body (1,3,2,1)
estimated blow-up 13.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 9.90sec 0.11sec 8 805 22227
htl 3.26sec 0.02sec 8 524 8333
str 4.65sec 0.03sec 8 554 7479

test15/test_15.20_5_0.1_3_2.1_3_2_2.156.1 nlp wc
45 lines 3884 bytes
head (1,3,2) body (1,3,2,2)
estimated blow-up 156.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 598.18sec 3.53sec 87 6849 270793
htl 4.75sec 0.17sec 87 692 11609
str 8.01sec 0.18sec 87 722 9997

test15/test_15.20_5_0.1_3_2.1_3_2_3.1590.6 nlp wc
45 lines 4898 bytes
head (1,3,2) body (1,3,2,3)
estimated blow-up 1590.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 48094.39sec 96.71sec 222 58614 3045757
htl 6.47sec 0.51sec 222 856 14768
str 12.11sec 0.59sec 222 886 12436

test15/test_15.20_5_0.1_3_2.1_3_3_1.3.0 nlp wc
44 lines 2254 bytes
head (1,3,2) body (1,3,3,1)
estimated blow-up 3.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.08sec 0.02sec 48 304 6374
htl 2.66sec 0.03sec 48 468 6875
str 3.35sec 0.03sec 48 468 6066

test15/test_15.20_5_0.1_3_2.1_3_3_2.9.5 nlp wc
45 lines 2628 bytes
head (1,3,2) body (1,3,3,2)
estimated blow-up 9.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 10.55sec 0.08sec 23 850 21845
htl 3.15sec 0.03sec 23 535 8037
str 3.93sec 0.06sec 23 535 7054

test15/test_15.20_5_0.1_3_2.1_3_3_3.30.5 nlp wc
45 lines 3042 bytes
head (1,3,2) body (1,3,3,3)
estimated blow-up 30.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 66.38sec 0.76sec 192 2234 70287
htl 3.78sec 0.27sec 192 619 9536
str 5.46sec 0.28sec 192 619 8300

test15/test_15.20_5_0.1_3_2.1_3_3_4.96.1 nlp wc
45 lines 3383 bytes
head (1,3,2) body (1,3,3,4)
estimated blow-up 96.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 563.65sec 2.96sec 142 6729 241612
htl 4.94sec 0.17sec 142 686 10693
str 6.85sec 0.18sec 142 686 9273

test15/test_15.20_5_0.1_3_2.2_2_2_1.1.4 nlp wc
45 lines 2088 bytes
head (1,3,2) body (2,2,2,1)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.06sec 0.05sec 395 147 3317
htl 2.08sec 0.35sec 395 380 5613
str 2.44sec 0.33sec 395 380 4897

test15/test_15.20_5_0.1_3_2.2_2_2_2.1.8 nlp wc
45 lines 2375 bytes
head (1,3,2) body (2,2,2,2)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.99sec 0.04sec 216 148 4388
htl 2.13sec 1.38sec 216 389 5997
str 2.68sec 1.58sec 216 389 5203

test15/test_15.20_5_0.1_3_2.2_2_2_3.2.1 nlp wc
45 lines 2686 bytes
head (1,3,2) body (2,2,2,3)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.97sec 0.01sec 69 149 5579
htl 2.24sec 0.54sec 69 390 6256
str 2.92sec 0.53sec 69 390 5342

test15/test_15.20_5_0.1_3_2.2_2_2_4.2.3 nlp wc
44 lines 2894 bytes
head (1,3,2) body (2,2,2,4)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.31sec 0.02sec 73 150 6350
htl 2.31sec 0.67sec 73 393 6423
str 3.33sec 0.78sec 73 393 5478

test15/test_15.20_5_0.1_3_2.2_3_2_1.14.0 nlp wc
45 lines 3247 bytes
head (1,3,2) body (2,3,2,1)
estimated blow-up 14.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 12.25sec 0.28sec 171 891 28822
htl 4.54sec 0.34sec 171 714 11157
str 7.53sec 0.33sec 171 744 10180

test15/test_15.20_5_0.1_3_2.2_3_2_2.152.2 nlp wc
44 lines 4395 bytes
head (1,3,2) body (2,3,2,2)
estimated blow-up 152.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 638.23sec 7.54sec 205 6973 339661
htl 8.36sec 1.79sec 205 1009 16214
str 13.91sec 1.64sec 205 1037 14363

test15/test_15.20_5_0.1_3_2.2_3_2_3.1510.1 nlp wc
45 lines 5639 bytes
head (1,3,2) body (2,3,2,3)
estimated blow-up 1510.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 42248.42sec 151.13sec 340 53917 3433086
htl 12.95sec 5.15sec 340 1291 21088
str 21.97sec 4.50sec 340 1321 18469

test15/test_15.20_5_0.1_3_2.2_3_3_1.3.2 nlp wc
45 lines 2521 bytes
head (1,3,2) body (2,3,3,1)
estimated blow-up 3.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.28sec 0.11sec 169 335 8195
htl 3.94sec 0.28sec 169 630 9223
str 5.35sec 0.20sec 169 630 8315

test15/test_15.20_5_0.1_3_2.2_3_3_2.10.7 nlp wc
44 lines 3213 bytes
head (1,3,2) body (2,3,3,2)
estimated blow-up 10.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 10.88sec 0.35sec 225 838 28834
htl 6.34sec 0.64sec 225 847 12712
str 8.62sec 0.64sec 225 847 11491

test15/test_15.20_5_0.1_3_2.2_3_3_3.34.4 nlp wc
45 lines 3826 bytes
head (1,3,2) body (2,3,3,3)
estimated blow-up 34.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 83.80sec 2.26sec 548 2438 106894
htl 9.47sec 2.36sec 548 1080 16248
str 12.93sec 2.43sec 548 1080 14722

test15/test_15.20_5_0.1_3_2.2_3_3_4.108.0 nlp wc
45 lines 4636 bytes
head (1,3,2) body (2,3,3,4)
estimated blow-up 108.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 788.95sec 12.14sec 580 7667 416180
htl 13.68sec 4.35sec 580 1337 20468
str 19.67sec 4.02sec 580 1337 18423

test15/test_15.20_5_0.1_3_2.3_3_3_1.1.6 nlp wc
44 lines 2247 bytes
head (1,3,2) body (3,3,3,1)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.01sec 0.04sec 193 147 3944
htl 2.09sec 0.42sec 193 382 5800
str 2.68sec 0.41sec 193 382 5030

test15/test_15.20_5_0.1_3_2.3_3_3_2.2.1 nlp wc
45 lines 2635 bytes
head (1,3,2) body (3,3,3,2)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.19sec 0.07sec 258 149 5419
htl 2.21sec 1.16sec 258 385 6158
str 2.89sec 1.12sec 258 385 5276

test15/test_15.20_5_0.1_3_2.3_3_3_3.2.5 nlp wc
42 lines 2850 bytes
head (1,3,2) body (3,3,3,3)
estimated blow-up 2.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.19sec 0.00sec 0 146 6344
htl 2.01sec 0.01sec 0 381 6280
str 2.89sec 0.01sec 0 381 5351

test15/test_15.20_5_0.1_3_2.3_3_3_4.2.7 nlp wc
45 lines 3202 bytes
head (1,3,2) body (3,3,3,4)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.33sec 0.01sec 24 145 7405
htl 2.17sec 0.39sec 24 376 6447
str 3.24sec 0.46sec 24 376 5479

test15/test_15.20_5_0.1_3_3.1_1_1_1.1.2 nlp wc
40 lines 1490 bytes
head (1,3,3) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.90sec 0.65sec 3602 115 2164
htl 1.52sec 1.77sec 3602 283 3846
str 1.57sec 1.80sec 3602 283 3591

test15/test_15.20_5_0.1_3_3.1_1_1_2.1.4 nlp wc
40 lines 1552 bytes
head (1,3,3) body (1,1,1,2)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.81sec 0.77sec 3745 123 2673
htl 1.54sec 2.26sec 3745 284 3957
str 1.73sec 2.36sec 3745 284 3670

test15/test_15.20_5_0.1_3_3.1_1_1_3.1.6 nlp wc
39 lines 1623 bytes
head (1,3,3) body (1,1,1,3)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.80sec 0.55sec 2123 125 3034
htl 1.41sec 2.01sec 2123 287 4076
str 1.72sec 2.02sec 2123 287 3775

test15/test_15.20_5_0.1_3_3.1_1_1_4.1.7 nlp wc
40 lines 1743 bytes
head (1,3,3) body (1,1,1,4)
estimated blow-up 1.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.95sec 0.15sec 620 120 3412
htl 1.53sec 0.93sec 620 275 4027
str 1.60sec 0.87sec 620 277 3712

test15/test_15.20_5_0.1_3_3.1_2_1_1.5.6 nlp wc
40 lines 2025 bytes
head (1,3,3) body (1,2,1,1)
estimated blow-up 5.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.42sec 1.99sec 5665 346 8702
htl 2.17sec 2.97sec 5665 393 5774
str 2.79sec 3.39sec 5665 417 5456

test15/test_15.20_5_0.1_3_3.1_2_1_2.27.5 nlp wc
37 lines 2651 bytes
head (1,3,3) body (1,2,1,2)
estimated blow-up 27.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 21.34sec 2.13sec 1530 1179 44029
htl 3.00sec 2.19sec 1530 503 7828
str 4.40sec 3.03sec 1530 533 7241

test15/test_15.20_5_0.1_3_3.1_2_1_3.123.9 nlp wc
40 lines 3362 bytes
head (1,3,3) body (1,2,1,3)
estimated blow-up 123.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 269.99sec 20.92sec 1645 4494 216635
htl 3.91sec 5.28sec 1645 603 9834
str 6.10sec 6.12sec 1645 633 8697

test15/test_15.20_5_0.1_3_3.1_2_1_4.535.5 nlp wc
40 lines 4180 bytes
head (1,3,3) body (1,2,1,4)
estimated blow-up 535.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4628.28sec 79.32sec 883 18671 1122175
htl 5.19sec 7.91sec 883 732 12428
str 8.94sec 6.99sec 883 762 10628

test15/test_15.20_5_0.1_3_3.1_2_2_1.2.1 nlp wc
40 lines 1532 bytes
head (1,3,3) body (1,2,2,1)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.06sec 0.78sec 4134 185 3407
htl 1.87sec 1.58sec 4134 334 4542
str 2.04sec 1.64sec 4134 334 4191

test15/test_15.20_5_0.1_3_3.1_2_2_2.4.6 nlp wc
39 lines 1825 bytes
head (1,3,3) body (1,2,2,2)
estimated blow-up 4.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.50sec 2.15sec 5664 347 7994
htl 2.03sec 2.95sec 5664 393 5419
str 2.53sec 3.15sec 5664 393 4994

test15/test_15.20_5_0.1_3_3.1_2_2_3.9.8 nlp wc
40 lines 2103 bytes
head (1,3,3) body (1,2,2,3)
estimated blow-up 9.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.46sec 2.65sec 4985 644 17995
htl 2.58sec 3.19sec 4985 462 6572
str 2.95sec 3.52sec 4985 462 6013

test15/test_15.20_5_0.1_3_3.1_2_2_4.20.8 nlp wc
40 lines 2333 bytes
head (1,3,3) body (1,2,2,4)
estimated blow-up 20.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 19.68sec 4.37sec 4765 1176 38480
htl 3.06sec 3.83sec 4765 501 7271
str 3.61sec 3.92sec 4765 501 6576

test15/test_15.20_5_0.1_3_3.1_3_1_1.43.9 nlp wc
40 lines 2900 bytes
head (1,3,3) body (1,3,1,1)
estimated blow-up 43.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 43.19sec 6.03sec 5152 1734 58514
htl 3.21sec 4.72sec 5152 534 8611
str 5.05sec 5.66sec 5152 564 7695

test15/test_15.20_5_0.1_3_3.1_3_1_2.1280.0 nlp wc
39 lines 4397 bytes
head (1,3,3) body (1,3,1,2)
estimated blow-up 1280.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 19403.27sec 132.41sec 848 36218 1933386
htl 5.56sec 4.32sec 848 759 13200
str 9.72sec 4.85sec 848 789 11056

test15/test_15.20_5_0.1_3_3.1_3_2_1.13.1 nlp wc
40 lines 2352 bytes
head (1,3,3) body (1,3,2,1)
estimated blow-up 13.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 7.10sec 2.17sec 4275 668 17245
htl 2.32sec 2.55sec 4275 439 6743
str 3.48sec 3.07sec 4275 469 6231

test15/test_15.20_5_0.1_3_3.1_3_2_2.142.9 nlp wc
40 lines 3241 bytes
head (1,3,3) body (1,3,2,2)
estimated blow-up 142.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 408.25sec 63.24sec 6997 5687 212153
htl 3.74sec 5.05sec 6997 601 9708
str 6.19sec 6.49sec 6997 631 8675

test15/test_15.20_5_0.1_3_3.1_3_2_3.1420.6 nlp wc
40 lines 4247 bytes
head (1,3,3) body (1,3,2,3)
estimated blow-up 1420.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 30455.93sec 361.50sec -- 46137 2240122
htl 5.30sec 7.76sec 7690 751 12723
str 9.28sec 9.27sec 7690 781 10880

test15/test_15.20_5_0.1_3_3.1_3_3_1.2.8 nlp wc
40 lines 1665 bytes
head (1,3,3) body (1,3,3,1)
estimated blow-up 2.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.55sec 0.94sec 4474 243 4525
htl 1.98sec 1.72sec 4474 363 4989
str 2.01sec 1.86sec 4474 363 4598

test15/test_15.20_5_0.1_3_3.1_3_3_2.9.0 nlp wc
39 lines 2047 bytes
head (1,3,3) body (1,3,3,2)
estimated blow-up 9.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.66sec 1.87sec 3872 662 15445
htl 2.47sec 1.89sec 3872 435 6180
str 2.77sec 2.03sec 3872 435 5586

test15/test_15.20_5_0.1_3_3.1_3_3_3.28.1 nlp wc
40 lines 2410 bytes
head (1,3,3) body (1,3,3,3)
estimated blow-up 28.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 54.54sec 9.55sec 7241 2027 58176
htl 3.12sec 4.19sec 7241 521 7599
str 3.84sec 4.21sec 7241 521 6867

test15/test_15.20_5_0.1_3_3.1_3_3_4.87.1 nlp wc
39 lines 2670 bytes
head (1,3,3) body (1,3,3,4)
estimated blow-up 87.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 417.69sec 35.66sec 3964 5794 189237
htl 3.73sec 4.03sec 3964 598 8814
str 4.75sec 3.58sec 3964 598 7946

test15/test_15.20_5_0.1_3_3.2_2_2_1.1.4 nlp wc
39 lines 1460 bytes
head (1,3,3) body (2,2,2,1)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.77sec 0.34sec 1964 116 2422
htl 1.35sec 1.08sec 1964 270 3742
str 1.54sec 1.18sec 1964 270 3465

test15/test_15.20_5_0.1_3_3.2_2_2_2.1.7 nlp wc
40 lines 1728 bytes
head (1,3,3) body (2,2,2,2)
estimated blow-up 1.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.86sec 0.36sec 1405 123 3283
htl 1.50sec 2.11sec 1405 283 4104
str 1.82sec 2.14sec 1405 283 3783

test15/test_15.20_5_0.1_3_3.2_2_2_3.2.0 nlp wc
40 lines 2006 bytes
head (1,3,3) body (2,2,2,3)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.87sec 0.03sec 268 121 4019
htl 1.63sec 1.78sec 268 281 4276
str 1.84sec 1.86sec 268 281 3877

test15/test_15.20_5_0.1_3_3.2_2_2_4.2.2 nlp wc
37 lines 2204 bytes
head (1,3,3) body (2,2,2,4)
estimated blow-up 2.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.99sec 0.01sec 50 120 4651
htl 1.49sec 1.58sec 50 281 4420
str 1.84sec 1.64sec 50 281 3980

test15/test_15.20_5_0.1_3_3.2_3_2_1.13.0 nlp wc
39 lines 2583 bytes
head (1,3,3) body (2,3,2,1)
estimated blow-up 13.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 7.70sec 2.95sec 4507 691 21021
htl 3.74sec 4.39sec 4507 602 9067
str 5.45sec 5.26sec 4507 626 8407

test15/test_15.20_5_0.1_3_3.2_3_2_2.135.7 nlp wc
40 lines 3935 bytes
head (1,3,3) body (2,3,2,2)
estimated blow-up 135.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 395.56sec 11.99sec 717 5446 256662
htl 7.08sec 5.97sec 717 917 14569
str 11.64sec 6.62sec 717 947 13003

test15/test_15.20_5_0.1_3_3.2_3_2_3.1315.1 nlp wc
40 lines 5157 bytes
head (1,3,3) body (2,3,2,3)
estimated blow-up 1315.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 33258.06sec 361.00sec -- 49292 3009596
htl 11.47sec 9.81sec 100 1217 19624
str 19.16sec 7.55sec 100 1247 17409

test15/test_15.20_5_0.1_3_3.2_3_3_1.3.0 nlp wc
39 lines 1939 bytes
head (1,3,3) body (2,3,3,1)
estimated blow-up 3.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.61sec 0.66sec 2508 270 6191
htl 2.83sec 2.46sec 2508 532 7394
str 3.64sec 2.44sec 2508 532 6872

test15/test_15.20_5_0.1_3_3.2_3_3_2.9.7 nlp wc
39 lines 2635 bytes
head (1,3,3) body (2,3,3,2)
estimated blow-up 9.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 7.91sec 2.06sec 3319 710 23216
htl 5.24sec 5.23sec 3319 772 11181
str 6.74sec 5.08sec 3319 772 10231

test15/test_15.20_5_0.1_3_3.2_3_3_3.30.5 nlp wc
40 lines 3346 bytes
head (1,3,3) body (2,3,3,3)
estimated blow-up 30.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 51.39sec 5.75sec 3146 1902 80173
htl 7.59sec 8.15sec 3146 959 14171
str 10.58sec 8.31sec 3146 959 12954

test15/test_15.20_5_0.1_3_3.2_3_3_4.94.2 nlp wc
38 lines 3967 bytes
head (1,3,3) body (2,3,3,4)
estimated blow-up 94.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 442.26sec 2.31sec 86 5750 291322
htl 11.63sec 4.73sec 86 1225 18136
str 16.03sec 4.63sec 86 1225 16583

test15/test_15.20_5_0.1_3_3.3_3_3_1.1.6 nlp wc
39 lines 1666 bytes
head (1,3,3) body (3,3,3,1)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.79sec 0.31sec 1517 122 3092
htl 1.43sec 1.79sec 1517 274 3934
str 1.76sec 1.73sec 1517 274 3607

test15/test_15.20_5_0.1_3_3.3_3_3_2.2.0 nlp wc
40 lines 2003 bytes
head (1,3,3) body (3,3,3,2)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.86sec 0.19sec 695 123 4093
htl 1.45sec 2.28sec 695 282 4311
str 1.95sec 2.34sec 695 282 3911

test15/test_15.20_5_0.1_3_3.3_3_3_3.2.3 nlp wc
39 lines 2373 bytes
head (1,3,3) body (3,3,3,3)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.10sec 0.02sec 116 121 5024
htl 1.54sec 1.71sec 116 282 4546
str 1.88sec 1.78sec 116 282 4046

test15/test_15.20_5_0.1_3_3.3_3_3_4.2.5 nlp wc
39 lines 2669 bytes
head (1,3,3) body (3,3,3,4)
estimated blow-up 2.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.15sec 0.37sec 1925 124 5764
htl 1.65sec 2.08sec 1925 284 4782
str 2.08sec 2.08sec 1925 284 4226

test15/test_15.20_5_0.2_2_2.1_1_1_1.1.3 nlp wc
38 lines 961 bytes
head (2,2,2) body (1,1,1,1)
estimated blow-up 1.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.67sec 0.00sec 1 110 1783
htl 0.92sec 0.00sec 1 193 2637
str 1.11sec 0.00sec 1 195 2442

test15/test_15.20_5_0.2_2_2.1_1_1_2.1.6 nlp wc
40 lines 1134 bytes
head (2,2,2) body (1,1,1,2)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.72sec 0.00sec 1 124 2398
htl 0.90sec 0.00sec 1 203 2874
str 1.07sec 0.00sec 1 207 2675

test15/test_15.20_5_0.2_2_2.1_1_1_3.1.8 nlp wc
38 lines 1216 bytes
head (2,2,2) body (1,1,1,3)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.69sec 0.00sec 1 124 2789
htl 0.95sec 0.00sec 1 209 3065
str 1.02sec 0.01sec 1 209 2760

test15/test_15.20_5_0.2_2_2.1_1_1_4.2.0 nlp wc
40 lines 1249 bytes
head (2,2,2) body (1,1,1,4)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.76sec 0.00sec 1 122 2945
htl 0.96sec 0.01sec 1 190 2865
str 1.25sec 0.03sec 1 192 2589

test15/test_15.20_5_0.2_2_2.1_2_1_1.6.3 nlp wc
40 lines 1513 bytes
head (2,2,2) body (1,2,1,1)
estimated blow-up 6.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.19sec 0.01sec 1 326 7135
htl 1.64sec 0.00sec 1 314 4708
str 2.05sec 0.00sec 1 336 4295

test15/test_15.20_5_0.2_2_2.1_2_1_2.31.0 nlp wc
38 lines 2260 bytes
head (2,2,2) body (1,2,1,2)
estimated blow-up 31.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 22.66sec 0.06sec 0 1258 42845
htl 2.15sec 0.01sec 0 435 6902
str 3.34sec 0.01sec 0 463 6214

test15/test_15.20_5_0.2_2_2.1_2_1_3.137.9 nlp wc
40 lines 2946 bytes
head (2,2,2) body (1,2,1,3)
estimated blow-up 137.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 228.89sec 2.38sec 1 4174 191993
htl 2.95sec 0.02sec 1 517 8683
str 4.73sec 0.02sec 1 547 7453

test15/test_15.20_5_0.2_2_2.1_2_1_4.588.3 nlp wc
40 lines 3664 bytes
head (2,2,2) body (1,2,1,4)
estimated blow-up 588.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4619.96sec 106.32sec 1 19250 1102518
htl 4.05sec 0.02sec 1 626 10669
str 6.52sec 0.02sec 1 656 9123

test15/test_15.20_5_0.2_2_2.1_2_2_1.2.2 nlp wc
40 lines 1118 bytes
head (2,2,2) body (1,2,2,1)
estimated blow-up 2.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.02sec 0.00sec 1 186 2985
htl 1.25sec 0.00sec 1 265 3658
str 1.29sec 0.00sec 1 265 3291

test15/test_15.20_5_0.2_2_2.1_2_2_2.5.0 nlp wc
40 lines 1420 bytes
head (2,2,2) body (1,2,2,2)
estimated blow-up 5.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.20sec 0.01sec 1 348 7108
htl 1.67sec 0.00sec 1 310 4408
str 1.68sec 0.00sec 1 310 3894

test15/test_15.20_5_0.2_2_2.1_2_2_3.10.7 nlp wc
40 lines 1581 bytes
head (2,2,2) body (1,2,2,3)
estimated blow-up 10.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.42sec 0.04sec 1 594 14609
htl 1.71sec 0.01sec 1 360 5150
str 2.03sec 0.01sec 1 360 4567

test15/test_15.20_5_0.2_2_2.1_2_2_4.22.8 nlp wc
40 lines 1864 bytes
head (2,2,2) body (1,2,2,4)
estimated blow-up 22.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 18.56sec 0.15sec 0 1168 33462
htl 2.16sec 0.01sec 0 427 6141
str 2.52sec 0.01sec 0 427 5527

test15/test_15.20_5_0.2_2_2.1_3_1_1.49.5 nlp wc
38 lines 2492 bytes
head (2,2,2) body (1,3,1,1)
estimated blow-up 49.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 40.97sec 0.08sec 0 1728 53559
htl 2.50sec 0.03sec 0 445 7418
str 3.70sec 0.01sec 0 471 6332

test15/test_15.20_5_0.2_2_2.1_3_1_2.1400.5 nlp wc
40 lines 3968 bytes
head (2,2,2) body (1,3,1,2)
estimated blow-up 1400.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 17291.58sec 21.96sec 2 34678 1761060
htl 4.37sec 0.03sec 2 678 11979
str 8.26sec 0.03sec 2 708 9881

test15/test_15.20_5_0.2_2_2.1_3_2_1.14.7 nlp wc
40 lines 1922 bytes
head (2,2,2) body (1,3,2,1)
estimated blow-up 14.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 7.21sec 0.03sec 1 694 15608
htl 1.72sec 0.03sec 1 358 5653
str 2.63sec 0.01sec 1 382 4980

test15/test_15.20_5_0.2_2_2.1_3_2_2.157.9 nlp wc
40 lines 2764 bytes
head (2,2,2) body (1,3,2,2)
estimated blow-up 157.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 343.25sec 1.20sec 1 5264 177611
htl 3.07sec 0.01sec 1 512 8322
str 4.56sec 0.01sec 1 540 7301

test15/test_15.20_5_0.2_2_2.1_3_2_3.1543.8 nlp wc
40 lines 3798 bytes
head (2,2,2) body (1,3,2,3)
estimated blow-up 1543.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 31084.98sec 36.39sec 2 47192 2155097
htl 4.15sec 0.01sec 2 673 11594
str 7.64sec 0.01sec 2 703 9751

test15/test_15.20_5_0.2_2_2.1_3_3_1.3.0 nlp wc
40 lines 1271 bytes
head (2,2,2) body (1,3,3,1)
estimated blow-up 3.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.42sec 0.00sec 1 246 3922
htl 1.38sec 0.00sec 1 287 4051
str 1.34sec 0.00sec 1 287 3591

test15/test_15.20_5_0.2_2_2.1_3_3_2.9.4 nlp wc
38 lines 1559 bytes
head (2,2,2) body (1,3,3,2)
estimated blow-up 9.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.66sec 0.02sec 1 684 13377
htl 1.75sec 0.01sec 1 365 5171
str 1.92sec 0.00sec 1 365 4616

test15/test_15.20_5_0.2_2_2.1_3_3_3.29.5 nlp wc
40 lines 1971 bytes
head (2,2,2) body (1,3,3,3)
estimated blow-up 29.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 49.69sec 0.24sec 1 1954 48686
htl 2.36sec 0.01sec 1 444 6464
str 2.72sec 0.01sec 1 444 5702

test15/test_15.20_5_0.2_2_2.1_3_3_4.91.4 nlp wc
40 lines 2282 bytes
head (2,2,2) body (1,3,3,4)
estimated blow-up 91.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 347.33sec 5.86sec 1 5338 160206
htl 2.63sec 0.01sec 1 507 7567
str 3.59sec 0.01sec 1 507 6648

test15/test_15.20_5_0.2_2_2.2_2_2_1.1.6 nlp wc
38 lines 1045 bytes
head (2,2,2) body (2,2,2,1)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.65sec 0.00sec 1 122 2306
htl 0.90sec 0.00sec 1 201 2838
str 1.07sec 0.00sec 1 201 2586

test15/test_15.20_5_0.2_2_2.2_2_2_2.2.0 nlp wc
40 lines 1378 bytes
head (2,2,2) body (2,2,2,2)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.76sec 0.00sec 0 128 3201
htl 0.94sec 0.00sec 0 202 3048
str 1.09sec 0.00sec 0 202 2718

test15/test_15.20_5_0.2_2_2.2_2_2_3.2.3 nlp wc
40 lines 1584 bytes
head (2,2,2) body (2,2,2,3)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.87sec 0.00sec 1 126 3823
htl 1.02sec 0.00sec 1 211 3356
str 1.28sec 0.01sec 1 211 2951

test15/test_15.20_5_0.2_2_2.2_2_2_4.2.5 nlp wc
40 lines 1859 bytes
head (2,2,2) body (2,2,2,4)
estimated blow-up 2.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.87sec 0.00sec 1 122 4414
htl 1.06sec 0.00sec 1 202 3423
str 1.24sec 0.01sec 1 202 2951

test15/test_15.20_5_0.2_2_2.2_3_2_1.14.2 nlp wc
40 lines 2159 bytes
head (2,2,2) body (2,3,2,1)
estimated blow-up 14.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 7.96sec 0.03sec 0 728 19537
htl 3.00sec 0.01sec 0 528 7919
str 4.31sec 0.01sec 0 552 7281

test15/test_15.20_5_0.2_2_2.2_3_2_2.146.1 nlp wc
40 lines 3358 bytes
head (2,2,2) body (2,3,2,2)
estimated blow-up 146.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 399.91sec 8.55sec 0 5624 240181
htl 5.71sec 0.03sec 0 816 12890
str 8.69sec 0.05sec 0 844 11494

test15/test_15.20_5_0.2_2_2.2_3_2_3.1394.6 nlp wc
40 lines 4748 bytes
head (2,2,2) body (2,3,2,3)
estimated blow-up 1394.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 32464.04sec 81.70sec 1 49944 2943999
htl 10.25sec 0.05sec 1 1157 18771
str 16.87sec 0.12sec 1 1187 16523

test15/test_15.20_5_0.2_2_2.2_3_3_1.3.2 nlp wc
40 lines 1518 bytes
head (2,2,2) body (2,3,3,1)
estimated blow-up 3.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.55sec 0.01sec 0 264 5392
htl 2.43sec 0.01sec 0 449 6234
str 2.48sec 0.01sec 0 449 5672

test15/test_15.20_5_0.2_2_2.2_3_3_2.10.2 nlp wc
40 lines 2244 bytes
head (2,2,2) body (2,3,3,2)
estimated blow-up 10.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 7.79sec 0.04sec 0 720 21057
htl 4.16sec 0.01sec 0 669 9673
str 5.24sec 0.01sec 0 669 8754

test15/test_15.20_5_0.2_2_2.2_3_3_3.31.8 nlp wc
40 lines 2740 bytes
head (2,2,2) body (2,3,3,3)
estimated blow-up 31.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 57.16sec 0.62sec 0 2056 73127
htl 6.72sec 0.02sec 0 888 12873
str 8.25sec 0.02sec 0 888 11901

test15/test_15.20_5_0.2_2_2.2_3_3_4.97.7 nlp wc
40 lines 3435 bytes
head (2,2,2) body (2,3,3,4)
estimated blow-up 97.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 392.74sec 18.56sec 1 5550 261199
htl 8.93sec 0.12sec 1 1084 16075
str 12.51sec 0.12sec 1 1084 14648

test15/test_15.20_5_0.2_2_2.3_3_3_1.1.8 nlp wc
38 lines 1125 bytes
head (2,2,2) body (3,3,3,1)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.77sec 0.00sec 1 112 2470
htl 0.99sec 0.00sec 1 188 2722
str 1.12sec 0.00sec 1 192 2514

test15/test_15.20_5_0.2_2_2.3_3_3_2.2.3 nlp wc
40 lines 1558 bytes
head (2,2,2) body (3,3,3,2)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.84sec 0.00sec 1 128 3780
htl 0.98sec 0.00sec 1 203 3246
str 1.12sec 0.00sec 1 203 2845

test15/test_15.20_5_0.2_2_2.3_3_3_3.2.6 nlp wc
40 lines 1955 bytes
head (2,2,2) body (3,3,3,3)
estimated blow-up 2.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.04sec 0.00sec 1 126 5087
htl 1.06sec 0.00sec 1 211 3690
str 1.57sec 0.01sec 1 211 3159

test15/test_15.20_5_0.2_2_2.3_3_3_4.2.8 nlp wc
40 lines 2297 bytes
head (2,2,2) body (3,3,3,4)
estimated blow-up 2.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.08sec 0.00sec 1 126 5599
htl 1.02sec 0.00sec 1 198 3630
str 1.40sec 0.01sec 1 198 3096

test15/test_15.20_5_0.2_3_2.1_1_1_1.2.6 nlp wc
44 lines 2224 bytes
head (2,3,2) body (1,1,1,1)
estimated blow-up 2.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.85sec 0.00sec 0 290 4854
htl 3.63sec 0.01sec 0 557 7852
str 4.10sec 0.01sec 0 557 7279

test15/test_15.20_5_0.2_3_2.1_1_1_2.3.1 nlp wc
45 lines 2320 bytes
head (2,3,2) body (1,1,1,2)
estimated blow-up 3.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.94sec 0.01sec 0 296 6355
htl 3.68sec 0.01sec 0 569 8136
str 4.18sec 0.01sec 0 569 7481

test15/test_15.20_5_0.2_3_2.1_1_1_3.3.5 nlp wc
42 lines 2402 bytes
head (2,3,2) body (1,1,1,3)
estimated blow-up 3.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.89sec 0.01sec 0 274 7078
htl 3.42sec 0.01sec 0 549 7976
str 4.21sec 0.01sec 0 549 7275

test15/test_15.20_5_0.2_3_2.1_1_1_4.3.9 nlp wc
45 lines 2626 bytes
head (2,3,2) body (1,1,1,4)
estimated blow-up 3.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.42sec 0.01sec 1 309 9103
htl 3.62sec 0.01sec 1 565 8319
str 4.66sec 0.01sec 1 565 7565

test15/test_15.20_5_0.2_3_2.1_2_1_1.12.4 nlp wc
44 lines 2873 bytes
head (2,3,2) body (1,2,1,1)
estimated blow-up 12.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 15.06sec 0.03sec 0 1032 25458
htl 4.96sec 0.01sec 0 695 10443
str 6.80sec 0.02sec 0 719 9669

test15/test_15.20_5_0.2_3_2.1_2_1_2.63.1 nlp wc
44 lines 3438 bytes
head (2,3,2) body (1,2,1,2)
estimated blow-up 63.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 128.38sec 0.43sec 3 3100 109306
htl 5.41sec 0.02sec 3 769 11855
str 8.06sec 0.02sec 3 797 10898

test15/test_15.20_5_0.2_3_2.1_2_1_3.293.7 nlp wc
45 lines 4205 bytes
head (2,3,2) body (1,2,1,3)
estimated blow-up 293.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2747.45sec 5.16sec 7 14168 667564
htl 7.14sec 0.14sec 7 907 14443
str 11.70sec 0.11sec 7 935 12946

test15/test_15.20_5_0.2_3_2.1_2_1_4.1304.1 nlp wc
44 lines 4935 bytes
head (2,3,2) body (1,2,1,4)
estimated blow-up 1304.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 31121.46sec 327.40sec 1 49164 2845468
htl 8.33sec 0.03sec 1 992 16390
str 14.26sec 0.03sec 1 1022 14392

test15/test_15.20_5_0.2_3_2.1_2_2_1.4.7 nlp wc
43 lines 2278 bytes
head (2,3,2) body (1,2,2,1)
estimated blow-up 4.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.42sec 0.01sec 0 456 8065
htl 3.59sec 0.01sec 0 596 8486
str 4.13sec 0.01sec 0 596 7788

test15/test_15.20_5_0.2_3_2.1_2_2_2.10.3 nlp wc
45 lines 2647 bytes
head (2,3,2) body (1,2,2,2)
estimated blow-up 10.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 14.26sec 0.03sec 0 996 21698
htl 4.87sec 0.01sec 0 691 9968
str 5.88sec 0.01sec 0 691 9116

test15/test_15.20_5_0.2_3_2.1_2_2_3.22.6 nlp wc
44 lines 2884 bytes
head (2,3,2) body (1,2,2,3)
estimated blow-up 22.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 42.24sec 0.11sec 0 1754 48127
htl 5.44sec 0.01sec 0 747 10988
str 6.79sec 0.01sec 0 747 9977

test15/test_15.20_5_0.2_3_2.1_2_2_4.48.7 nlp wc
45 lines 3138 bytes
head (2,3,2) body (1,2,2,4)
estimated blow-up 48.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 145.26sec 0.39sec 1 3360 106872
htl 5.47sec 0.02sec 1 780 11541
str 7.24sec 0.02sec 1 780 10501

test15/test_15.20_5_0.2_3_2.1_3_1_1.101.4 nlp wc
45 lines 3826 bytes
head (2,3,2) body (1,3,1,1)
estimated blow-up 101.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 328.33sec 0.65sec 1 5047 173378
htl 5.90sec 0.15sec 1 822 13261
str 9.45sec 0.03sec 1 852 11744

test15/test_15.20_5_0.2_3_2.1_3_1_2.3150.5 nlp wc
45 lines 5360 bytes
head (2,3,2) body (1,3,1,2)
estimated blow-up 3150.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 168373.67sec 64.69sec 2 104122 5430605
htl 9.48sec 0.07sec 2 1051 17679
str 16.43sec 0.06sec 2 1081 15329

test15/test_15.20_5_0.2_3_2.1_3_2_1.29.7 nlp wc
45 lines 3115 bytes
head (2,3,2) body (1,3,2,1)
estimated blow-up 29.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 53.33sec 0.13sec 0 1999 49073
htl 4.81sec 0.02sec 0 716 10922
str 7.29sec 0.01sec 0 740 10003

test15/test_15.20_5_0.2_3_2.1_3_2_2.340.0 nlp wc
45 lines 4120 bytes
head (2,3,2) body (1,3,2,2)
estimated blow-up 340.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3175.37sec 19.28sec 0 15551 575666
htl 6.65sec 0.02sec 0 832 13374
str 9.70sec 0.02sec 0 862 11853

next up previous contents
Next: Subseries: 20 variables Up: Subseries: 15 variables Previous: Tables   Contents
Torsten Schaub 2002-10-13