next up previous contents
Next: Subseries: 40 variables Up: Subseries: 35 variables Previous: Tables   Contents

Individual tests

test35/test_35.20_5_0.1_1_1.1_1_1_1.1.2 nlp wc
30 lines 600 bytes
head (1,1,1) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.79sec 0.01sec 1 88 1498
htl 0.98sec 0.00sec 1 164 2360
str 1.09sec 0.00sec 1 168 2129

test35/test_35.20_5_0.1_1_1.1_1_1_2.1.3 nlp wc
30 lines 747 bytes
head (1,1,1) body (1,1,1,2)
estimated blow-up 1.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.28sec 0.00sec 1 88 1794
htl 1.32sec 0.00sec 1 164 2523
str 1.09sec 0.02sec 1 182 2428

test35/test_35.20_5_0.1_1_1.1_1_1_3.1.4 nlp wc
30 lines 857 bytes
head (1,1,1) body (1,1,1,3)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.83sec 0.00sec 1 90 2033
htl 1.45sec 0.01sec 1 160 2564
str 1.34sec 0.33sec 1 182 2521

test35/test_35.20_5_0.1_1_1.1_1_1_4.1.5 nlp wc
30 lines 939 bytes
head (1,1,1) body (1,1,1,4)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.04sec 0.00sec 1 82 2058
htl 1.36sec 0.00sec 1 152 2491
str 1.77sec 1.71sec 1 176 2490

test35/test_35.20_5_0.1_1_1.1_2_1_1.4.7 nlp wc
30 lines 1164 bytes
head (1,1,1) body (1,2,1,1)
estimated blow-up 4.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.89sec 0.01sec 0 226 4955
htl 3.06sec 0.01sec 0 291 4680
str 2.89sec 0.01sec 0 325 4394

test35/test_35.20_5_0.1_1_1.1_2_1_2.20.4 nlp wc
30 lines 1825 bytes
head (1,1,1) body (1,2,1,2)
estimated blow-up 20.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 15.65sec 0.58sec 0 684 23506
htl 4.68sec 106.94sec 0 430 7078
str 6.13sec 781.64sec -- 468 6557

test35/test_35.20_5_0.1_1_1.1_2_1_3.85.3 nlp wc
30 lines 2645 bytes
head (1,1,1) body (1,2,1,3)
estimated blow-up 85.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 191.07sec 7.89sec 1 2542 125136
htl 6.86sec 0.73sec 1 567 9860
str 10.21sec 383.49sec 1 629 9032

test35/test_35.20_5_0.1_1_1.1_2_1_4.350.0 nlp wc
30 lines 3370 bytes
head (1,1,1) body (1,2,1,4)
estimated blow-up 350.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2702.23sec 226.57sec 1 9552 591316
htl 9.03sec 58.88sec 1 654 11730
str 14.26sec 773.06sec -- 720 10447

test35/test_35.20_5_0.1_1_1.1_2_2_1.1.8 nlp wc
30 lines 730 bytes
head (1,1,1) body (1,2,2,1)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.91sec 0.08sec 0 126 2167
htl 2.43sec 0.09sec 0 237 3469
str 2.62sec 0.01sec 0 239 3025

test35/test_35.20_5_0.1_1_1.1_2_2_2.3.7 nlp wc
30 lines 1033 bytes
head (1,1,1) body (1,2,2,2)
estimated blow-up 3.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.51sec 0.01sec 1 208 4354
htl 3.26sec 0.22sec 1 306 4586
str 3.26sec 0.88sec 1 306 3957

test35/test_35.20_5_0.1_1_1.1_2_2_3.7.4 nlp wc
30 lines 1278 bytes
head (1,1,1) body (1,2,2,3)
estimated blow-up 7.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.70sec 0.10sec 1 370 9466
htl 4.12sec 20.69sec 1 376 5709
str 4.25sec 94.93sec 1 376 5031

test35/test_35.20_5_0.1_1_1.1_2_2_4.15.0 nlp wc
30 lines 1573 bytes
head (1,1,1) body (1,2,2,4)
estimated blow-up 15.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 14.75sec 0.58sec 1 656 21198
htl 4.68sec 4.01sec 1 419 6523
str 5.17sec 55.86sec 1 419 5659

test35/test_35.20_5_0.1_1_1.1_3_1_1.32.0 nlp wc
30 lines 2192 bytes
head (1,1,1) body (1,3,1,1)
estimated blow-up 32.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 31.13sec 0.49sec 2 994 32194
htl 5.00sec 0.09sec 2 444 7853
str 7.06sec 0.39sec 2 486 6833

test35/test_35.20_5_0.1_1_1.1_3_1_2.821.0 nlp wc
30 lines 3787 bytes
head (1,1,1) body (1,3,1,2)
estimated blow-up 821.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 10681.35sec 628.70sec 1 18984 1033858
htl 9.75sec 231.73sec 1 697 12923
str 15.88sec 773.37sec -- 749 10879

test35/test_35.20_5_0.1_1_1.1_3_2_1.10.2 nlp wc
30 lines 1522 bytes
head (1,1,1) body (1,3,2,1)
estimated blow-up 10.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.55sec 0.09sec 1 412 9614
htl 3.91sec 0.05sec 1 348 5818
str 4.81sec 0.73sec 1 392 5415

test35/test_35.20_5_0.1_1_1.1_3_2_2.97.7 nlp wc
30 lines 2486 bytes
head (1,1,1) body (1,3,2,2)
estimated blow-up 97.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 273.50sec 12.51sec 2 3132 113227
htl 6.08sec 0.24sec 2 508 8828
str 9.13sec 0.59sec 2 562 8027

test35/test_35.20_5_0.1_1_1.1_3_2_3.905.0 nlp wc
30 lines 3576 bytes
head (1,1,1) body (1,3,2,3)
estimated blow-up 905.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 23198.00sec 774.11sec -- 26804 1345251
htl 8.58sec 151.25sec 2 652 11875
str 15.39sec 328.52sec 2 714 10402

test35/test_35.20_5_0.1_1_1.1_3_3_1.2.3 nlp wc
30 lines 853 bytes
head (1,1,1) body (1,3,3,1)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.20sec 0.08sec 1 156 2651
htl 2.43sec 0.01sec 1 242 3673
str 2.88sec 0.08sec 1 242 3127

test35/test_35.20_5_0.1_1_1.1_3_3_2.6.5 nlp wc
30 lines 1260 bytes
head (1,1,1) body (1,3,3,2)
estimated blow-up 6.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.32sec 0.13sec 1 406 8680
htl 3.53sec 0.01sec 1 355 5437
str 3.97sec 0.09sec 1 355 4645

test35/test_35.20_5_0.1_1_1.1_3_3_3.19.1 nlp wc
30 lines 1605 bytes
head (1,1,1) body (1,3,3,3)
estimated blow-up 19.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 34.99sec 1.66sec 1 1096 28877
htl 4.76sec 14.03sec 1 438 6785
str 4.65sec 18.56sec 1 438 5910

test35/test_35.20_5_0.1_1_1.1_3_3_4.56.6 nlp wc
30 lines 2019 bytes
head (1,1,1) body (1,3,3,4)
estimated blow-up 56.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 267.63sec 17.80sec 1 3124 101949
htl 5.86sec 21.09sec 1 503 8033
str 7.17sec 67.46sec 1 503 6915

test35/test_35.20_5_0.1_1_1.2_2_2_1.1.3 nlp wc
30 lines 708 bytes
head (1,1,1) body (2,2,2,1)
estimated blow-up 1.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.65sec 0.07sec 0 82 1609
htl 1.70sec 0.00sec 0 158 2362
str 2.20sec 0.03sec 0 168 2209

test35/test_35.20_5_0.1_1_1.2_2_2_2.1.5 nlp wc
30 lines 993 bytes
head (1,1,1) body (2,2,2,2)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.46sec 0.00sec 1 88 2170
htl 1.73sec 0.09sec 1 170 2777
str 1.86sec 0.56sec 1 196 2772

test35/test_35.20_5_0.1_1_1.2_2_2_3.1.6 nlp wc
30 lines 1275 bytes
head (1,1,1) body (2,2,2,3)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.72sec 0.00sec 1 80 2502
htl 2.00sec 0.00sec 1 132 2469
str 2.12sec 0.07sec 1 170 2617

test35/test_35.20_5_0.1_1_1.2_2_2_4.1.6 nlp wc
30 lines 1492 bytes
head (1,1,1) body (2,2,2,4)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.64sec 0.00sec 1 84 2924
htl 2.05sec 0.08sec 1 160 3042
str 2.07sec 1.33sec 1 192 3007

test35/test_35.20_5_0.1_1_1.2_3_2_1.9.2 nlp wc
30 lines 1791 bytes
head (1,1,1) body (2,3,2,1)
estimated blow-up 9.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 7.02sec 0.04sec 0 424 11626
htl 6.12sec 14.47sec 0 538 8415
str 7.64sec 98.90sec 0 574 7873

test35/test_35.20_5_0.1_1_1.2_3_2_2.85.6 nlp wc
30 lines 3155 bytes
head (1,1,1) body (2,3,2,2)
estimated blow-up 85.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 304.89sec 22.60sec 1 3264 152155
htl 13.28sec 772.28sec -- 880 14440
str 18.83sec 773.10sec -- 932 13207

test35/test_35.20_5_0.1_1_1.2_3_2_3.782.3 nlp wc
30 lines 4406 bytes
head (1,1,1) body (2,3,2,3)
estimated blow-up 782.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 22034.70sec 773.87sec -- 26650 1696811
htl 22.52sec 773.49sec -- 1191 19674
str 34.90sec 773.58sec -- 1257 18006

test35/test_35.20_5_0.1_1_1.2_3_3_1.2.2 nlp wc
30 lines 1152 bytes
head (1,1,1) body (2,3,3,1)
estimated blow-up 2.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.77sec 0.08sec 1 168 3461
htl 4.90sec 0.15sec 1 444 6385
str 4.49sec 0.92sec 1 444 5785

test35/test_35.20_5_0.1_1_1.2_3_3_2.6.3 nlp wc
30 lines 1939 bytes
head (1,1,1) body (2,3,3,2)
estimated blow-up 6.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.41sec 0.19sec 1 394 12443
htl 9.07sec 364.47sec 1 671 10117
str 9.76sec 416.42sec 1 671 9114

test35/test_35.20_5_0.1_1_1.2_3_3_3.18.6 nlp wc
30 lines 2663 bytes
head (1,1,1) body (2,3,3,3)
estimated blow-up 18.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 38.74sec 1.94sec 1 1114 47787
htl 15.32sec 773.68sec -- 965 14807
str 17.73sec 773.71sec -- 965 13357

test35/test_35.20_5_0.1_1_1.2_3_3_4.55.4 nlp wc
30 lines 3265 bytes
head (1,1,1) body (2,3,3,4)
estimated blow-up 55.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 303.37sec 30.43sec 0 3234 168764
htl 22.09sec 773.30sec -- 1199 18351
str 27.37sec 773.36sec -- 1199 16597

test35/test_35.20_5_0.1_1_1.3_3_3_1.1.4 nlp wc
30 lines 845 bytes
head (1,1,1) body (3,3,3,1)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.32sec 0.00sec 0 84 1890
htl 1.91sec 0.08sec 0 142 2272
str 1.88sec 0.08sec 0 160 2214

test35/test_35.20_5_0.1_1_1.3_3_3_2.1.6 nlp wc
30 lines 1196 bytes
head (1,1,1) body (3,3,3,2)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.48sec 0.00sec 1 84 2510
htl 2.27sec 0.08sec 1 160 2827
str 2.53sec 1.15sec 1 194 2907

test35/test_35.20_5_0.1_1_1.3_3_3_3.1.7 nlp wc
30 lines 1527 bytes
head (1,1,1) body (3,3,3,3)
estimated blow-up 1.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.57sec 0.09sec 1 94 3261
htl 2.00sec 0.08sec 1 176 3378
str 2.69sec 11.73sec 1 198 3163

test35/test_35.20_5_0.1_1_1.3_3_3_4.1.7 nlp wc
30 lines 1930 bytes
head (1,1,1) body (3,3,3,4)
estimated blow-up 1.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.74sec 0.01sec 1 86 3729
htl 2.04sec 0.00sec 1 156 3376
str 2.60sec 0.78sec 1 192 3304

test35/test_35.20_5_0.1_2_1.1_1_1_1.1.2 nlp wc
40 lines 1528 bytes
head (1,2,1) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.54sec 0.06sec 99 144 2760
htl 3.94sec 1.59sec 99 365 5377
str 4.13sec 1.81sec 99 367 4727

test35/test_35.20_5_0.1_2_1.1_1_1_2.1.5 nlp wc
40 lines 1646 bytes
head (1,2,1) body (1,1,1,2)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.67sec 0.01sec 14 159 3473
htl 4.12sec 396.20sec 14 400 6100
str 4.81sec 396.26sec 14 402 5381

test35/test_35.20_5_0.1_2_1.1_1_1_3.1.6 nlp wc
40 lines 1807 bytes
head (1,2,1) body (1,1,1,3)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.48sec 0.09sec 28 147 3834
htl 4.14sec 8.20sec 28 364 5713
str 4.52sec 8.93sec 28 374 5042

test35/test_35.20_5_0.1_2_1.1_1_1_4.1.8 nlp wc
40 lines 1888 bytes
head (1,2,1) body (1,1,1,4)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.08sec 0.05sec 32 150 4189
htl 4.29sec 91.07sec 32 376 5924
str 4.93sec 113.98sec 32 390 5367

test35/test_35.20_5_0.1_2_1.1_2_1_1.5.8 nlp wc
40 lines 2122 bytes
head (1,2,1) body (1,2,1,1)
estimated blow-up 5.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.95sec 0.03sec 30 395 10194
htl 6.04sec 6.19sec 30 508 8012
str 7.26sec 6.48sec 30 536 7360

test35/test_35.20_5_0.1_2_1.1_2_1_2.28.5 nlp wc
40 lines 2872 bytes
head (1,2,1) body (1,2,1,2)
estimated blow-up 28.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 53.41sec 1.24sec 9 1304 51947
htl 7.81sec 468.29sec 9 618 10332
str 12.05sec 775.49sec -- 668 9484

test35/test_35.20_5_0.1_2_1.1_2_1_3.128.0 nlp wc
40 lines 3536 bytes
head (1,2,1) body (1,2,1,3)
estimated blow-up 128.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 694.67sec 25.07sec 21 4952 257657
htl 10.99sec 772.94sec -- 746 12751
str 15.83sec 773.49sec -- 800 11501

test35/test_35.20_5_0.1_2_1.1_2_1_4.551.4 nlp wc
40 lines 4340 bytes
head (1,2,1) body (1,2,1,4)
estimated blow-up 551.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 10950.65sec 503.06sec 9 19544 1281947
htl 13.44sec 782.36sec -- 860 15137
str 21.43sec 776.63sec -- 924 13457

test35/test_35.20_5_0.1_2_1.1_2_2_1.2.1 nlp wc
39 lines 1651 bytes
head (1,2,1) body (1,2,2,1)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.17sec 0.08sec 0 233 4653
htl 5.25sec 0.04sec 0 455 6810
str 5.69sec 0.04sec 0 455 6029

test35/test_35.20_5_0.1_2_1.1_2_2_2.4.7 nlp wc
40 lines 1894 bytes
head (1,2,1) body (1,2,2,2)
estimated blow-up 4.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.78sec 0.03sec 12 374 8931
htl 5.73sec 0.91sec 12 492 7478
str 6.32sec 3.98sec 12 492 6609

test35/test_35.20_5_0.1_2_1.1_2_2_3.10.1 nlp wc
40 lines 2098 bytes
head (1,2,1) body (1,2,2,3)
estimated blow-up 10.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 15.20sec 0.46sec 5 680 19103
htl 6.61sec 31.50sec 5 553 8404
str 7.93sec 38.67sec 5 553 7477

test35/test_35.20_5_0.1_2_1.1_2_2_4.21.4 nlp wc
40 lines 2472 bytes
head (1,2,1) body (1,2,2,4)
estimated blow-up 21.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 51.31sec 1.92sec 10 1306 45761
htl 8.13sec 774.53sec -- 627 9831
str 9.22sec 774.21sec -- 627 8674

