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

Individual tests

test20/test_20.20_5_0.1_1_1.1_1_1_1.1.2 nlp wc
30 lines 575 bytes
head (1,1,1) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.26sec 0.00sec 1 82 1337
htl 0.57sec 0.00sec 1 146 2033
str 0.50sec 0.01sec 1 150 1859

test20/test_20.20_5_0.1_1_1.1_1_1_2.1.3 nlp wc
30 lines 728 bytes
head (1,1,1) body (1,1,1,2)
estimated blow-up 1.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.27sec 0.00sec 1 80 1609
htl 0.49sec 0.00sec 1 138 2098
str 0.60sec 0.05sec 1 146 1907

test20/test_20.20_5_0.1_1_1.1_1_1_3.1.4 nlp wc
30 lines 835 bytes
head (1,1,1) body (1,1,1,3)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.41sec 0.00sec 1 80 1798
htl 0.48sec 0.00sec 1 132 2092
str 0.60sec 0.05sec 1 138 1866

test20/test_20.20_5_0.1_1_1.1_1_1_4.1.5 nlp wc
30 lines 908 bytes
head (1,1,1) body (1,1,1,4)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.69sec 0.00sec 1 74 1869
htl 0.63sec 0.03sec 1 126 2066
str 0.57sec 0.06sec 1 140 1966

test20/test_20.20_5_0.1_1_1.1_2_1_1.4.7 nlp wc
30 lines 1111 bytes
head (1,1,1) body (1,2,1,1)
estimated blow-up 4.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.02sec 0.01sec 2 194 4200
htl 0.95sec 0.04sec 2 237 3750
str 1.11sec 0.01sec 2 263 3433

test20/test_20.20_5_0.1_1_1.1_2_1_2.20.4 nlp wc
30 lines 1797 bytes
head (1,1,1) body (1,2,1,2)
estimated blow-up 20.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 7.67sec 0.23sec 0 688 23162
htl 2.01sec 0.46sec 0 391 6271
str 2.62sec 0.85sec 0 421 5693

test20/test_20.20_5_0.1_1_1.1_2_1_3.85.3 nlp wc
30 lines 2580 bytes
head (1,1,1) body (1,2,1,3)
estimated blow-up 85.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 171.34sec 3.88sec 0 2418 114935
htl 6.00sec 0.11sec 0 499 8572
str 9.62sec 2.82sec 0 539 7509

test20/test_20.20_5_0.1_1_1.1_2_1_4.350.0 nlp wc
30 lines 3319 bytes
head (1,1,1) body (1,2,1,4)
estimated blow-up 350.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2978.26sec 175.31sec 1 9904 587868
htl 7.92sec 9.43sec 1 610 10816
str 13.67sec 14.99sec 1 648 9129

test20/test_20.20_5_0.1_1_1.1_2_2_1.1.8 nlp wc
30 lines 721 bytes
head (1,1,1) body (1,2,2,1)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.85sec 0.00sec 0 118 1971
htl 2.09sec 0.08sec 0 204 2928
str 2.11sec 0.00sec 0 204 2523

test20/test_20.20_5_0.1_1_1.1_2_2_2.3.7 nlp wc
30 lines 1010 bytes
head (1,1,1) body (1,2,2,2)
estimated blow-up 3.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.90sec 0.01sec 1 198 4096
htl 2.49sec 0.02sec 1 257 3758
str 2.58sec 0.08sec 1 257 3245

test20/test_20.20_5_0.1_1_1.1_2_2_3.7.4 nlp wc
30 lines 1228 bytes
head (1,1,1) body (1,2,2,3)
estimated blow-up 7.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.17sec 0.04sec 1 352 8734
htl 3.49sec 0.07sec 1 312 4589
str 3.90sec 0.11sec 1 312 3992

test20/test_20.20_5_0.1_1_1.1_2_2_4.15.0 nlp wc
30 lines 1482 bytes
head (1,1,1) body (1,2,2,4)
estimated blow-up 15.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 11.68sec 0.40sec 1 586 18054
htl 3.73sec 0.41sec 1 366 5514
str 4.36sec 0.75sec 1 366 4763

test20/test_20.20_5_0.1_1_1.1_3_1_1.32.0 nlp wc
30 lines 2102 bytes
head (1,1,1) body (1,3,1,1)
estimated blow-up 32.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 28.25sec 0.25sec 1 912 28370
htl 4.54sec 0.11sec 1 402 6944
str 6.75sec 0.03sec 1 436 5927

test20/test_20.20_5_0.1_1_1.1_3_1_2.821.0 nlp wc
30 lines 3690 bytes
head (1,1,1) body (1,3,1,2)
estimated blow-up 821.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 9783.09sec 142.44sec 1 18238 954173
htl 8.77sec 5.35sec 1 636 11622
str 14.96sec 8.28sec 1 672 9453

test20/test_20.20_5_0.1_1_1.1_3_2_1.10.2 nlp wc
30 lines 1456 bytes
head (1,1,1) body (1,3,2,1)
estimated blow-up 10.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.06sec 0.01sec 0 370 8387
htl 3.57sec 0.08sec 0 314 5081
str 4.46sec 0.10sec 0 342 4482

test20/test_20.20_5_0.1_1_1.1_3_2_2.97.7 nlp wc
30 lines 2423 bytes
head (1,1,1) body (1,3,2,2)
estimated blow-up 97.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 257.74sec 5.23sec 0 3022 105326
htl 5.09sec 0.09sec 0 464 7909
str 8.68sec 0.01sec 0 504 6961

test20/test_20.20_5_0.1_1_1.1_3_2_3.905.0 nlp wc
30 lines 3494 bytes
head (1,1,1) body (1,3,2,3)
estimated blow-up 905.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 24280.67sec 773.42sec -- 26780 1280922
htl 8.24sec 0.20sec 1 610 10962
str 14.47sec 0.21sec 1 650 9165

test20/test_20.20_5_0.1_1_1.1_3_3_1.2.3 nlp wc
30 lines 834 bytes
head (1,1,1) body (1,3,3,1)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.09sec 0.00sec 1 156 2601
htl 2.26sec 0.09sec 1 234 3426
str 2.67sec 0.08sec 1 234 2945

test20/test_20.20_5_0.1_1_1.1_3_3_2.6.5 nlp wc
30 lines 1224 bytes
head (1,1,1) body (1,3,3,2)
estimated blow-up 6.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.05sec 0.12sec 1 388 8050
htl 3.26sec 0.01sec 1 306 4586
str 3.30sec 0.08sec 1 306 3907

test20/test_20.20_5_0.1_1_1.1_3_3_3.19.1 nlp wc
30 lines 1558 bytes
head (1,1,1) body (1,3,3,3)
estimated blow-up 19.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 32.97sec 0.79sec 0 1070 27288
htl 4.39sec 0.11sec 0 403 6040
str 5.18sec 0.09sec 0 403 5240

test20/test_20.20_5_0.1_1_1.1_3_3_4.56.6 nlp wc
30 lines 1958 bytes
head (1,1,1) body (1,3,3,4)
estimated blow-up 56.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 241.80sec 11.55sec 1 2958 93140
htl 5.50sec 0.03sec 1 464 7176
str 6.69sec 0.03sec 1 464 6169

test20/test_20.20_5_0.1_1_1.2_2_2_1.1.3 nlp wc
30 lines 688 bytes
head (1,1,1) body (2,2,2,1)
estimated blow-up 1.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.69sec 0.00sec 0 80 1525
htl 1.90sec 0.08sec 0 132 1956
str 1.59sec 0.09sec 0 140 1826

test20/test_20.20_5_0.1_1_1.2_2_2_2.1.5 nlp wc
30 lines 961 bytes
head (1,1,1) body (2,2,2,2)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.69sec 0.08sec 0 82 1999
htl 1.59sec 0.00sec 0 146 2378
str 2.23sec 0.02sec 0 156 2173

test20/test_20.20_5_0.1_1_1.2_2_2_3.1.6 nlp wc
30 lines 1237 bytes
head (1,1,1) body (2,2,2,3)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.80sec 0.09sec 1 76 2329
htl 1.58sec 0.00sec 1 116 2167
str 1.92sec 0.08sec 1 132 2012

test20/test_20.20_5_0.1_1_1.2_2_2_4.1.6 nlp wc
30 lines 1423 bytes
head (1,1,1) body (2,2,2,4)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.51sec 0.08sec 1 76 2540
htl 2.04sec 0.09sec 1 134 2512
str 1.85sec 0.10sec 1 148 2295

test20/test_20.20_5_0.1_1_1.2_3_2_1.9.2 nlp wc
30 lines 1730 bytes
head (1,1,1) body (2,3,2,1)
estimated blow-up 9.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.43sec 0.02sec 0 394 10569
htl 5.34sec 0.22sec 0 482 7359
str 7.53sec 0.42sec 0 514 6852

test20/test_20.20_5_0.1_1_1.2_3_2_2.85.6 nlp wc
30 lines 3067 bytes
head (1,1,1) body (2,3,2,2)
estimated blow-up 85.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 295.53sec 14.77sec 1 3184 143870
htl 11.74sec 5.01sec 1 810 13080
str 17.95sec 5.71sec 1 848 11695

test20/test_20.20_5_0.1_1_1.2_3_2_3.782.3 nlp wc
30 lines 4315 bytes
head (1,1,1) body (2,3,2,3)
estimated blow-up 782.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 22177.12sec 775.10sec -- 26296 1578770
htl 20.61sec 19.38sec 1 1121 18311
str 34.17sec 21.74sec 1 1159 16197

test20/test_20.20_5_0.1_1_1.2_3_3_1.2.2 nlp wc
30 lines 1111 bytes
head (1,1,1) body (2,3,3,1)
estimated blow-up 2.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.93sec 0.01sec 0 164 3280
htl 4.41sec 0.10sec 0 413 5756
str 4.87sec 0.03sec 0 413 5207

test20/test_20.20_5_0.1_1_1.2_3_3_2.6.3 nlp wc
30 lines 1855 bytes
head (1,1,1) body (2,3,3,2)
estimated blow-up 6.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.70sec 0.08sec 1 384 11566
htl 8.03sec 1.79sec 1 616 9055
str 9.00sec 1.74sec 1 616 8161

test20/test_20.20_5_0.1_1_1.2_3_3_3.18.6 nlp wc
30 lines 2540 bytes
head (1,1,1) body (2,3,3,3)
estimated blow-up 18.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 36.33sec 1.10sec 1 1070 43158
htl 13.71sec 4.91sec 1 889 13308
str 16.75sec 4.55sec 1 889 12040

test20/test_20.20_5_0.1_1_1.2_3_3_4.55.4 nlp wc
30 lines 3123 bytes
head (1,1,1) body (2,3,3,4)
estimated blow-up 55.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 258.58sec 21.26sec 1 2978 146576
htl 19.43sec 10.81sec 1 1069 16135
str 25.12sec 11.12sec 1 1069 14560

test20/test_20.20_5_0.1_1_1.3_3_3_1.1.4 nlp wc
30 lines 817 bytes
head (1,1,1) body (3,3,3,1)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.44sec 0.04sec 1 78 1727
htl 1.94sec 0.08sec 1 130 2031
str 1.91sec 0.02sec 1 138 1855

test20/test_20.20_5_0.1_1_1.3_3_3_2.1.6 nlp wc
30 lines 1170 bytes
head (1,1,1) body (3,3,3,2)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.42sec 0.08sec 1 82 2391
htl 1.61sec 0.04sec 1 140 2493
str 1.93sec 0.11sec 1 150 2227

test20/test_20.20_5_0.1_1_1.3_3_3_3.1.7 nlp wc
30 lines 1475 bytes
head (1,1,1) body (3,3,3,3)
estimated blow-up 1.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.96sec 0.00sec 1 82 2900
htl 1.85sec 0.00sec 1 134 2662
str 2.53sec 0.08sec 1 144 2369

test20/test_20.20_5_0.1_1_1.3_3_3_4.1.7 nlp wc
30 lines 1849 bytes
head (1,1,1) body (3,3,3,4)
estimated blow-up 1.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.82sec 0.00sec 1 80 3348
htl 2.24sec 0.00sec 1 150 3116
str 2.39sec 0.28sec 1 160 2689

test20/test_20.20_5_0.1_2_1.1_1_1_1.1.2 nlp wc
40 lines 1477 bytes
head (1,2,1) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.62sec 0.04sec 4 130 2417
htl 4.11sec 0.01sec 4 326 4677
str 3.96sec 0.01sec 4 326 4097

test20/test_20.20_5_0.1_2_1.1_1_1_2.1.5 nlp wc
40 lines 1574 bytes
head (1,2,1) body (1,1,1,2)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.97sec 0.08sec 22 140 3003
htl 3.41sec 0.85sec 22 343 5107
str 4.46sec 0.76sec 22 343 4434

test20/test_20.20_5_0.1_2_1.1_1_1_3.1.6 nlp wc
39 lines 1712 bytes
head (1,2,1) body (1,1,1,3)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.46sec 0.00sec 0 131 3331
htl 3.37sec 0.08sec 0 330 5008
str 4.46sec 0.09sec 0 336 4402

test20/test_20.20_5_0.1_2_1.1_1_1_4.1.8 nlp wc
40 lines 1808 bytes
head (1,2,1) body (1,1,1,4)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.98sec 0.01sec 13 137 3733
htl 3.86sec 1.22sec 13 345 5284
str 4.87sec 1.28sec 13 347 4609

test20/test_20.20_5_0.1_2_1.1_2_1_1.5.8 nlp wc
40 lines 2018 bytes
head (1,2,1) body (1,2,1,1)
estimated blow-up 5.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.65sec 0.01sec 0 361 9065
htl 5.49sec 0.05sec 0 447 6797
str 7.04sec 0.02sec 0 469 6212

test20/test_20.20_5_0.1_2_1.1_2_1_2.28.5 nlp wc
40 lines 2772 bytes
head (1,2,1) body (1,2,1,2)
estimated blow-up 28.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 49.56sec 0.74sec 16 1241 47785
htl 6.88sec 1.28sec 16 558 9107
str 10.86sec 1.90sec 16 594 8191

test20/test_20.20_5_0.1_2_1.1_2_1_3.128.0 nlp wc
40 lines 3430 bytes
head (1,2,1) body (1,2,1,3)
estimated blow-up 128.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 688.73sec 9.16sec 8 4924 243773
htl 9.33sec 5.18sec 8 666 11170
str 14.82sec 6.21sec 8 704 9819

test20/test_20.20_5_0.1_2_1.1_2_1_4.551.4 nlp wc
39 lines 4188 bytes
head (1,2,1) body (1,2,1,4)
estimated blow-up 551.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 11687.72sec 346.84sec 0 20027 1246531
htl 12.05sec 0.02sec 0 789 13672
str 20.63sec 0.05sec 0 829 11722

test20/test_20.20_5_0.1_2_1.1_2_2_1.2.1 nlp wc
40 lines 1608 bytes
head (1,2,1) body (1,2,2,1)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.49sec 0.04sec 0 211 4115
htl 4.39sec 0.04sec 0 396 5767
str 4.99sec 0.01sec 0 396 5063

test20/test_20.20_5_0.1_2_1.1_2_2_2.4.7 nlp wc
40 lines 1866 bytes
head (1,2,1) body (1,2,2,2)
estimated blow-up 4.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.58sec 0.02sec 0 363 8547
htl 5.55sec 0.01sec 0 454 6667
str 6.16sec 0.01sec 0 454 5919

test20/test_20.20_5_0.1_2_1.1_2_2_3.10.1 nlp wc
40 lines 2050 bytes
head (1,2,1) body (1,2,2,3)
estimated blow-up 10.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 14.36sec 0.20sec 0 653 18113
htl 5.91sec 0.03sec 0 491 7296
str 6.84sec 0.07sec 0 491 6476

test20/test_20.20_5_0.1_2_1.1_2_2_4.21.4 nlp wc
40 lines 2367 bytes
head (1,2,1) body (1,2,2,4)
estimated blow-up 21.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 46.23sec 1.22sec 3 1221 41197
htl 6.44sec 0.32sec 3 523 7933
str 8.24sec 0.41sec 3 523 6989

test20/test_20.20_5_0.1_2_1.1_3_1_1.45.5 nlp wc
38 lines 2782 bytes
head (1,2,1) body (1,3,1,1)
estimated blow-up 45.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 94.42sec 0.12sec 0 1743 59784
htl 7.86sec 0.01sec 0 586 9610
str 11.48sec 0.10sec 0 610 8327

test20/test_20.20_5_0.1_2_1.1_3_1_2.1316.6 nlp wc
40 lines 4578 bytes
head (1,2,1) body (1,3,1,2)
estimated blow-up 1316.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 53248.73sec 44.87sec 16 37572 2065533
htl 13.04sec 7.61sec 16 847 15090
str 23.47sec 8.42sec 16 881 12512

test20/test_20.20_5_0.1_2_1.1_3_2_1.13.6 nlp wc
40 lines 2412 bytes
head (1,2,1) body (1,3,2,1)
estimated blow-up 13.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 19.38sec 0.05sec 0 769 20396
htl 6.40sec 0.06sec 0 511 8145
str 8.67sec 0.04sec 0 543 7376

test20/test_20.20_5_0.1_2_1.1_3_2_2.147.3 nlp wc
40 lines 3337 bytes
head (1,2,1) body (1,3,2,2)
estimated blow-up 147.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1029.16sec 1.58sec 0 6145 241167
htl 9.08sec 0.09sec 0 664 11124
str 14.83sec 0.09sec 0 700 9767

test20/test_20.20_5_0.1_2_1.1_3_2_3.1458.0 nlp wc
40 lines 4469 bytes
head (1,2,1) body (1,3,2,3)
estimated blow-up 1458.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 86362.26sec 56.16sec 14 51899 2618275
htl 12.67sec 0.75sec 14 830 14523
str 23.15sec 0.89sec 14 870 12308

test20/test_20.20_5_0.1_2_1.1_3_3_1.2.9 nlp wc
40 lines 1744 bytes
head (1,2,1) body (1,3,3,1)
estimated blow-up 2.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.01sec 0.09sec 0 278 5456
htl 4.41sec 0.06sec 0 418 6144
str 5.56sec 0.01sec 0 418 5400

test20/test_20.20_5_0.1_2_1.1_3_3_2.9.1 nlp wc
40 lines 2101 bytes
head (1,2,1) body (1,3,3,2)
estimated blow-up 9.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 17.60sec 0.21sec 0 739 17814
htl 5.92sec 0.01sec 0 490 7347
str 6.91sec 0.08sec 0 490 6457

test20/test_20.20_5_0.1_2_1.1_3_3_3.28.5 nlp wc
39 lines 2432 bytes
head (1,2,1) body (1,3,3,3)
estimated blow-up 28.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 114.71sec 3.98sec 0 1998 57819
htl 7.44sec 0.09sec 0 585 8866
str 9.55sec 0.07sec 0 585 7827

test20/test_20.20_5_0.1_2_1.1_3_3_4.88.4 nlp wc
39 lines 2794 bytes
head (1,2,1) body (1,3,3,4)
estimated blow-up 88.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 943.08sec 0.80sec 0 5919 203279
htl 8.56sec 0.10sec 0 651 10134
str 11.22sec 0.09sec 0 651 8843

test20/test_20.20_5_0.1_2_1.2_2_2_1.1.5 nlp wc
39 lines 1606 bytes
head (1,2,1) body (2,2,2,1)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.91sec 0.08sec 0 135 3039
htl 3.79sec 0.07sec 0 343 5077
str 4.63sec 0.01sec 0 347 4467

test20/test_20.20_5_0.1_2_1.2_2_2_2.1.8 nlp wc
39 lines 1785 bytes
head (1,2,1) body (2,2,2,2)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.34sec 0.04sec 0 135 3655
htl 3.62sec 0.08sec 0 340 5238
str 4.30sec 0.08sec 0 342 4543

test20/test_20.20_5_0.1_2_1.2_2_2_3.2.1 nlp wc
40 lines 2159 bytes
head (1,2,1) body (2,2,2,3)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.57sec 0.08sec 4 138 4673
htl 4.03sec 3.93sec 4 352 5626
str 4.90sec 3.99sec 4 354 4820

test20/test_20.20_5_0.1_2_1.2_2_2_4.2.3 nlp wc
40 lines 2323 bytes
head (1,2,1) body (2,2,2,4)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.48sec 0.01sec 12 135 5297
htl 3.84sec 1.92sec 12 337 5612
str 5.41sec 1.95sec 12 341 4790

test20/test_20.20_5_0.1_2_1.2_3_2_1.13.3 nlp wc
40 lines 2687 bytes
head (1,2,1) body (2,3,2,1)
estimated blow-up 13.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 19.24sec 0.09sec 2 754 22991
htl 8.81sec 0.21sec 2 658 10241
str 12.97sec 0.05sec 2 684 9336

test20/test_20.20_5_0.1_2_1.2_3_2_2.138.9 nlp wc
39 lines 3931 bytes
head (1,2,1) body (2,3,2,2)
estimated blow-up 138.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1089.20sec 21.22sec 0 6178 293527
htl 17.16sec 0.10sec 0 1004 16137
str 26.69sec 0.02sec 0 1040 14528

test20/test_20.20_5_0.1_2_1.2_3_2_3.1339.8 nlp wc
40 lines 5259 bytes
head (1,2,1) body (2,3,2,3)
estimated blow-up 1339.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 83400.70sec 465.66sec 12 51496 3353004
htl 27.66sec 26.41sec 12 1319 21673
str 46.58sec 20.90sec 12 1359 19180

test20/test_20.20_5_0.1_2_1.2_3_3_1.3.1 nlp wc
40 lines 1982 bytes
head (1,2,1) body (2,3,3,1)
estimated blow-up 3.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.82sec 0.06sec 4 292 6687
htl 7.39sec 0.04sec 4 601 8731
str 8.66sec 0.11sec 4 601 7908

test20/test_20.20_5_0.1_2_1.2_3_3_2.9.9 nlp wc
40 lines 2783 bytes
head (1,2,1) body (2,3,3,2)
estimated blow-up 9.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 20.42sec 0.39sec 4 778 26313
htl 13.02sec 1.57sec 4 868 13040
str 16.96sec 1.47sec 4 868 11739

test20/test_20.20_5_0.1_2_1.2_3_3_3.30.9 nlp wc
40 lines 3352 bytes
head (1,2,1) body (2,3,3,3)
estimated blow-up 30.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 128.58sec 4.69sec 4 2056 89609
htl 19.09sec 5.87sec 4 1069 16179
str 24.38sec 5.86sec 4 1069 14615

test20/test_20.20_5_0.1_2_1.2_3_3_4.95.3 nlp wc
40 lines 4042 bytes
head (1,2,1) body (2,3,3,4)
estimated blow-up 95.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1059.37sec 34.37sec 7 6129 318686
htl 26.15sec 15.70sec 7 1272 19304
str 34.72sec 15.63sec 7 1272 17578

test20/test_20.20_5_0.1_2_1.3_3_3_1.1.6 nlp wc
40 lines 1759 bytes
head (1,2,1) body (3,3,3,1)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.65sec 0.03sec 14 139 3589
htl 4.03sec 1.29sec 14 350 5341
str 4.80sec 1.43sec 14 352 4627

test20/test_20.20_5_0.1_2_1.3_3_3_2.2.1 nlp wc
40 lines 2035 bytes
head (1,2,1) body (3,3,3,2)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.10sec 0.01sec 2 132 4509
htl 3.52sec 1.59sec 2 311 5068
str 4.44sec 1.82sec 2 315 4365

test20/test_20.20_5_0.1_2_1.3_3_3_3.2.4 nlp wc
40 lines 2497 bytes
head (1,2,1) body (3,3,3,3)
estimated blow-up 2.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.32sec 0.01sec 28 139 6041
htl 4.07sec 4.00sec 28 336 5768
str 5.62sec 4.50sec 28 338 4840

test20/test_20.20_5_0.1_2_1.3_3_3_4.2.6 nlp wc
40 lines 2802 bytes
head (1,2,1) body (3,3,3,4)
estimated blow-up 2.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.01sec 0.01sec 16 141 6991
htl 3.87sec 8.07sec 16 350 6179
str 5.84sec 9.61sec 16 350 5173

test20/test_20.20_5_0.1_2_2.1_1_1_1.1.2 nlp wc
34 lines 1028 bytes
head (1,2,2) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.68sec 0.57sec 1511 109 1918
htl 3.14sec 2.11sec 1511 257 3491
str 2.80sec 2.12sec 1511 257 3210

test20/test_20.20_5_0.1_2_2.1_1_1_2.1.4 nlp wc
35 lines 1174 bytes
head (1,2,2) body (1,1,1,2)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.49sec 0.40sec 952 114 2347
htl 3.11sec 41.75sec 952 268 3793
str 2.98sec 41.95sec 952 268 3446

test20/test_20.20_5_0.1_2_2.1_1_1_3.1.5 nlp wc
35 lines 1293 bytes
head (1,2,2) body (1,1,1,3)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.01sec 0.10sec 190 110 2636
htl 2.66sec 14.03sec 190 258 3764
str 3.19sec 14.21sec 190 262 3442

test20/test_20.20_5_0.1_2_2.1_1_1_4.1.6 nlp wc
35 lines 1316 bytes
head (1,2,2) body (1,1,1,4)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.44sec 0.01sec 98 103 2754
htl 2.72sec 8.25sec 98 233 3539
str 2.89sec 8.27sec 98 237 3206

test20/test_20.20_5_0.1_2_2.1_2_1_1.5.3 nlp wc
35 lines 1679 bytes
head (1,2,2) body (1,2,1,1)
estimated blow-up 5.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.23sec 0.56sec 875 283 6976
htl 4.12sec 4.34sec 875 367 5481
str 5.00sec 6.79sec 875 393 5191

test20/test_20.20_5_0.1_2_2.1_2_1_2.24.8 nlp wc
35 lines 2274 bytes
head (1,2,2) body (1,2,1,2)
estimated blow-up 24.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 31.31sec 2.13sec 517 975 34361
htl 6.12sec 36.96sec 517 484 7548
str 8.08sec 36.38sec 517 514 6968

test20/test_20.20_5_0.1_2_2.1_2_1_3.108.3 nlp wc
35 lines 3062 bytes
head (1,2,2) body (1,2,1,3)
estimated blow-up 108.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 384.22sec 5.91sec 255 3623 180557
htl 7.58sec 91.49sec 255 595 10030
str 12.38sec 105.14sec 255 633 8830

test20/test_20.20_5_0.1_2_2.1_2_1_4.457.5 nlp wc
35 lines 3538 bytes
head (1,2,2) body (1,2,1,4)
estimated blow-up 457.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3695.98sec 55.33sec 379 11449 684784
htl 9.54sec 105.31sec 379 683 11448
str 15.15sec 131.38sec 379 721 10164

test20/test_20.20_5_0.1_2_2.1_2_2_1.2.0 nlp wc
35 lines 1156 bytes
head (1,2,2) body (1,2,2,1)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.93sec 0.39sec 1314 166 3008
htl 3.13sec 1.95sec 1314 308 4296
str 3.47sec 2.02sec 1314 308 3843

test20/test_20.20_5_0.1_2_2.1_2_2_2.4.3 nlp wc
35 lines 1497 bytes
head (1,2,2) body (1,2,2,2)
estimated blow-up 4.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.03sec 1.52sec 1612 287 6511
htl 3.94sec 10.65sec 1612 377 5331
str 4.99sec 10.32sec 1612 377 4840

test20/test_20.20_5_0.1_2_2.1_2_2_3.9.0 nlp wc
35 lines 1724 bytes
head (1,2,2) body (1,2,2,3)
estimated blow-up 9.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 10.01sec 1.40sec 98 521 14151
htl 4.89sec 38.30sec 98 447 6407
str 5.75sec 35.70sec 98 447 5849

test20/test_20.20_5_0.1_2_2.1_2_2_4.18.6 nlp wc
35 lines 2019 bytes
head (1,2,2) body (1,2,2,4)
estimated blow-up 18.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 30.86sec 4.09sec 1990 988 33060
htl 5.68sec 23.12sec 1990 489 7241
str 7.12sec 40.62sec 1990 489 6487

test20/test_20.20_5_0.1_2_2.1_3_1_1.39.3 nlp wc
35 lines 2532 bytes
head (1,2,2) body (1,3,1,1)
estimated blow-up 39.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 51.69sec 3.59sec 1572 1277 43033
htl 5.81sec 27.41sec 1572 488 8091
str 9.00sec 25.55sec 1572 516 7064

test20/test_20.20_5_0.1_2_2.1_3_1_2.1084.2 nlp wc
35 lines 4087 bytes
head (1,2,2) body (1,3,1,2)
estimated blow-up 1084.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 21281.06sec 85.71sec 272 26563 1456897
htl 10.57sec 115.63sec 272 728 12839
str 18.53sec 150.24sec 272 766 10880

test20/test_20.20_5_0.1_2_2.1_3_2_1.12.1 nlp wc
35 lines 1940 bytes
head (1,2,2) body (1,3,2,1)
estimated blow-up 12.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 11.06sec 5.34sec 6717 555 13751
htl 5.06sec 15.45sec 6717 421 6429
str 6.30sec 18.63sec 6717 453 6068

test20/test_20.20_5_0.1_2_2.1_3_2_2.124.6 nlp wc
35 lines 3002 bytes
head (1,2,2) body (1,3,2,2)
estimated blow-up 124.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 612.49sec 43.13sec 2747 4700 180570
htl 7.00sec 11.12sec 2747 584 9802
str 12.12sec 17.30sec 2747 624 8719

test20/test_20.20_5_0.1_2_2.1_3_2_3.1200.7 nlp wc
35 lines 3923 bytes
head (1,2,2) body (1,3,2,3)
estimated blow-up 1200.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 36340.17sec 688.58sec 1498 35965 1797458
htl 10.75sec 48.63sec 1498 738 12681
str 18.42sec 57.96sec 1498 776 10917

test20/test_20.20_5_0.1_2_2.1_3_3_1.2.7 nlp wc
34 lines 1213 bytes
head (1,2,2) body (1,3,3,1)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.18sec 0.58sec 1350 205 3623
htl 3.50sec 1.44sec 1350 322 4437
str 3.90sec 1.51sec 1350 322 4043

test20/test_20.20_5_0.1_2_2.1_3_3_2.8.1 nlp wc
35 lines 1703 bytes
head (1,2,2) body (1,3,3,2)
estimated blow-up 8.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 11.04sec 3.30sec 4173 563 12908
htl 4.98sec 11.17sec 4173 420 6050
str 5.34sec 10.98sec 4173 420 5465

test20/test_20.20_5_0.1_2_2.1_3_3_3.24.6 nlp wc
35 lines 2040 bytes
head (1,2,2) body (1,3,3,3)
estimated blow-up 24.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 64.49sec 10.83sec 5373 1483 41205
htl 5.88sec 13.77sec 5373 497 7332
str 6.91sec 13.59sec 5373 497 6580

test20/test_20.20_5_0.1_2_2.1_3_3_4.74.8 nlp wc
35 lines 2322 bytes
head (1,2,2) body (1,3,3,4)
estimated blow-up 74.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 527.85sec 60.49sec 4312 4373 141176
htl 7.15sec 18.19sec 4312 573 8600
str 9.15sec 15.97sec 4312 573 7662

test20/test_20.20_5_0.1_2_2.2_2_2_1.1.4 nlp wc
34 lines 1107 bytes
head (1,2,2) body (2,2,2,1)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.86sec 0.08sec 39 109 2220
htl 2.89sec 6.07sec 39 254 3603
str 2.94sec 11.71sec 39 256 3297

test20/test_20.20_5_0.1_2_2.2_2_2_2.1.6 nlp wc
35 lines 1419 bytes
head (1,2,2) body (2,2,2,2)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.55sec 0.02sec 159 113 2913
htl 3.34sec 30.05sec 159 264 3947
str 3.27sec 30.26sec 159 264 3544

test20/test_20.20_5_0.1_2_2.2_2_2_3.1.8 nlp wc
34 lines 1666 bytes
head (1,2,2) body (2,2,2,3)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.93sec 0.08sec 25 113 3555
htl 3.24sec 48.34sec 25 264 4157
str 3.76sec 48.14sec 25 264 3658

test20/test_20.20_5_0.1_2_2.2_2_2_4.2.0 nlp wc
34 lines 1928 bytes
head (1,2,2) body (2,2,2,4)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.99sec 0.09sec 45 112 4091
htl 3.03sec 21.81sec 45 263 4318
str 3.47sec 21.70sec 45 265 3807

test20/test_20.20_5_0.1_2_2.2_3_2_1.11.5 nlp wc
35 lines 2099 bytes
head (1,2,2) body (2,3,2,1)
estimated blow-up 11.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 11.13sec 1.10sec 300 552 15683
htl 6.87sec 44.82sec 300 582 8691
str 9.41sec 53.77sec 300 610 8242

test20/test_20.20_5_0.1_2_2.2_3_2_2.114.4 nlp wc
35 lines 3566 bytes
head (1,2,2) body (2,3,2,2)
estimated blow-up 114.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 537.48sec 15.91sec 273 4349 204552
htl 14.54sec 134.22sec 273 903 14535
str 22.61sec 115.39sec 273 937 13032

test20/test_20.20_5_0.1_2_2.2_3_2_3.1077.6 nlp wc
35 lines 4882 bytes
head (1,2,2) body (2,3,2,3)
estimated blow-up 1077.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 49227.66sec 132.27sec 122 37963 2385729
htl 24.04sec 266.04sec 122 1225 20055
str 39.19sec 251.21sec 122 1265 17795

test20/test_20.20_5_0.1_2_2.2_3_3_1.2.7 nlp wc
35 lines 1568 bytes
head (1,2,2) body (2,3,3,1)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.26sec 2.84sec 4614 227 4960
htl 6.51sec 19.14sec 4614 509 7148
str 6.57sec 19.57sec 4614 509 6608

test20/test_20.20_5_0.1_2_2.2_3_3_2.8.3 nlp wc
34 lines 2249 bytes
head (1,2,2) body (2,3,3,2)
estimated blow-up 8.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 12.82sec 0.54sec 169 590 18316
htl 11.13sec 57.09sec 169 761 10973
str 12.64sec 58.29sec 169 761 10171

test20/test_20.20_5_0.1_2_2.2_3_3_3.25.4 nlp wc
35 lines 2954 bytes
head (1,2,2) body (2,3,3,3)
estimated blow-up 25.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 86.43sec 2.98sec 207 1675 69667
htl 17.32sec 115.34sec 207 1009 14906
str 22.06sec 120.67sec 207 1009 13708

test20/test_20.20_5_0.1_2_2.2_3_3_4.77.1 nlp wc
35 lines 3693 bytes
head (1,2,2) body (2,3,3,4)
estimated blow-up 77.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 672.58sec 23.97sec 111 4832 253541
htl 25.72sec 234.29sec 111 1269 19074
str 33.52sec 241.46sec 111 1269 17394

test20/test_20.20_5_0.1_2_2.3_3_3_1.1.5 nlp wc
35 lines 1287 bytes
head (1,2,2) body (3,3,3,1)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.96sec 0.03sec 197 116 2730
htl 3.21sec 48.54sec 197 273 3984
str 3.09sec 48.26sec 197 273 3589

test20/test_20.20_5_0.1_2_2.3_3_3_2.1.8 nlp wc
35 lines 1648 bytes
head (1,2,2) body (3,3,3,2)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.85sec 0.04sec 39 110 3523
htl 3.21sec 33.40sec 39 251 4009
str 3.20sec 33.36sec 39 253 3555

test20/test_20.20_5_0.1_2_2.3_3_3_3.2.0 nlp wc
35 lines 1991 bytes
head (1,2,2) body (3,3,3,3)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.50sec 0.08sec 243 113 4355
htl 3.41sec 13.31sec 243 253 4269
str 3.88sec 13.42sec 243 257 3775

test20/test_20.20_5_0.1_2_2.3_3_3_4.2.2 nlp wc
34 lines 2340 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.08sec 45 111 5006
htl 3.21sec 10.75sec 45 255 4493
str 4.13sec 10.65sec 45 259 3950

test20/test_20.20_5_0.1_3_1.1_1_1_1.1.3 nlp wc
55 lines 2555 bytes
head (1,3,1) body (1,1,1,1)
estimated blow-up 1.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.63sec 0.08sec 0 200 4065
htl 6.64sec 0.05sec 0 508 7739
str 8.57sec 0.05sec 0 510 6740

test20/test_20.20_5_0.1_3_1.1_1_1_2.1.5 nlp wc
55 lines 2876 bytes
head (1,3,1) body (1,1,1,2)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.71sec 0.05sec 24 213 5146
htl 7.45sec 0.07sec 24 554 8665
str 9.43sec 0.07sec 24 554 7488

test20/test_20.20_5_0.1_3_1.1_1_1_3.1.8 nlp wc
53 lines 2979 bytes
head (1,3,1) body (1,1,1,3)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.04sec 0.00sec 2 205 5668
htl 7.20sec 0.40sec 2 538 8530
str 9.40sec 0.55sec 2 538 7332

test20/test_20.20_5_0.1_3_1.1_1_1_4.2.0 nlp wc
55 lines 3080 bytes
head (1,3,1) body (1,1,1,4)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.26sec 0.04sec 8 208 6449
htl 6.96sec 2.29sec 8 540 8697
str 10.21sec 2.80sec 8 540 7425

test20/test_20.20_5_0.1_3_1.1_2_1_1.6.4 nlp wc
55 lines 3304 bytes
head (1,3,1) body (1,2,1,1)
estimated blow-up 6.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 13.43sec 0.09sec 2 614 16436
htl 9.84sec 0.09sec 2 661 10485
str 14.12sec 0.02sec 2 685 9397

test20/test_20.20_5_0.1_3_1.1_2_1_2.34.2 nlp wc
55 lines 4005 bytes
head (1,3,1) body (1,2,1,2)
estimated blow-up 34.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 134.96sec 0.91sec 1 2111 83332
htl 12.02sec 0.58sec 1 763 12601
str 19.23sec 0.54sec 1 797 11145

test20/test_20.20_5_0.1_3_1.1_2_1_3.162.4 nlp wc
55 lines 4808 bytes
head (1,3,1) body (1,2,1,3)
estimated blow-up 162.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2617.84sec 13.90sec 41 8906 465922
htl 15.12sec 2.13sec 41 886 15081
str 26.12sec 2.39sec 41 926 13130