test35/test_35.20_5_0.1_2_1.1_3_1_1.45.5 nlp wc
38 lines 2904 bytes
head (1,2,1) body (1,3,1,1)
estimated blow-up 45.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 98.40sec 0.88sec 0 1812 64173
htl 8.79sec 0.10sec 0 652 10876
str 11.99sec 0.07sec 0 682 9567

test35/test_35.20_5_0.1_2_1.1_3_1_2.1316.6 nlp wc
40 lines 4721 bytes
head (1,2,1) body (1,3,1,2)
estimated blow-up 1316.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 49771.10sec 773.65sec -- 39520 2323369
htl 14.33sec 773.88sec -- 894 16221
str 23.17sec 774.28sec -- 948 13828

test35/test_35.20_5_0.1_2_1.1_3_2_1.13.6 nlp wc
40 lines 2470 bytes
head (1,2,1) body (1,3,2,1)
estimated blow-up 13.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 18.39sec 0.22sec 35 761 20746
htl 6.53sec 0.54sec 35 556 9081
str 8.99sec 0.76sec 35 598 8370

test35/test_35.20_5_0.1_2_1.1_3_2_2.147.3 nlp wc
40 lines 3410 bytes
head (1,2,1) body (1,3,2,2)
estimated blow-up 147.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1078.37sec 20.54sec 5 6306 252444
htl 9.60sec 5.88sec 5 711 12144
str 15.37sec 8.91sec 5 769 11084

test35/test_35.20_5_0.1_2_1.1_3_2_3.1458.0 nlp wc
40 lines 4603 bytes
head (1,2,1) body (1,3,2,3)
estimated blow-up 1458.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 97982.73sec 773.71sec -- 55169 2937733
htl 14.12sec 561.05sec 25 891 15902
str 24.09sec 774.25sec -- 953 13912

test35/test_35.20_5_0.1_2_1.1_3_3_1.2.9 nlp wc
40 lines 1796 bytes
head (1,2,1) body (1,3,3,1)
estimated blow-up 2.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.86sec 0.10sec 46 303 6105
htl 5.36sec 0.30sec 46 476 7248
str 5.70sec 0.26sec 46 476 6385

test35/test_35.20_5_0.1_2_1.1_3_3_2.9.1 nlp wc
40 lines 2210 bytes
head (1,2,1) body (1,3,3,2)
estimated blow-up 9.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 18.49sec 0.47sec 24 773 19337
htl 6.74sec 1.72sec 24 562 8722
str 7.62sec 1.99sec 24 562 7676

test35/test_35.20_5_0.1_2_1.1_3_3_3.28.5 nlp wc
40 lines 2529 bytes
head (1,2,1) body (1,3,3,3)
estimated blow-up 28.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 128.57sec 5.55sec 52 2139 63952
htl 8.02sec 22.53sec 52 642 10052
str 10.12sec 27.31sec 52 642 8865

test35/test_35.20_5_0.1_2_1.1_3_3_4.88.4 nlp wc
39 lines 2882 bytes
head (1,2,1) body (1,3,3,4)
estimated blow-up 88.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1010.82sec 19.22sec 0 6154 220152
htl 9.78sec 0.01sec 0 716 11452
str 12.21sec 0.05sec 0 716 10018

test35/test_35.20_5_0.1_2_1.2_2_2_1.1.5 nlp wc
39 lines 1603 bytes
head (1,2,1) body (2,2,2,1)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.10sec 0.04sec 0 151 3397
htl 3.92sec 0.01sec 0 374 5672
str 4.63sec 0.08sec 0 388 5174

test35/test_35.20_5_0.1_2_1.2_2_2_2.1.8 nlp wc
39 lines 1837 bytes
head (1,2,1) body (2,2,2,2)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.03sec 0.00sec 0 157 4172
htl 4.12sec 0.01sec 0 383 6056
str 4.96sec 0.01sec 0 389 5331

test35/test_35.20_5_0.1_2_1.2_2_2_3.2.1 nlp wc
40 lines 2218 bytes
head (1,2,1) body (2,2,2,3)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.34sec 0.01sec 32 158 5325
htl 4.19sec 774.67sec -- 396 6499
str 5.25sec 774.04sec -- 408 5783

test35/test_35.20_5_0.1_2_1.2_2_2_4.2.3 nlp wc
40 lines 2460 bytes
head (1,2,1) body (2,2,2,4)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.63sec 0.05sec 32 156 6097
htl 4.38sec 775.24sec -- 386 6552
str 5.96sec 775.25sec -- 402 5852

test35/test_35.20_5_0.1_2_1.2_3_2_1.13.3 nlp wc
40 lines 2752 bytes
head (1,2,1) body (2,3,2,1)
estimated blow-up 13.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 20.09sec 0.83sec 26 787 24605
htl 9.71sec 478.72sec 26 720 11448
str 12.48sec 408.09sec 26 756 10572

test35/test_35.20_5_0.1_2_1.2_3_2_2.138.9 nlp wc
40 lines 4069 bytes
head (1,2,1) body (2,3,2,2)
estimated blow-up 138.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1187.84sec 77.09sec 22 6488 324709
htl 18.80sec 772.69sec -- 1059 17388
str 27.64sec 772.21sec -- 1113 15950

test35/test_35.20_5_0.1_2_1.2_3_2_3.1339.8 nlp wc
40 lines 5404 bytes
head (1,2,1) body (2,3,2,3)
estimated blow-up 1339.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 103442.68sec 772.46sec -- 54848 3760709
htl 30.66sec 772.65sec -- 1405 23312
str 50.37sec 772.45sec -- 1469 21119

test35/test_35.20_5_0.1_2_1.2_3_3_1.3.1 nlp wc
40 lines 2056 bytes
head (1,2,1) body (2,3,3,1)
estimated blow-up 3.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.40sec 0.05sec 82 315 7361
htl 8.24sec 65.38sec 82 651 9740
str 9.51sec 79.36sec 82 651 8800

test35/test_35.20_5_0.1_2_1.2_3_3_2.9.9 nlp wc
40 lines 2856 bytes
head (1,2,1) body (2,3,3,2)
estimated blow-up 9.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 20.91sec 1.42sec 228 800 27769
htl 14.30sec 772.31sec -- 917 14050
str 17.23sec 772.38sec -- 917 12657

test35/test_35.20_5_0.1_2_1.2_3_3_3.30.9 nlp wc
40 lines 3470 bytes
head (1,2,1) body (2,3,3,3)
estimated blow-up 30.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 133.98sec 9.61sec 6 2103 96131
htl 20.78sec 772.62sec -- 1131 17483
str 25.48sec 774.74sec -- 1131 15811

test35/test_35.20_5_0.1_2_1.2_3_3_4.95.3 nlp wc
40 lines 4176 bytes
head (1,2,1) body (2,3,3,4)
estimated blow-up 95.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1180.60sec 71.70sec 28 6474 353538
htl 30.31sec 771.94sec -- 1404 21640
str 37.67sec 774.23sec -- 1404 19711

test35/test_35.20_5_0.1_2_1.3_3_3_1.1.6 nlp wc
40 lines 1809 bytes
head (1,2,1) body (3,3,3,1)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.97sec 0.03sec 23 153 3961
htl 4.04sec 276.12sec 23 385 6017
str 4.84sec 314.34sec 23 393 5331

test35/test_35.20_5_0.1_2_1.3_3_3_2.2.1 nlp wc
40 lines 2157 bytes
head (1,2,1) body (3,3,3,2)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.49sec 0.01sec 12 150 5111
htl 4.09sec 192.35sec 12 359 5944
str 5.07sec 230.19sec 12 379 5398

test35/test_35.20_5_0.1_2_1.3_3_3_3.2.4 nlp wc
40 lines 2584 bytes
head (1,2,1) body (3,3,3,3)
estimated blow-up 2.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.43sec 0.09sec 28 156 6721
htl 4.33sec 775.41sec -- 388 6721
str 6.26sec 775.31sec -- 402 5919

test35/test_35.20_5_0.1_2_1.3_3_3_4.2.6 nlp wc
40 lines 2883 bytes
head (1,2,1) body (3,3,3,4)
estimated blow-up 2.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.81sec 0.09sec 16 161 7635
htl 4.63sec 775.19sec -- 405 7204
str 6.43sec 775.87sec -- 415 6285

test35/test_35.20_5_0.1_2_2.1_1_1_1.1.2 nlp wc
34 lines 1081 bytes
head (1,2,2) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.96sec 40.94sec 100000 131 2400
htl 3.17sec 775.38sec -- 306 4361
str 3.56sec 777.01sec -- 308 3960

test35/test_35.20_5_0.1_2_2.1_1_1_2.1.4 nlp wc
35 lines 1232 bytes
head (1,2,2) body (1,1,1,2)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.90sec 0.57sec 1515 127 2699
htl 2.85sec 772.69sec -- 296 4359
str 3.35sec 772.64sec -- 302 3995

test35/test_35.20_5_0.1_2_2.1_1_1_3.1.5 nlp wc
35 lines 1329 bytes
head (1,2,2) body (1,1,1,3)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.72sec 0.09sec 156 123 2963
htl 3.17sec 772.36sec -- 286 4307
str 3.61sec 772.75sec -- 298 4015

test35/test_35.20_5_0.1_2_2.1_1_1_4.1.6 nlp wc
35 lines 1379 bytes
head (1,2,2) body (1,1,1,4)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.07sec 0.11sec 315 130 3365
htl 2.90sec 773.10sec -- 293 4589
str 3.20sec 773.05sec -- 301 4137

test35/test_35.20_5_0.1_2_2.1_2_1_1.5.3 nlp wc
35 lines 1737 bytes
head (1,2,2) body (1,2,1,1)
estimated blow-up 5.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.15sec 8.09sec 14500 312 7785
htl 4.60sec 772.54sec -- 428 6611
str 5.90sec 772.53sec -- 458 6267

test35/test_35.20_5_0.1_2_2.1_2_1_2.24.8 nlp wc
35 lines 2336 bytes
head (1,2,2) body (1,2,1,2)
estimated blow-up 24.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 31.57sec 5.86sec 3805 998 36367
htl 6.51sec 772.27sec -- 534 8574
str 8.67sec 772.97sec -- 574 8041

test35/test_35.20_5_0.1_2_2.1_2_1_3.108.3 nlp wc
35 lines 3177 bytes
head (1,2,2) body (1,2,1,3)
estimated blow-up 108.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 399.93sec 19.16sec 1053 3715 194926
htl 8.95sec 773.34sec -- 652 11160
str 13.47sec 772.76sec -- 706 10121

test35/test_35.20_5_0.1_2_2.1_2_1_4.457.5 nlp wc
35 lines 3745 bytes
head (1,2,2) body (1,2,1,4)
estimated blow-up 457.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6155.46sec 392.62sec 444 14035 895909
htl 11.26sec 773.78sec -- 777 13325
str 17.40sec 774.39sec -- 835 12086

test35/test_35.20_5_0.1_2_2.1_2_2_1.2.0 nlp wc
35 lines 1210 bytes
head (1,2,2) body (1,2,2,1)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.38sec 44.70sec 100000 184 3442
htl 3.84sec 265.83sec 100000 363 5279
str 3.87sec 212.19sec 100000 363 4730

test35/test_35.20_5_0.1_2_2.1_2_2_2.4.3 nlp wc
35 lines 1546 bytes
head (1,2,2) body (1,2,2,2)
estimated blow-up 4.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.10sec 25.86sec 50687 304 7037
htl 4.83sec 752.08sec 50687 429 6300
str 5.22sec 774.43sec -- 429 5719

test35/test_35.20_5_0.1_2_2.1_2_2_3.9.0 nlp wc
35 lines 1766 bytes
head (1,2,2) body (1,2,2,3)
estimated blow-up 9.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 10.63sec 2.35sec 1667 548 15224
htl 5.94sec 783.33sec -- 491 7273
str 6.16sec 780.93sec -- 491 6603

test35/test_35.20_5_0.1_2_2.1_2_2_4.18.6 nlp wc
35 lines 2093 bytes
head (1,2,2) body (1,2,2,4)
estimated blow-up 18.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 31.13sec 10.12sec 10648 1001 34884
htl 6.50sec 776.39sec -- 539 8276
str 7.64sec 772.88sec -- 539 7388

test35/test_35.20_5_0.1_2_2.1_3_1_1.39.3 nlp wc
35 lines 2648 bytes
head (1,2,2) body (1,3,1,1)
estimated blow-up 39.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 59.85sec 37.66sec 18373 1398 48772
htl 7.24sec 776.05sec -- 565 9505
str 9.28sec 778.71sec -- 603 8493

test35/test_35.20_5_0.1_2_2.1_3_1_2.1084.2 nlp wc
35 lines 4176 bytes
head (1,2,2) body (1,3,1,2)
estimated blow-up 1084.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 21802.36sec 775.12sec -- 26972 1550663
htl 12.05sec 777.39sec -- 798 14264
str 19.89sec 780.77sec -- 850 12414

test35/test_35.20_5_0.1_2_2.1_3_2_1.12.1 nlp wc
35 lines 1990 bytes
head (1,2,2) body (1,3,2,1)
estimated blow-up 12.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 11.97sec 85.00sec 100000 601 15146
htl 5.16sec 224.13sec 100000 467 7378
str 6.49sec 276.83sec 100000 503 6961

test35/test_35.20_5_0.1_2_2.1_3_2_2.124.6 nlp wc
35 lines 3075 bytes
head (1,2,2) body (1,3,2,2)
estimated blow-up 124.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 638.10sec 774.17sec -- 4810 190261
htl 8.58sec 775.39sec -- 637 10871
str 13.43sec 775.77sec -- 697 10041

test35/test_35.20_5_0.1_2_2.1_3_2_3.1200.7 nlp wc
35 lines 4084 bytes
head (1,2,2) body (1,3,2,3)
estimated blow-up 1200.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 56474.30sec 773.27sec -- 41393 2164701
htl 11.82sec 773.71sec -- 799 14086
str 20.56sec 776.02sec -- 863 12516

test35/test_35.20_5_0.1_2_2.1_3_3_1.2.7 nlp wc
35 lines 1294 bytes
head (1,2,2) body (1,3,3,1)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.78sec 37.12sec 79956 236 4341
htl 4.18sec 172.94sec 79956 367 5260
str 4.18sec 162.93sec 79956 367 4769

test35/test_35.20_5_0.1_2_2.1_3_3_2.8.1 nlp wc
35 lines 1748 bytes
head (1,2,2) body (1,3,3,2)
estimated blow-up 8.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 11.86sec 74.98sec 100000 599 14028
htl 5.34sec 300.02sec 100000 472 7051
str 5.84sec 364.30sec 100000 472 6369

test35/test_35.20_5_0.1_2_2.1_3_3_3.24.6 nlp wc
35 lines 2111 bytes
head (1,2,2) body (1,3,3,3)
estimated blow-up 24.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 71.13sec 188.57sec 100000 1588 45548
htl 6.55sec 773.87sec -- 560 8569
str 7.57sec 775.77sec -- 560 7689

test35/test_35.20_5_0.1_2_2.1_3_3_4.74.8 nlp wc
35 lines 2431 bytes
head (1,2,2) body (1,3,3,4)
estimated blow-up 74.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 620.52sec 699.43sec 99136 4769 162791
htl 8.21sec 774.02sec -- 630 9771
str 9.32sec 773.78sec -- 630 8716

test35/test_35.20_5_0.1_2_2.2_2_2_1.1.4 nlp wc
35 lines 1180 bytes
head (1,2,2) body (2,2,2,1)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.87sec 0.19sec 529 125 2618
htl 3.00sec 774.36sec -- 285 4191
str 3.36sec 773.45sec -- 291 3847

test35/test_35.20_5_0.1_2_2.2_2_2_2.1.6 nlp wc
35 lines 1437 bytes
head (1,2,2) body (2,2,2,2)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.62sec 0.08sec 375 131 3300
htl 2.96sec 773.53sec -- 297 4581
str 3.27sec 773.83sec -- 303 4143

test35/test_35.20_5_0.1_2_2.2_2_2_3.1.8 nlp wc
35 lines 1765 bytes
head (1,2,2) body (2,2,2,3)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.24sec 0.05sec 90 132 4127
htl 3.59sec 773.57sec -- 307 4961
str 3.65sec 773.60sec -- 317 4476

test35/test_35.20_5_0.1_2_2.2_2_2_4.2.0 nlp wc
35 lines 1986 bytes
head (1,2,2) body (2,2,2,4)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.06sec 0.02sec 135 128 4585
htl 3.33sec 773.83sec -- 294 4986
str 4.07sec 773.47sec -- 306 4489