test20/test_20.20_5_0.1_3_1.1_2_1_4.729.4 nlp wc
55 lines 5210 bytes
head (1,3,1) body (1,2,1,4)
estimated blow-up 729.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 24167.53sec 438.51sec 38 29162 1762677
htl 17.60sec 5.38sec 38 962 16453
str 30.46sec 6.39sec 38 1002 14256

test20/test_20.20_5_0.1_3_1.1_2_2_1.2.3 nlp wc
55 lines 2860 bytes
head (1,3,1) body (1,2,2,1)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.09sec 0.09sec 0 329 6831
htl 7.58sec 0.08sec 0 590 9093
str 9.55sec 0.01sec 0 590 7907

test20/test_20.20_5_0.1_3_1.1_2_2_2.5.2 nlp wc
53 lines 3116 bytes
head (1,3,1) body (1,2,2,2)
estimated blow-up 5.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 12.42sec 0.10sec 2 599 15039
htl 9.72sec 0.02sec 2 656 10175
str 13.17sec 0.02sec 2 656 8868

test20/test_20.20_5_0.1_3_1.1_2_2_3.11.7 nlp wc
55 lines 3335 bytes
head (1,3,1) body (1,2,2,3)
estimated blow-up 11.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 38.52sec 0.26sec 7 1129 33344
htl 10.33sec 0.03sec 7 698 10888
str 14.17sec 0.04sec 7 698 9502

test20/test_20.20_5_0.1_3_1.1_2_2_4.25.8 nlp wc
55 lines 3629 bytes
head (1,3,1) body (1,2,2,4)
estimated blow-up 25.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 131.03sec 0.56sec 6 2126 76962
htl 12.02sec 0.22sec 6 753 11927
str 16.87sec 0.22sec 6 753 10292

test20/test_20.20_5_0.1_3_1.1_3_1_1.55.4 nlp wc
55 lines 4175 bytes
head (1,3,1) body (1,3,1,1)
estimated blow-up 55.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 269.79sec 1.42sec 9 3035 111257
htl 12.25sec 0.22sec 9 779 13141
str 19.50sec 0.23sec 9 805 11250

test20/test_20.20_5_0.1_3_1.1_3_1_2.1771.2 nlp wc
55 lines 5965 bytes
head (1,3,1) body (1,3,1,2)
estimated blow-up 1771.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 159087.95sec 51.77sec 8 69938 3941606
htl 19.55sec 1.59sec 8 1049 18743
str 38.60sec 1.91sec 8 1087 15576

test20/test_20.20_5_0.1_3_1.1_3_2_1.15.7 nlp wc
55 lines 3549 bytes
head (1,3,1) body (1,3,2,1)
estimated blow-up 15.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 43.95sec 0.08sec 1 1215 33274
htl 10.24sec 0.07sec 1 701 11357
str 14.94sec 0.09sec 1 725 9976

test20/test_20.20_5_0.1_3_1.1_3_2_2.187.1 nlp wc
55 lines 4494 bytes
head (1,3,1) body (1,3,2,2)
estimated blow-up 187.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2878.48sec 4.96sec 2 9986 400929
htl 13.77sec 0.12sec 2 846 14280
str 22.87sec 0.05sec 2 882 12426

test20/test_20.20_5_0.1_3_1.1_3_2_3.1963.9 nlp wc
55 lines 5471 bytes
head (1,3,1) body (1,3,2,3)
estimated blow-up 1963.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 227492.63sec 773.88sec -- 80910 4159580
htl 18.91sec 0.17sec 4 989 17186
str 31.98sec 0.20sec 4 1029 14699

test20/test_20.20_5_0.1_3_1.1_3_3_1.3.2 nlp wc
55 lines 2940 bytes
head (1,3,1) body (1,3,3,1)
estimated blow-up 3.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 7.67sec 0.09sec 0 446 9148
htl 8.60sec 0.01sec 0 620 9592
str 11.49sec 0.01sec 0 620 8304

test20/test_20.20_5_0.1_3_1.1_3_3_2.10.6 nlp wc
55 lines 3367 bytes
head (1,3,1) body (1,3,3,2)
estimated blow-up 10.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 48.44sec 0.09sec 0 1276 32784
htl 10.35sec 0.09sec 0 705 11051
str 13.91sec 0.05sec 0 705 9601

test20/test_20.20_5_0.1_3_1.1_3_3_3.35.1 nlp wc
55 lines 3712 bytes
head (1,3,1) body (1,3,3,3)
estimated blow-up 35.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 332.85sec 0.53sec 0 3469 106712
htl 12.66sec 0.06sec 0 787 12471
str 17.39sec 0.10sec 0 787 10839

test20/test_20.20_5_0.1_3_1.1_3_3_4.113.3 nlp wc
53 lines 3965 bytes
head (1,3,1) body (1,3,3,4)
estimated blow-up 113.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2623.21sec 1.72sec 0 9628 342442
htl 13.68sec 0.09sec 0 846 13458
str 18.51sec 0.09sec 0 846 11701

test20/test_20.20_5_0.1_3_1.2_2_2_1.1.5 nlp wc
55 lines 2803 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.08sec 2 210 4852
htl 6.97sec 0.06sec 2 546 8471
str 9.66sec 0.06sec 2 546 7297

test20/test_20.20_5_0.1_3_1.2_2_2_2.2.0 nlp wc
53 lines 2994 bytes
head (1,3,1) body (2,2,2,2)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.36sec 0.01sec 13 206 6023
htl 7.35sec 0.40sec 13 533 8443
str 10.01sec 0.41sec 13 535 7316

test20/test_20.20_5_0.1_3_1.2_2_2_3.2.4 nlp wc
55 lines 3365 bytes
head (1,3,1) body (2,2,2,3)
estimated blow-up 2.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.39sec 0.01sec 21 211 7739
htl 7.15sec 3.32sec 21 543 8812
str 10.32sec 3.47sec 21 543 7559

test20/test_20.20_5_0.1_3_1.2_2_2_4.2.7 nlp wc
55 lines 3605 bytes
head (1,3,1) body (2,2,2,4)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.53sec 0.02sec 21 205 8789
htl 7.55sec 1.60sec 21 528 8844
str 10.43sec 1.73sec 21 530 7511

test20/test_20.20_5_0.1_3_1.2_3_2_1.16.3 nlp wc
55 lines 3939 bytes
head (1,3,1) body (2,3,2,1)
estimated blow-up 16.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 51.71sec 0.24sec 6 1290 42372
htl 14.90sec 0.08sec 6 882 14253
str 22.29sec 0.23sec 6 914 12784

test20/test_20.20_5_0.1_3_1.2_3_2_2.187.4 nlp wc
55 lines 5232 bytes
head (1,3,1) body (2,3,2,2)
estimated blow-up 187.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2958.69sec 3.99sec 11 10214 510416
htl 23.37sec 1.94sec 11 1176 19382
str 38.83sec 2.24sec 11 1216 17099

test20/test_20.20_5_0.1_3_1.2_3_2_3.1912.2 nlp wc
55 lines 6483 bytes
head (1,3,1) body (2,3,2,3)
estimated blow-up 1912.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 255974.03sec 103.99sec 18 85933 5713271
htl 34.91sec 6.77sec 18 1473 24571
str 59.81sec 6.86sec 18 1513 21507

test20/test_20.20_5_0.1_3_1.2_3_3_1.3.6 nlp wc
53 lines 3236 bytes
head (1,3,1) body (2,3,3,1)
estimated blow-up 3.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 8.83sec 0.03sec 0 478 12186
htl 12.74sec 0.07sec 0 802 12368
str 17.23sec 0.05sec 0 802 10853

test20/test_20.20_5_0.1_3_1.2_3_3_2.12.7 nlp wc
55 lines 3951 bytes
head (1,3,1) body (2,3,3,2)
estimated blow-up 12.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 45.99sec 0.25sec 10 1213 42997
htl 17.87sec 0.67sec 10 1012 15659
str 24.25sec 0.52sec 10 1012 13870

test20/test_20.20_5_0.1_3_1.2_3_3_3.41.9 nlp wc
55 lines 4605 bytes
head (1,3,1) body (2,3,3,3)
estimated blow-up 41.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 348.87sec 2.13sec 35 3467 154920
htl 26.67sec 2.96sec 35 1257 19457
str 37.46sec 2.58sec 35 1257 17346

test20/test_20.20_5_0.1_3_1.2_3_3_4.134.6 nlp wc
51 lines 5189 bytes
head (1,3,1) body (2,3,3,4)
estimated blow-up 134.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3388.66sec 4.51sec 10 10790 585675
htl 37.05sec 3.00sec 10 1508 23313
str 51.82sec 3.16sec 10 1508 20935

test20/test_20.20_5_0.1_3_1.3_3_3_1.1.8 nlp wc
53 lines 2949 bytes
head (1,3,1) body (3,3,3,1)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.19sec 0.04sec 3 207 5647
htl 7.49sec 0.05sec 3 545 8551
str 10.17sec 0.13sec 3 545 7373

test20/test_20.20_5_0.1_3_1.3_3_3_2.2.4 nlp wc
55 lines 3315 bytes
head (1,3,1) body (3,3,3,2)
estimated blow-up 2.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.46sec 0.11sec 24 211 7710
htl 7.90sec 3.77sec 24 557 9110
str 10.36sec 4.26sec 24 557 7783

test20/test_20.20_5_0.1_3_1.3_3_3_3.2.9 nlp wc
55 lines 3685 bytes
head (1,3,1) body (3,3,3,3)
estimated blow-up 2.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.22sec 0.02sec 45 212 9791
htl 7.49sec 4.18sec 45 553 9332
str 11.18sec 4.66sec 45 553 7911

test20/test_20.20_5_0.1_3_1.3_3_3_4.3.3 nlp wc
53 lines 3855 bytes
head (1,3,1) body (3,3,3,4)
estimated blow-up 3.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.88sec 0.02sec 12 200 10427
htl 7.06sec 1.10sec 12 509 8794
str 10.01sec 1.11sec 12 511 7442

test20/test_20.20_5_0.1_3_2.1_1_1_1.1.2 nlp wc
45 lines 2137 bytes
head (1,3,2) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.53sec 1.67sec 3759 161 3372
htl 5.11sec 4.58sec 3759 417 6261
str 6.39sec 4.84sec 3759 417 5416

test20/test_20.20_5_0.1_3_2.1_1_1_2.1.4 nlp wc
45 lines 2218 bytes
head (1,3,2) body (1,1,1,2)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.45sec 2.12sec 3579 161 3807
htl 4.73sec 12.88sec 3579 410 6268
str 6.30sec 13.48sec 3579 410 5418

test20/test_20.20_5_0.1_3_2.1_1_1_3.1.6 nlp wc
45 lines 2303 bytes
head (1,3,2) body (1,1,1,3)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.35sec 0.85sec 1314 156 4211
htl 5.13sec 23.61sec 1314 405 6275
str 6.31sec 25.19sec 1314 407 5439

test20/test_20.20_5_0.1_3_2.1_1_1_4.1.8 nlp wc
44 lines 2378 bytes
head (1,3,2) body (1,1,1,4)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.95sec 0.11sec 221 157 4778
htl 5.04sec 17.77sec 221 405 6382
str 6.28sec 18.78sec 221 407 5491

test20/test_20.20_5_0.1_3_2.1_2_1_1.5.8 nlp wc
45 lines 2652 bytes
head (1,3,2) body (1,2,1,1)
estimated blow-up 5.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 7.64sec 7.42sec 5881 441 12158
htl 7.51sec 22.92sec 5881 533 8358
str 10.13sec 26.85sec 5881 559 7588

test20/test_20.20_5_0.1_3_2.1_2_1_2.29.3 nlp wc
45 lines 3454 bytes
head (1,3,2) body (1,2,1,2)
estimated blow-up 29.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 80.19sec 23.81sec 3996 1599 64876
htl 9.19sec 41.24sec 3996 652 10780
str 14.64sec 51.36sec 3996 690 9623

test20/test_20.20_5_0.1_3_2.1_2_1_3.135.2 nlp wc
45 lines 4060 bytes
head (1,3,2) body (1,2,1,3)
estimated blow-up 135.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 986.07sec 161.61sec 3646 5856 311527
htl 11.84sec 100.27sec 3646 757 12794
str 19.49sec 114.38sec 3646 793 11180

test20/test_20.20_5_0.1_3_2.1_2_1_4.594.6 nlp wc
44 lines 4728 bytes
head (1,3,2) body (1,2,1,4)
estimated blow-up 594.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 17845.13sec 559.70sec 199 23870 1501489
htl 14.48sec 61.74sec 199 881 15059
str 25.84sec 67.45sec 199 917 12988

test20/test_20.20_5_0.1_3_2.1_2_2_1.2.1 nlp wc
45 lines 2218 bytes
head (1,3,2) body (1,2,2,1)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.48sec 0.42sec 795 240 5078
htl 5.72sec 1.81sec 795 459 6845
str 6.98sec 1.77sec 795 459 6023

test20/test_20.20_5_0.1_3_2.1_2_2_2.4.7 nlp wc
44 lines 2528 bytes
head (1,3,2) body (1,2,2,2)
estimated blow-up 4.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 7.65sec 1.93sec 1947 451 11817
htl 7.03sec 4.33sec 1947 528 8037
str 8.88sec 4.47sec 1947 528 7035

test20/test_20.20_5_0.1_3_2.1_2_2_3.10.4 nlp wc
45 lines 2814 bytes
head (1,3,2) body (1,2,2,3)
estimated blow-up 10.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 20.20sec 2.80sec 1855 784 24896
htl 8.04sec 14.04sec 1855 578 8977
str 10.09sec 12.83sec 1855 578 7831

test20/test_20.20_5_0.1_3_2.1_2_2_4.22.3 nlp wc
45 lines 3070 bytes
head (1,3,2) body (1,2,2,4)
estimated blow-up 22.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 76.96sec 14.58sec 4003 1592 59041
htl 9.93sec 25.65sec 4003 652 10178
str 12.46sec 23.84sec 4003 652 8851

test20/test_20.20_5_0.1_3_2.1_3_1_1.47.1 nlp wc
45 lines 3561 bytes
head (1,3,2) body (1,3,1,1)
estimated blow-up 47.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 127.85sec 31.76sec 6007 2056 76627
htl 9.33sec 26.35sec 6007 660 11053
str 14.19sec 30.39sec 6007 690 9670

test20/test_20.20_5_0.1_3_2.1_3_1_2.1431.3 nlp wc
45 lines 5167 bytes
head (1,3,2) body (1,3,1,2)
estimated blow-up 1431.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 64496.59sec 773.29sec -- 47318 2679282
htl 15.56sec 77.78sec 3307 897 16023
str 28.16sec 69.70sec 3307 935 13396

test20/test_20.20_5_0.1_3_2.1_3_2_1.13.8 nlp wc
45 lines 2976 bytes
head (1,3,2) body (1,3,2,1)
estimated blow-up 13.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 23.65sec 1.24sec 704 851 24300
htl 7.39sec 1.11sec 704 560 9070
str 11.37sec 1.48sec 704 596 8224

test20/test_20.20_5_0.1_3_2.1_3_2_2.156.1 nlp wc
45 lines 3976 bytes
head (1,3,2) body (1,3,2,2)
estimated blow-up 156.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1515.17sec 120.37sec 3782 7314 299053
htl 11.46sec 12.04sec 3782 728 12322
str 18.80sec 15.57sec 3782 766 10782

test20/test_20.20_5_0.1_3_2.1_3_2_3.1590.6 nlp wc
45 lines 5017 bytes
head (1,3,2) body (1,3,2,3)
estimated blow-up 1590.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 125214.99sec 772.78sec -- 62675 3349051
htl 14.94sec 37.71sec 3322 883 15452
str 26.93sec 38.09sec 3322 923 13202

test20/test_20.20_5_0.1_3_2.1_3_3_1.3.0 nlp wc
44 lines 2299 bytes
head (1,3,2) body (1,3,3,1)
estimated blow-up 3.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.43sec 1.41sec 2061 342 7296
htl 6.16sec 2.30sec 2061 499 7463
str 7.48sec 2.48sec 2061 499 6596

test20/test_20.20_5_0.1_3_2.1_3_3_2.9.5 nlp wc
45 lines 2695 bytes
head (1,3,2) body (1,3,3,2)
estimated blow-up 9.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 25.32sec 2.63sec 1218 892 23462
htl 7.74sec 1.93sec 1218 566 8661
str 10.03sec 2.12sec 1218 566 7601

test20/test_20.20_5_0.1_3_2.1_3_3_3.30.5 nlp wc
45 lines 3141 bytes
head (1,3,2) body (1,3,3,3)
estimated blow-up 30.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 177.30sec 13.78sec 2437 2493 80056
htl 9.32sec 6.41sec 2437 652 10248
str 12.50sec 6.72sec 2437 652 8889

test20/test_20.20_5_0.1_3_2.1_3_3_4.96.1 nlp wc
45 lines 3474 bytes
head (1,3,2) body (1,3,3,4)
estimated blow-up 96.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1192.55sec 57.23sec 1960 6642 248171
htl 11.04sec 8.27sec 1960 719 11432
str 14.94sec 7.61sec 1960 719 9897

test20/test_20.20_5_0.1_3_2.2_2_2_1.1.4 nlp wc
45 lines 2157 bytes
head (1,3,2) body (2,2,2,1)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.10sec 3.30sec 6519 161 3749
htl 5.33sec 23.56sec 6519 413 6264
str 6.03sec 23.79sec 6519 413 5430

test20/test_20.20_5_0.1_3_2.2_2_2_2.1.8 nlp wc
45 lines 2446 bytes
head (1,3,2) body (2,2,2,2)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.61sec 0.25sec 688 161 4776
htl 5.31sec 54.40sec 688 417 6557
str 6.67sec 62.32sec 688 417 5652

test20/test_20.20_5_0.1_3_2.2_2_2_3.2.1 nlp wc
45 lines 2749 bytes
head (1,3,2) body (2,2,2,3)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.68sec 0.05sec 344 162 5986
htl 5.06sec 45.41sec 344 420 6849
str 6.88sec 50.05sec 344 420 5830

test20/test_20.20_5_0.1_3_2.2_2_2_4.2.3 nlp wc
44 lines 3006 bytes
head (1,3,2) body (2,2,2,4)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.76sec 0.06sec 128 162 6922
htl 5.57sec 34.39sec 128 422 7033
str 7.38sec 42.41sec 128 422 5950

test20/test_20.20_5_0.1_3_2.2_3_2_1.14.0 nlp wc
45 lines 3327 bytes
head (1,3,2) body (2,3,2,1)
estimated blow-up 14.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 29.62sec 5.35sec 1672 946 31817
htl 11.04sec 9.12sec 1672 755 11981
str 17.34sec 12.20sec 1672 791 10973

test20/test_20.20_5_0.1_3_2.2_3_2_2.152.2 nlp wc
43 lines 4470 bytes
head (1,3,2) body (2,3,2,2)
estimated blow-up 152.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1414.32sec 40.49sec 545 7074 352559
htl 18.91sec 44.24sec 545 1045 16965
str 30.42sec 40.31sec 545 1081 15224

test20/test_20.20_5_0.1_3_2.2_3_2_3.1510.1 nlp wc
45 lines 5791 bytes
head (1,3,2) body (2,3,2,3)
estimated blow-up 1510.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 104819.93sec 772.55sec -- 55874 3727694
htl 29.81sec 229.18sec 2152 1359 22444
str 50.99sec 226.16sec 2152 1397 19767