test35/test_35.20_5_0.1_2_2.2_3_2_1.11.5 nlp wc
35 lines 2224 bytes
head (1,2,2) body (2,3,2,1)
estimated blow-up 11.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 12.42sec 7.96sec 4326 594 17285
htl 8.44sec 772.67sec -- 644 9899
str 10.07sec 773.50sec -- 672 9313

test35/test_35.20_5_0.1_2_2.2_3_2_2.114.4 nlp wc
35 lines 3674 bytes
head (1,2,2) body (2,3,2,2)
estimated blow-up 114.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 541.85sec 31.47sec 553 4371 215088
htl 15.58sec 772.81sec -- 952 15636
str 22.57sec 773.42sec -- 1006 14354

test35/test_35.20_5_0.1_2_2.2_3_2_3.1077.6 nlp wc
35 lines 5107 bytes
head (1,2,2) body (2,3,2,3)
estimated blow-up 1077.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 65834.86sec 779.71sec -- 43097 2911152
htl 27.68sec 774.51sec -- 1328 22127
str 43.99sec 773.46sec -- 1392 20027

test35/test_35.20_5_0.1_2_2.2_3_3_1.2.7 nlp wc
35 lines 1633 bytes
head (1,2,2) body (2,3,3,1)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.34sec 54.74sec 100000 253 5630
htl 6.73sec 773.33sec -- 565 8234
str 7.07sec 773.74sec -- 565 7581

test35/test_35.20_5_0.1_2_2.2_3_3_2.8.3 nlp wc
34 lines 2322 bytes
head (1,2,2) body (2,3,3,2)
estimated blow-up 8.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 12.87sec 1.23sec 651 606 19287
htl 11.48sec 774.46sec -- 810 11965
str 13.06sec 773.69sec -- 810 11035

test35/test_35.20_5_0.1_2_2.2_3_3_3.25.4 nlp wc
35 lines 3052 bytes
head (1,2,2) body (2,3,3,3)
estimated blow-up 25.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 86.73sec 5.76sec 848 1691 73167
htl 18.67sec 773.92sec -- 1082 16349
str 22.73sec 773.53sec -- 1082 15008

test35/test_35.20_5_0.1_2_2.2_3_3_4.77.1 nlp wc
35 lines 3819 bytes
head (1,2,2) body (2,3,3,4)
estimated blow-up 77.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 692.84sec 50.87sec 401 4934 272950
htl 27.51sec 772.82sec -- 1361 20849
str 34.46sec 773.76sec -- 1361 19041

test35/test_35.20_5_0.1_2_2.3_3_3_1.1.5 nlp wc
35 lines 1325 bytes
head (1,2,2) body (3,3,3,1)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.85sec 0.34sec 946 131 3109
htl 2.84sec 774.04sec -- 303 4602
str 3.39sec 773.10sec -- 311 4195

test35/test_35.20_5_0.1_2_2.3_3_3_2.1.8 nlp wc
35 lines 1737 bytes
head (1,2,2) body (3,3,3,2)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.61sec 0.07sec 261 133 4174
htl 3.13sec 773.57sec -- 305 4951
str 4.00sec 773.33sec -- 317 4517

test35/test_35.20_5_0.1_2_2.3_3_3_3.2.0 nlp wc
35 lines 2066 bytes
head (1,2,2) body (3,3,3,3)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.61sec 0.03sec 243 131 4849
htl 3.61sec 773.14sec -- 306 5196
str 3.92sec 773.79sec -- 320 4719

test35/test_35.20_5_0.1_2_2.3_3_3_4.2.2 nlp wc
34 lines 2431 bytes
head (1,2,2) body (3,3,3,4)
estimated blow-up 2.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.58sec 0.04sec 30 128 5791
htl 3.25sec 774.06sec -- 300 5408
str 4.70sec 773.75sec -- 316 4880

test35/test_35.20_5_0.1_3_1.1_1_1_1.1.3 nlp wc
55 lines 2746 bytes
head (1,3,1) body (1,1,1,1)
estimated blow-up 1.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.03sec 0.02sec 34 227 4712
htl 7.99sec 0.40sec 34 587 9276
str 9.61sec 0.51sec 34 589 8030

test35/test_35.20_5_0.1_3_1.1_1_1_2.1.5 nlp wc
55 lines 2989 bytes
head (1,3,1) body (1,1,1,2)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.33sec 0.58sec 600 243 5914
htl 8.33sec 489.22sec 600 624 10056
str 10.26sec 625.28sec 600 628 8759

test35/test_35.20_5_0.1_3_1.1_1_1_3.1.8 nlp wc
53 lines 3057 bytes
head (1,3,1) body (1,1,1,3)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.33sec 0.02sec 30 234 6395
htl 8.22sec 773.82sec -- 613 9982
str 10.34sec 775.07sec -- 617 8657

test35/test_35.20_5_0.1_3_1.1_1_1_4.2.0 nlp wc
55 lines 3203 bytes
head (1,3,1) body (1,1,1,4)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.36sec 0.03sec 72 233 7236
htl 8.14sec 773.95sec -- 610 10054
str 10.62sec 773.11sec -- 618 8756

test35/test_35.20_5_0.1_3_1.1_2_1_1.6.4 nlp wc
55 lines 3381 bytes
head (1,3,1) body (1,2,1,1)
estimated blow-up 6.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 14.00sec 1.13sec 292 657 17845
htl 10.88sec 183.46sec 292 746 12162
str 14.57sec 183.51sec 292 772 10888

test35/test_35.20_5_0.1_3_1.1_2_1_2.34.2 nlp wc
55 lines 4029 bytes
head (1,3,1) body (1,2,1,2)
estimated blow-up 34.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 132.19sec 0.81sec 3 2107 85458
htl 12.76sec 720.07sec 3 839 14112
str 19.83sec 773.67sec -- 889 12730

test35/test_35.20_5_0.1_3_1.1_2_1_3.162.4 nlp wc
55 lines 4920 bytes
head (1,3,1) body (1,2,1,3)
estimated blow-up 162.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2046.98sec 73.28sec 454 8536 473155
htl 16.51sec 773.30sec -- 967 16815
str 27.37sec 773.57sec -- 1025 14852

test35/test_35.20_5_0.1_3_1.1_2_1_4.729.4 nlp wc
55 lines 5452 bytes
head (1,3,1) body (1,2,1,4)
estimated blow-up 729.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 32029.52sec 616.85sec 132 33193 2146851
htl 19.90sec 774.14sec -- 1086 18826
str 34.47sec 772.85sec -- 1148 16795

test35/test_35.20_5_0.1_3_1.1_2_2_1.2.3 nlp wc
55 lines 2968 bytes
head (1,3,1) body (1,2,2,1)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.25sec 0.09sec 16 368 7789
htl 9.49sec 0.07sec 16 660 10476
str 10.71sec 0.13sec 16 660 9098

test35/test_35.20_5_0.1_3_1.1_2_2_2.5.2 nlp wc
55 lines 3192 bytes
head (1,3,1) body (1,2,2,2)
estimated blow-up 5.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 13.01sec 0.12sec 0 626 16080
htl 9.93sec 5.40sec 0 699 11178
str 12.21sec 5.67sec 0 699 9699

test35/test_35.20_5_0.1_3_1.1_2_2_3.11.7 nlp wc
55 lines 3457 bytes
head (1,3,1) body (1,2,2,3)
estimated blow-up 11.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 41.20sec 2.77sec 695 1173 35721
htl 11.37sec 186.83sec 695 771 12338
str 14.83sec 218.22sec 695 771 10780

test35/test_35.20_5_0.1_3_1.1_2_2_4.25.8 nlp wc
55 lines 3793 bytes
head (1,3,1) body (1,2,2,4)
estimated blow-up 25.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 145.93sec 3.95sec 146 2249 85367
htl 13.93sec 249.45sec 146 853 13844
str 17.76sec 719.37sec 146 853 11967

test35/test_35.20_5_0.1_3_1.1_3_1_1.55.4 nlp wc
55 lines 4307 bytes
head (1,3,1) body (1,3,1,1)
estimated blow-up 55.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 273.00sec 8.05sec 383 3077 117102
htl 13.67sec 252.50sec 383 858 14748
str 20.55sec 271.14sec 383 896 12902

test35/test_35.20_5_0.1_3_1.1_3_1_2.1771.2 nlp wc
55 lines 6111 bytes
head (1,3,1) body (1,3,1,2)
estimated blow-up 1771.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 153456.66sec 774.06sec -- 71292 4203248
htl 21.54sec 773.79sec -- 1141 20617
str 39.42sec 773.90sec -- 1195 17476

test35/test_35.20_5_0.1_3_1.1_3_2_1.15.7 nlp wc
55 lines 3636 bytes
head (1,3,1) body (1,3,2,1)
estimated blow-up 15.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 49.45sec 0.91sec 4 1303 36412
htl 11.98sec 0.39sec 4 777 12852
str 15.67sec 0.40sec 4 807 11427

test35/test_35.20_5_0.1_3_1.1_3_2_2.187.1 nlp wc
55 lines 4683 bytes
head (1,3,1) body (1,3,2,2)
estimated blow-up 187.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3143.07sec 44.44sec 74 10570 438721
htl 15.47sec 22.04sec 74 928 15933
str 25.39sec 26.86sec 74 976 14091

test35/test_35.20_5_0.1_3_1.1_3_2_3.1963.9 nlp wc
55 lines 5645 bytes
head (1,3,1) body (1,3,2,3)
estimated blow-up 1963.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 235663.42sec 774.72sec -- 85072 4588511
htl 19.82sec 55.05sec 37 1073 18872
str 34.43sec 71.72sec 37 1137 16573

test35/test_35.20_5_0.1_3_1.1_3_3_1.3.2 nlp wc
55 lines 3060 bytes
head (1,3,1) body (1,3,3,1)
estimated blow-up 3.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 8.47sec 0.02sec 2 500 10564
htl 9.99sec 0.02sec 2 700 11167
str 12.38sec 0.02sec 2 700 9691

test35/test_35.20_5_0.1_3_1.1_3_3_2.10.6 nlp wc
55 lines 3487 bytes
head (1,3,1) body (1,3,3,2)
estimated blow-up 10.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 53.22sec 1.09sec 133 1360 36139
htl 11.03sec 2.52sec 133 790 12758
str 14.88sec 2.45sec 133 790 11085

test35/test_35.20_5_0.1_3_1.1_3_3_3.35.1 nlp wc
55 lines 3787 bytes
head (1,3,1) body (1,3,3,3)
estimated blow-up 35.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 356.02sec 7.26sec 10 3607 113915
htl 13.41sec 7.54sec 10 849 13789
str 18.07sec 8.02sec 10 849 12005

test35/test_35.20_5_0.1_3_1.1_3_3_4.113.3 nlp wc
53 lines 4145 bytes
head (1,3,1) body (1,3,3,4)
estimated blow-up 113.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3112.66sec 47.41sec 10 10517 390660
htl 15.57sec 11.36sec 10 937 15296
str 20.79sec 12.83sec 10 937 13327

test35/test_35.20_5_0.1_3_1.2_2_2_1.1.5 nlp wc
55 lines 2933 bytes
head (1,3,1) body (2,2,2,1)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.33sec 0.05sec 7 233 5492
htl 8.42sec 165.97sec 7 623 9972
str 10.58sec 189.52sec 7 627 8682

test35/test_35.20_5_0.1_3_1.2_2_2_2.2.0 nlp wc
53 lines 3073 bytes
head (1,3,1) body (2,2,2,2)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.29sec 0.11sec 126 233 6712
htl 8.15sec 774.01sec -- 603 9780
str 10.43sec 772.78sec -- 607 8519

test35/test_35.20_5_0.1_3_1.2_2_2_3.2.4 nlp wc
55 lines 3485 bytes
head (1,3,1) body (2,2,2,3)
estimated blow-up 2.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.01sec 0.02sec 48 238 8686
htl 8.32sec 773.12sec -- 606 10152
str 11.01sec 775.48sec -- 610 8774

test35/test_35.20_5_0.1_3_1.2_2_2_4.2.7 nlp wc
55 lines 3560 bytes
head (1,3,1) body (2,2,2,4)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.96sec 0.03sec 72 221 9227
htl 7.23sec 716.49sec 72 559 9519
str 9.62sec 773.89sec -- 571 8287

test35/test_35.20_5_0.1_3_1.2_3_2_1.16.3 nlp wc
55 lines 4012 bytes
head (1,3,1) body (2,3,2,1)
estimated blow-up 16.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 53.37sec 2.13sec 133 1327 44200
htl 15.66sec 742.37sec 133 955 15688
str 23.01sec 581.45sec 133 995 14192

test35/test_35.20_5_0.1_3_1.2_3_2_2.187.4 nlp wc
55 lines 5461 bytes
head (1,3,1) body (2,3,2,2)
estimated blow-up 187.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3501.38sec 88.28sec 34 11198 592744
htl 26.69sec 772.85sec -- 1290 21620
str 42.36sec 773.52sec -- 1344 19343

test35/test_35.20_5_0.1_3_1.2_3_2_3.1912.2 nlp wc
53 lines 6726 bytes
head (1,3,1) body (2,3,2,3)
estimated blow-up 1912.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 317280.97sec 766.50sec 38 93251 6571099
htl 39.60sec 774.23sec -- 1605 27125
str 64.62sec 774.12sec -- 1669 24216

test35/test_35.20_5_0.1_3_1.2_3_3_1.3.6 nlp wc
53 lines 3341 bytes
head (1,3,1) body (2,3,3,1)
estimated blow-up 3.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 9.01sec 0.09sec 62 504 13020
htl 13.82sec 5.70sec 62 868 13728
str 17.31sec 5.89sec 62 868 12063

test35/test_35.20_5_0.1_3_1.2_3_3_2.12.7 nlp wc
53 lines 4134 bytes
head (1,3,1) body (2,3,3,2)
estimated blow-up 12.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 52.89sec 1.56sec 23 1325 49187
htl 20.59sec 774.40sec -- 1118 17703
str 26.84sec 773.07sec -- 1118 15665

test35/test_35.20_5_0.1_3_1.2_3_3_3.41.9 nlp wc
55 lines 4759 bytes
head (1,3,1) body (2,3,3,3)
estimated blow-up 41.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 390.34sec 11.91sec 118 3689 172512
htl 29.84sec 773.29sec -- 1377 21684
str 38.86sec 773.62sec -- 1377 19379

test35/test_35.20_5_0.1_3_1.2_3_3_4.134.6 nlp wc
55 lines 5496 bytes
head (1,3,1) body (2,3,3,4)
estimated blow-up 134.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3815.31sec 140.90sec 75 11439 656099
htl 41.43sec 773.77sec -- 1646 25920
str 56.69sec 774.12sec -- 1646 23329

test35/test_35.20_5_0.1_3_1.3_3_3_1.1.8 nlp wc
55 lines 3067 bytes
head (1,3,1) body (3,3,3,1)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.75sec 0.38sec 503 243 6542
htl 8.54sec 773.34sec -- 630 10215
str 11.17sec 773.74sec -- 632 8857

test35/test_35.20_5_0.1_3_1.3_3_3_2.2.4 nlp wc
55 lines 3436 bytes
head (1,3,1) body (3,3,3,2)
estimated blow-up 2.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.91sec 0.03sec 45 235 8464
htl 8.13sec 773.73sec -- 612 10235
str 11.24sec 773.70sec -- 618 8890

test35/test_35.20_5_0.1_3_1.3_3_3_3.2.9 nlp wc
55 lines 3834 bytes
head (1,3,1) body (3,3,3,3)
estimated blow-up 2.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.35sec 0.03sec 72 241 10716
htl 8.55sec 773.60sec -- 631 10868
str 12.14sec 773.80sec -- 635 9320

test35/test_35.20_5_0.1_3_1.3_3_3_4.3.3 nlp wc
53 lines 4100 bytes
head (1,3,1) body (3,3,3,4)
estimated blow-up 3.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.70sec 0.03sec 12 231 12053
htl 8.21sec 772.83sec -- 601 10620
str 11.54sec 772.91sec -- 609 9130

test35/test_35.20_5_0.1_3_2.1_1_1_1.1.2 nlp wc
45 lines 2188 bytes
head (1,3,2) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.76sec 46.56sec 100000 190 4032
htl 5.38sec 773.29sec -- 475 7346
str 6.63sec 773.35sec -- 479 6479

test35/test_35.20_5_0.1_3_2.1_1_1_2.1.4 nlp wc
45 lines 2291 bytes
head (1,3,2) body (1,1,1,2)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.24sec 24.21sec 50305 184 4401
htl 5.89sec 773.25sec -- 469 7337
str 6.88sec 773.62sec -- 473 6473

test35/test_35.20_5_0.1_3_2.1_1_1_3.1.6 nlp wc
45 lines 2361 bytes
head (1,3,2) body (1,1,1,3)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.62sec 0.23sec 648 177 4770
htl 5.26sec 773.66sec -- 452 7130
str 6.77sec 774.68sec -- 458 6324

test35/test_35.20_5_0.1_3_2.1_1_1_4.1.8 nlp wc
45 lines 2467 bytes
head (1,3,2) body (1,1,1,4)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.60sec 6.41sec 12487 185 5508
htl 5.87sec 772.98sec -- 465 7495
str 7.05sec 773.37sec -- 471 6610

test35/test_35.20_5_0.1_3_2.1_2_1_1.5.8 nlp wc
45 lines 2719 bytes
head (1,3,2) body (1,2,1,1)
estimated blow-up 5.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 8.39sec 81.48sec 100000 472 13123
htl 7.62sec 773.26sec -- 600 9683
str 10.46sec 772.75sec -- 630 8828

test35/test_35.20_5_0.1_3_2.1_2_1_2.29.3 nlp wc
45 lines 3530 bytes
head (1,3,2) body (1,2,1,2)
estimated blow-up 29.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 86.51sec 292.49sec 100000 1677 70397
htl 10.58sec 773.66sec -- 722 12164
str 15.30sec 774.42sec -- 772 11100

test35/test_35.20_5_0.1_3_2.1_2_1_3.135.2 nlp wc
45 lines 4178 bytes
head (1,3,2) body (1,2,1,3)
estimated blow-up 135.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1064.84sec 687.89sec 30711 6127 338125
htl 12.75sec 773.23sec -- 833 14337
str 20.29sec 773.57sec -- 883 12784

test35/test_35.20_5_0.1_3_2.1_2_1_4.594.6 nlp wc
45 lines 4926 bytes
head (1,3,2) body (1,2,1,4)
estimated blow-up 594.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 20062.98sec 774.44sec -- 25182 1708493
htl 16.39sec 773.77sec -- 955 16656
str 27.47sec 775.57sec -- 1011 14735

test35/test_35.20_5_0.1_3_2.1_2_2_1.2.1 nlp wc
45 lines 2304 bytes
head (1,3,2) body (1,2,2,1)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.53sec 53.90sec 100000 274 5927
htl 6.96sec 147.42sec 100000 527 8152
str 7.83sec 150.09sec 100000 527 7186

test35/test_35.20_5_0.1_3_2.1_2_2_2.4.7 nlp wc
44 lines 2582 bytes
head (1,3,2) body (1,2,2,2)
estimated blow-up 4.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 8.49sec 81.92sec 100000 481 12797
htl 8.14sec 321.04sec 100000 593 9302
str 9.51sec 306.82sec 100000 593 8171

test35/test_35.20_5_0.1_3_2.1_2_2_3.10.4 nlp wc
45 lines 2908 bytes
head (1,3,2) body (1,2,2,3)
estimated blow-up 10.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 24.02sec 108.82sec 100000 874 28555
htl 9.05sec 773.60sec -- 646 10302
str 10.96sec 773.03sec -- 646 8997

test35/test_35.20_5_0.1_3_2.1_2_2_4.22.3 nlp wc
45 lines 3159 bytes
head (1,3,2) body (1,2,2,4)
estimated blow-up 22.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 78.76sec 194.71sec 100000 1634 62689
htl 10.51sec 773.63sec -- 715 11475
str 13.05sec 773.03sec -- 715 9999

test35/test_35.20_5_0.1_3_2.1_3_1_1.47.1 nlp wc
45 lines 3686 bytes
head (1,3,2) body (1,3,1,1)
estimated blow-up 47.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 155.54sec 436.19sec 100000 2291 88611
htl 10.90sec 773.06sec -- 732 12549
str 15.49sec 772.48sec -- 770 11084

test35/test_35.20_5_0.1_3_2.1_3_1_2.1431.3 nlp wc
45 lines 5421 bytes
head (1,3,2) body (1,3,1,2)
estimated blow-up 1431.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 91561.44sec 773.22sec -- 52517 3165696
htl 17.60sec 773.03sec -- 989 17929
str 29.69sec 772.19sec -- 1043 15350

test35/test_35.20_5_0.1_3_2.1_3_2_1.13.8 nlp wc
45 lines 3093 bytes
head (1,3,2) body (1,3,2,1)
estimated blow-up 13.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 27.97sec 115.17sec 100000 953 27871
htl 8.88sec 219.43sec 100000 640 10615
str 12.55sec 249.49sec 100000 690 9822

test35/test_35.20_5_0.1_3_2.1_3_2_2.156.1 nlp wc
45 lines 4083 bytes
head (1,3,2) body (1,3,2,2)
estimated blow-up 156.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1526.17sec 773.40sec -- 7499 317044
htl 12.49sec 773.19sec -- 783 13514
str 19.28sec 778.93sec -- 843 12220

test35/test_35.20_5_0.1_3_2.1_3_2_3.1590.6 nlp wc
45 lines 5123 bytes
head (1,3,2) body (1,3,2,3)
estimated blow-up 1590.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 151715.30sec 819.30sec -- 67487 3745295
htl 19.47sec 813.00sec -- 949 16864
str 30.80sec 813.23sec -- 1019 15004

test35/test_35.20_5_0.1_3_2.1_3_3_1.3.0 nlp wc
45 lines 2404 bytes
head (1,3,2) body (1,3,3,1)
estimated blow-up 3.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.14sec 76.29sec 100000 379 8250
htl 7.58sec 414.20sec 100000 567 8805
str 8.80sec 397.83sec 100000 567 7766

test35/test_35.20_5_0.1_3_2.1_3_3_2.9.5 nlp wc
45 lines 2776 bytes
head (1,3,2) body (1,3,3,2)
estimated blow-up 9.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 27.26sec 125.21sec 100000 917 24681
htl 8.78sec 430.77sec 100000 633 10005
str 10.53sec 450.78sec 100000 633 8792

test35/test_35.20_5_0.1_3_2.1_3_3_3.30.5 nlp wc
45 lines 3224 bytes
head (1,3,2) body (1,3,3,3)
estimated blow-up 30.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 196.84sec 363.02sec 100000 2562 85114
htl 10.63sec 812.86sec -- 713 11506
str 13.73sec 815.02sec -- 713 10006

test35/test_35.20_5_0.1_3_2.1_3_3_4.96.1 nlp wc
45 lines 3626 bytes
head (1,3,2) body (1,3,3,4)
estimated blow-up 96.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1828.02sec 816.23sec -- 7838 306176
htl 13.19sec 811.86sec -- 798 13041
str 16.69sec 815.68sec -- 798 11329

test35/test_35.20_5_0.1_3_2.2_2_2_1.1.4 nlp wc
45 lines 2257 bytes
head (1,3,2) body (2,2,2,1)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.24sec 9.52sec 17222 183 4366
htl 5.49sec 811.84sec -- 469 7315
str 6.50sec 812.61sec -- 473 6470

test35/test_35.20_5_0.1_3_2.2_2_2_2.1.8 nlp wc
45 lines 2522 bytes
head (1,3,2) body (2,2,2,2)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.56sec 2.33sec 4543 184 5398
htl 5.85sec 811.86sec -- 470 7575
str 6.84sec 817.73sec -- 474 6656

test35/test_35.20_5_0.1_3_2.2_2_2_3.2.1 nlp wc
45 lines 2839 bytes
head (1,3,2) body (2,2,2,3)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.60sec 0.08sec 422 184 6696
htl 5.66sec 814.41sec -- 469 7808
str 7.69sec 817.75sec -- 477 6850

test35/test_35.20_5_0.1_3_2.2_2_2_4.2.3 nlp wc
45 lines 3123 bytes
head (1,3,2) body (2,2,2,4)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.80sec 0.39sec 720 186 7828
htl 6.46sec 813.31sec -- 470 8049
str 8.58sec 814.22sec -- 478 7011

test35/test_35.20_5_0.1_3_2.2_3_2_1.14.0 nlp wc
45 lines 3423 bytes
head (1,3,2) body (2,3,2,1)
estimated blow-up 14.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 32.93sec 215.17sec 100000 968 32946
htl 12.71sec 815.00sec -- 822 13341
str 19.88sec 819.08sec -- 866 12293

test35/test_35.20_5_0.1_3_2.2_3_2_2.152.2 nlp wc
45 lines 4729 bytes
head (1,3,2) body (2,3,2,2)
estimated blow-up 152.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1896.57sec 582.30sec 12296 7753 413084
htl 21.89sec 815.25sec -- 1143 18956
str 35.53sec 813.29sec -- 1197 17210

test35/test_35.20_5_0.1_3_2.2_3_2_3.1510.1 nlp wc
45 lines 5988 bytes
head (1,3,2) body (2,3,2,3)
estimated blow-up 1510.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 146525.37sec 812.28sec -- 64815 4591372
htl 35.82sec 813.23sec -- 1468 24561
str 60.01sec 816.23sec -- 1534 22253

test35/test_35.20_5_0.1_3_2.2_3_3_1.3.2 nlp wc
45 lines 2702 bytes
head (1,3,2) body (2,3,3,1)
estimated blow-up 3.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.97sec 91.65sec 100000 384 9840
htl 11.35sec 815.17sec -- 735 11308
str 14.25sec 816.92sec -- 735 10130

test35/test_35.20_5_0.1_3_2.2_3_3_2.10.7 nlp wc
45 lines 3474 bytes
head (1,3,2) body (2,3,3,2)
estimated blow-up 10.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 31.09sec 52.12sec 13256 965 35601
htl 17.23sec 812.13sec -- 980 15243
str 22.89sec 812.44sec -- 980 13685

test35/test_35.20_5_0.1_3_2.2_3_3_3.34.4 nlp wc
45 lines 4135 bytes
head (1,3,2) body (2,3,3,3)
estimated blow-up 34.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 240.96sec 85.26sec 20609 2741 131619
htl 27.30sec 817.08sec -- 1242 19369
str 34.98sec 811.49sec -- 1242 17456

test35/test_35.20_5_0.1_3_2.2_3_3_4.108.0 nlp wc
45 lines 4938 bytes
head (1,3,2) body (2,3,3,4)
estimated blow-up 108.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1990.21sec 632.35sec 19096 7975 477513
htl 38.25sec 814.68sec -- 1500 23710
str 51.45sec 812.83sec -- 1500 21306

test35/test_35.20_5_0.1_3_2.3_3_3_1.1.6 nlp wc
45 lines 2391 bytes
head (1,3,2) body (3,3,3,1)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.50sec 0.81sec 1809 179 4840
htl 5.76sec 813.26sec -- 460 7291
str 6.59sec 819.04sec -- 464 6409

test35/test_35.20_5_0.1_3_2.3_3_3_2.2.1 nlp wc
45 lines 2795 bytes
head (1,3,2) body (3,3,3,2)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.87sec 0.52sec 1296 186 6681
htl 5.79sec 814.51sec -- 473 7857
str 8.33sec 818.98sec -- 479 6869

test35/test_35.20_5_0.1_3_2.3_3_3_3.2.5 nlp wc
45 lines 3128 bytes
head (1,3,2) body (3,3,3,3)
estimated blow-up 2.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.37sec 0.29sec 624 190 8187
htl 6.88sec 813.50sec -- 486 8336
str 8.10sec 815.29sec -- 490 7248

test35/test_35.20_5_0.1_3_2.3_3_3_4.2.7 nlp wc
45 lines 3403 bytes
head (1,3,2) body (3,3,3,4)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.56sec 0.27sec 648 181 9216
htl 5.88sec 814.82sec -- 455 8122
str 8.41sec 814.78sec -- 465 7076

test35/test_35.20_5_0.1_3_3.1_1_1_1.1.2 nlp wc
40 lines 1554 bytes
head (1,3,3) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.75sec 44.45sec 100000 154 3031
htl 4.16sec 164.17sec 100000 361 5235
str 4.42sec 170.74sec 100000 363 4764

test35/test_35.20_5_0.1_3_3.1_1_1_2.1.4 nlp wc
40 lines 1635 bytes
head (1,3,3) body (1,1,1,2)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.96sec 70.25sec 100000 165 3627
htl 3.96sec 814.28sec -- 371 5550
str 4.71sec 815.48sec -- 373 5023

test35/test_35.20_5_0.1_3_3.1_1_1_3.1.6 nlp wc
39 lines 1725 bytes
head (1,3,3) body (1,1,1,3)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.06sec 68.06sec 100000 161 3900
htl 4.09sec 811.59sec -- 362 5472
str 4.59sec 821.87sec -- 366 4982

test35/test_35.20_5_0.1_3_3.1_1_1_4.1.7 nlp wc
40 lines 1901 bytes
head (1,3,3) body (1,1,1,4)
estimated blow-up 1.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.23sec 6.64sec 15189 160 4525
htl 4.33sec 822.77sec -- 367 5683
str 4.84sec 817.28sec -- 371 5131

test35/test_35.20_5_0.1_3_3.1_2_1_1.5.6 nlp wc
40 lines 2123 bytes
head (1,3,3) body (1,2,1,1)
estimated blow-up 5.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.09sec 77.50sec 100000 395 10202
htl 6.24sec 818.38sec -- 494 7651
str 7.83sec 816.37sec -- 530 7344

test35/test_35.20_5_0.1_3_3.1_2_1_2.27.5 nlp wc
40 lines 2854 bytes
head (1,3,3) body (1,2,1,2)
estimated blow-up 27.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 57.93sec 186.73sec 100000 1314 51915
htl 8.07sec 814.43sec -- 605 9853
str 12.09sec 815.90sec -- 655 9332

test35/test_35.20_5_0.1_3_3.1_2_1_3.123.9 nlp wc
40 lines 3562 bytes
head (1,3,3) body (1,2,1,3)
estimated blow-up 123.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 728.61sec 815.60sec -- 4883 254676
htl 10.54sec 821.68sec -- 711 12018
str 17.74sec 819.98sec -- 763 10984

test35/test_35.20_5_0.1_3_3.1_2_1_4.535.5 nlp wc
40 lines 4400 bytes
head (1,3,3) body (1,2,1,4)
estimated blow-up 535.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 11856.89sec 814.89sec -- 19547 1305272
htl 14.25sec 817.06sec -- 844 14752
str 24.21sec 811.19sec -- 912 13359

test35/test_35.20_5_0.1_3_3.1_2_2_1.2.1 nlp wc
40 lines 1658 bytes
head (1,3,3) body (1,2,2,1)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.01sec 51.71sec 100000 243 4785
htl 4.99sec 127.14sec 100000 440 6438
str 5.42sec 114.11sec 100000 440 5894

test35/test_35.20_5_0.1_3_3.1_2_2_2.4.6 nlp wc
40 lines 1977 bytes
head (1,3,3) body (1,2,2,2)
estimated blow-up 4.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.31sec 74.34sec 100000 401 9723
htl 5.85sec 815.70sec -- 493 7299
str 6.24sec 414.85sec 100000 493 6686

test35/test_35.20_5_0.1_3_3.1_2_2_3.9.8 nlp wc
40 lines 2216 bytes
head (1,3,3) body (1,2,2,3)
estimated blow-up 9.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 17.20sec 122.69sec 100000 720 21056
htl 7.15sec 813.72sec -- 562 8485
str 7.57sec 815.10sec -- 562 7725

test35/test_35.20_5_0.1_3_3.1_2_2_4.20.8 nlp wc
40 lines 2454 bytes
head (1,3,3) body (1,2,2,4)
estimated blow-up 20.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 53.58sec 196.41sec 100000 1282 44078
htl 8.07sec 815.21sec -- 592 9030
str 9.42sec 809.20sec -- 592 8157

test35/test_35.20_5_0.1_3_3.1_3_1_1.43.9 nlp wc
40 lines 3108 bytes
head (1,3,3) body (1,3,1,1)
estimated blow-up 43.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 118.72sec 248.61sec 100000 1933 70175
htl 8.55sec 812.41sec -- 626 10555
str 12.58sec 809.62sec -- 672 9625