test20/test_20.20_5_0.1_3_2.2_3_3_1.3.2 nlp wc
45 lines 2590 bytes
head (1,3,2) body (2,3,3,1)
estimated blow-up 3.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.15sec 1.95sec 2039 347 8618
htl 9.55sec 7.75sec 2039 656 9762
str 11.65sec 7.97sec 2039 656 8801

test20/test_20.20_5_0.1_3_2.2_3_3_2.10.7 nlp wc
44 lines 3293 bytes
head (1,3,2) body (2,3,3,2)
estimated blow-up 10.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 26.39sec 4.16sec 1533 896 32209
htl 15.04sec 32.04sec 1533 898 13681
str 19.54sec 31.62sec 1533 898 12296

test20/test_20.20_5_0.1_3_2.2_3_3_3.34.4 nlp wc
45 lines 3941 bytes
head (1,3,2) body (2,3,3,3)
estimated blow-up 34.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 206.17sec 6.17sec 660 2634 120248
htl 22.28sec 76.95sec 660 1132 17279
str 29.82sec 79.97sec 660 1132 15646

test20/test_20.20_5_0.1_3_2.2_3_3_4.108.0 nlp wc
45 lines 4739 bytes
head (1,3,2) body (2,3,3,4)
estimated blow-up 108.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1668.56sec 30.92sec 729 7623 431776
htl 30.59sec 209.68sec 729 1382 21436
str 43.39sec 204.03sec 729 1382 19231

test20/test_20.20_5_0.1_3_2.3_3_3_1.1.6 nlp wc
44 lines 2320 bytes
head (1,3,2) body (3,3,3,1)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.55sec 0.07sec 147 154 4229
htl 5.03sec 9.31sec 147 402 6212
str 6.26sec 10.40sec 147 404 5382

test20/test_20.20_5_0.1_3_2.3_3_3_2.2.1 nlp wc
45 lines 2681 bytes
head (1,3,2) body (3,3,3,2)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.05sec 0.19sec 475 161 5959
htl 5.01sec 64.22sec 475 414 6750
str 7.11sec 68.39sec 475 414 5734

test20/test_20.20_5_0.1_3_2.3_3_3_3.2.5 nlp wc
43 lines 2948 bytes
head (1,3,2) body (3,3,3,3)
estimated blow-up 2.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.04sec 0.01sec 0 160 7130
htl 5.15sec 0.04sec 0 414 6965
str 7.04sec 0.08sec 0 414 5906

test20/test_20.20_5_0.1_3_2.3_3_3_4.2.7 nlp wc
45 lines 3271 bytes
head (1,3,2) body (3,3,3,4)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.40sec 0.01sec 36 158 8050
htl 5.01sec 20.50sec 36 408 7073
str 7.66sec 23.54sec 36 408 5984

test20/test_20.20_5_0.1_3_3.1_1_1_1.1.2 nlp wc
40 lines 1499 bytes
head (1,3,3) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.76sec 6.55sec 16379 126 2412
htl 3.51sec 36.01sec 16379 304 4222
str 4.19sec 36.77sec 16379 304 3898

test20/test_20.20_5_0.1_3_3.1_1_1_2.1.4 nlp wc
40 lines 1593 bytes
head (1,3,3) body (1,1,1,2)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.28sec 31.68sec 70786 136 2979
htl 3.78sec 131.46sec 70786 313 4478
str 4.27sec 132.76sec 70786 313 4101

test20/test_20.20_5_0.1_3_3.1_1_1_3.1.6 nlp wc
38 lines 1644 bytes
head (1,3,3) body (1,1,1,3)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.36sec 2.40sec 3897 133 3241
htl 3.64sec 37.88sec 3897 307 4440
str 4.14sec 38.15sec 3897 309 4108

test20/test_20.20_5_0.1_3_3.1_1_1_4.1.7 nlp wc
40 lines 1814 bytes
head (1,3,3) body (1,1,1,4)
estimated blow-up 1.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.33sec 0.70sec 1933 133 3786
htl 3.78sec 54.16sec 1933 307 4586
str 4.66sec 54.11sec 1933 309 4184

test20/test_20.20_5_0.1_3_3.1_2_1_1.5.6 nlp wc
40 lines 2052 bytes
head (1,3,3) body (1,2,1,1)
estimated blow-up 5.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.74sec 40.98sec 58125 358 9074
htl 4.57sec 108.89sec 58125 423 6285
str 6.46sec 128.01sec 58125 453 6049

test20/test_20.20_5_0.1_3_3.1_2_1_2.27.5 nlp wc
40 lines 2812 bytes
head (1,3,3) body (1,2,1,2)
estimated blow-up 27.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 54.34sec 112.69sec 38265 1320 50632
htl 7.18sec 225.60sec 38265 553 8816
str 11.07sec 266.08sec 38265 589 8146

test20/test_20.20_5_0.1_3_3.1_2_1_3.123.9 nlp wc
40 lines 3444 bytes
head (1,3,3) body (1,2,1,3)
estimated blow-up 123.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 626.91sec 56.27sec 2520 4666 234074
htl 9.05sec 204.70sec 2520 650 10710
str 14.41sec 248.80sec 2520 688 9608

test20/test_20.20_5_0.1_3_3.1_2_1_4.535.5 nlp wc
40 lines 4280 bytes
head (1,3,3) body (1,2,1,4)
estimated blow-up 535.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 9721.17sec 413.87sec 3165 18618 1183663
htl 12.25sec 428.35sec 3165 774 13312
str 20.99sec 427.10sec 3165 812 11495

test20/test_20.20_5_0.1_3_3.1_2_2_1.2.1 nlp wc
40 lines 1593 bytes
head (1,3,3) body (1,2,2,1)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.61sec 44.06sec 100000 200 3794
htl 4.37sec 90.37sec 100000 359 4994
str 4.95sec 95.06sec 100000 359 4576

test20/test_20.20_5_0.1_3_3.1_2_2_2.4.6 nlp wc
39 lines 1872 bytes
head (1,3,3) body (1,2,2,2)
estimated blow-up 4.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.51sec 9.77sec 12629 351 8260
htl 4.91sec 67.02sec 12629 419 5880
str 5.65sec 66.53sec 12629 419 5445

test20/test_20.20_5_0.1_3_3.1_2_2_3.9.8 nlp wc
40 lines 2149 bytes
head (1,3,3) body (1,2,2,3)
estimated blow-up 9.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 14.92sec 92.39sec 89528 667 19091
htl 6.05sec 162.81sec 89528 488 7088
str 7.14sec 162.79sec 89528 488 6468

test20/test_20.20_5_0.1_3_3.1_2_2_4.20.8 nlp wc
40 lines 2398 bytes
head (1,3,3) body (1,2,2,4)
estimated blow-up 20.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 48.24sec 176.84sec 93564 1260 42125
htl 7.26sec 217.81sec 93564 535 7909
str 8.80sec 213.55sec 93564 535 7133

test20/test_20.20_5_0.1_3_3.1_3_1_1.43.9 nlp wc
40 lines 2999 bytes
head (1,3,3) body (1,3,1,1)
estimated blow-up 43.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 103.86sec 84.05sec 28527 1842 64882
htl 7.69sec 118.75sec 28527 569 9352
str 11.44sec 136.01sec 28527 603 8355

test20/test_20.20_5_0.1_3_3.1_3_1_2.1280.0 nlp wc
39 lines 4560 bytes
head (1,3,3) body (1,3,1,2)
estimated blow-up 1280.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 53412.71sec 773.09sec -- 41795 2337760
htl 13.20sec 136.87sec 1809 811 14306
str 22.50sec 165.61sec 1809 849 12065

test20/test_20.20_5_0.1_3_3.1_3_2_1.13.1 nlp wc
40 lines 2384 bytes
head (1,3,3) body (1,3,2,1)
estimated blow-up 13.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 15.88sec 93.29sec 100000 673 17587
htl 6.13sec 112.63sec 100000 462 7173
str 8.03sec 129.41sec 100000 494 6668

test20/test_20.20_5_0.1_3_3.1_3_2_2.142.9 nlp wc
40 lines 3327 bytes
head (1,3,3) body (1,3,2,2)
estimated blow-up 142.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 942.85sec 773.14sec -- 5880 226574
htl 8.49sec 210.35sec 100000 622 10209
str 13.68sec 225.18sec 100000 660 9226

test20/test_20.20_5_0.1_3_3.1_3_2_3.1420.6 nlp wc
40 lines 4357 bytes
head (1,3,3) body (1,3,2,3)
estimated blow-up 1420.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 94136.47sec 810.31sec -- 52789 2677059
htl 13.04sec 335.38sec 100000 785 13474
str 22.52sec 403.12sec 100000 825 11679

test20/test_20.20_5_0.1_3_3.1_3_3_1.2.8 nlp wc
40 lines 1690 bytes
head (1,3,3) body (1,3,3,1)
estimated blow-up 2.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.58sec 46.42sec 95201 265 5009
htl 4.62sec 84.13sec 95201 387 5451
str 5.33sec 89.50sec 95201 387 4961

test20/test_20.20_5_0.1_3_3.1_3_3_2.9.0 nlp wc
40 lines 2117 bytes
head (1,3,3) body (1,3,3,2)
estimated blow-up 9.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 16.48sec 103.66sec 100000 705 17016
htl 5.69sec 126.96sec 100000 466 6769
str 6.72sec 137.16sec 100000 466 6146

test20/test_20.20_5_0.1_3_3.1_3_3_3.28.1 nlp wc
40 lines 2479 bytes
head (1,3,3) body (1,3,3,3)
estimated blow-up 28.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 125.73sec 186.07sec 73484 2055 60656
htl 6.95sec 139.74sec 73484 543 8076
str 9.22sec 144.49sec 73484 543 7284

test20/test_20.20_5_0.1_3_3.1_3_3_4.87.1 nlp wc
40 lines 2776 bytes
head (1,3,3) body (1,3,3,4)
estimated blow-up 87.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 900.36sec 810.48sec -- 5645 190024
htl 8.79sec 212.49sec 62641 624 9382
str 10.81sec 184.99sec 62641 624 8454

test20/test_20.20_5_0.1_3_3.2_2_2_1.1.4 nlp wc
39 lines 1586 bytes
head (1,3,3) body (2,2,2,1)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.51sec 6.54sec 14855 130 2835
htl 3.52sec 41.29sec 14855 302 4311
str 4.00sec 41.79sec 14855 302 3956

test20/test_20.20_5_0.1_3_3.2_2_2_2.1.7 nlp wc
40 lines 1795 bytes
head (1,3,3) body (2,2,2,2)
estimated blow-up 1.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.84sec 1.77sec 3015 135 3643
htl 3.48sec 129.86sec 3015 300 4467
str 4.05sec 129.47sec 3015 300 4065

test20/test_20.20_5_0.1_3_3.2_2_2_3.2.0 nlp wc
40 lines 2041 bytes
head (1,3,3) body (2,2,2,3)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.11sec 0.21sec 717 133 4399
htl 3.68sec 159.33sec 717 307 4781
str 4.27sec 158.29sec 717 307 4291

test20/test_20.20_5_0.1_3_3.2_2_2_4.2.2 nlp wc
39 lines 2323 bytes
head (1,3,3) body (2,2,2,4)
estimated blow-up 2.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.15sec 0.02sec 120 133 5187
htl 3.66sec 138.47sec 120 308 4955
str 4.36sec 135.11sec 120 308 4420

test20/test_20.20_5_0.1_3_3.2_3_2_1.13.0 nlp wc
39 lines 2656 bytes
head (1,3,3) body (2,3,2,1)
estimated blow-up 13.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 17.68sec 63.69sec 42770 721 22446
htl 9.19sec 173.63sec 42770 633 9702
str 12.35sec 189.07sec 42770 657 8952

test20/test_20.20_5_0.1_3_3.2_3_2_2.135.7 nlp wc
40 lines 3960 bytes
head (1,3,3) body (2,3,2,2)
estimated blow-up 135.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 801.91sec 242.07sec 11207 5172 249610
htl 15.93sec 312.61sec 11207 931 14960
str 26.33sec 366.10sec 11207 969 13511

test20/test_20.20_5_0.1_3_3.2_3_2_3.1315.1 nlp wc
40 lines 5270 bytes
head (1,3,3) body (2,3,2,3)
estimated blow-up 1315.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 69658.11sec 812.96sec -- 47377 2989029
htl 28.43sec 670.58sec 297 1251 20329
str 45.92sec 523.12sec 297 1291 18202

test20/test_20.20_5_0.1_3_3.2_3_3_1.3.0 nlp wc
40 lines 2035 bytes
head (1,3,3) body (2,3,3,1)
estimated blow-up 3.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.91sec 40.55sec 58930 288 6812
htl 7.70sec 171.67sec 58930 559 7951
str 9.13sec 171.88sec 58930 559 7374

test20/test_20.20_5_0.1_3_3.2_3_3_2.9.7 nlp wc
40 lines 2740 bytes
head (1,3,3) body (2,3,3,2)
estimated blow-up 9.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 18.21sec 20.18sec 13097 711 24018
htl 12.87sec 240.83sec 13097 799 11781
str 18.32sec 243.27sec 13097 799 10758

test20/test_20.20_5_0.1_3_3.2_3_3_3.30.5 nlp wc
40 lines 3440 bytes
head (1,3,3) body (2,3,3,3)
estimated blow-up 30.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 125.69sec 17.11sec 4692 1964 85824
htl 19.34sec 380.43sec 4692 1017 15260
str 25.77sec 385.57sec 4692 1017 13907

test20/test_20.20_5_0.1_3_3.2_3_3_4.94.2 nlp wc
39 lines 4076 bytes
head (1,3,3) body (2,3,3,4)
estimated blow-up 94.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 984.78sec 43.93sec 827 5644 303639
htl 29.03sec 401.81sec 827 1261 18997
str 37.63sec 414.63sec 827 1261 17304

test20/test_20.20_5_0.1_3_3.3_3_3_1.1.6 nlp wc
39 lines 1691 bytes
head (1,3,3) body (3,3,3,1)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.65sec 4.05sec 7468 132 3337
htl 3.45sec 55.05sec 7468 304 4466
str 3.93sec 54.62sec 7468 306 4084

test20/test_20.20_5_0.1_3_3.3_3_3_2.2.0 nlp wc
40 lines 2057 bytes
head (1,3,3) body (3,3,3,2)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.16sec 0.89sec 1815 134 4519
htl 3.69sec 163.53sec 1815 305 4784
str 4.42sec 160.79sec 1815 305 4285

test20/test_20.20_5_0.1_3_3.3_3_3_3.2.3 nlp wc
39 lines 2450 bytes
head (1,3,3) body (3,3,3,3)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.80sec 0.06sec 166 133 5616
htl 3.72sec 153.22sec 166 308 5078
str 5.05sec 151.68sec 166 308 4492

test20/test_20.20_5_0.1_3_3.3_3_3_4.2.5 nlp wc
39 lines 2745 bytes
head (1,3,3) body (3,3,3,4)
estimated blow-up 2.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.39sec 0.74sec 1869 133 6342
htl 3.74sec 63.04sec 1869 303 5231
str 5.32sec 63.60sec 1869 305 4625

test20/test_20.20_5_0.2_2_2.1_1_1_1.1.3 nlp wc
38 lines 976 bytes
head (2,2,2) body (1,1,1,1)
estimated blow-up 1.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.44sec 0.00sec 0 120 2000
htl 2.17sec 0.04sec 0 205 2867
str 2.43sec 0.04sec 0 209 2657

test20/test_20.20_5_0.2_2_2.1_1_1_2.1.6 nlp wc
40 lines 1161 bytes
head (2,2,2) body (1,1,1,2)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.43sec 0.02sec 1 130 2569
htl 2.27sec 0.00sec 1 218 3177
str 2.31sec 0.03sec 1 222 2915

test20/test_20.20_5_0.2_2_2.1_1_1_3.1.8 nlp wc
40 lines 1247 bytes
head (2,2,2) body (1,1,1,3)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.75sec 0.00sec 1 134 3004
htl 2.53sec 0.00sec 1 226 3409
str 2.79sec 0.12sec 1 228 3053

test20/test_20.20_5_0.2_2_2.1_1_1_4.2.0 nlp wc
40 lines 1331 bytes
head (2,2,2) body (1,1,1,4)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.70sec 0.07sec 1 134 3297
htl 2.19sec 0.00sec 1 212 3267
str 2.53sec 0.01sec 1 216 2965

test20/test_20.20_5_0.2_2_2.1_2_1_1.6.3 nlp wc
40 lines 1572 bytes
head (2,2,2) body (1,2,1,1)
estimated blow-up 6.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.22sec 0.01sec 1 350 7743
htl 3.83sec 0.05sec 1 342 5195
str 4.82sec 0.01sec 1 368 4813

test20/test_20.20_5_0.2_2_2.1_2_1_2.31.0 nlp wc
38 lines 2290 bytes
head (2,2,2) body (1,2,1,2)
estimated blow-up 31.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 51.89sec 0.28sec 0 1240 43291
htl 5.62sec 0.02sec 0 454 7316
str 8.40sec 0.05sec 0 488 6684

test20/test_20.20_5_0.2_2_2.1_2_1_3.137.9 nlp wc
40 lines 3078 bytes
head (2,2,2) body (1,2,1,3)
estimated blow-up 137.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 670.44sec 8.08sec 1 4696 225799
htl 7.23sec 0.54sec 1 572 9740
str 11.99sec 0.74sec 1 610 8481

test20/test_20.20_5_0.2_2_2.1_2_1_4.588.3 nlp wc
40 lines 3709 bytes
head (2,2,2) body (1,2,1,4)
estimated blow-up 588.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 10479.08sec 224.80sec 0 18236 1082017
htl 9.22sec 0.28sec 0 649 11198
str 16.18sec 0.59sec 0 689 9720

test20/test_20.20_5_0.2_2_2.1_2_2_1.2.2 nlp wc
40 lines 1175 bytes
head (2,2,2) body (1,2,2,1)
estimated blow-up 2.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.55sec 0.00sec 1 212 3504
htl 3.27sec 0.03sec 1 294 4180
str 3.42sec 0.00sec 1 294 3722

test20/test_20.20_5_0.2_2_2.1_2_2_2.5.0 nlp wc
40 lines 1468 bytes
head (2,2,2) body (1,2,2,2)
estimated blow-up 5.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.18sec 0.01sec 1 360 7609
htl 3.33sec 0.01sec 1 341 4960
str 3.87sec 0.12sec 1 341 4345

test20/test_20.20_5_0.2_2_2.1_2_2_3.10.7 nlp wc
40 lines 1672 bytes
head (2,2,2) body (1,2,2,3)
estimated blow-up 10.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 14.20sec 0.06sec 0 652 16465
htl 4.29sec 0.07sec 0 393 5704
str 5.19sec 0.02sec 0 393 5104

test20/test_20.20_5_0.2_2_2.1_2_2_4.22.8 nlp wc
40 lines 1930 bytes
head (2,2,2) body (1,2,2,4)
estimated blow-up 22.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 48.72sec 0.96sec 1 1240 36948
htl 5.49sec 0.03sec 1 451 6643
str 5.66sec 0.03sec 1 451 5966