test35/test_35.20_5_0.1_3_3.1_3_1_2.1280.0 nlp wc
39 lines 4694 bytes
head (1,3,3) body (1,3,1,2)
estimated blow-up 1280.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 62226.19sec 815.74sec -- 41502 2422633
htl 15.79sec 814.77sec -- 870 15594
str 25.66sec 813.59sec -- 934 13717

test35/test_35.20_5_0.1_3_3.1_3_2_1.13.1 nlp wc
40 lines 2482 bytes
head (1,3,3) body (1,3,2,1)
estimated blow-up 13.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 18.47sec 109.87sec 100000 751 20356
htl 7.60sec 258.90sec 100000 533 8624
str 9.47sec 724.46sec 100000 585 8277

test35/test_35.20_5_0.1_3_3.1_3_2_2.142.9 nlp wc
40 lines 3432 bytes
head (1,3,3) body (1,3,2,2)
estimated blow-up 142.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1198.33sec 815.62sec -- 6390 257140
htl 10.07sec 610.64sec 100000 704 11813
str 15.98sec 814.50sec -- 756 10879

test35/test_35.20_5_0.1_3_3.1_3_2_3.1420.6 nlp wc
40 lines 4480 bytes
head (1,3,3) body (1,3,2,3)
estimated blow-up 1420.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 105328.98sec 817.75sec -- 54441 2893269
htl 15.27sec 815.40sec -- 845 14759
str 24.34sec 815.14sec -- 903 13179

test35/test_35.20_5_0.1_3_3.1_3_3_1.2.8 nlp wc
40 lines 1749 bytes
head (1,3,3) body (1,3,3,1)
estimated blow-up 2.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.91sec 61.25sec 100000 309 6035
htl 5.51sec 153.05sec 100000 457 6697
str 5.72sec 253.15sec 100000 457 6129

test35/test_35.20_5_0.1_3_3.1_3_3_2.9.0 nlp wc
40 lines 2173 bytes
head (1,3,3) body (1,3,3,2)
estimated blow-up 9.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 18.11sec 102.56sec 100000 746 18420
htl 6.25sec 316.27sec 100000 526 7920
str 7.18sec 213.46sec 100000 526 7182

test35/test_35.20_5_0.1_3_3.1_3_3_3.28.1 nlp wc
40 lines 2568 bytes
head (1,3,3) body (1,3,3,3)
estimated blow-up 28.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 151.70sec 215.47sec 100000 2213 67740
htl 8.13sec 813.14sec -- 612 9444
str 9.73sec 780.80sec 100000 612 8497

test35/test_35.20_5_0.1_3_3.1_3_3_4.87.1 nlp wc
39 lines 2893 bytes
head (1,3,3) body (1,3,3,4)
estimated blow-up 87.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1160.53sec 811.30sec -- 6347 225161
htl 10.86sec 817.08sec -- 700 10903
str 12.93sec 816.29sec -- 700 9806

test35/test_35.20_5_0.1_3_3.2_2_2_1.1.4 nlp wc
39 lines 1620 bytes
head (1,3,3) body (2,2,2,1)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.65sec 49.90sec 100000 158 3431
htl 3.96sec 815.14sec -- 362 5373
str 4.90sec 816.00sec -- 362 4830

test35/test_35.20_5_0.1_3_3.2_2_2_2.1.7 nlp wc
40 lines 1882 bytes
head (1,3,3) body (2,2,2,2)
estimated blow-up 1.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.92sec 19.08sec 32533 162 4342
htl 4.25sec 813.74sec -- 370 5708
str 4.62sec 813.79sec -- 376 5231

test35/test_35.20_5_0.1_3_3.2_2_2_3.2.0 nlp wc
40 lines 2170 bytes
head (1,3,3) body (2,2,2,3)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.40sec 0.98sec 2225 157 5159
htl 4.11sec 816.11sec -- 359 5765
str 5.33sec 812.97sec -- 369 5280

test35/test_35.20_5_0.1_3_3.2_2_2_4.2.2 nlp wc
40 lines 2417 bytes
head (1,3,3) body (2,2,2,4)
estimated blow-up 2.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.35sec 0.33sec 1015 159 5982
htl 3.74sec 813.20sec -- 365 6028
str 5.24sec 817.44sec -- 371 5407

test35/test_35.20_5_0.1_3_3.2_3_2_1.13.0 nlp wc
40 lines 2759 bytes
head (1,3,3) body (2,3,2,1)
estimated blow-up 13.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 20.71sec 148.81sec 100000 761 24044
htl 10.37sec 816.07sec -- 709 11171
str 14.09sec 817.47sec -- 743 10414

test35/test_35.20_5_0.1_3_3.2_3_2_2.135.7 nlp wc
40 lines 4135 bytes
head (1,3,3) body (2,3,2,2)
estimated blow-up 135.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1078.54sec 815.94sec -- 5969 303179
htl 19.31sec 813.62sec -- 1037 17005
str 29.57sec 815.79sec -- 1101 15808

test35/test_35.20_5_0.1_3_3.2_3_2_3.1315.1 nlp wc
40 lines 5391 bytes
head (1,3,3) body (2,3,2,3)
estimated blow-up 1315.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 82528.33sec 814.75sec -- 50640 3358475
htl 30.07sec 812.02sec -- 1341 22092
str 49.61sec 814.06sec -- 1403 20153

test35/test_35.20_5_0.1_3_3.2_3_3_1.3.0 nlp wc
39 lines 2097 bytes
head (1,3,3) body (2,3,3,1)
estimated blow-up 3.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.46sec 59.53sec 100000 317 7625
htl 8.42sec 813.47sec -- 628 9278
str 9.22sec 816.41sec -- 628 8533

test35/test_35.20_5_0.1_3_3.2_3_3_2.9.7 nlp wc
40 lines 2864 bytes
head (1,3,3) body (2,3,3,2)
estimated blow-up 9.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 21.34sec 113.57sec 100000 784 27268
htl 15.04sec 812.81sec -- 892 13577
str 20.20sec 811.77sec -- 892 12353

test35/test_35.20_5_0.1_3_3.2_3_3_3.30.5 nlp wc
40 lines 3589 bytes
head (1,3,3) body (2,3,3,3)
estimated blow-up 30.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 139.24sec 44.43sec 6494 2080 96919
htl 21.08sec 810.46sec -- 1115 17181
str 26.46sec 813.37sec -- 1115 15569

test35/test_35.20_5_0.1_3_3.2_3_3_4.94.2 nlp wc
39 lines 4254 bytes
head (1,3,3) body (2,3,3,4)
estimated blow-up 94.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1120.93sec 79.12sec 2010 6100 350301
htl 31.94sec 813.25sec -- 1371 21104
str 39.47sec 811.97sec -- 1371 19237

test35/test_35.20_5_0.1_3_3.3_3_3_1.1.6 nlp wc
39 lines 1739 bytes
head (1,3,3) body (3,3,3,1)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.02sec 51.58sec 97956 161 4036
htl 3.65sec 817.52sec -- 362 5521
str 4.84sec 822.15sec -- 366 4993

test35/test_35.20_5_0.1_3_3.3_3_3_2.2.0 nlp wc
40 lines 2154 bytes
head (1,3,3) body (3,3,3,2)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.17sec 0.96sec 2261 161 5322
htl 4.01sec 812.83sec -- 366 5907
str 4.74sec 812.81sec -- 372 5318

test35/test_35.20_5_0.1_3_3.3_3_3_3.2.3 nlp wc
40 lines 2551 bytes
head (1,3,3) body (3,3,3,3)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.39sec 0.40sec 1162 154 6429
htl 3.98sec 814.33sec -- 353 6007
str 5.70sec 816.66sec -- 365 5442

test35/test_35.20_5_0.1_3_3.3_3_3_4.2.5 nlp wc
39 lines 2850 bytes
head (1,3,3) body (3,3,3,4)
estimated blow-up 2.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.61sec 1.56sec 3675 162 7531
htl 4.21sec 813.35sec -- 369 6468
str 5.51sec 811.76sec -- 377 5759

test35/test_35.20_5_0.2_2_2.1_1_1_1.1.3 nlp wc
38 lines 1031 bytes
head (2,2,2) body (1,1,1,1)
estimated blow-up 1.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.82sec 0.00sec 1 140 2422
htl 2.26sec 0.00sec 1 240 3484
str 2.77sec 0.01sec 1 246 3206

test35/test_35.20_5_0.2_2_2.1_1_1_2.1.6 nlp wc
40 lines 1203 bytes
head (2,2,2) body (1,1,1,2)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.04sec 0.00sec 1 152 3079
htl 2.89sec 0.07sec 1 270 4128
str 2.67sec 1.71sec 1 280 3773

test35/test_35.20_5_0.2_2_2.1_1_1_3.1.8 nlp wc
40 lines 1300 bytes
head (2,2,2) body (1,1,1,3)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.86sec 0.00sec 1 156 3543
htl 2.46sec 0.01sec 1 269 4220
str 2.91sec 129.67sec 1 277 3805

test35/test_35.20_5_0.2_2_2.1_1_1_4.2.0 nlp wc
40 lines 1379 bytes
head (2,2,2) body (1,1,1,4)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.92sec 0.03sec 1 152 3787
htl 2.40sec 0.01sec 1 258 4086
str 2.76sec 8.82sec 1 270 3779

test35/test_35.20_5_0.2_2_2.1_2_1_1.6.3 nlp wc
40 lines 1671 bytes
head (2,2,2) body (1,2,1,1)
estimated blow-up 6.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.20sec 0.07sec 1 396 9011
htl 4.17sec 0.01sec 1 394 6163
str 5.26sec 0.02sec 1 424 5751

test35/test_35.20_5_0.2_2_2.1_2_1_2.31.0 nlp wc
38 lines 2353 bytes
head (2,2,2) body (1,2,1,2)
estimated blow-up 31.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 51.39sec 1.04sec 0 1268 45876
htl 6.27sec 109.85sec 0 516 8558
str 8.79sec 219.84sec 0 562 7947

test35/test_35.20_5_0.2_2_2.1_2_1_3.137.9 nlp wc
40 lines 3166 bytes
head (2,2,2) body (1,2,1,3)
estimated blow-up 137.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 678.42sec 14.37sec 0 4754 238762
htl 8.35sec 312.03sec 0 631 10939
str 13.70sec 821.10sec -- 691 9921

test35/test_35.20_5_0.2_2_2.1_2_1_4.588.3 nlp wc
40 lines 3828 bytes
head (2,2,2) body (1,2,1,4)
estimated blow-up 588.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 10710.85sec 786.42sec 0 19284 1201156
htl 11.23sec 811.77sec -- 747 13111
str 18.04sec 813.84sec -- 809 11749

test35/test_35.20_5_0.2_2_2.1_2_2_1.2.2 nlp wc
40 lines 1218 bytes
head (2,2,2) body (1,2,2,1)
estimated blow-up 2.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.56sec 0.01sec 1 238 4068
htl 3.55sec 0.04sec 1 344 5097
str 3.90sec 0.01sec 1 344 4463

test35/test_35.20_5_0.2_2_2.1_2_2_2.5.0 nlp wc
40 lines 1531 bytes
head (2,2,2) body (1,2,2,2)
estimated blow-up 5.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.65sec 0.05sec 1 390 8467
htl 3.92sec 0.02sec 1 394 5973
str 4.33sec 0.02sec 1 394 5237

test35/test_35.20_5_0.2_2_2.1_2_2_3.10.7 nlp wc
40 lines 1734 bytes
head (2,2,2) body (1,2,2,3)
estimated blow-up 10.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 14.91sec 0.26sec 1 688 17893
htl 5.19sec 1.68sec 1 450 6796
str 5.61sec 8.13sec 1 450 6085

test35/test_35.20_5_0.2_2_2.1_2_2_4.22.8 nlp wc
40 lines 2021 bytes
head (2,2,2) body (1,2,2,4)
estimated blow-up 22.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 54.33sec 2.79sec 0 1350 42755
htl 6.15sec 8.26sec 0 524 8031
str 6.99sec 8.38sec 0 524 7176

test35/test_35.20_5_0.2_2_2.1_3_1_1.49.5 nlp wc
40 lines 2646 bytes
head (2,2,2) body (1,3,1,1)
estimated blow-up 49.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 107.90sec 1.26sec 0 1866 60899
htl 6.61sec 0.67sec 0 524 8974
str 9.12sec 0.99sec 0 566 7981

test35/test_35.20_5_0.1_1_1.1_1_1_1.1.2 nlp wc
30 lines 600 bytes
head (1,1,1) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.21sec 0.00sec 1 88 1498
htl 0.30sec 0.00sec 1 164 2360
str 0.31sec 0.00sec 1 168 2129

test35/test_35.20_5_0.1_1_1.1_1_1_2.1.3 nlp wc
30 lines 747 bytes
head (1,1,1) body (1,1,1,2)
estimated blow-up 1.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.22sec 0.00sec 1 88 1794
htl 0.32sec 0.00sec 1 164 2523
str 0.34sec 0.01sec 1 182 2428

test35/test_35.20_5_0.1_1_1.1_1_1_3.1.4 nlp wc
30 lines 857 bytes
head (1,1,1) body (1,1,1,3)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.23sec 0.00sec 1 90 2033
htl 0.31sec 0.00sec 1 160 2564
str 0.36sec 0.11sec 1 182 2521

test35/test_35.20_5_0.1_1_1.1_1_1_4.1.5 nlp wc
30 lines 939 bytes
head (1,1,1) body (1,1,1,4)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.23sec 0.00sec 1 82 2058
htl 0.31sec 0.00sec 1 152 2491
str 0.35sec 0.44sec 1 176 2490

test35/test_35.20_5_0.1_1_1.1_2_1_1.4.7 nlp wc
30 lines 1164 bytes
head (1,1,1) body (1,2,1,1)
estimated blow-up 4.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.55sec 0.01sec 0 226 4955
htl 0.58sec 0.01sec 0 291 4680
str 0.68sec 0.01sec 0 325 4394

test35/test_35.20_5_0.1_1_1.1_2_1_2.20.4 nlp wc
30 lines 1825 bytes
head (1,1,1) body (1,2,1,2)
estimated blow-up 20.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.53sec 0.14sec 0 684 23506
htl 1.24sec 35.50sec 0 430 7078
str 2.03sec 325.56sec -- 468 6557

test35/test_35.20_5_0.1_1_1.1_2_1_3.85.3 nlp wc
30 lines 2645 bytes
head (1,1,1) body (1,2,1,3)
estimated blow-up 85.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 63.99sec 2.68sec 1 2542 125136
htl 2.26sec 0.22sec 1 567 9860
str 3.59sec 129.01sec 1 629 9032

test35/test_35.20_5_0.1_1_1.1_2_1_4.350.0 nlp wc
30 lines 3370 bytes
head (1,1,1) body (1,2,1,4)
estimated blow-up 350.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 897.39sec 75.68sec 1 9552 591316
htl 3.01sec 20.08sec 1 654 11730
str 4.68sec 262.45sec -- 720 10447

test35/test_35.20_5_0.1_1_1.1_2_2_1.1.8 nlp wc
30 lines 730 bytes
head (1,1,1) body (1,2,2,1)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.59sec 0.00sec 0 126 2167
htl 0.66sec 0.00sec 0 237 3469
str 0.83sec 0.00sec 0 239 3025

test35/test_35.20_5_0.1_1_1.1_2_2_2.3.7 nlp wc
30 lines 1033 bytes
head (1,1,1) body (1,2,2,2)
estimated blow-up 3.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.84sec 0.01sec 1 208 4354
htl 1.03sec 0.05sec 1 306 4586
str 1.07sec 0.29sec 1 306 3957

test35/test_35.20_5_0.1_1_1.1_2_2_3.7.4 nlp wc
30 lines 1278 bytes
head (1,1,1) body (1,2,2,3)
estimated blow-up 7.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.88sec 0.05sec 1 370 9466
htl 1.28sec 7.04sec 1 376 5709
str 1.42sec 33.34sec 1 376 5031

test35/test_35.20_5_0.1_1_1.1_2_2_4.15.0 nlp wc
30 lines 1573 bytes
head (1,1,1) body (1,2,2,4)
estimated blow-up 15.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.90sec 0.19sec 1 656 21198
htl 1.54sec 1.48sec 1 419 6523
str 1.66sec 19.37sec 1 419 5659

test35/test_35.20_5_0.1_1_1.1_3_1_1.32.0 nlp wc
30 lines 2192 bytes
head (1,1,1) body (1,3,1,1)
estimated blow-up 32.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 10.46sec 0.18sec 2 994 32194
htl 1.57sec 0.03sec 2 444 7853
str 2.25sec 0.15sec 2 486 6833

test35/test_35.20_5_0.1_1_1.1_3_1_2.821.0 nlp wc
30 lines 3787 bytes
head (1,1,1) body (1,3,1,2)
estimated blow-up 821.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3669.74sec 214.72sec 1 18984 1033858
htl 3.12sec 79.19sec 1 697 12923
str 5.60sec 262.02sec -- 749 10879

test35/test_35.20_5_0.1_1_1.1_3_2_1.10.2 nlp wc
30 lines 1522 bytes
head (1,1,1) body (1,3,2,1)
estimated blow-up 10.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.18sec 0.03sec 1 412 9614
htl 1.17sec 0.02sec 1 348 5818
str 1.53sec 0.24sec 1 392 5415

test35/test_35.20_5_0.1_1_1.1_3_2_2.97.7 nlp wc
30 lines 2486 bytes
head (1,1,1) body (1,3,2,2)
estimated blow-up 97.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 94.46sec 4.34sec 2 3132 113227
htl 2.15sec 0.08sec 2 508 8828
str 3.00sec 0.20sec 2 562 8027

test35/test_35.20_5_0.1_1_1.1_3_2_3.905.0 nlp wc
30 lines 3576 bytes
head (1,1,1) body (1,3,2,3)
estimated blow-up 905.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 7770.64sec 260.09sec -- 26804 1345251
htl 2.93sec 50.47sec 2 652 11875
str 4.86sec 111.37sec 2 714 10402

test35/test_35.20_5_0.1_1_1.1_3_3_1.2.3 nlp wc
30 lines 853 bytes
head (1,1,1) body (1,3,3,1)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.69sec 0.00sec 1 156 2651
htl 0.84sec 0.00sec 1 242 3673
str 0.83sec 0.00sec 1 242 3127

test35/test_35.20_5_0.1_1_1.1_3_3_2.6.5 nlp wc
30 lines 1260 bytes
head (1,1,1) body (1,3,3,2)
estimated blow-up 6.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.09sec 0.04sec 1 406 8680
htl 1.17sec 0.03sec 1 355 5437
str 1.31sec 0.01sec 1 355 4645

test35/test_35.20_5_0.1_1_1.1_3_3_3.19.1 nlp wc
30 lines 1605 bytes
head (1,1,1) body (1,3,3,3)
estimated blow-up 19.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 11.68sec 0.54sec 1 1096 28877
htl 1.54sec 4.59sec 1 438 6785
str 1.61sec 6.31sec 1 438 5910

test35/test_35.20_5_0.1_1_1.1_3_3_4.56.6 nlp wc
30 lines 2019 bytes
head (1,1,1) body (1,3,3,4)
estimated blow-up 56.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 89.92sec 5.84sec 1 3124 101949
htl 1.91sec 7.31sec 1 503 8033
str 2.44sec 22.42sec 1 503 6915

test35/test_35.20_5_0.1_1_1.2_2_2_1.1.3 nlp wc
30 lines 708 bytes
head (1,1,1) body (2,2,2,1)
estimated blow-up 1.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.48sec 0.00sec 0 82 1609
htl 0.65sec 0.00sec 0 158 2362
str 0.64sec 0.03sec 0 168 2209

test35/test_35.20_5_0.1_1_1.2_2_2_2.1.5 nlp wc
30 lines 993 bytes
head (1,1,1) body (2,2,2,2)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.45sec 0.00sec 1 88 2170
htl 0.66sec 0.00sec 1 170 2777
str 0.74sec 0.18sec 1 196 2772

test35/test_35.20_5_0.1_1_1.2_2_2_3.1.6 nlp wc
30 lines 1275 bytes
head (1,1,1) body (2,2,2,3)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.52sec 0.00sec 1 80 2502
htl 0.62sec 0.00sec 1 132 2469
str 0.75sec 0.02sec 1 170 2617

test35/test_35.20_5_0.1_1_1.2_2_2_4.1.6 nlp wc
30 lines 1492 bytes
head (1,1,1) body (2,2,2,4)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.56sec 0.03sec 1 84 2924
htl 0.69sec 0.01sec 1 160 3042
str 0.78sec 0.52sec 1 192 3007

test35/test_35.20_5_0.1_1_1.2_3_2_1.9.2 nlp wc
30 lines 1791 bytes
head (1,1,1) body (2,3,2,1)
estimated blow-up 9.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.25sec 0.04sec 0 424 11626
htl 2.19sec 5.02sec 0 538 8415
str 2.59sec 33.28sec 0 574 7873

test35/test_35.20_5_0.1_1_1.2_3_2_2.85.6 nlp wc
30 lines 3155 bytes
head (1,1,1) body (2,3,2,2)
estimated blow-up 85.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 102.10sec 7.82sec 1 3264 152155
htl 4.63sec 258.81sec -- 880 14440
str 6.20sec 259.91sec -- 932 13207

test35/test_35.20_5_0.1_1_1.2_3_2_3.782.3 nlp wc
30 lines 4406 bytes
head (1,1,1) body (2,3,2,3)
estimated blow-up 782.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 7388.74sec 258.52sec -- 26650 1696811
htl 7.81sec 258.58sec -- 1191 19674
str 11.65sec 258.77sec -- 1257 18006

test35/test_35.20_5_0.1_1_1.2_3_3_1.2.2 nlp wc
30 lines 1152 bytes
head (1,1,1) body (2,3,3,1)
estimated blow-up 2.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.66sec 0.01sec 1 168 3461
htl 1.55sec 0.07sec 1 444 6385
str 1.50sec 0.28sec 1 444 5785

test35/test_35.20_5_0.1_1_1.2_3_3_2.6.3 nlp wc
30 lines 1939 bytes
head (1,1,1) body (2,3,3,2)
estimated blow-up 6.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.13sec 0.07sec 1 394 12443
htl 2.77sec 123.14sec 1 671 10117
str 3.21sec 140.76sec 1 671 9114

test35/test_35.20_5_0.1_1_1.2_3_3_3.18.6 nlp wc
30 lines 2663 bytes
head (1,1,1) body (2,3,3,3)
estimated blow-up 18.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 13.00sec 0.69sec 1 1114 47787
htl 5.26sec 259.76sec -- 965 14807
str 5.85sec 258.91sec -- 965 13357

test35/test_35.20_5_0.1_1_1.2_3_3_4.55.4 nlp wc
30 lines 3265 bytes
head (1,1,1) body (2,3,3,4)
estimated blow-up 55.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 101.05sec 10.62sec 0 3234 168764
htl 7.45sec 257.30sec -- 1199 18351
str 9.16sec 266.27sec -- 1199 16597

test35/test_35.20_5_0.1_1_1.3_3_3_1.1.4 nlp wc
30 lines 845 bytes
head (1,1,1) body (3,3,3,1)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.48sec 0.00sec 0 84 1890
htl 0.62sec 0.00sec 0 142 2272
str 0.56sec 0.04sec 0 160 2214

test35/test_35.20_5_0.1_1_1.3_3_3_2.1.6 nlp wc
30 lines 1196 bytes
head (1,1,1) body (3,3,3,2)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.51sec 0.00sec 1 84 2510
htl 0.58sec 0.00sec 1 160 2827
str 0.76sec 0.38sec 1 194 2907

test35/test_35.20_5_0.1_1_1.3_3_3_3.1.7 nlp wc
30 lines 1527 bytes
head (1,1,1) body (3,3,3,3)
estimated blow-up 1.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.47sec 0.00sec 1 94 3261
htl 0.68sec 0.00sec 1 176 3378
str 0.76sec 3.94sec 1 198 3163

test35/test_35.20_5_0.1_1_1.3_3_3_4.1.7 nlp wc
30 lines 1930 bytes
head (1,1,1) body (3,3,3,4)
estimated blow-up 1.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.68sec 0.00sec 1 86 3729
htl 0.53sec 0.00sec 1 156 3376
str 0.88sec 0.22sec 1 192 3304

test35/test_35.20_5_0.1_2_1.1_1_1_1.1.2 nlp wc
40 lines 1528 bytes
head (1,2,1) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.67sec 0.02sec 99 144 2760
htl 1.32sec 0.51sec 99 365 5377
str 1.48sec 0.52sec 99 367 4727

test35/test_35.20_5_0.1_2_1.1_1_1_2.1.5 nlp wc
40 lines 1646 bytes
head (1,2,1) body (1,1,1,2)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.68sec 0.01sec 14 159 3473
htl 1.34sec 137.64sec 14 400 6100
str 1.58sec 133.78sec 14 402 5381

test35/test_35.20_5_0.1_2_1.1_1_1_3.1.6 nlp wc
40 lines 1807 bytes
head (1,2,1) body (1,1,1,3)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.61sec 0.01sec 28 147 3834
htl 1.32sec 2.74sec 28 364 5713
str 1.49sec 2.96sec 28 374 5042

test35/test_35.20_5_0.1_2_1.1_1_1_4.1.8 nlp wc
40 lines 1888 bytes
head (1,2,1) body (1,1,1,4)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.74sec 0.01sec 32 150 4189
htl 1.40sec 30.89sec 32 376 5924
str 1.58sec 38.85sec 32 390 5367

test35/test_35.20_5_0.1_2_1.1_2_1_1.5.8 nlp wc
40 lines 2122 bytes
head (1,2,1) body (1,2,1,1)
estimated blow-up 5.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.16sec 0.03sec 30 395 10194
htl 2.13sec 2.10sec 30 508 8012
str 2.59sec 2.23sec 30 536 7360

test35/test_35.20_5_0.1_2_1.1_2_1_2.28.5 nlp wc
40 lines 2872 bytes
head (1,2,1) body (1,2,1,2)
estimated blow-up 28.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 17.43sec 0.40sec 9 1304 51947
htl 2.66sec 157.98sec 9 618 10332
str 4.00sec 270.63sec -- 668 9484

test35/test_35.20_5_0.1_2_1.1_2_1_3.128.0 nlp wc
40 lines 3536 bytes
head (1,2,1) body (1,2,1,3)
estimated blow-up 128.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 239.83sec 8.96sec 21 4952 257657
htl 3.57sec 268.17sec -- 746 12751
str 5.27sec 269.66sec -- 800 11501

test35/test_35.20_5_0.1_2_1.1_2_1_4.551.4 nlp wc
40 lines 4340 bytes
head (1,2,1) body (1,2,1,4)
estimated blow-up 551.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3821.77sec 173.74sec 9 19544 1281947
htl 4.22sec 264.03sec -- 860 15137
str 6.95sec 262.76sec -- 924 13457

test35/test_35.20_5_0.1_2_1.1_2_2_1.2.1 nlp wc
39 lines 1651 bytes
head (1,2,1) body (1,2,2,1)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.99sec 0.00sec 0 233 4653
htl 1.69sec 0.01sec 0 455 6810
str 1.76sec 0.01sec 0 455 6029

test35/test_35.20_5_0.1_2_1.1_2_2_2.4.7 nlp wc
40 lines 1894 bytes
head (1,2,1) body (1,2,2,2)
estimated blow-up 4.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.91sec 0.03sec 12 374 8931
htl 1.82sec 0.30sec 12 492 7478
str 2.01sec 1.35sec 12 492 6609

test35/test_35.20_5_0.1_2_1.1_2_2_3.10.1 nlp wc
40 lines 2098 bytes
head (1,2,1) body (1,2,2,3)
estimated blow-up 10.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.96sec 0.18sec 5 680 19103
htl 2.15sec 10.61sec 5 553 8404
str 2.46sec 13.38sec 5 553 7477

test35/test_35.20_5_0.1_2_1.1_2_2_4.21.4 nlp wc
40 lines 2472 bytes
head (1,2,1) body (1,2,2,4)
estimated blow-up 21.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 17.44sec 0.65sec 10 1306 45761
htl 2.67sec 258.43sec -- 627 9831
str 3.27sec 261.83sec -- 627 8674

test35/test_35.20_5_0.1_2_1.1_3_1_1.45.5 nlp wc
38 lines 2904 bytes
head (1,2,1) body (1,3,1,1)
estimated blow-up 45.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 32.95sec 0.33sec 0 1812 64173
htl 2.79sec 0.01sec 0 652 10876
str 3.94sec 0.01sec 0 682 9567

test35/test_35.20_5_0.1_2_1.1_3_1_2.1316.6 nlp wc
40 lines 4721 bytes
head (1,2,1) body (1,3,1,2)
estimated blow-up 1316.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 17114.67sec 259.75sec -- 39520 2323369
htl 4.67sec 258.71sec -- 894 16221
str 7.70sec 259.06sec -- 948 13828

test35/test_35.20_5_0.1_2_1.1_3_2_1.13.6 nlp wc
40 lines 2470 bytes
head (1,2,1) body (1,3,2,1)
estimated blow-up 13.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.32sec 0.15sec 35 761 20746
htl 2.37sec 0.20sec 35 556 9081
str 3.04sec 0.28sec 35 598 8370

test35/test_35.20_5_0.1_2_1.1_3_2_2.147.3 nlp wc
40 lines 3410 bytes
head (1,2,1) body (1,3,2,2)
estimated blow-up 147.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 361.74sec 7.11sec 5 6306 252444
htl 3.20sec 2.05sec 5 711 12144
str 4.90sec 2.99sec 5 769 11084

test35/test_35.20_5_0.1_2_1.1_3_2_3.1458.0 nlp wc
40 lines 4603 bytes
head (1,2,1) body (1,3,2,3)
estimated blow-up 1458.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 45863.26sec 415.33sec -- 55169 2937733
htl 7.69sec 301.96sec 25 891 15902
str 12.47sec 413.56sec -- 953 13912

test35/test_35.20_5_0.1_2_1.1_3_3_1.2.9 nlp wc
40 lines 1796 bytes
head (1,2,1) body (1,3,3,1)
estimated blow-up 2.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.04sec 0.08sec 46 303 6105
htl 2.71sec 0.12sec 46 476 7248
str 3.06sec 0.12sec 46 476 6385

test35/test_35.20_5_0.1_2_1.1_3_3_2.9.1 nlp wc
40 lines 2210 bytes
head (1,2,1) body (1,3,3,2)
estimated blow-up 9.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 9.68sec 0.29sec 24 773 19337
htl 3.53sec 0.96sec 24 562 8722
str 4.12sec 1.03sec 24 562 7676

test35/test_35.20_5_0.1_2_1.1_3_3_3.28.5 nlp wc
40 lines 2529 bytes
head (1,2,1) body (1,3,3,3)
estimated blow-up 28.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 68.17sec 3.09sec 52 2139 63952
htl 4.17sec 12.14sec 52 642 10052
str 5.21sec 14.75sec 52 642 8865

test35/test_35.20_5_0.1_2_1.1_3_3_4.88.4 nlp wc
39 lines 2882 bytes
head (1,2,1) body (1,3,3,4)
estimated blow-up 88.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 537.35sec 10.25sec 0 6154 220152
htl 5.27sec 0.01sec 0 716 11452
str 6.34sec 0.01sec 0 716 10018

test35/test_35.20_5_0.1_2_1.2_2_2_1.1.5 nlp wc
39 lines 1603 bytes
head (1,2,1) body (2,2,2,1)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.96sec 0.00sec 0 151 3397
htl 1.97sec 0.01sec 0 374 5672
str 2.25sec 0.01sec 0 388 5174

test35/test_35.20_5_0.1_2_1.2_2_2_2.1.8 nlp wc
39 lines 1837 bytes
head (1,2,1) body (2,2,2,2)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.13sec 0.00sec 0 157 4172
htl 2.10sec 0.01sec 0 383 6056
str 2.59sec 0.01sec 0 389 5331

test35/test_35.20_5_0.1_2_1.2_2_2_3.2.1 nlp wc
40 lines 2218 bytes
head (1,2,1) body (2,2,2,3)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.31sec 0.01sec 32 158 5325
htl 2.21sec 413.69sec -- 396 6499
str 2.92sec 414.52sec -- 408 5783

test35/test_35.20_5_0.1_2_1.2_2_2_4.2.3 nlp wc
40 lines 2460 bytes
head (1,2,1) body (2,2,2,4)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.30sec 0.01sec 32 156 6097
htl 2.23sec 413.76sec -- 386 6552
str 3.04sec 415.49sec -- 402 5852