test20/test_20.20_5_0.2_2_2.1_3_1_1.49.5 nlp wc
40 lines 2555 bytes
head (2,2,2) body (1,3,1,1)
estimated blow-up 49.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 97.45sec 0.24sec 0 1754 55568
htl 5.52sec 0.02sec 0 474 7982
str 8.27sec 0.02sec 0 506 6918

test20/test_20.20_5_0.2_2_2.1_3_1_2.1400.5 nlp wc
40 lines 4064 bytes
head (2,2,2) body (1,3,1,2)
estimated blow-up 1400.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 51487.60sec 845.97sec 0 37228 1971358
htl 11.28sec 1.62sec 0 698 12479
str 22.11sec 1.57sec 0 734 10454

test20/test_20.20_5_0.2_2_2.1_3_2_1.14.7 nlp wc
40 lines 1954 bytes
head (2,2,2) body (1,3,2,1)
estimated blow-up 14.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 20.45sec 0.09sec 0 734 16821
htl 5.19sec 0.05sec 0 387 6186
str 7.41sec 0.05sec 0 415 5537

test20/test_20.20_5_0.2_2_2.1_3_2_2.157.9 nlp wc
40 lines 2821 bytes
head (2,2,2) body (1,3,2,2)
estimated blow-up 157.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 915.01sec 8.71sec 0 5278 185324
htl 7.50sec 0.05sec 0 535 8810
str 11.93sec 0.08sec 0 573 7912

test20/test_20.20_5_0.2_2_2.1_3_2_3.1543.8 nlp wc
40 lines 3882 bytes
head (2,2,2) body (1,3,2,3)
estimated blow-up 1543.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 84818.24sec 57.63sec 0 48102 2262148
htl 10.14sec 0.16sec 0 698 12180
str 18.65sec 0.15sec 0 738 10422

test20/test_20.20_5_0.2_2_2.1_3_3_1.3.0 nlp wc
40 lines 1291 bytes
head (2,2,2) body (1,3,3,1)
estimated blow-up 3.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.44sec 0.01sec 1 268 4399
htl 3.47sec 0.05sec 1 308 4451
str 3.93sec 0.01sec 1 308 3915

test20/test_20.20_5_0.2_2_2.1_3_3_2.9.4 nlp wc
38 lines 1568 bytes
head (2,2,2) body (1,3,3,2)
estimated blow-up 9.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 15.93sec 0.19sec 1 712 14126
htl 4.61sec 0.01sec 1 379 5478
str 4.83sec 0.01sec 1 379 4856

test20/test_20.20_5_0.2_2_2.1_3_3_3.29.5 nlp wc
40 lines 1989 bytes
head (2,2,2) body (1,3,3,3)
estimated blow-up 29.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 127.30sec 1.56sec 1 2052 52253
htl 6.92sec 0.05sec 1 468 6943
str 7.14sec 0.01sec 1 468 6122

test20/test_20.20_5_0.2_2_2.1_3_3_4.91.4 nlp wc
40 lines 2331 bytes
head (2,2,2) body (1,3,3,4)
estimated blow-up 91.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 864.54sec 12.93sec 0 5510 168971
htl 6.85sec 0.01sec 0 539 8207
str 8.33sec 0.01sec 0 539 7212

test20/test_20.20_5_0.2_2_2.2_2_2_1.1.6 nlp wc
40 lines 1114 bytes
head (2,2,2) body (2,2,2,1)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.76sec 0.00sec 0 134 2594
htl 2.46sec 0.05sec 0 228 3316
str 2.27sec 0.00sec 0 228 2976

test20/test_20.20_5_0.2_2_2.2_2_2_2.2.0 nlp wc
40 lines 1418 bytes
head (2,2,2) body (2,2,2,2)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.01sec 0.00sec 1 142 3580
htl 2.40sec 0.05sec 1 236 3651
str 3.15sec 0.01sec 1 236 3224

test20/test_20.20_5_0.2_2_2.2_2_2_3.2.3 nlp wc
40 lines 1620 bytes
head (2,2,2) body (2,2,2,3)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.77sec 0.03sec 1 134 4099
htl 2.44sec 0.05sec 1 228 3726
str 3.64sec 0.16sec 1 230 3276

test20/test_20.20_5_0.2_2_2.2_2_2_4.2.5 nlp wc
40 lines 1930 bytes
head (2,2,2) body (2,2,2,4)
estimated blow-up 2.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.62sec 0.01sec 1 134 4825
htl 3.27sec 0.05sec 1 231 3941
str 3.42sec 0.27sec 1 233 3429

test20/test_20.20_5_0.2_2_2.2_3_2_1.14.2 nlp wc
40 lines 2218 bytes
head (2,2,2) body (2,3,2,1)
estimated blow-up 14.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 19.35sec 0.10sec 2 722 19857
htl 6.80sec 0.09sec 2 553 8446
str 9.71sec 0.03sec 2 581 7806

test20/test_20.20_5_0.2_2_2.2_3_2_2.146.1 nlp wc
40 lines 3432 bytes
head (2,2,2) body (2,3,2,2)
estimated blow-up 146.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 944.99sec 19.79sec 1 5636 247202
htl 14.26sec 0.96sec 1 851 13586
str 21.91sec 1.04sec 1 889 12343

test20/test_20.20_5_0.2_2_2.2_3_2_3.1394.6 nlp wc
38 lines 4815 bytes
head (2,2,2) body (2,3,2,3)
estimated blow-up 1394.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 73710.95sec 810.84sec -- 49952 3051483
htl 24.67sec 5.88sec 1 1179 19353
str 40.44sec 6.15sec 1 1219 17166

test20/test_20.20_5_0.2_2_2.2_3_3_1.3.2 nlp wc
40 lines 1583 bytes
head (2,2,2) body (2,3,3,1)
estimated blow-up 3.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.60sec 0.04sec 0 278 5789
htl 5.20sec 0.04sec 0 478 6784
str 6.28sec 0.06sec 0 478 6167

test20/test_20.20_5_0.2_2_2.2_3_3_2.10.2 nlp wc
40 lines 2317 bytes
head (2,2,2) body (2,3,3,2)
estimated blow-up 10.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 18.82sec 0.48sec 0 748 22706
htl 10.50sec 0.47sec 0 707 10420
str 12.15sec 0.44sec 0 707 9402

test20/test_20.20_5_0.2_2_2.2_3_3_3.31.8 nlp wc
40 lines 2811 bytes
head (2,2,2) body (2,3,3,3)
estimated blow-up 31.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 121.81sec 4.68sec 1 1954 72934
htl 16.77sec 0.60sec 1 913 13441
str 19.24sec 0.56sec 1 913 12349

test20/test_20.20_5_0.2_2_2.2_3_3_4.97.7 nlp wc
40 lines 3617 bytes
head (2,2,2) body (2,3,3,4)
estimated blow-up 97.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1044.06sec 86.47sec 1 5880 288765
htl 24.36sec 2.39sec 1 1159 17436
str 31.70sec 2.39sec 1 1159 15856

test20/test_20.20_5_0.2_2_2.3_3_3_1.1.8 nlp wc
38 lines 1204 bytes
head (2,2,2) body (3,3,3,1)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.85sec 0.00sec 1 130 2938
htl 2.23sec 0.00sec 1 224 3339
str 2.54sec 0.03sec 1 228 3038

test20/test_20.20_5_0.2_2_2.3_3_3_2.2.3 nlp wc
40 lines 1590 bytes
head (2,2,2) body (3,3,3,2)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.97sec 0.00sec 1 134 4097
htl 2.78sec 0.04sec 1 234 3791
str 2.69sec 1.33sec 1 234 3297

test20/test_20.20_5_0.2_2_2.3_3_3_3.2.6 nlp wc
40 lines 1997 bytes
head (2,2,2) body (3,3,3,3)
estimated blow-up 2.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.09sec 0.05sec 0 132 5267
htl 2.76sec 0.03sec 0 226 4011
str 3.07sec 0.24sec 0 228 3458

test20/test_20.20_5_0.2_2_2.3_3_3_4.2.8 nlp wc
40 lines 2365 bytes
head (2,2,2) body (3,3,3,4)
estimated blow-up 2.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.53sec 0.03sec 1 132 6109
htl 2.73sec 0.01sec 1 221 4116
str 3.56sec 0.38sec 1 225 3559

test20/test_20.20_5_0.2_3_2.1_1_1_1.2.6 nlp wc
45 lines 2380 bytes
head (2,3,2) body (1,1,1,1)
estimated blow-up 2.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.59sec 0.05sec 5 326 5705
htl 8.99sec 0.03sec 5 621 8990
str 10.93sec 0.06sec 5 621 8295

test20/test_20.20_5_0.2_3_2.1_1_1_2.3.1 nlp wc
45 lines 2360 bytes
head (2,3,2) body (1,1,1,2)
estimated blow-up 3.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.68sec 0.06sec 5 310 6743
htl 7.99sec 0.04sec 5 585 8487
str 10.63sec 0.04sec 5 585 7776

test20/test_20.20_5_0.2_3_2.1_1_1_3.3.5 nlp wc
42 lines 2474 bytes
head (2,3,2) body (1,1,1,3)
estimated blow-up 3.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.49sec 0.01sec 1 291 7630
htl 8.19sec 0.03sec 1 588 8705
str 10.38sec 0.03sec 1 588 7926

test20/test_20.20_5_0.2_3_2.1_1_1_4.3.9 nlp wc
45 lines 2708 bytes
head (2,3,2) body (1,1,1,4)
estimated blow-up 3.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.40sec 0.02sec 2 318 9637
htl 8.93sec 0.07sec 2 604 9038
str 11.45sec 0.11sec 2 606 8265

test20/test_20.20_5_0.2_3_2.1_2_1_1.12.4 nlp wc
45 lines 2980 bytes
head (2,3,2) body (1,2,1,1)
estimated blow-up 12.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 35.94sec 0.21sec 5 1052 26558
htl 14.02sec 0.04sec 5 736 11226
str 15.09sec 0.06sec 5 764 10465

test20/test_20.20_5_0.2_3_2.1_2_1_2.63.1 nlp wc
44 lines 3551 bytes
head (2,3,2) body (1,2,1,2)
estimated blow-up 63.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 350.21sec 0.80sec 3 3338 123050
htl 14.42sec 0.39sec 3 833 13001
str 21.60sec 0.40sec 3 869 12030

test20/test_20.20_5_0.2_3_2.1_2_1_3.293.7 nlp wc
44 lines 4264 bytes
head (2,3,2) body (1,2,1,3)
estimated blow-up 293.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 7299.47sec 12.71sec 6 14812 726594
htl 17.74sec 1.10sec 6 961 15457
str 27.87sec 0.99sec 6 993 13907

test20/test_20.20_5_0.2_3_2.1_2_1_4.1304.1 nlp wc
45 lines 5118 bytes
head (2,3,2) body (1,2,1,4)
estimated blow-up 1304.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 74276.31sec 806.49sec 30 49507 3010627
htl 20.47sec 7.04sec 30 1053 17630
str 35.57sec 6.86sec 30 1093 15629

test20/test_20.20_5_0.2_3_2.1_2_2_1.4.7 nlp wc
44 lines 2391 bytes
head (2,3,2) body (1,2,2,1)
estimated blow-up 4.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 9.56sec 0.01sec 0 503 9206
htl 9.16sec 0.04sec 0 658 9562
str 10.90sec 0.03sec 0 658 8759

test20/test_20.20_5_0.2_3_2.1_2_2_2.10.3 nlp wc
45 lines 2727 bytes
head (2,3,2) body (1,2,2,2)
estimated blow-up 10.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 33.32sec 0.04sec 0 1031 23249
htl 11.57sec 0.02sec 0 736 10809
str 14.36sec 0.10sec 0 736 9885

test20/test_20.20_5_0.2_3_2.1_2_2_3.22.6 nlp wc
44 lines 2996 bytes
head (2,3,2) body (1,2,2,3)
estimated blow-up 22.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 100.13sec 0.20sec 1 1788 50186
htl 12.53sec 0.02sec 1 784 11712
str 16.62sec 0.02sec 1 784 10593

test20/test_20.20_5_0.2_3_2.1_2_2_4.48.7 nlp wc
45 lines 3253 bytes
head (2,3,2) body (1,2,2,4)
estimated blow-up 48.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 415.28sec 1.64sec 9 3732 122308
htl 14.30sec 0.13sec 9 857 12896
str 18.89sec 0.15sec 9 857 11691

test20/test_20.20_5_0.2_3_2.1_3_1_1.101.4 nlp wc
45 lines 3936 bytes
head (2,3,2) body (1,3,1,1)
estimated blow-up 101.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 910.58sec 2.83sec 6 5526 193574
htl 15.38sec 0.10sec 6 870 14170
str 23.38sec 0.28sec 6 904 12607

test20/test_20.20_5_0.1_1_1.1_1_1_1.1.2 nlp wc
30 lines 575 bytes
head (1,1,1) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.20sec 0.00sec 1 82 1337
htl 0.28sec 0.00sec 1 146 2033
str 0.28sec 0.00sec 1 150 1859

test20/test_20.20_5_0.1_1_1.1_1_1_2.1.3 nlp wc
30 lines 728 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 80 1609
htl 0.29sec 0.00sec 1 138 2098
str 0.30sec 0.02sec 1 146 1907

test20/test_20.20_5_0.1_1_1.1_1_1_3.1.4 nlp wc
30 lines 835 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 80 1798
htl 0.29sec 0.00sec 1 132 2092
str 0.31sec 0.05sec 1 138 1866

test20/test_20.20_5_0.1_1_1.1_1_1_4.1.5 nlp wc
30 lines 908 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 1869
htl 0.28sec 0.00sec 1 126 2066
str 0.31sec 0.03sec 1 140 1966

test20/test_20.20_5_0.1_1_1.1_2_1_1.4.7 nlp wc
30 lines 1111 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 2 194 4200
htl 0.48sec 0.00sec 2 237 3750
str 0.56sec 0.01sec 2 263 3433

test20/test_20.20_5_0.1_1_1.1_2_1_2.20.4 nlp wc
30 lines 1797 bytes
head (1,1,1) body (1,2,1,2)
estimated blow-up 20.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.62sec 0.09sec 0 688 23162
htl 0.89sec 0.26sec 0 391 6271
str 1.20sec 0.43sec 0 421 5693

test20/test_20.20_5_0.1_1_1.1_2_1_3.85.3 nlp wc
30 lines 2580 bytes
head (1,1,1) body (1,2,1,3)
estimated blow-up 85.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 56.16sec 1.29sec 0 2418 114935
htl 1.98sec 0.03sec 0 499 8572
str 3.22sec 0.94sec 0 539 7509

test20/test_20.20_5_0.1_1_1.1_2_1_4.350.0 nlp wc
30 lines 3319 bytes
head (1,1,1) body (1,2,1,4)
estimated blow-up 350.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1012.40sec 59.77sec 1 9904 587868
htl 2.60sec 3.18sec 1 610 10816
str 4.47sec 4.95sec 1 648 9129

test20/test_20.20_5_0.1_1_1.1_2_2_1.1.8 nlp wc
30 lines 721 bytes
head (1,1,1) body (1,2,2,1)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.54sec 0.00sec 0 118 1971
htl 0.70sec 0.00sec 0 204 2928
str 0.58sec 0.00sec 0 204 2523

test20/test_20.20_5_0.1_1_1.1_2_2_2.3.7 nlp wc
30 lines 1010 bytes
head (1,1,1) body (1,2,2,2)
estimated blow-up 3.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.91sec 0.01sec 1 198 4096
htl 0.84sec 0.00sec 1 257 3758
str 0.84sec 0.01sec 1 257 3245

test20/test_20.20_5_0.1_1_1.1_2_2_3.7.4 nlp wc
30 lines 1228 bytes
head (1,1,1) body (1,2,2,3)
estimated blow-up 7.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.74sec 0.04sec 1 352 8734
htl 1.02sec 0.04sec 1 312 4589
str 1.21sec 0.05sec 1 312 3992

test20/test_20.20_5_0.1_1_1.1_2_2_4.15.0 nlp wc
30 lines 1482 bytes
head (1,1,1) body (1,2,2,4)
estimated blow-up 15.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.00sec 0.14sec 1 586 18054
htl 1.30sec 0.15sec 1 366 5514
str 1.45sec 0.27sec 1 366 4763

test20/test_20.20_5_0.1_1_1.1_3_1_1.32.0 nlp wc
30 lines 2102 bytes
head (1,1,1) body (1,3,1,1)
estimated blow-up 32.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 8.98sec 0.12sec 1 912 28370
htl 1.58sec 0.03sec 1 402 6944
str 2.30sec 0.03sec 1 436 5927

test20/test_20.20_5_0.1_1_1.1_3_1_2.821.0 nlp wc
30 lines 3690 bytes
head (1,1,1) body (1,3,1,2)
estimated blow-up 821.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3344.70sec 48.01sec 1 18238 954173
htl 2.89sec 1.91sec 1 636 11622
str 4.91sec 2.83sec 1 672 9453

test20/test_20.20_5_0.1_1_1.1_3_2_1.10.2 nlp wc
30 lines 1456 bytes
head (1,1,1) body (1,3,2,1)
estimated blow-up 10.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.91sec 0.01sec 0 370 8387
htl 1.12sec 0.01sec 0 314 5081
str 1.41sec 0.01sec 0 342 4482

test20/test_20.20_5_0.1_1_1.1_3_2_2.97.7 nlp wc
30 lines 2423 bytes
head (1,1,1) body (1,3,2,2)
estimated blow-up 97.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 86.34sec 1.94sec 0 3022 105326
htl 1.75sec 0.01sec 0 464 7909
str 2.75sec 0.01sec 0 504 6961

test20/test_20.20_5_0.1_1_1.1_3_2_3.905.0 nlp wc
30 lines 3494 bytes
head (1,1,1) body (1,3,2,3)
estimated blow-up 905.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 7672.44sec 257.51sec -- 26780 1280922
htl 2.75sec 0.05sec 1 610 10962
str 4.76sec 0.05sec 1 650 9165

test20/test_20.20_5_0.1_1_1.1_3_3_1.2.3 nlp wc
30 lines 834 bytes
head (1,1,1) body (1,3,3,1)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.60sec 0.00sec 1 156 2601
htl 0.69sec 0.00sec 1 234 3426
str 0.72sec 0.00sec 1 234 2945

test20/test_20.20_5_0.1_1_1.1_3_3_2.6.5 nlp wc
30 lines 1224 bytes
head (1,1,1) body (1,3,3,2)
estimated blow-up 6.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.91sec 0.03sec 1 388 8050
htl 1.13sec 0.00sec 1 306 4586
str 1.14sec 0.03sec 1 306 3907

test20/test_20.20_5_0.1_1_1.1_3_3_3.19.1 nlp wc
30 lines 1558 bytes
head (1,1,1) body (1,3,3,3)
estimated blow-up 19.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 10.83sec 0.26sec 0 1070 27288
htl 1.37sec 0.02sec 0 403 6040
str 1.53sec 0.02sec 0 403 5240

test20/test_20.20_5_0.1_1_1.1_3_3_4.56.6 nlp wc
30 lines 1958 bytes
head (1,1,1) body (1,3,3,4)
estimated blow-up 56.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 80.22sec 3.99sec 1 2958 93140
htl 1.90sec 0.03sec 1 464 7176
str 2.17sec 0.03sec 1 464 6169

test20/test_20.20_5_0.1_1_1.2_2_2_1.1.3 nlp wc
30 lines 688 bytes
head (1,1,1) body (2,2,2,1)
estimated blow-up 1.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.55sec 0.00sec 0 80 1525
htl 0.58sec 0.00sec 0 132 1956
str 0.52sec 0.00sec 0 140 1826

test20/test_20.20_5_0.1_1_1.2_2_2_2.1.5 nlp wc
30 lines 961 bytes
head (1,1,1) body (2,2,2,2)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.52sec 0.00sec 0 82 1999
htl 0.66sec 0.00sec 0 146 2378
str 0.65sec 0.02sec 0 156 2173

test20/test_20.20_5_0.1_1_1.2_2_2_3.1.6 nlp wc
30 lines 1237 bytes
head (1,1,1) body (2,2,2,3)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.56sec 0.00sec 1 76 2329
htl 0.55sec 0.00sec 1 116 2167
str 0.68sec 0.01sec 1 132 2012

test20/test_20.20_5_0.1_1_1.2_2_2_4.1.6 nlp wc
30 lines 1423 bytes
head (1,1,1) body (2,2,2,4)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.51sec 0.00sec 1 76 2540
htl 0.60sec 0.00sec 1 134 2512
str 0.74sec 0.02sec 1 148 2295

test20/test_20.20_5_0.1_1_1.2_3_2_1.9.2 nlp wc
30 lines 1730 bytes
head (1,1,1) body (2,3,2,1)
estimated blow-up 9.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.18sec 0.02sec 0 394 10569
htl 1.71sec 0.06sec 0 482 7359
str 2.58sec 0.15sec 0 514 6852

test20/test_20.20_5_0.1_1_1.2_3_2_2.85.6 nlp wc
30 lines 3067 bytes
head (1,1,1) body (2,3,2,2)
estimated blow-up 85.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 98.71sec 4.98sec 1 3184 143870
htl 3.99sec 1.74sec 1 810 13080
str 5.91sec 1.93sec 1 848 11695

test20/test_20.20_5_0.1_1_1.2_3_2_3.782.3 nlp wc
30 lines 4315 bytes
head (1,1,1) body (2,3,2,3)
estimated blow-up 782.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 7202.61sec 262.06sec -- 26296 1578770
htl 6.66sec 6.65sec 1 1121 18311
str 10.95sec 7.22sec 1 1159 16197

test20/test_20.20_5_0.1_1_1.2_3_3_1.2.2 nlp wc
30 lines 1111 bytes
head (1,1,1) body (2,3,3,1)
estimated blow-up 2.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.72sec 0.01sec 0 164 3280
htl 1.27sec 0.03sec 0 413 5756
str 1.45sec 0.04sec 0 413 5207

test20/test_20.20_5_0.1_1_1.2_3_3_2.6.3 nlp wc
30 lines 1855 bytes
head (1,1,1) body (2,3,3,2)
estimated blow-up 6.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.08sec 0.05sec 1 384 11566
htl 2.65sec 0.62sec 1 616 9055
str 2.97sec 0.65sec 1 616 8161

test20/test_20.20_5_0.1_1_1.2_3_3_3.18.6 nlp wc
30 lines 2540 bytes
head (1,1,1) body (2,3,3,3)
estimated blow-up 18.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 11.70sec 0.33sec 1 1070 43158
htl 4.37sec 1.67sec 1 889 13308
str 5.56sec 1.48sec 1 889 12040

test20/test_20.20_5_0.1_1_1.2_3_3_4.55.4 nlp wc
30 lines 3123 bytes
head (1,1,1) body (2,3,3,4)
estimated blow-up 55.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 86.72sec 7.14sec 1 2978 146576
htl 6.24sec 3.58sec 1 1069 16135
str 8.40sec 3.75sec 1 1069 14560

test20/test_20.20_5_0.1_1_1.3_3_3_1.1.4 nlp wc
30 lines 817 bytes
head (1,1,1) body (3,3,3,1)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.50sec 0.00sec 1 78 1727
htl 0.54sec 0.00sec 1 130 2031
str 0.64sec 0.04sec 1 138 1855

test20/test_20.20_5_0.1_1_1.3_3_3_2.1.6 nlp wc
30 lines 1170 bytes
head (1,1,1) body (3,3,3,2)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.45sec 0.03sec 1 82 2391
htl 0.70sec 0.00sec 1 140 2493
str 0.65sec 0.03sec 1 150 2227

test20/test_20.20_5_0.1_1_1.3_3_3_3.1.7 nlp wc
30 lines 1475 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 82 2900
htl 0.61sec 0.00sec 1 134 2662
str 0.70sec 0.04sec 1 144 2369

test20/test_20.20_5_0.1_1_1.3_3_3_4.1.7 nlp wc
30 lines 1849 bytes
head (1,1,1) body (3,3,3,4)
estimated blow-up 1.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.59sec 0.00sec 1 80 3348
htl 0.61sec 0.00sec 1 150 3116
str 0.81sec 0.08sec 1 160 2689

test20/test_20.20_5_0.1_2_1.1_1_1_1.1.2 nlp wc
40 lines 1477 bytes
head (1,2,1) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.64sec 0.00sec 4 130 2417
htl 1.21sec 0.01sec 4 326 4677
str 1.33sec 0.01sec 4 326 4097

test20/test_20.20_5_0.1_2_1.1_1_1_2.1.5 nlp wc
40 lines 1574 bytes
head (1,2,1) body (1,1,1,2)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.61sec 0.01sec 22 140 3003
htl 1.17sec 0.33sec 22 343 5107
str 1.48sec 0.31sec 22 343 4434

test20/test_20.20_5_0.1_2_1.1_1_1_3.1.6 nlp wc
39 lines 1712 bytes
head (1,2,1) body (1,1,1,3)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.64sec 0.00sec 0 131 3331
htl 1.19sec 0.00sec 0 330 5008
str 1.42sec 0.01sec 0 336 4402

test20/test_20.20_5_0.1_2_1.1_1_1_4.1.8 nlp wc
40 lines 1808 bytes
head (1,2,1) body (1,1,1,4)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.69sec 0.01sec 13 137 3733
htl 1.22sec 0.46sec 13 345 5284
str 1.50sec 0.49sec 13 347 4609

test20/test_20.20_5_0.1_2_1.1_2_1_1.5.8 nlp wc
40 lines 2018 bytes
head (1,2,1) body (1,2,1,1)
estimated blow-up 5.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.96sec 0.01sec 0 361 9065
htl 1.75sec 0.03sec 0 447 6797
str 2.28sec 0.03sec 0 469 6212

test20/test_20.20_5_0.1_2_1.1_2_1_2.28.5 nlp wc
40 lines 2772 bytes
head (1,2,1) body (1,2,1,2)
estimated blow-up 28.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 16.86sec 0.24sec 16 1241 47785
htl 2.47sec 0.47sec 16 558 9107
str 3.83sec 0.66sec 16 594 8191

test20/test_20.20_5_0.1_2_1.1_2_1_3.128.0 nlp wc
40 lines 3430 bytes
head (1,2,1) body (1,2,1,3)
estimated blow-up 128.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 232.54sec 3.27sec 8 4924 243773
htl 3.26sec 1.74sec 8 666 11170
str 4.90sec 2.20sec 8 704 9819

test20/test_20.20_5_0.1_2_1.1_2_1_4.551.4 nlp wc
39 lines 4188 bytes
head (1,2,1) body (1,2,1,4)
estimated blow-up 551.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4005.94sec 117.35sec 0 20027 1246531
htl 4.18sec 0.02sec 0 789 13672
str 6.87sec 0.01sec 0 829 11722

test20/test_20.20_5_0.1_2_1.1_2_2_1.2.1 nlp wc
40 lines 1608 bytes
head (1,2,1) body (1,2,2,1)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.88sec 0.00sec 0 211 4115
htl 1.35sec 0.01sec 0 396 5767
str 1.63sec 0.01sec 0 396 5063

test20/test_20.20_5_0.1_2_1.1_2_2_2.4.7 nlp wc
40 lines 1866 bytes
head (1,2,1) body (1,2,2,2)
estimated blow-up 4.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.82sec 0.02sec 0 363 8547
htl 1.74sec 0.01sec 0 454 6667
str 2.16sec 0.01sec 0 454 5919

test20/test_20.20_5_0.1_2_1.1_2_2_3.10.1 nlp wc
40 lines 2050 bytes
head (1,2,1) body (1,2,2,3)
estimated blow-up 10.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.78sec 0.08sec 0 653 18113
htl 1.93sec 0.02sec 0 491 7296
str 2.40sec 0.03sec 0 491 6476

test20/test_20.20_5_0.1_2_1.1_2_2_4.21.4 nlp wc
40 lines 2367 bytes
head (1,2,1) body (1,2,2,4)
estimated blow-up 21.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 14.84sec 0.36sec 3 1221 41197
htl 2.15sec 0.09sec 3 523 7933
str 2.79sec 0.16sec 3 523 6989

test20/test_20.20_5_0.1_2_1.1_3_1_1.45.5 nlp wc
38 lines 2782 bytes
head (1,2,1) body (1,3,1,1)
estimated blow-up 45.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 31.93sec 0.07sec 0 1743 59784
htl 2.41sec 0.01sec 0 586 9610
str 3.64sec 0.01sec 0 610 8327

test20/test_20.20_5_0.1_2_1.1_3_1_2.1316.6 nlp wc
40 lines 4578 bytes
head (1,2,1) body (1,3,1,2)
estimated blow-up 1316.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 16491.80sec 15.10sec 16 37572 2065533
htl 4.52sec 2.49sec 16 847 15090
str 7.71sec 3.00sec 16 881 12512

test20/test_20.20_5_0.1_2_1.1_3_2_1.13.6 nlp wc
40 lines 2412 bytes
head (1,2,1) body (1,3,2,1)
estimated blow-up 13.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.41sec 0.07sec 0 769 20396
htl 1.97sec 0.01sec 0 511 8145
str 2.85sec 0.01sec 0 543 7376

test20/test_20.20_5_0.1_2_1.1_3_2_2.147.3 nlp wc
40 lines 3337 bytes
head (1,2,1) body (1,3,2,2)
estimated blow-up 147.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 344.42sec 0.51sec 0 6145 241167
htl 3.03sec 0.03sec 0 664 11124
str 4.77sec 0.02sec 0 700 9767

test20/test_20.20_5_0.1_2_1.1_3_2_3.1458.0 nlp wc
40 lines 4469 bytes
head (1,2,1) body (1,3,2,3)
estimated blow-up 1458.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 33924.96sec 30.27sec 14 51899 2618275
htl 6.91sec 0.44sec 14 830 14523
str 12.37sec 0.42sec 14 870 12308

test20/test_20.20_5_0.1_2_1.1_3_3_1.2.9 nlp wc
40 lines 1744 bytes
head (1,2,1) body (1,3,3,1)
estimated blow-up 2.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.97sec 0.04sec 0 278 5456
htl 2.67sec 0.01sec 0 418 6144
str 2.80sec 0.01sec 0 418 5400

test20/test_20.20_5_0.1_2_1.1_3_3_2.9.1 nlp wc
40 lines 2101 bytes
head (1,2,1) body (1,3,3,2)
estimated blow-up 9.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 9.27sec 0.05sec 0 739 17814
htl 3.07sec 0.01sec 0 490 7347
str 3.60sec 0.01sec 0 490 6457

test20/test_20.20_5_0.1_2_1.1_3_3_3.28.5 nlp wc
39 lines 2432 bytes
head (1,2,1) body (1,3,3,3)
estimated blow-up 28.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 60.67sec 2.29sec 0 1998 57819
htl 3.78sec 0.01sec 0 585 8866
str 4.79sec 0.01sec 0 585 7827

test20/test_20.20_5_0.1_2_1.1_3_3_4.88.4 nlp wc
39 lines 2794 bytes
head (1,2,1) body (1,3,3,4)
estimated blow-up 88.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 500.18sec 0.46sec 0 5919 203279
htl 4.74sec 0.01sec 0 651 10134
str 5.88sec 0.01sec 0 651 8843

test20/test_20.20_5_0.1_2_1.2_2_2_1.1.5 nlp wc
39 lines 1606 bytes
head (1,2,1) body (2,2,2,1)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.10sec 0.00sec 0 135 3039
htl 2.08sec 0.00sec 0 343 5077
str 2.34sec 0.01sec 0 347 4467

test20/test_20.20_5_0.1_2_1.2_2_2_2.1.8 nlp wc
39 lines 1785 bytes
head (1,2,1) body (2,2,2,2)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.11sec 0.00sec 0 135 3655
htl 1.76sec 0.00sec 0 340 5238
str 2.30sec 0.00sec 0 342 4543

test20/test_20.20_5_0.1_2_1.2_2_2_3.2.1 nlp wc
40 lines 2159 bytes
head (1,2,1) body (2,2,2,3)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.14sec 0.01sec 4 138 4673
htl 2.22sec 2.12sec 4 352 5626
str 2.86sec 2.11sec 4 354 4820

test20/test_20.20_5_0.1_2_1.2_2_2_4.2.3 nlp wc
40 lines 2323 bytes
head (1,2,1) body (2,2,2,4)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.32sec 0.05sec 12 135 5297
htl 1.89sec 0.96sec 12 337 5612
str 2.83sec 1.08sec 12 341 4790

test20/test_20.20_5_0.1_2_1.2_3_2_1.13.3 nlp wc
40 lines 2687 bytes
head (1,2,1) body (2,3,2,1)
estimated blow-up 13.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 10.21sec 0.14sec 2 754 22991
htl 4.97sec 0.13sec 2 658 10241
str 6.62sec 0.13sec 2 684 9336

test20/test_20.20_5_0.1_2_1.2_3_2_2.138.9 nlp wc
39 lines 3931 bytes
head (1,2,1) body (2,3,2,2)
estimated blow-up 138.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 575.97sec 11.50sec 0 6178 293527
htl 9.20sec 0.02sec 0 1004 16137
str 13.98sec 0.02sec 0 1040 14528

test20/test_20.20_5_0.1_2_1.2_3_2_3.1339.8 nlp wc
40 lines 5259 bytes
head (1,2,1) body (2,3,2,3)
estimated blow-up 1339.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 46620.10sec 247.81sec 12 51496 3353004
htl 14.67sec 14.46sec 12 1319 21673
str 24.59sec 11.29sec 12 1359 19180

test20/test_20.20_5_0.1_2_1.2_3_3_1.3.1 nlp wc
40 lines 1982 bytes
head (1,2,1) body (2,3,3,1)
estimated blow-up 3.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.16sec 0.01sec 4 292 6687
htl 3.85sec 0.09sec 4 601 8731
str 4.79sec 0.04sec 4 601 7908

test20/test_20.20_5_0.1_2_1.2_3_3_2.9.9 nlp wc
40 lines 2783 bytes
head (1,2,1) body (2,3,3,2)
estimated blow-up 9.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 10.77sec 0.12sec 4 778 26313
htl 7.30sec 0.89sec 4 868 13040
str 8.99sec 0.85sec 4 868 11739

test20/test_20.20_5_0.1_2_1.2_3_3_3.30.9 nlp wc
40 lines 3352 bytes
head (1,2,1) body (2,3,3,3)
estimated blow-up 30.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 67.84sec 2.47sec 4 2056 89609
htl 9.87sec 3.14sec 4 1069 16179
str 12.98sec 3.13sec 4 1069 14615

test20/test_20.20_5_0.1_2_1.2_3_3_4.95.3 nlp wc
40 lines 4042 bytes
head (1,2,1) body (2,3,3,4)
estimated blow-up 95.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 559.00sec 17.95sec 7 6129 318686
htl 13.88sec 8.48sec 7 1272 19304
str 18.66sec 8.35sec 7 1272 17578

test20/test_20.20_5_0.1_2_1.3_3_3_1.1.6 nlp wc
40 lines 1759 bytes
head (1,2,1) body (3,3,3,1)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.99sec 0.01sec 14 139 3589
htl 2.06sec 0.74sec 14 350 5341
str 2.19sec 0.80sec 14 352 4627

test20/test_20.20_5_0.1_2_1.3_3_3_2.2.1 nlp wc
40 lines 2035 bytes
head (1,2,1) body (3,3,3,2)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.21sec 0.00sec 2 132 4509
htl 1.86sec 0.83sec 2 311 5068
str 2.37sec 1.05sec 2 315 4365

test20/test_20.20_5_0.1_2_1.3_3_3_3.2.4 nlp wc
40 lines 2497 bytes
head (1,2,1) body (3,3,3,3)
estimated blow-up 2.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.31sec 0.01sec 28 139 6041
htl 2.15sec 2.17sec 28 336 5768
str 2.81sec 2.37sec 28 338 4840

test20/test_20.20_5_0.1_2_1.3_3_3_4.2.6 nlp wc
40 lines 2802 bytes
head (1,2,1) body (3,3,3,4)
estimated blow-up 2.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.62sec 0.01sec 16 141 6991
htl 2.12sec 4.22sec 16 350 6179
str 3.05sec 5.15sec 16 350 5173

test20/test_20.20_5_0.1_2_2.1_1_1_1.1.2 nlp wc
34 lines 1028 bytes
head (1,2,2) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.99sec 0.27sec 1511 109 1918
htl 1.50sec 1.25sec 1511 257 3491
str 1.50sec 1.25sec 1511 257 3210

test20/test_20.20_5_0.1_2_2.1_1_1_2.1.4 nlp wc
35 lines 1174 bytes
head (1,2,2) body (1,1,1,2)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.09sec 0.25sec 952 114 2347
htl 1.60sec 22.32sec 952 268 3793
str 1.76sec 22.52sec 952 268 3446

test20/test_20.20_5_0.1_2_2.1_1_1_3.1.5 nlp wc
35 lines 1293 bytes
head (1,2,2) body (1,1,1,3)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.87sec 0.02sec 190 110 2636
htl 1.42sec 7.79sec 190 258 3764
str 1.48sec 7.67sec 190 262 3442

test20/test_20.20_5_0.1_2_2.1_1_1_4.1.6 nlp wc
35 lines 1316 bytes
head (1,2,2) body (1,1,1,4)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.97sec 0.01sec 98 103 2754
htl 1.34sec 4.60sec 98 233 3539
str 1.52sec 4.45sec 98 237 3206

test20/test_20.20_5_0.1_2_2.1_2_1_1.5.3 nlp wc
35 lines 1679 bytes
head (1,2,2) body (1,2,1,1)
estimated blow-up 5.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.29sec 0.28sec 875 283 6976
htl 2.32sec 2.32sec 875 367 5481
str 2.60sec 3.81sec 875 393 5191

test20/test_20.20_5_0.1_2_2.1_2_1_2.24.8 nlp wc
35 lines 2274 bytes
head (1,2,2) body (1,2,1,2)
estimated blow-up 24.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 17.04sec 1.24sec 517 975 34361
htl 3.16sec 19.90sec 517 484 7548
str 4.22sec 19.66sec 517 514 6968

test20/test_20.20_5_0.1_2_2.1_2_1_3.108.3 nlp wc
35 lines 3062 bytes
head (1,2,2) body (1,2,1,3)
estimated blow-up 108.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 203.29sec 3.21sec 255 3623 180557
htl 4.23sec 48.77sec 255 595 10030
str 6.78sec 56.44sec 255 633 8830