test35/test_35.20_5_0.1_2_1.2_3_2_1.13.3 nlp wc
40 lines 2752 bytes
head (1,2,1) body (2,3,2,1)
estimated blow-up 13.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 11.03sec 0.41sec 26 787 24605
htl 5.50sec 259.16sec 26 720 11448
str 6.81sec 219.13sec 26 756 10572

test35/test_35.20_5_0.1_2_1.2_3_2_2.138.9 nlp wc
40 lines 4069 bytes
head (1,2,1) body (2,3,2,2)
estimated blow-up 138.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 635.87sec 41.02sec 22 6488 324709
htl 9.90sec 425.86sec -- 1059 17388
str 14.47sec 424.05sec -- 1113 15950

test35/test_35.20_5_0.1_2_1.2_3_2_3.1339.8 nlp wc
40 lines 5404 bytes
head (1,2,1) body (2,3,2,3)
estimated blow-up 1339.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 57212.61sec 413.47sec -- 54848 3760709
htl 15.80sec 414.00sec -- 1405 23312
str 26.38sec 413.91sec -- 1469 21119

test35/test_35.20_5_0.1_2_1.2_3_3_1.3.1 nlp wc
40 lines 2056 bytes
head (1,2,1) body (2,3,3,1)
estimated blow-up 3.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.52sec 0.05sec 82 315 7361
htl 4.39sec 34.85sec 82 651 9740
str 5.04sec 43.54sec 82 651 8800

test35/test_35.20_5_0.1_2_1.2_3_3_2.9.9 nlp wc
40 lines 2856 bytes
head (1,2,1) body (2,3,3,2)
estimated blow-up 9.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 11.18sec 0.78sec 228 800 27769
htl 8.03sec 414.67sec -- 917 14050
str 9.36sec 429.58sec -- 917 12657

test35/test_35.20_5_0.1_2_1.2_3_3_3.30.9 nlp wc
40 lines 3470 bytes
head (1,2,1) body (2,3,3,3)
estimated blow-up 30.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 71.74sec 5.17sec 6 2103 96131
htl 10.75sec 432.78sec -- 1131 17483
str 13.60sec 428.25sec -- 1131 15811

test35/test_35.20_5_0.1_2_1.2_3_3_4.95.3 nlp wc
40 lines 4176 bytes
head (1,2,1) body (2,3,3,4)
estimated blow-up 95.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 651.75sec 38.18sec 28 6474 353538
htl 15.74sec 413.88sec -- 1404 21640
str 19.80sec 414.63sec -- 1404 19711

test35/test_35.20_5_0.1_2_1.3_3_3_1.1.6 nlp wc
40 lines 1809 bytes
head (1,2,1) body (3,3,3,1)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.20sec 0.01sec 23 153 3961
htl 2.33sec 148.75sec 23 385 6017
str 2.61sec 168.16sec 23 393 5331

test35/test_35.20_5_0.1_2_1.3_3_3_2.2.1 nlp wc
40 lines 2157 bytes
head (1,2,1) body (3,3,3,2)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.32sec 0.01sec 12 150 5111
htl 2.13sec 104.02sec 12 359 5944
str 2.66sec 124.45sec 12 379 5398

test35/test_35.20_5_0.1_2_1.3_3_3_3.2.4 nlp wc
40 lines 2584 bytes
head (1,2,1) body (3,3,3,3)
estimated blow-up 2.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.54sec 0.01sec 28 156 6721
htl 2.20sec 414.81sec -- 388 6721
str 3.18sec 414.20sec -- 402 5919

test35/test_35.20_5_0.1_2_1.3_3_3_4.2.6 nlp wc
40 lines 2883 bytes
head (1,2,1) body (3,3,3,4)
estimated blow-up 2.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.51sec 0.02sec 16 161 7635
htl 2.59sec 415.64sec -- 405 7204
str 3.47sec 414.96sec -- 415 6285

test35/test_35.20_5_0.1_2_2.1_1_1_1.1.2 nlp wc
34 lines 1081 bytes
head (1,2,2) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.89sec 22.23sec 100000 131 2400
htl 1.76sec 414.58sec -- 306 4361
str 1.53sec 414.21sec -- 308 3960

test35/test_35.20_5_0.1_2_2.1_1_1_2.1.4 nlp wc
35 lines 1232 bytes
head (1,2,2) body (1,1,1,2)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.86sec 0.41sec 1515 127 2699
htl 1.80sec 414.54sec -- 296 4359
str 1.67sec 414.36sec -- 302 3995

test35/test_35.20_5_0.1_2_2.1_1_1_3.1.5 nlp wc
35 lines 1329 bytes
head (1,2,2) body (1,1,1,3)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.90sec 0.02sec 156 123 2963
htl 1.59sec 414.60sec -- 286 4307
str 1.93sec 414.45sec -- 298 4015

test35/test_35.20_5_0.1_2_2.1_1_1_4.1.6 nlp wc
35 lines 1379 bytes
head (1,2,2) body (1,1,1,4)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.95sec 0.03sec 315 130 3365
htl 1.43sec 414.61sec -- 293 4589
str 1.78sec 414.61sec -- 301 4137

test35/test_35.20_5_0.1_2_2.1_2_1_1.5.3 nlp wc
35 lines 1737 bytes
head (1,2,2) body (1,2,1,1)
estimated blow-up 5.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.42sec 4.34sec 14500 312 7785
htl 2.53sec 413.60sec -- 428 6611
str 3.15sec 414.87sec -- 458 6267

test35/test_35.20_5_0.1_2_2.1_2_1_2.24.8 nlp wc
35 lines 2336 bytes
head (1,2,2) body (1,2,1,2)
estimated blow-up 24.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 17.01sec 3.10sec 3805 998 36367
htl 3.54sec 414.58sec -- 534 8574
str 4.69sec 414.13sec -- 574 8041

test35/test_35.20_5_0.1_2_2.1_2_1_3.108.3 nlp wc
35 lines 3177 bytes
head (1,2,2) body (1,2,1,3)
estimated blow-up 108.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 214.11sec 10.38sec 1053 3715 194926
htl 4.62sec 413.58sec -- 652 11160
str 7.33sec 413.71sec -- 706 10121

test35/test_35.20_5_0.1_2_2.1_2_1_4.457.5 nlp wc
35 lines 3745 bytes
head (1,2,2) body (1,2,1,4)
estimated blow-up 457.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3390.40sec 208.98sec 444 14035 895909
htl 6.04sec 423.20sec -- 777 13325
str 9.40sec 414.84sec -- 835 12086

test35/test_35.20_5_0.1_2_2.1_2_2_1.2.0 nlp wc
35 lines 1210 bytes
head (1,2,2) body (1,2,2,1)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.35sec 23.67sec 100000 184 3442
htl 1.95sec 141.60sec 100000 363 5279
str 2.19sec 113.25sec 100000 363 4730

test35/test_35.20_5_0.1_2_2.1_2_2_2.4.3 nlp wc
35 lines 1546 bytes
head (1,2,2) body (1,2,2,2)
estimated blow-up 4.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.22sec 13.85sec 50687 304 7037
htl 2.41sec 405.41sec 50687 429 6300
str 2.71sec 414.72sec -- 429 5719

test35/test_35.20_5_0.1_2_2.1_2_2_3.9.0 nlp wc
35 lines 1766 bytes
head (1,2,2) body (1,2,2,3)
estimated blow-up 9.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.57sec 1.35sec 1667 548 15224
htl 2.94sec 413.88sec -- 491 7273
str 3.17sec 417.99sec -- 491 6603

test35/test_35.20_5_0.1_2_2.1_2_2_4.18.6 nlp wc
35 lines 2093 bytes
head (1,2,2) body (1,2,2,4)
estimated blow-up 18.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 16.45sec 5.42sec 10648 1001 34884
htl 3.59sec 417.05sec -- 539 8276
str 3.90sec 434.44sec -- 539 7388

test35/test_35.20_5_0.1_2_2.1_3_1_1.39.3 nlp wc
35 lines 2648 bytes
head (1,2,2) body (1,3,1,1)
estimated blow-up 39.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 31.65sec 20.40sec 18373 1398 48772
htl 3.78sec 427.00sec -- 565 9505
str 4.98sec 413.74sec -- 603 8493

test35/test_35.20_5_0.1_2_2.1_3_1_2.1084.2 nlp wc
35 lines 4176 bytes
head (1,2,2) body (1,3,1,2)
estimated blow-up 1084.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 12188.60sec 420.99sec -- 26972 1550663
htl 6.22sec 417.23sec -- 798 14264
str 10.38sec 421.90sec -- 850 12414

test35/test_35.20_5_0.1_2_2.1_3_2_1.12.1 nlp wc
35 lines 1990 bytes
head (1,2,2) body (1,3,2,1)
estimated blow-up 12.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.06sec 45.79sec 100000 601 15146
htl 2.86sec 121.91sec 100000 467 7378
str 3.74sec 150.45sec 100000 503 6961

test35/test_35.20_5_0.1_2_2.1_3_2_2.124.6 nlp wc
35 lines 3075 bytes
head (1,2,2) body (1,3,2,2)
estimated blow-up 124.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 338.62sec 424.36sec -- 4810 190261
htl 4.43sec 424.20sec -- 637 10871
str 6.82sec 428.09sec -- 697 10041

test35/test_35.20_5_0.1_2_2.1_3_2_3.1200.7 nlp wc
35 lines 4084 bytes
head (1,2,2) body (1,3,2,3)
estimated blow-up 1200.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 30399.28sec 432.62sec -- 41393 2164701
htl 6.20sec 431.39sec -- 799 14086
str 10.65sec 463.51sec -- 863 12516

test35/test_35.20_5_0.1_2_2.1_3_3_1.2.7 nlp wc
35 lines 1294 bytes
head (1,2,2) body (1,3,3,1)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.56sec 20.65sec 79956 236 4341
htl 1.91sec 95.41sec 79956 367 5260
str 2.14sec 89.69sec 79956 367 4769

test35/test_35.20_5_0.1_2_2.1_3_3_2.8.1 nlp wc
35 lines 1748 bytes
head (1,2,2) body (1,3,3,2)
estimated blow-up 8.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.14sec 39.96sec 100000 599 14028
htl 2.84sec 165.69sec 100000 472 7051
str 3.17sec 195.25sec 100000 472 6369

test35/test_35.20_5_0.1_2_2.1_3_3_3.24.6 nlp wc
35 lines 2111 bytes
head (1,2,2) body (1,3,3,3)
estimated blow-up 24.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 38.22sec 103.67sec 100000 1588 45548
htl 3.68sec 414.89sec -- 560 8569
str 3.99sec 423.33sec -- 560 7689

test35/test_35.20_5_0.1_2_2.1_3_3_4.74.8 nlp wc
35 lines 2431 bytes
head (1,2,2) body (1,3,3,4)
estimated blow-up 74.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 327.64sec 338.06sec 99136 4769 162791
htl 4.31sec 414.05sec -- 630 9771
str 5.06sec 414.38sec -- 630 8716

test35/test_35.20_5_0.1_2_2.2_2_2_1.1.4 nlp wc
35 lines 1180 bytes
head (1,2,2) body (2,2,2,1)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.90sec 0.14sec 529 125 2618
htl 1.41sec 412.65sec -- 285 4191
str 1.63sec 412.34sec -- 291 3847

test35/test_35.20_5_0.1_2_2.2_2_2_2.1.6 nlp wc
35 lines 1437 bytes
head (1,2,2) body (2,2,2,2)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.94sec 0.04sec 375 131 3300
htl 1.52sec 413.31sec -- 297 4581
str 1.56sec 414.61sec -- 303 4143

test35/test_35.20_5_0.1_2_2.2_2_2_3.1.8 nlp wc
35 lines 1765 bytes
head (1,2,2) body (2,2,2,3)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.05sec 0.01sec 90 132 4127
htl 1.85sec 415.79sec -- 307 4961
str 2.05sec 414.69sec -- 317 4476

test35/test_35.20_5_0.1_2_2.2_2_2_4.2.0 nlp wc
35 lines 1986 bytes
head (1,2,2) body (2,2,2,4)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.14sec 0.07sec 135 128 4585
htl 1.92sec 414.42sec -- 294 4986
str 2.07sec 414.00sec -- 306 4489

test35/test_35.20_5_0.1_2_2.2_3_2_1.11.5 nlp wc
35 lines 2224 bytes
head (1,2,2) body (2,3,2,1)
estimated blow-up 11.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.34sec 4.30sec 4326 594 17285
htl 4.34sec 414.32sec -- 644 9899
str 5.45sec 413.45sec -- 672 9313

test35/test_35.20_5_0.1_2_2.2_3_2_2.114.4 nlp wc
35 lines 3674 bytes
head (1,2,2) body (2,3,2,2)
estimated blow-up 114.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 294.66sec 16.93sec 553 4371 215088
htl 8.11sec 421.31sec -- 952 15636
str 11.90sec 418.20sec -- 1006 14354

test35/test_35.20_5_0.1_2_2.2_3_2_3.1077.6 nlp wc
35 lines 5107 bytes
head (1,2,2) body (2,3,2,3)
estimated blow-up 1077.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 36825.82sec 413.77sec -- 43097 2911152
htl 14.82sec 414.87sec -- 1328 22127
str 23.47sec 416.10sec -- 1392 20027

test35/test_35.20_5_0.1_2_2.2_3_3_1.2.7 nlp wc
35 lines 1633 bytes
head (1,2,2) body (2,3,3,1)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.60sec 29.48sec 100000 253 5630
htl 3.58sec 415.89sec -- 565 8234
str 3.61sec 415.50sec -- 565 7581

test35/test_35.20_5_0.1_2_2.2_3_3_2.8.3 nlp wc
34 lines 2322 bytes
head (1,2,2) body (2,3,3,2)
estimated blow-up 8.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.85sec 0.72sec 651 606 19287
htl 6.30sec 413.41sec -- 810 11965
str 6.78sec 413.67sec -- 810 11035

test35/test_35.20_5_0.1_2_2.2_3_3_3.25.4 nlp wc
35 lines 3052 bytes
head (1,2,2) body (2,3,3,3)
estimated blow-up 25.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 46.61sec 3.17sec 848 1691 73167
htl 9.87sec 413.32sec -- 1082 16349
str 11.99sec 413.20sec -- 1082 15008

test35/test_35.20_5_0.1_2_2.2_3_3_4.77.1 nlp wc
35 lines 3819 bytes
head (1,2,2) body (2,3,3,4)
estimated blow-up 77.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 368.40sec 27.31sec 401 4934 272950
htl 14.93sec 415.65sec -- 1361 20849
str 19.14sec 415.92sec -- 1361 19041

test35/test_35.20_5_0.1_2_2.3_3_3_1.1.5 nlp wc
35 lines 1325 bytes
head (1,2,2) body (3,3,3,1)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.04sec 0.20sec 946 131 3109
htl 1.90sec 416.70sec -- 303 4602
str 1.77sec 414.53sec -- 311 4195

test35/test_35.20_5_0.1_2_2.3_3_3_2.1.8 nlp wc
35 lines 1737 bytes
head (1,2,2) body (3,3,3,2)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.10sec 0.03sec 261 133 4174
htl 2.04sec 415.06sec -- 305 4951
str 2.15sec 415.47sec -- 317 4517

test35/test_35.20_5_0.1_2_2.3_3_3_3.2.0 nlp wc
35 lines 2066 bytes
head (1,2,2) body (3,3,3,3)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.04sec 0.05sec 243 131 4849
htl 1.77sec 413.72sec -- 306 5196
str 2.46sec 413.84sec -- 320 4719

test35/test_35.20_5_0.1_2_2.3_3_3_4.2.2 nlp wc
34 lines 2431 bytes
head (1,2,2) body (3,3,3,4)
estimated blow-up 2.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.47sec 0.01sec 30 128 5791
htl 1.72sec 414.04sec -- 300 5408
str 2.54sec 414.16sec -- 316 4880

test35/test_35.20_5_0.1_3_1.1_1_1_1.1.3 nlp wc
55 lines 2746 bytes
head (1,3,1) body (1,1,1,1)
estimated blow-up 1.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.61sec 0.02sec 34 227 4712
htl 3.94sec 0.16sec 34 587 9276
str 5.08sec 0.27sec 34 589 8030

test35/test_35.20_5_0.1_3_1.1_1_1_2.1.5 nlp wc
55 lines 2989 bytes
head (1,3,1) body (1,1,1,2)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.63sec 0.34sec 600 243 5914
htl 4.39sec 265.32sec 600 624 10056
str 5.55sec 334.14sec 600 628 8759

test35/test_35.20_5_0.1_3_1.1_1_1_3.1.8 nlp wc
53 lines 3057 bytes
head (1,3,1) body (1,1,1,3)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.94sec 0.02sec 30 234 6395
htl 4.29sec 413.04sec -- 613 9982
str 5.55sec 414.09sec -- 617 8657

test35/test_35.20_5_0.1_3_1.1_1_1_4.2.0 nlp wc
55 lines 3203 bytes
head (1,3,1) body (1,1,1,4)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.59sec 0.03sec 72 233 7236
htl 4.34sec 414.92sec -- 610 10054
str 5.96sec 414.87sec -- 618 8756

test35/test_35.20_5_0.1_3_1.1_2_1_1.6.4 nlp wc
55 lines 3381 bytes
head (1,3,1) body (1,2,1,1)
estimated blow-up 6.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 7.49sec 0.56sec 292 657 17845
htl 5.97sec 98.66sec 292 746 12162
str 7.78sec 101.07sec 292 772 10888

test35/test_35.20_5_0.1_3_1.1_2_1_2.34.2 nlp wc
55 lines 4029 bytes
head (1,3,1) body (1,2,1,2)
estimated blow-up 34.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 70.78sec 0.48sec 3 2107 85458
htl 7.02sec 388.89sec 3 839 14112
str 10.54sec 414.95sec -- 889 12730

test35/test_35.20_5_0.1_3_1.1_2_1_3.162.4 nlp wc
55 lines 4920 bytes
head (1,3,1) body (1,2,1,3)
estimated blow-up 162.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1125.87sec 41.42sec 454 8536 473155
htl 8.92sec 417.03sec -- 967 16815
str 15.01sec 435.28sec -- 1025 14852

test35/test_35.20_5_0.1_3_1.1_2_1_4.729.4 nlp wc
55 lines 5452 bytes
head (1,3,1) body (1,2,1,4)
estimated blow-up 729.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 18704.62sec 330.77sec 132 33193 2146851
htl 10.73sec 434.01sec -- 1086 18826
str 18.35sec 414.08sec -- 1148 16795

test35/test_35.20_5_0.1_3_1.1_2_2_1.2.3 nlp wc
55 lines 2968 bytes
head (1,3,1) body (1,2,2,1)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.97sec 0.02sec 16 368 7789
htl 4.76sec 0.04sec 16 660 10476
str 5.59sec 0.04sec 16 660 9098

test35/test_35.20_5_0.1_3_1.1_2_2_2.5.2 nlp wc
55 lines 3192 bytes
head (1,3,1) body (1,2,2,2)
estimated blow-up 5.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.95sec 0.08sec 0 626 16080
htl 5.23sec 2.98sec 0 699 11178
str 6.50sec 3.01sec 0 699 9699

test35/test_35.20_5_0.1_3_1.1_2_2_3.11.7 nlp wc
55 lines 3457 bytes
head (1,3,1) body (1,2,2,3)
estimated blow-up 11.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 21.58sec 1.43sec 695 1173 35721
htl 5.97sec 100.18sec 695 771 12338
str 7.77sec 116.24sec 695 771 10780

test35/test_35.20_5_0.1_3_1.1_2_2_4.25.8 nlp wc
55 lines 3793 bytes
head (1,3,1) body (1,2,2,4)
estimated blow-up 25.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 76.64sec 2.07sec 146 2249 85367
htl 7.05sec 154.86sec 146 853 13844
str 9.38sec 390.80sec 146 853 11967

test35/test_35.20_5_0.1_3_1.1_3_1_1.55.4 nlp wc
55 lines 4307 bytes
head (1,3,1) body (1,3,1,1)
estimated blow-up 55.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 144.94sec 4.20sec 383 3077 117102
htl 7.31sec 134.87sec 383 858 14748
str 11.08sec 149.91sec 383 896 12902

test35/test_35.20_5_0.1_3_1.1_3_1_2.1771.2 nlp wc
55 lines 6111 bytes
head (1,3,1) body (1,3,1,2)
estimated blow-up 1771.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 85334.27sec 366.10sec -- 71292 4203248
htl 10.68sec 361.18sec -- 1141 20617
str 18.40sec 358.47sec -- 1195 17476

test35/test_35.20_5_0.1_3_1.1_3_2_1.15.7 nlp wc
55 lines 3636 bytes
head (1,3,1) body (1,3,2,1)
estimated blow-up 15.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 22.67sec 0.40sec 4 1303 36412
htl 5.25sec 0.13sec 4 777 12852
str 7.46sec 0.12sec 4 807 11427

test35/test_35.20_5_0.1_3_1.1_3_2_2.187.1 nlp wc
55 lines 4683 bytes
head (1,3,1) body (1,3,2,2)
estimated blow-up 187.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1446.01sec 20.96sec 74 10570 438721
htl 7.33sec 10.41sec 74 928 15933
str 11.43sec 12.63sec 74 976 14091

test35/test_35.20_5_0.1_3_1.1_3_2_3.1963.9 nlp wc
55 lines 5645 bytes
head (1,3,1) body (1,3,2,3)
estimated blow-up 1963.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 99876.53sec 359.61sec -- 85072 4588511
htl 8.99sec 25.68sec 37 1073 18872
str 15.57sec 33.49sec 37 1137 16573

test35/test_35.20_5_0.1_3_1.1_3_3_1.3.2 nlp wc
55 lines 3060 bytes
head (1,3,1) body (1,3,3,1)
estimated blow-up 3.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.79sec 0.02sec 2 500 10564
htl 4.21sec 0.02sec 2 700 11167
str 5.59sec 0.02sec 2 700 9691

test35/test_35.20_5_0.1_3_1.1_3_3_2.10.6 nlp wc
55 lines 3487 bytes
head (1,3,1) body (1,3,3,2)
estimated blow-up 10.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 24.39sec 0.59sec 133 1360 36139
htl 5.27sec 1.22sec 133 790 12758
str 6.61sec 1.15sec 133 790 11085

test35/test_35.20_5_0.1_3_1.1_3_3_3.35.1 nlp wc
55 lines 3787 bytes
head (1,3,1) body (1,3,3,3)
estimated blow-up 35.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 162.95sec 3.50sec 10 3607 113915
htl 6.14sec 3.52sec 10 849 13789
str 8.30sec 3.82sec 10 849 12005

test35/test_35.20_5_0.1_3_1.1_3_3_4.113.3 nlp wc
53 lines 4145 bytes
head (1,3,1) body (1,3,3,4)
estimated blow-up 113.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1429.62sec 21.60sec 10 10517 390660
htl 7.02sec 5.30sec 10 937 15296
str 9.20sec 5.94sec 10 937 13327

test35/test_35.20_5_0.1_3_1.2_2_2_1.1.5 nlp wc
55 lines 2933 bytes
head (1,3,1) body (2,2,2,1)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.40sec 0.01sec 7 233 5492
htl 3.76sec 77.02sec 7 623 9972
str 4.75sec 88.11sec 7 627 8682

test35/test_35.20_5_0.1_3_1.2_2_2_2.2.0 nlp wc
53 lines 3073 bytes
head (1,3,1) body (2,2,2,2)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.52sec 0.06sec 126 233 6712
htl 3.64sec 358.60sec -- 603 9780
str 4.65sec 362.21sec -- 607 8519

test35/test_35.20_5_0.1_3_1.2_2_2_3.2.4 nlp wc
55 lines 3485 bytes
head (1,3,1) body (2,2,2,3)
estimated blow-up 2.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.71sec 0.06sec 48 238 8686
htl 3.70sec 359.76sec -- 606 10152
str 4.93sec 361.19sec -- 610 8774

test35/test_35.20_5_0.1_3_1.2_2_2_4.2.7 nlp wc
55 lines 3560 bytes
head (1,3,1) body (2,2,2,4)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.46sec 0.03sec 72 221 9227
htl 3.12sec 336.26sec 72 559 9519
str 4.46sec 360.56sec -- 571 8287

test35/test_35.20_5_0.1_3_1.2_3_2_1.16.3 nlp wc
55 lines 4012 bytes
head (1,3,1) body (2,3,2,1)
estimated blow-up 16.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 24.40sec 1.02sec 133 1327 44200
htl 7.21sec 346.14sec 133 955 15688
str 10.74sec 272.14sec 133 995 14192

test35/test_35.20_5_0.1_3_1.2_3_2_2.187.4 nlp wc
55 lines 5461 bytes
head (1,3,1) body (2,3,2,2)
estimated blow-up 187.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1614.38sec 41.95sec 34 11198 592744
htl 12.71sec 357.49sec -- 1290 21620
str 18.23sec 359.04sec -- 1344 19343

test35/test_35.20_5_0.1_3_1.2_3_2_3.1912.2 nlp wc
53 lines 6726 bytes
head (1,3,1) body (2,3,2,3)
estimated blow-up 1912.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 132745.93sec 355.93sec 38 93251 6571099
htl 17.65sec 358.34sec -- 1605 27125
str 29.54sec 359.31sec -- 1669 24216

test35/test_35.20_5_0.1_3_1.2_3_3_1.3.6 nlp wc
53 lines 3341 bytes
head (1,3,1) body (2,3,3,1)
estimated blow-up 3.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.24sec 0.10sec 62 504 13020
htl 6.30sec 2.61sec 62 868 13728
str 8.06sec 2.86sec 62 868 12063

test35/test_35.20_5_0.1_3_1.2_3_3_2.12.7 nlp wc
53 lines 4134 bytes
head (1,3,1) body (2,3,3,2)
estimated blow-up 12.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 24.85sec 0.73sec 23 1325 49187
htl 9.58sec 359.19sec -- 1118 17703
str 12.27sec 361.23sec -- 1118 15665

test35/test_35.20_5_0.1_3_1.2_3_3_3.41.9 nlp wc
55 lines 4759 bytes
head (1,3,1) body (2,3,3,3)
estimated blow-up 41.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 180.58sec 5.51sec 118 3689 172512
htl 13.56sec 359.91sec -- 1377 21684
str 17.68sec 358.25sec -- 1377 19379

test35/test_35.20_5_0.1_3_1.2_3_3_4.134.6 nlp wc
55 lines 5496 bytes
head (1,3,1) body (2,3,3,4)
estimated blow-up 134.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1775.14sec 65.46sec 75 11439 656099
htl 18.79sec 360.54sec -- 1646 25920
str 25.89sec 362.81sec -- 1646 23329

test35/test_35.20_5_0.1_3_1.3_3_3_1.1.8 nlp wc
55 lines 3067 bytes
head (1,3,1) body (3,3,3,1)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.61sec 0.19sec 503 243 6542
htl 3.78sec 359.38sec -- 630 10215
str 4.83sec 361.13sec -- 632 8857

test35/test_35.20_5_0.1_3_1.3_3_3_2.2.4 nlp wc
55 lines 3436 bytes
head (1,3,1) body (3,3,3,2)
estimated blow-up 2.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.58sec 0.02sec 45 235 8464
htl 3.91sec 359.37sec -- 612 10235
str 5.22sec 358.95sec -- 618 8890

test35/test_35.20_5_0.1_3_1.3_3_3_3.2.9 nlp wc
55 lines 3834 bytes
head (1,3,1) body (3,3,3,3)
estimated blow-up 2.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.76sec 0.03sec 72 241 10716
htl 3.82sec 361.02sec -- 631 10868
str 5.37sec 365.13sec -- 635 9320

test35/test_35.20_5_0.1_3_1.3_3_3_4.3.3 nlp wc
53 lines 4100 bytes
head (1,3,1) body (3,3,3,4)
estimated blow-up 3.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.82sec 0.02sec 12 231 12053
htl 3.81sec 362.45sec -- 601 10620
str 5.51sec 364.46sec -- 609 9130

test35/test_35.20_5_0.1_3_2.1_1_1_1.1.2 nlp wc
45 lines 2188 bytes
head (1,3,2) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.98sec 21.31sec 100000 190 4032
htl 2.63sec 356.77sec -- 475 7346
str 3.01sec 363.54sec -- 479 6479

test35/test_35.20_5_0.1_3_2.1_1_1_2.1.4 nlp wc
45 lines 2291 bytes
head (1,3,2) body (1,1,1,2)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.08sec 11.35sec 50305 184 4401
htl 2.57sec 361.73sec -- 469 7337
str 2.94sec 360.96sec -- 473 6473

test35/test_35.20_5_0.1_3_2.1_1_1_3.1.6 nlp wc
45 lines 2361 bytes
head (1,3,2) body (1,1,1,3)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.19sec 0.08sec 648 177 4770
htl 2.52sec 357.53sec -- 452 7130
str 3.09sec 359.49sec -- 458 6324

test35/test_35.20_5_0.1_3_2.1_1_1_4.1.8 nlp wc
45 lines 2467 bytes
head (1,3,2) body (1,1,1,4)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.06sec 2.96sec 12487 185 5508
htl 2.40sec 363.18sec -- 465 7495
str 3.06sec 360.65sec -- 471 6610

test35/test_35.20_5_0.1_3_2.1_2_1_1.5.8 nlp wc
45 lines 2719 bytes
head (1,3,2) body (1,2,1,1)
estimated blow-up 5.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.82sec 37.96sec 100000 472 13123
htl 3.74sec 359.90sec -- 600 9683
str 4.69sec 360.19sec -- 630 8828

test35/test_35.20_5_0.1_3_2.1_2_1_2.29.3 nlp wc
45 lines 3530 bytes
head (1,3,2) body (1,2,1,2)
estimated blow-up 29.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 40.34sec 136.96sec 100000 1677 70397
htl 4.70sec 363.14sec -- 722 12164
str 7.02sec 360.06sec -- 772 11100

test35/test_35.20_5_0.1_3_2.1_2_1_3.135.2 nlp wc
45 lines 4178 bytes
head (1,3,2) body (1,2,1,3)
estimated blow-up 135.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 494.22sec 313.20sec 30711 6127 338125
htl 5.91sec 360.94sec -- 833 14337
str 8.71sec 361.99sec -- 883 12784

test35/test_35.20_5_0.1_3_2.1_2_1_4.594.6 nlp wc
45 lines 4926 bytes
head (1,3,2) body (1,2,1,4)
estimated blow-up 594.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 9269.58sec 360.98sec -- 25182 1708493
htl 7.35sec 359.70sec -- 955 16656
str 12.22sec 365.02sec -- 1011 14735

test35/test_35.20_5_0.1_3_2.1_2_2_1.2.1 nlp wc
45 lines 2304 bytes
head (1,3,2) body (1,2,2,1)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.61sec 25.44sec 100000 274 5927
htl 3.05sec 69.02sec 100000 527 8152
str 3.46sec 69.48sec 100000 527 7186

test35/test_35.20_5_0.1_3_2.1_2_2_2.4.7 nlp wc
44 lines 2582 bytes
head (1,3,2) body (1,2,2,2)
estimated blow-up 4.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.89sec 39.16sec 100000 481 12797
htl 3.68sec 153.50sec 100000 593 9302
str 4.25sec 144.48sec 100000 593 8171

test35/test_35.20_5_0.1_3_2.1_2_2_3.10.4 nlp wc
45 lines 2908 bytes
head (1,3,2) body (1,2,2,3)
estimated blow-up 10.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 11.09sec 51.17sec 100000 874 28555
htl 3.90sec 361.42sec -- 646 10302
str 5.04sec 359.74sec -- 646 8997

test35/test_35.20_5_0.1_3_2.1_2_2_4.22.3 nlp wc
45 lines 3159 bytes
head (1,3,2) body (1,2,2,4)
estimated blow-up 22.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 36.12sec 92.03sec 100000 1634 62689
htl 4.71sec 360.06sec -- 715 11475
str 6.25sec 358.34sec -- 715 9999

test35/test_35.20_5_0.1_3_2.1_3_1_1.47.1 nlp wc
45 lines 3686 bytes
head (1,3,2) body (1,3,1,1)
estimated blow-up 47.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 72.46sec 199.03sec 100000 2291 88611
htl 5.02sec 356.88sec -- 732 12549
str 7.11sec 356.90sec -- 770 11084

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