test20/test_20.20_5_0.1_2_2.1_2_1_4.457.5 nlp wc
35 lines 3538 bytes
head (1,2,2) body (1,2,1,4)
estimated blow-up 457.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1956.93sec 29.38sec 379 11449 684784
htl 5.19sec 56.73sec 379 683 11448
str 8.14sec 70.53sec 379 721 10164

test20/test_20.20_5_0.1_2_2.1_2_2_1.2.0 nlp wc
35 lines 1156 bytes
head (1,2,2) body (1,2,2,1)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.06sec 0.26sec 1314 166 3008
htl 1.73sec 1.07sec 1314 308 4296
str 1.85sec 1.10sec 1314 308 3843

test20/test_20.20_5_0.1_2_2.1_2_2_2.4.3 nlp wc
35 lines 1497 bytes
head (1,2,2) body (1,2,2,2)
estimated blow-up 4.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.17sec 0.85sec 1612 287 6511
htl 2.31sec 5.61sec 1612 377 5331
str 2.39sec 5.61sec 1612 377 4840

test20/test_20.20_5_0.1_2_2.1_2_2_3.9.0 nlp wc
35 lines 1724 bytes
head (1,2,2) body (1,2,2,3)
estimated blow-up 9.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.25sec 0.74sec 98 521 14151
htl 2.57sec 20.43sec 98 447 6407
str 3.02sec 19.10sec 98 447 5849

test20/test_20.20_5_0.1_2_2.1_2_2_4.18.6 nlp wc
35 lines 2019 bytes
head (1,2,2) body (1,2,2,4)
estimated blow-up 18.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 15.81sec 2.26sec 1990 988 33060
htl 3.14sec 12.27sec 1990 489 7241
str 3.84sec 21.89sec 1990 489 6487

test20/test_20.20_5_0.1_2_2.1_3_1_1.39.3 nlp wc
35 lines 2532 bytes
head (1,2,2) body (1,3,1,1)
estimated blow-up 39.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 26.96sec 1.98sec 1572 1277 43033
htl 3.31sec 14.60sec 1572 488 8091
str 4.49sec 13.70sec 1572 516 7064

test20/test_20.20_5_0.1_2_2.1_3_1_2.1084.2 nlp wc
35 lines 4087 bytes
head (1,2,2) body (1,3,1,2)
estimated blow-up 1084.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 11965.69sec 45.07sec 272 26563 1456897
htl 5.77sec 61.16sec 272 728 12839
str 9.79sec 80.89sec 272 766 10880

test20/test_20.20_5_0.1_2_2.1_3_2_1.12.1 nlp wc
35 lines 1940 bytes
head (1,2,2) body (1,3,2,1)
estimated blow-up 12.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.71sec 3.10sec 6717 555 13751
htl 2.52sec 8.32sec 6717 421 6429
str 3.68sec 10.05sec 6717 453 6068

test20/test_20.20_5_0.1_2_2.1_3_2_2.124.6 nlp wc
35 lines 3002 bytes
head (1,2,2) body (1,3,2,2)
estimated blow-up 124.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 322.57sec 23.83sec 2747 4700 180570
htl 4.06sec 5.91sec 2747 584 9802
str 6.18sec 9.42sec 2747 624 8719

test20/test_20.20_5_0.1_2_2.1_3_2_3.1200.7 nlp wc
35 lines 3923 bytes
head (1,2,2) body (1,3,2,3)
estimated blow-up 1200.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 20381.46sec 376.94sec 1498 35965 1797458
htl 5.91sec 26.48sec 1498 738 12681
str 10.28sec 31.34sec 1498 776 10917

test20/test_20.20_5_0.1_2_2.1_3_3_1.2.7 nlp wc
34 lines 1213 bytes
head (1,2,2) body (1,3,3,1)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.37sec 0.37sec 1350 205 3623
htl 1.82sec 0.76sec 1350 322 4437
str 1.96sec 0.80sec 1350 322 4043

test20/test_20.20_5_0.1_2_2.1_3_3_2.8.1 nlp wc
35 lines 1703 bytes
head (1,2,2) body (1,3,3,2)
estimated blow-up 8.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.62sec 1.78sec 4173 563 12908
htl 2.61sec 5.91sec 4173 420 6050
str 3.21sec 5.83sec 4173 420 5465

test20/test_20.20_5_0.1_2_2.1_3_3_3.24.6 nlp wc
35 lines 2040 bytes
head (1,2,2) body (1,3,3,3)
estimated blow-up 24.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 34.27sec 5.89sec 5373 1483 41205
htl 3.10sec 7.52sec 5373 497 7332
str 3.65sec 7.28sec 5373 497 6580

test20/test_20.20_5_0.1_2_2.1_3_3_4.74.8 nlp wc
35 lines 2322 bytes
head (1,2,2) body (1,3,3,4)
estimated blow-up 74.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 279.45sec 32.00sec 4312 4373 141176
htl 3.70sec 9.77sec 4312 573 8600
str 4.61sec 8.65sec 4312 573 7662

test20/test_20.20_5_0.1_2_2.2_2_2_1.1.4 nlp wc
34 lines 1107 bytes
head (1,2,2) body (2,2,2,1)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.77sec 0.00sec 39 109 2220
htl 1.34sec 3.20sec 39 254 3603
str 1.51sec 6.22sec 39 256 3297

test20/test_20.20_5_0.1_2_2.2_2_2_2.1.6 nlp wc
35 lines 1419 bytes
head (1,2,2) body (2,2,2,2)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.90sec 0.02sec 159 113 2913
htl 1.68sec 16.23sec 159 264 3947
str 1.46sec 16.48sec 159 264 3544

test20/test_20.20_5_0.1_2_2.2_2_2_3.1.8 nlp wc
34 lines 1666 bytes
head (1,2,2) body (2,2,2,3)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.03sec 0.00sec 25 113 3555
htl 1.73sec 26.19sec 25 264 4157
str 1.77sec 25.96sec 25 264 3658

test20/test_20.20_5_0.1_2_2.2_2_2_4.2.0 nlp wc
34 lines 1928 bytes
head (1,2,2) body (2,2,2,4)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.11sec 0.01sec 45 112 4091
htl 1.61sec 11.64sec 45 263 4318
str 1.77sec 11.47sec 45 265 3807

test20/test_20.20_5_0.1_2_2.2_3_2_1.11.5 nlp wc
35 lines 2099 bytes
head (1,2,2) body (2,3,2,1)
estimated blow-up 11.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.06sec 0.68sec 300 552 15683
htl 3.87sec 24.17sec 300 582 8691
str 4.96sec 29.04sec 300 610 8242

test20/test_20.20_5_0.1_2_2.2_3_2_2.114.4 nlp wc
35 lines 3566 bytes
head (1,2,2) body (2,3,2,2)
estimated blow-up 114.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 292.94sec 8.37sec 273 4349 204552
htl 7.72sec 71.82sec 273 903 14535
str 11.93sec 61.91sec 273 937 13032

test20/test_20.20_5_0.1_2_2.2_3_2_3.1077.6 nlp wc
35 lines 4882 bytes
head (1,2,2) body (2,3,2,3)
estimated blow-up 1077.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 26027.30sec 77.28sec 122 37963 2385729
htl 12.58sec 141.53sec 122 1225 20055
str 20.79sec 136.08sec 122 1265 17795

test20/test_20.20_5_0.1_2_2.2_3_3_1.2.7 nlp wc
35 lines 1568 bytes
head (1,2,2) body (2,3,3,1)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.51sec 1.57sec 4614 227 4960
htl 3.30sec 10.47sec 4614 509 7148
str 3.61sec 10.40sec 4614 509 6608

test20/test_20.20_5_0.1_2_2.2_3_3_2.8.3 nlp wc
34 lines 2249 bytes
head (1,2,2) body (2,3,3,2)
estimated blow-up 8.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.68sec 0.33sec 169 590 18316
htl 5.83sec 30.90sec 169 761 10973
str 6.61sec 31.94sec 169 761 10171

test20/test_20.20_5_0.1_2_2.2_3_3_3.25.4 nlp wc
35 lines 2954 bytes
head (1,2,2) body (2,3,3,3)
estimated blow-up 25.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 47.09sec 1.61sec 207 1675 69667
htl 9.13sec 62.19sec 207 1009 14906
str 11.84sec 65.14sec 207 1009 13708

test20/test_20.20_5_0.1_2_2.2_3_3_4.77.1 nlp wc
35 lines 3693 bytes
head (1,2,2) body (2,3,3,4)
estimated blow-up 77.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 361.03sec 12.98sec 111 4832 253541
htl 13.34sec 125.70sec 111 1269 19074
str 17.62sec 129.61sec 111 1269 17394

test20/test_20.20_5_0.1_2_2.3_3_3_1.1.5 nlp wc
35 lines 1287 bytes
head (1,2,2) body (3,3,3,1)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.10sec 0.03sec 197 116 2730
htl 1.40sec 25.92sec 197 273 3984
str 1.64sec 25.83sec 197 273 3589

test20/test_20.20_5_0.1_2_2.3_3_3_2.1.8 nlp wc
35 lines 1648 bytes
head (1,2,2) body (3,3,3,2)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.81sec 0.01sec 39 110 3523
htl 1.53sec 17.79sec 39 251 4009
str 1.71sec 17.71sec 39 253 3555

test20/test_20.20_5_0.1_2_2.3_3_3_3.2.0 nlp wc
35 lines 1991 bytes
head (1,2,2) body (3,3,3,3)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.07sec 0.02sec 243 113 4355
htl 1.69sec 7.21sec 243 253 4269
str 1.98sec 7.07sec 243 257 3775

test20/test_20.20_5_0.1_2_2.3_3_3_4.2.2 nlp wc
34 lines 2340 bytes
head (1,2,2) body (3,3,3,4)
estimated blow-up 2.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.22sec 0.01sec 45 111 5006
htl 1.71sec 5.67sec 45 255 4493
str 2.20sec 5.84sec 45 259 3950

test20/test_20.20_5_0.1_3_1.1_1_1_1.1.3 nlp wc
55 lines 2555 bytes
head (1,3,1) body (1,1,1,1)
estimated blow-up 1.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.29sec 0.00sec 0 200 4065
htl 3.45sec 0.01sec 0 508 7739
str 4.69sec 0.01sec 0 510 6740

test20/test_20.20_5_0.1_3_1.1_1_1_2.1.5 nlp wc
55 lines 2876 bytes
head (1,3,1) body (1,1,1,2)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.77sec 0.01sec 24 213 5146
htl 3.96sec 0.10sec 24 554 8665
str 5.08sec 0.14sec 24 554 7488

test20/test_20.20_5_0.1_3_1.1_1_1_3.1.8 nlp wc
53 lines 2979 bytes
head (1,3,1) body (1,1,1,3)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.51sec 0.00sec 2 205 5668
htl 3.63sec 0.25sec 2 538 8530
str 5.18sec 0.21sec 2 538 7332

test20/test_20.20_5_0.1_3_1.1_1_1_4.2.0 nlp wc
55 lines 3080 bytes
head (1,3,1) body (1,1,1,4)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.49sec 0.01sec 8 208 6449
htl 3.68sec 1.28sec 8 540 8697
str 5.47sec 1.47sec 8 540 7425

test20/test_20.20_5_0.1_3_1.1_2_1_1.6.4 nlp wc
55 lines 3304 bytes
head (1,3,1) body (1,2,1,1)
estimated blow-up 6.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 7.04sec 0.02sec 2 614 16436
htl 5.30sec 0.02sec 2 661 10485
str 7.16sec 0.02sec 2 685 9397

test20/test_20.20_5_0.1_3_1.1_2_1_2.34.2 nlp wc
55 lines 4005 bytes
head (1,3,1) body (1,2,1,2)
estimated blow-up 34.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 70.63sec 0.48sec 1 2111 83332
htl 6.32sec 0.29sec 1 763 12601
str 10.27sec 0.31sec 1 797 11145

test20/test_20.20_5_0.1_3_1.1_2_1_3.162.4 nlp wc
55 lines 4808 bytes
head (1,3,1) body (1,2,1,3)
estimated blow-up 162.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1317.19sec 7.29sec 41 8906 465922
htl 7.95sec 1.08sec 41 886 15081
str 13.67sec 1.33sec 41 926 13130

test20/test_20.20_5_0.1_3_1.1_2_1_4.729.4 nlp wc
55 lines 5210 bytes
head (1,3,1) body (1,2,1,4)
estimated blow-up 729.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 14122.83sec 234.68sec 38 29162 1762677
htl 9.26sec 2.92sec 38 962 16453
str 16.10sec 3.51sec 38 1002 14256

test20/test_20.20_5_0.1_3_1.1_2_2_1.2.3 nlp wc
55 lines 2860 bytes
head (1,3,1) body (1,2,2,1)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.66sec 0.01sec 0 329 6831
htl 4.02sec 0.01sec 0 590 9093
str 5.21sec 0.01sec 0 590 7907

test20/test_20.20_5_0.1_3_1.1_2_2_2.5.2 nlp wc
53 lines 3116 bytes
head (1,3,1) body (1,2,2,2)
estimated blow-up 5.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.54sec 0.02sec 2 599 15039
htl 5.02sec 0.02sec 2 656 10175
str 6.69sec 0.02sec 2 656 8868

test20/test_20.20_5_0.1_3_1.1_2_2_3.11.7 nlp wc
55 lines 3335 bytes
head (1,3,1) body (1,2,2,3)
estimated blow-up 11.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 20.75sec 0.13sec 7 1129 33344
htl 5.42sec 0.03sec 7 698 10888
str 7.38sec 0.03sec 7 698 9502

test20/test_20.20_5_0.1_3_1.1_2_2_4.25.8 nlp wc
55 lines 3629 bytes
head (1,3,1) body (1,2,2,4)
estimated blow-up 25.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 72.28sec 0.28sec 6 2126 76962
htl 6.18sec 0.11sec 6 753 11927
str 8.62sec 0.13sec 6 753 10292

test20/test_20.20_5_0.1_3_1.1_3_1_1.55.4 nlp wc
55 lines 4175 bytes
head (1,3,1) body (1,3,1,1)
estimated blow-up 55.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 144.74sec 0.74sec 9 3035 111257
htl 6.52sec 0.11sec 9 779 13141
str 10.77sec 0.12sec 9 805 11250

test20/test_20.20_5_0.1_3_1.1_3_1_2.1771.2 nlp wc
55 lines 5965 bytes
head (1,3,1) body (1,3,1,2)
estimated blow-up 1771.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 84268.13sec 28.02sec 8 69938 3941606
htl 10.49sec 0.86sec 8 1049 18743
str 20.40sec 1.08sec 8 1087 15576

test20/test_20.20_5_0.1_3_1.1_3_2_1.15.7 nlp wc
55 lines 3549 bytes
head (1,3,1) body (1,3,2,1)
estimated blow-up 15.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 23.28sec 0.13sec 1 1215 33274
htl 5.52sec 0.07sec 1 701 11357
str 7.80sec 0.02sec 1 725 9976

test20/test_20.20_5_0.1_3_1.1_3_2_2.187.1 nlp wc
55 lines 4494 bytes
head (1,3,1) body (1,3,2,2)
estimated blow-up 187.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1598.00sec 2.71sec 2 9986 400929
htl 7.32sec 0.03sec 2 846 14280
str 12.16sec 0.03sec 2 882 12426

test20/test_20.20_5_0.1_3_1.1_3_2_3.1963.9 nlp wc
55 lines 5471 bytes
head (1,3,1) body (1,3,2,3)
estimated blow-up 1963.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 115873.04sec 359.59sec -- 80910 4159580
htl 8.15sec 0.12sec 4 989 17186
str 14.81sec 0.07sec 4 1029 14699

test20/test_20.20_5_0.1_3_1.1_3_3_1.3.2 nlp wc
55 lines 2940 bytes
head (1,3,1) body (1,3,3,1)
estimated blow-up 3.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.26sec 0.01sec 0 446 9148
htl 3.97sec 0.01sec 0 620 9592
str 5.42sec 0.01sec 0 620 8304

test20/test_20.20_5_0.1_3_1.1_3_3_2.10.6 nlp wc
55 lines 3367 bytes
head (1,3,1) body (1,3,3,2)
estimated blow-up 10.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 21.56sec 0.04sec 0 1276 32784
htl 4.43sec 0.01sec 0 705 11051
str 6.21sec 0.01sec 0 705 9601

test20/test_20.20_5_0.1_3_1.1_3_3_3.35.1 nlp wc
55 lines 3712 bytes
head (1,3,1) body (1,3,3,3)
estimated blow-up 35.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 150.66sec 0.29sec 0 3469 106712
htl 5.76sec 0.02sec 0 787 12471
str 7.87sec 0.02sec 0 787 10839

test20/test_20.20_5_0.1_3_1.1_3_3_4.113.3 nlp wc
53 lines 3965 bytes
head (1,3,1) body (1,3,3,4)
estimated blow-up 113.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1213.05sec 0.83sec 0 9628 342442
htl 6.53sec 0.02sec 0 846 13458
str 8.32sec 0.02sec 0 846 11701

test20/test_20.20_5_0.1_3_1.2_2_2_1.1.5 nlp wc
55 lines 2803 bytes
head (1,3,1) body (2,2,2,1)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.13sec 0.00sec 2 210 4852
htl 3.57sec 0.02sec 2 546 8471
str 4.65sec 0.02sec 2 546 7297

test20/test_20.20_5_0.1_3_1.2_2_2_2.2.0 nlp wc
53 lines 2994 bytes
head (1,3,1) body (2,2,2,2)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.33sec 0.03sec 13 206 6023
htl 3.08sec 0.21sec 13 533 8443
str 4.47sec 0.22sec 13 535 7316

test20/test_20.20_5_0.1_3_1.2_2_2_3.2.4 nlp wc
55 lines 3365 bytes
head (1,3,1) body (2,2,2,3)
estimated blow-up 2.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.50sec 0.01sec 21 211 7739
htl 3.24sec 1.67sec 21 543 8812
str 4.63sec 1.60sec 21 543 7559

test20/test_20.20_5_0.1_3_1.2_2_2_4.2.7 nlp wc
55 lines 3605 bytes
head (1,3,1) body (2,2,2,4)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.65sec 0.02sec 21 205 8789
htl 3.05sec 0.74sec 21 528 8844
str 4.48sec 0.77sec 21 530 7511

test20/test_20.20_5_0.1_3_1.2_3_2_1.16.3 nlp wc
55 lines 3939 bytes
head (1,3,1) body (2,3,2,1)
estimated blow-up 16.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 23.52sec 0.13sec 6 1290 42372
htl 6.56sec 0.04sec 6 882 14253
str 9.57sec 0.14sec 6 914 12784

test20/test_20.20_5_0.1_3_1.2_3_2_2.187.4 nlp wc
55 lines 5232 bytes
head (1,3,1) body (2,3,2,2)
estimated blow-up 187.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1362.27sec 1.97sec 11 10214 510416
htl 10.96sec 0.86sec 11 1176 19382
str 18.13sec 1.05sec 11 1216 17099

test20/test_20.20_5_0.1_3_1.2_3_2_3.1912.2 nlp wc
55 lines 6483 bytes
head (1,3,1) body (2,3,2,3)
estimated blow-up 1912.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 111723.55sec 48.63sec 18 85933 5713271
htl 15.49sec 3.29sec 18 1473 24571
str 27.30sec 3.22sec 18 1513 21507

test20/test_20.20_5_0.1_3_1.2_3_3_1.3.6 nlp wc
53 lines 3236 bytes
head (1,3,1) body (2,3,3,1)
estimated blow-up 3.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.15sec 0.02sec 0 478 12186
htl 5.65sec 0.01sec 0 802 12368
str 7.73sec 0.01sec 0 802 10853

test20/test_20.20_5_0.1_3_1.2_3_3_2.12.7 nlp wc
55 lines 3951 bytes
head (1,3,1) body (2,3,3,2)
estimated blow-up 12.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 21.02sec 0.07sec 10 1213 42997
htl 7.98sec 0.32sec 10 1012 15659
str 10.67sec 0.28sec 10 1012 13870

test20/test_20.20_5_0.1_3_1.2_3_3_3.41.9 nlp wc
55 lines 4605 bytes
head (1,3,1) body (2,3,3,3)
estimated blow-up 41.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 162.32sec 0.99sec 35 3467 154920
htl 11.93sec 1.34sec 35 1257 19457
str 17.28sec 1.18sec 35 1257 17346

test20/test_20.20_5_0.1_3_1.2_3_3_4.134.6 nlp wc
51 lines 5189 bytes
head (1,3,1) body (2,3,3,4)
estimated blow-up 134.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1564.85sec 2.21sec 10 10790 585675
htl 17.21sec 1.56sec 10 1508 23313
str 23.79sec 1.62sec 10 1508 20935

test20/test_20.20_5_0.1_3_1.3_3_3_1.1.8 nlp wc
53 lines 2949 bytes
head (1,3,1) body (3,3,3,1)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.40sec 0.00sec 3 207 5647
htl 3.48sec 0.08sec 3 545 8551
str 4.68sec 0.05sec 3 545 7373

test20/test_20.20_5_0.1_3_1.3_3_3_2.2.4 nlp wc
55 lines 3315 bytes
head (1,3,1) body (3,3,3,2)
estimated blow-up 2.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.63sec 0.04sec 24 211 7710
htl 3.26sec 1.72sec 24 557 9110
str 4.70sec 2.05sec 24 557 7783

test20/test_20.20_5_0.1_3_1.3_3_3_3.2.9 nlp wc
55 lines 3685 bytes
head (1,3,1) body (3,3,3,3)
estimated blow-up 2.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.98sec 0.02sec 45 212 9791
htl 3.65sec 2.18sec 45 553 9332
str 5.17sec 2.21sec 45 553 7911

test20/test_20.20_5_0.1_3_1.3_3_3_4.3.3 nlp wc
53 lines 3855 bytes
head (1,3,1) body (3,3,3,4)
estimated blow-up 3.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.88sec 0.02sec 12 200 10427
htl 3.13sec 0.60sec 12 509 8794
str 4.45sec 0.56sec 12 511 7442

test20/test_20.20_5_0.1_3_2.1_1_1_1.1.2 nlp wc
45 lines 2137 bytes
head (1,3,2) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.90sec 0.86sec 3759 161 3372
htl 2.11sec 2.25sec 3759 417 6261
str 2.75sec 2.21sec 3759 417 5416

test20/test_20.20_5_0.1_3_2.1_1_1_2.1.4 nlp wc
45 lines 2218 bytes
head (1,3,2) body (1,1,1,2)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.11sec 1.07sec 3579 161 3807
htl 2.18sec 5.98sec 3579 410 6268
str 2.84sec 6.29sec 3579 410 5418

test20/test_20.20_5_0.1_3_2.1_1_1_3.1.6 nlp wc
45 lines 2303 bytes
head (1,3,2) body (1,1,1,3)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.00sec 0.40sec 1314 156 4211
htl 2.18sec 11.07sec 1314 405 6275
str 2.73sec 11.68sec 1314 407 5439

test20/test_20.20_5_0.1_3_2.1_1_1_4.1.8 nlp wc
44 lines 2378 bytes
head (1,3,2) body (1,1,1,4)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.15sec 0.03sec 221 157 4778
htl 2.19sec 8.39sec 221 405 6382
str 2.72sec 8.83sec 221 407 5491

test20/test_20.20_5_0.1_3_2.1_2_1_1.5.8 nlp wc
45 lines 2652 bytes
head (1,3,2) body (1,2,1,1)
estimated blow-up 5.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.59sec 3.47sec 5881 441 12158
htl 3.27sec 10.56sec 5881 533 8358
str 4.52sec 12.63sec 5881 559 7588

test20/test_20.20_5_0.1_3_2.1_2_1_2.29.3 nlp wc
45 lines 3454 bytes
head (1,3,2) body (1,2,1,2)
estimated blow-up 29.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 36.81sec 11.11sec 3996 1599 64876
htl 4.26sec 19.12sec 3996 652 10780
str 6.53sec 23.80sec 3996 690 9623

test20/test_20.20_5_0.1_3_2.1_2_1_3.135.2 nlp wc
45 lines 4060 bytes
head (1,3,2) body (1,2,1,3)
estimated blow-up 135.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 455.51sec 73.33sec 3646 5856 311527
htl 5.12sec 47.69sec 3646 757 12794
str 9.04sec 53.68sec 3646 793 11180

test20/test_20.20_5_0.1_3_2.1_2_1_4.594.6 nlp wc
44 lines 4728 bytes
head (1,3,2) body (1,2,1,4)
estimated blow-up 594.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 8256.31sec 264.90sec 199 23870 1501489
htl 6.89sec 29.17sec 199 881 15059
str 11.61sec 32.49sec 199 917 12988

test20/test_20.20_5_0.1_3_2.1_2_2_1.2.1 nlp wc
45 lines 2218 bytes
head (1,3,2) body (1,2,2,1)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.45sec 0.19sec 795 240 5078
htl 2.58sec 0.87sec 795 459 6845
str 3.25sec 0.91sec 795 459 6023

test20/test_20.20_5_0.1_3_2.1_2_2_2.4.7 nlp wc
44 lines 2528 bytes
head (1,3,2) body (1,2,2,2)
estimated blow-up 4.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.62sec 0.89sec 1947 451 11817
htl 3.09sec 1.87sec 1947 528 8037
str 3.98sec 2.28sec 1947 528 7035

test20/test_20.20_5_0.1_3_2.1_2_2_3.10.4 nlp wc
45 lines 2814 bytes
head (1,3,2) body (1,2,2,3)
estimated blow-up 10.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 8.92sec 1.33sec 1855 784 24896
htl 3.84sec 6.62sec 1855 578 8977
str 4.50sec 5.82sec 1855 578 7831

test20/test_20.20_5_0.1_3_2.1_2_2_4.22.3 nlp wc
45 lines 3070 bytes
head (1,3,2) body (1,2,2,4)
estimated blow-up 22.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 35.21sec 6.57sec 4003 1592 59041
htl 4.19sec 11.93sec 4003 652 10178
str 5.84sec 11.31sec 4003 652 8851

test20/test_20.20_5_0.1_3_2.1_3_1_1.47.1 nlp wc
45 lines 3561 bytes
head (1,3,2) body (1,3,1,1)
estimated blow-up 47.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 59.43sec 14.92sec 6007 2056 76627
htl 4.46sec 12.36sec 6007 660 11053
str 6.59sec 14.42sec 6007 690 9670

test20/test_20.20_5_0.1_3_2.1_3_1_2.1431.3 nlp wc
45 lines 5167 bytes
head (1,3,2) body (1,3,1,2)
estimated blow-up 1431.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 29838.23sec 360.75sec -- 47318 2679282
htl 7.11sec 36.11sec 3307 897 16023
str 13.04sec 33.09sec 3307 935 13396

test20/test_20.20_5_0.1_3_2.1_3_2_1.13.8 nlp wc
45 lines 2976 bytes
head (1,3,2) body (1,3,2,1)
estimated blow-up 13.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 10.92sec 0.59sec 704 851 24300
htl 3.25sec 0.59sec 704 560 9070
str 5.21sec 0.68sec 704 596 8224

test20/test_20.20_5_0.1_3_2.1_3_2_2.156.1 nlp wc
45 lines 3976 bytes
head (1,3,2) body (1,3,2,2)
estimated blow-up 156.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 702.31sec 55.55sec 3782 7314 299053
htl 5.02sec 5.65sec 3782 728 12322
str 8.36sec 7.17sec 3782 766 10782

test20/test_20.20_5_0.1_3_2.1_3_2_3.1590.6 nlp wc
45 lines 5017 bytes
head (1,3,2) body (1,3,2,3)
estimated blow-up 1590.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 56217.12sec 359.58sec -- 62675 3349051
htl 6.67sec 17.43sec 3322 883 15452
str 12.07sec 17.24sec 3322 923 13202

test20/test_20.20_5_0.1_3_2.1_3_3_1.3.0 nlp wc
44 lines 2299 bytes
head (1,3,2) body (1,3,3,1)
estimated blow-up 3.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.34sec 0.61sec 2061 342 7296
htl 2.94sec 1.13sec 2061 499 7463
str 3.64sec 1.23sec 2061 499 6596

test20/test_20.20_5_0.1_3_2.1_3_3_2.9.5 nlp wc
45 lines 2695 bytes
head (1,3,2) body (1,3,3,2)
estimated blow-up 9.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 11.30sec 1.29sec 1218 892 23462
htl 3.65sec 0.86sec 1218 566 8661
str 4.32sec 0.95sec 1218 566 7601

test20/test_20.20_5_0.1_3_2.1_3_3_3.30.5 nlp wc
45 lines 3141 bytes
head (1,3,2) body (1,3,3,3)
estimated blow-up 30.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 81.46sec 6.68sec 2437 2493 80056
htl 4.10sec 3.03sec 2437 652 10248
str 5.89sec 3.31sec 2437 652 8889

test20/test_20.20_5_0.1_3_2.1_3_3_4.96.1 nlp wc
45 lines 3474 bytes
head (1,3,2) body (1,3,3,4)
estimated blow-up 96.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 551.77sec 26.38sec 1960 6642 248171
htl 5.04sec 3.95sec 1960 719 11432
str 6.88sec 3.59sec 1960 719 9897

test20/test_20.20_5_0.1_3_2.2_2_2_1.1.4 nlp wc
45 lines 2157 bytes
head (1,3,2) body (2,2,2,1)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.05sec 1.61sec 6519 161 3749
htl 2.25sec 10.81sec 6519 413 6264
str 2.60sec 11.10sec 6519 413 5430

test20/test_20.20_5_0.1_3_2.2_2_2_2.1.8 nlp wc
45 lines 2446 bytes
head (1,3,2) body (2,2,2,2)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.05sec 0.12sec 688 161 4776
htl 2.24sec 25.32sec 688 417 6557
str 2.94sec 28.89sec 688 417 5652

test20/test_20.20_5_0.1_3_2.2_2_2_3.2.1 nlp wc
45 lines 2749 bytes
head (1,3,2) body (2,2,2,3)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.26sec 0.05sec 344 162 5986
htl 2.32sec 21.47sec 344 420 6849
str 3.24sec 23.57sec 344 420 5830

test20/test_20.20_5_0.1_3_2.2_2_2_4.2.3 nlp wc
44 lines 3006 bytes
head (1,3,2) body (2,2,2,4)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.26sec 0.02sec 128 162 6922
htl 2.43sec 16.21sec 128 422 7033
str 3.41sec 20.16sec 128 422 5950

test20/test_20.20_5_0.1_3_2.2_3_2_1.14.0 nlp wc
45 lines 3327 bytes
head (1,3,2) body (2,3,2,1)
estimated blow-up 14.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 13.26sec 2.47sec 1672 946 31817
htl 5.39sec 4.47sec 1672 755 11981
str 8.13sec 5.96sec 1672 791 10973

test20/test_20.20_5_0.1_3_2.2_3_2_2.152.2 nlp wc
43 lines 4470 bytes
head (1,3,2) body (2,3,2,2)
estimated blow-up 152.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 653.89sec 18.79sec 545 7074 352559
htl 8.84sec 20.35sec 545 1045 16965
str 13.95sec 18.29sec 545 1081 15224

test20/test_20.20_5_0.1_3_2.2_3_2_3.1510.1 nlp wc
45 lines 5791 bytes
head (1,3,2) body (2,3,2,3)
estimated blow-up 1510.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 45221.86sec 362.49sec -- 55874 3727694
htl 13.62sec 105.96sec 2152 1359 22444
str 23.57sec 105.21sec 2152 1397 19767

test20/test_20.20_5_0.1_3_2.2_3_3_1.3.2 nlp wc
45 lines 2590 bytes
head (1,3,2) body (2,3,3,1)
estimated blow-up 3.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.40sec 0.89sec 2039 347 8618
htl 4.31sec 3.74sec 2039 656 9762
str 5.54sec 3.81sec 2039 656 8801

test20/test_20.20_5_0.1_3_2.2_3_3_2.10.7 nlp wc
44 lines 3293 bytes
head (1,3,2) body (2,3,3,2)
estimated blow-up 10.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 12.05sec 1.83sec 1533 896 32209
htl 6.79sec 15.24sec 1533 898 13681
str 8.91sec 15.04sec 1533 898 12296

test20/test_20.20_5_0.1_3_2.2_3_3_3.34.4 nlp wc
45 lines 3941 bytes
head (1,3,2) body (2,3,3,3)
estimated blow-up 34.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 95.15sec 2.84sec 660 2634 120248
htl 10.53sec 36.29sec 660 1132 17279
str 13.37sec 37.35sec 660 1132 15646

test20/test_20.20_5_0.1_3_2.2_3_3_4.108.0 nlp wc
45 lines 4739 bytes
head (1,3,2) body (2,3,3,4)
estimated blow-up 108.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 770.61sec 14.13sec 729 7623 431776
htl 14.30sec 97.11sec 729 1382 21436
str 19.39sec 98.97sec 729 1382 19231

test20/test_20.20_5_0.1_3_2.3_3_3_1.1.6 nlp wc
44 lines 2320 bytes
head (1,3,2) body (3,3,3,1)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.03sec 0.03sec 147 154 4229
htl 2.25sec 4.26sec 147 402 6212
str 2.69sec 4.83sec 147 404 5382

test20/test_20.20_5_0.1_3_2.3_3_3_2.2.1 nlp wc
45 lines 2681 bytes
head (1,3,2) body (3,3,3,2)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.07sec 0.11sec 475 161 5959
htl 2.26sec 29.78sec 475 414 6750
str 3.03sec 31.96sec 475 414 5734

test20/test_20.20_5_0.1_3_2.3_3_3_3.2.5 nlp wc
43 lines 2948 bytes
head (1,3,2) body (3,3,3,3)
estimated blow-up 2.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.31sec 0.00sec 0 160 7130
htl 2.29sec 0.01sec 0 414 6965
str 3.27sec 0.01sec 0 414 5906

test20/test_20.20_5_0.1_3_2.3_3_3_4.2.7 nlp wc
45 lines 3271 bytes
head (1,3,2) body (3,3,3,4)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.40sec 0.01sec 36 158 8050
htl 2.32sec 9.55sec 36 408 7073
str 3.37sec 11.24sec 36 408 5984

test20/test_20.20_5_0.1_3_3.1_1_1_1.1.2 nlp wc
40 lines 1499 bytes
head (1,3,3) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.79sec 3.07sec 16379 126 2412
htl 1.57sec 17.08sec 16379 304 4222
str 1.73sec 17.29sec 16379 304 3898

test20/test_20.20_5_0.1_3_3.1_1_1_2.1.4 nlp wc
40 lines 1593 bytes
head (1,3,3) body (1,1,1,2)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.85sec 14.48sec 70786 136 2979
htl 1.59sec 61.70sec 70786 313 4478
str 1.64sec 62.26sec 70786 313 4101

test20/test_20.20_5_0.1_3_3.1_1_1_3.1.6 nlp wc
38 lines 1644 bytes
head (1,3,3) body (1,1,1,3)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.81sec 1.17sec 3897 133 3241
htl 1.67sec 17.97sec 3897 307 4440
str 1.71sec 16.99sec 3897 309 4108

test20/test_20.20_5_0.1_3_3.1_1_1_4.1.7 nlp wc
40 lines 1814 bytes
head (1,3,3) body (1,1,1,4)
estimated blow-up 1.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.89sec 0.39sec 1933 133 3786
htl 1.66sec 25.21sec 1933 307 4586
str 1.96sec 24.84sec 1933 309 4184

test20/test_20.20_5_0.1_3_3.1_2_1_1.5.6 nlp wc
40 lines 2052 bytes
head (1,3,3) body (1,2,1,1)
estimated blow-up 5.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.59sec 19.05sec 58125 358 9074
htl 2.26sec 51.50sec 58125 423 6285
str 3.14sec 59.78sec 58125 453 6049

test20/test_20.20_5_0.1_3_3.1_2_1_2.27.5 nlp wc
40 lines 2812 bytes
head (1,3,3) body (1,2,1,2)
estimated blow-up 27.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 25.28sec 52.48sec 38265 1320 50632
htl 3.48sec 104.28sec 38265 553 8816
str 4.91sec 123.95sec 38265 589 8146

test20/test_20.20_5_0.1_3_3.1_2_1_3.123.9 nlp wc
40 lines 3444 bytes
head (1,3,3) body (1,2,1,3)
estimated blow-up 123.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 289.85sec 26.06sec 2520 4666 234074
htl 4.29sec 94.13sec 2520 650 10710
str 6.53sec 117.58sec 2520 688 9608

test20/test_20.20_5_0.1_3_3.1_2_1_4.535.5 nlp wc
40 lines 4280 bytes
head (1,3,3) body (1,2,1,4)
estimated blow-up 535.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4516.01sec 194.43sec 3165 18618 1183663
htl 5.44sec 201.25sec 3165 774 13312
str 9.53sec 200.25sec 3165 812 11495

test20/test_20.20_5_0.1_3_3.1_2_2_1.2.1 nlp wc
40 lines 1593 bytes
head (1,3,3) body (1,2,2,1)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.16sec 20.46sec 100000 200 3794
htl 1.94sec 42.09sec 100000 359 4994
str 2.10sec 44.21sec 100000 359 4576

test20/test_20.20_5_0.1_3_3.1_2_2_2.4.6 nlp wc
39 lines 1872 bytes
head (1,3,3) body (1,2,2,2)
estimated blow-up 4.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.45sec 4.58sec 12629 351 8260
htl 2.17sec 32.09sec 12629 419 5880
str 2.55sec 31.34sec 12629 419 5445

test20/test_20.20_5_0.1_3_3.1_2_2_3.9.8 nlp wc
40 lines 2149 bytes
head (1,3,3) body (1,2,2,3)
estimated blow-up 9.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.83sec 42.89sec 89528 667 19091
htl 2.70sec 77.04sec 89528 488 7088
str 3.37sec 78.33sec 89528 488 6468

test20/test_20.20_5_0.1_3_3.1_2_2_4.20.8 nlp wc
40 lines 2398 bytes
head (1,3,3) body (1,2,2,4)
estimated blow-up 20.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 22.54sec 82.62sec 93564 1260 42125
htl 3.32sec 101.56sec 93564 535 7909
str 4.07sec 99.52sec 93564 535 7133

test20/test_20.20_5_0.1_3_3.1_3_1_1.43.9 nlp wc
40 lines 2999 bytes
head (1,3,3) body (1,3,1,1)
estimated blow-up 43.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 47.90sec 37.72sec 28527 1842 64882
htl 3.56sec 57.49sec 28527 569 9352
str 5.20sec 64.82sec 28527 603 8355

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