next up previous contents
Next: Subseries: 50 variables Up: Subseries: 45 variables Previous: Tables   Contents

Individual tests

test45/test_45.20_5_0.1_1_1.1_1_1_1.1.2 nlp wc
30 lines 608 bytes
head (1,1,1) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.89sec 0.05sec 1 92 1592
htl 1.34sec 0.08sec 1 174 2535
str 1.41sec 0.03sec 1 180 2306

test45/test_45.20_5_0.1_1_1.1_1_1_2.1.3 nlp wc
30 lines 760 bytes
head (1,1,1) body (1,1,1,2)
estimated blow-up 1.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.95sec 0.01sec 1 90 1856
htl 1.69sec 0.01sec 1 172 2666
str 1.66sec 0.05sec 1 192 2580

test45/test_45.20_5_0.1_1_1.1_1_1_3.1.4 nlp wc
30 lines 865 bytes
head (1,1,1) body (1,1,1,3)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.18sec 0.00sec 1 92 2090
htl 1.81sec 0.01sec 1 168 2699
str 2.08sec 0.60sec 1 196 2732

test45/test_45.20_5_0.1_1_1.1_1_1_4.1.5 nlp wc
30 lines 949 bytes
head (1,1,1) body (1,1,1,4)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.51sec 0.00sec 1 86 2166
htl 1.66sec 0.03sec 1 174 2840
str 2.15sec 3.62sec 1 208 2952

test45/test_45.20_5_0.1_1_1.1_2_1_1.4.7 nlp wc
30 lines 1182 bytes
head (1,1,1) body (1,2,1,1)
estimated blow-up 4.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.66sec 0.09sec 1 234 5194
htl 2.90sec 0.04sec 1 318 5119
str 3.62sec 0.11sec 1 350 4765

test45/test_45.20_5_0.1_1_1.1_2_1_2.20.4 nlp wc
30 lines 1832 bytes
head (1,1,1) body (1,2,1,2)
estimated blow-up 20.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 15.61sec 0.64sec 1 694 23897
htl 4.78sec 855.42sec -- 458 7585
str 6.14sec 774.02sec -- 504 7162

test45/test_45.20_5_0.1_1_1.1_2_1_3.85.3 nlp wc
30 lines 2673 bytes
head (1,1,1) body (1,2,1,3)
estimated blow-up 85.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 203.28sec 12.88sec 0 2642 130827
htl 6.96sec 5.95sec 0 570 9997
str 10.73sec 774.10sec -- 632 9150

test45/test_45.20_5_0.1_1_1.1_2_1_4.350.0 nlp wc
30 lines 3425 bytes
head (1,1,1) body (1,2,1,4)
estimated blow-up 350.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2931.65sec 271.16sec 2 9950 631215
htl 9.48sec 771.89sec -- 698 12579
str 15.20sec 772.31sec -- 778 11433

test45/test_45.20_5_0.1_1_1.1_2_2_1.1.8 nlp wc
30 lines 738 bytes
head (1,1,1) body (1,2,2,1)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.78sec 0.00sec 0 128 2231
htl 2.28sec 0.00sec 0 249 3695
str 2.50sec 0.08sec 0 251 3214

test45/test_45.20_5_0.1_1_1.1_2_2_2.3.7 nlp wc
30 lines 1043 bytes
head (1,1,1) body (1,2,2,2)
estimated blow-up 3.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.95sec 0.10sec 1 214 4538
htl 2.83sec 0.47sec 1 334 5091
str 3.29sec 96.57sec 1 334 4424

test45/test_45.20_5_0.1_1_1.1_2_2_3.7.4 nlp wc
30 lines 1277 bytes
head (1,1,1) body (1,2,2,3)
estimated blow-up 7.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.47sec 0.05sec 1 364 9342
htl 3.81sec 7.56sec 1 385 5911
str 4.27sec 35.73sec 1 385 5210

test45/test_45.20_5_0.1_1_1.1_2_2_4.15.0 nlp wc
30 lines 1585 bytes
head (1,1,1) body (1,2,2,4)
estimated blow-up 15.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 14.79sec 0.74sec 1 674 21885
htl 4.96sec 12.67sec 1 452 7117
str 5.24sec 54.11sec 1 452 6209

test45/test_45.20_5_0.1_1_1.1_3_1_1.32.0 nlp wc
30 lines 2199 bytes
head (1,1,1) body (1,3,1,1)
estimated blow-up 32.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 30.09sec 0.56sec 1 974 31738
htl 5.13sec 0.09sec 1 464 8257
str 6.96sec 0.75sec 1 512 7320

test45/test_45.20_5_0.1_1_1.1_3_1_2.821.0 nlp wc
30 lines 3824 bytes
head (1,1,1) body (1,3,1,2)
estimated blow-up 821.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 13294.31sec 620.66sec 1 20398 1114566
htl 10.26sec 301.23sec 1 737 13682
str 16.72sec 774.04sec -- 797 11697

test45/test_45.20_5_0.1_1_1.1_3_2_1.10.2 nlp wc
30 lines 1529 bytes
head (1,1,1) body (1,3,2,1)
estimated blow-up 10.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.59sec 0.11sec 2 416 9746
htl 3.55sec 0.09sec 2 372 6241
str 5.06sec 0.06sec 2 418 5855

test45/test_45.20_5_0.1_1_1.1_3_2_2.97.7 nlp wc
30 lines 2501 bytes
head (1,1,1) body (1,3,2,2)
estimated blow-up 97.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 275.43sec 14.24sec 0 3144 114237
htl 6.36sec 1.25sec 0 522 9132
str 9.58sec 2.07sec 0 586 8477

test45/test_45.20_5_0.1_1_1.1_3_2_3.905.0 nlp wc
30 lines 3599 bytes
head (1,1,1) body (1,3,2,3)
estimated blow-up 905.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 25942.05sec 778.32sec -- 28440 1435706
htl 9.80sec 394.28sec 1 688 12593
str 15.74sec 773.14sec -- 760 11235

test45/test_45.20_5_0.1_1_1.1_3_3_1.2.3 nlp wc
30 lines 858 bytes
head (1,1,1) body (1,3,3,1)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.83sec 0.01sec 1 168 2868
htl 2.50sec 0.08sec 1 266 4085
str 2.73sec 0.03sec 1 266 3469

test45/test_45.20_5_0.1_1_1.1_3_3_2.6.5 nlp wc
30 lines 1271 bytes
head (1,1,1) body (1,3,3,2)
estimated blow-up 6.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.15sec 0.07sec 1 408 8825
htl 4.33sec 0.04sec 1 375 5819
str 3.97sec 0.01sec 1 375 4990

test45/test_45.20_5_0.1_1_1.1_3_3_3.19.1 nlp wc
30 lines 1621 bytes
head (1,1,1) body (1,3,3,3)
estimated blow-up 19.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 33.49sec 1.72sec 1 1084 28902
htl 4.53sec 43.37sec 1 459 7197
str 5.27sec 59.38sec 1 459 6292

test45/test_45.20_5_0.1_1_1.1_3_3_4.56.6 nlp wc
30 lines 2031 bytes
head (1,1,1) body (1,3,3,4)
estimated blow-up 56.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 286.51sec 20.71sec 1 3234 106592
htl 5.93sec 773.41sec -- 531 8582
str 7.40sec 773.61sec -- 531 7442

test45/test_45.20_5_0.1_1_1.2_2_2_1.1.3 nlp wc
30 lines 709 bytes
head (1,1,1) body (2,2,2,1)
estimated blow-up 1.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.18sec 0.07sec 0 86 1683
htl 2.22sec 0.00sec 0 162 2435
str 2.19sec 0.05sec 0 178 2367

test45/test_45.20_5_0.1_1_1.2_2_2_2.1.5 nlp wc
30 lines 1007 bytes
head (1,1,1) body (2,2,2,2)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.32sec 0.04sec 1 92 2292
htl 2.20sec 0.01sec 1 174 2886
str 2.46sec 3.19sec 1 206 2951

test45/test_45.20_5_0.1_1_1.2_2_2_3.1.6 nlp wc
30 lines 1293 bytes
head (1,1,1) body (2,2,2,3)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.25sec 0.04sec 1 84 2629
htl 2.00sec 0.04sec 1 148 2743
str 2.24sec 0.33sec 1 196 3008

test45/test_45.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.82sec 0.00sec 1 88 3034
htl 2.11sec 0.04sec 1 170 3211
str 2.71sec 6.02sec 1 218 3410

test45/test_45.20_5_0.1_1_1.2_3_2_1.9.2 nlp wc
30 lines 1803 bytes
head (1,1,1) body (2,3,2,1)
estimated blow-up 9.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 7.04sec 0.25sec 0 432 11879
htl 6.39sec 340.02sec 0 566 8942
str 7.92sec 774.18sec -- 602 8358

test45/test_45.20_5_0.1_1_1.2_3_2_2.85.6 nlp wc
30 lines 3169 bytes
head (1,1,1) body (2,3,2,2)
estimated blow-up 85.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 297.61sec 22.65sec 1 3228 151276
htl 13.95sec 773.24sec -- 900 14859
str 18.52sec 773.32sec -- 964 13817

test45/test_45.20_5_0.1_1_1.2_3_2_3.782.3 nlp wc
30 lines 4453 bytes
head (1,1,1) body (2,3,2,3)
estimated blow-up 782.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 22046.84sec 773.97sec -- 27150 1772074
htl 22.78sec 773.63sec -- 1215 20235
str 35.22sec 774.00sec -- 1285 18578

test45/test_45.20_5_0.1_1_1.2_3_3_1.2.2 nlp wc
30 lines 1141 bytes
head (1,1,1) body (2,3,3,1)
estimated blow-up 2.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.09sec 0.09sec 1 172 3534
htl 4.87sec 0.24sec 1 449 6501
str 4.58sec 1.23sec 1 449 5872

test45/test_45.20_5_0.1_1_1.2_3_3_2.6.3 nlp wc
30 lines 1936 bytes
head (1,1,1) body (2,3,3,2)
estimated blow-up 6.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.77sec 0.24sec 1 396 12503
htl 9.09sec 774.04sec -- 691 10514
str 9.86sec 773.61sec -- 691 9480

test45/test_45.20_5_0.1_1_1.2_3_3_3.18.6 nlp wc
30 lines 2709 bytes
head (1,1,1) body (2,3,3,3)
estimated blow-up 18.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 40.36sec 2.79sec 0 1132 49036
htl 15.81sec 773.28sec -- 984 15245
str 17.89sec 773.92sec -- 984 13743

test45/test_45.20_5_0.1_1_1.2_3_3_4.55.4 nlp wc
30 lines 3297 bytes
head (1,1,1) body (2,3,3,4)
estimated blow-up 55.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 303.37sec 31.10sec 0 3240 170301
htl 23.66sec 774.55sec -- 1238 19104
str 28.50sec 771.97sec -- 1238 17319

test45/test_45.20_5_0.1_1_1.3_3_3_1.1.4 nlp wc
30 lines 847 bytes
head (1,1,1) body (3,3,3,1)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.74sec 0.08sec 1 90 2016
htl 1.62sec 0.00sec 1 160 2559
str 2.09sec 0.50sec 1 188 2620

test45/test_45.20_5_0.1_1_1.3_3_3_2.1.6 nlp wc
30 lines 1215 bytes
head (1,1,1) body (3,3,3,2)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.45sec 0.04sec 1 90 2661
htl 1.76sec 0.08sec 1 166 2962
str 2.59sec 2.27sec 1 208 3145

test45/test_45.20_5_0.1_1_1.3_3_3_3.1.7 nlp wc
30 lines 1541 bytes
head (1,1,1) body (3,3,3,3)
estimated blow-up 1.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.83sec 0.06sec 1 92 3279
htl 2.37sec 0.08sec 1 168 3299
str 2.87sec 5.90sec 1 204 3307

test45/test_45.20_5_0.1_1_1.3_3_3_4.1.7 nlp wc
30 lines 1946 bytes
head (1,1,1) body (3,3,3,4)
estimated blow-up 1.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.99sec 0.00sec 1 88 3801
htl 2.16sec 0.05sec 1 170 3604
str 3.12sec 6.04sec 1 214 3623

test45/test_45.20_5_0.1_2_1.1_1_1_1.1.2 nlp wc
40 lines 1537 bytes
head (1,2,1) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.34sec 0.10sec 160 161 3108
htl 4.59sec 17.47sec 160 400 5998
str 4.91sec 18.02sec 160 402 5302

test45/test_45.20_5_0.1_2_1.1_1_1_2.1.5 nlp wc
40 lines 1670 bytes
head (1,2,1) body (1,1,1,2)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.38sec 0.04sec 52 168 3689
htl 4.39sec 774.27sec -- 418 6441
str 4.99sec 778.16sec -- 428 5832

test45/test_45.20_5_0.1_2_1.1_1_1_3.1.6 nlp wc
40 lines 1809 bytes
head (1,2,1) body (1,1,1,3)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.20sec 0.01sec 42 159 4094
htl 4.27sec 342.86sec 42 397 6279
str 4.91sec 344.61sec 42 413 5691

test45/test_45.20_5_0.1_2_1.1_1_1_4.1.8 nlp wc
40 lines 1904 bytes
head (1,2,1) body (1,1,1,4)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.33sec 0.09sec 24 158 4413
htl 4.53sec 772.80sec -- 399 6345
str 5.15sec 774.29sec -- 413 5739

test45/test_45.20_5_0.1_2_1.1_2_1_1.5.8 nlp wc
40 lines 2136 bytes
head (1,2,1) body (1,2,1,1)
estimated blow-up 5.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.55sec 0.46sec 488 408 10517
htl 6.42sec 426.78sec 488 531 8464
str 8.19sec 397.96sec 488 563 7801

test45/test_45.20_5_0.1_2_1.1_2_1_2.28.5 nlp wc
40 lines 2892 bytes
head (1,2,1) body (1,2,1,2)
estimated blow-up 28.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 54.17sec 1.91sec 96 1318 52741
htl 8.60sec 777.92sec -- 643 10849
str 12.35sec 774.95sec -- 701 10095

test45/test_45.20_5_0.1_2_1.1_2_1_3.128.0 nlp wc
40 lines 3556 bytes
head (1,2,1) body (1,2,1,3)
estimated blow-up 128.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 694.29sec 44.05sec 16 4958 262329
htl 10.97sec 774.31sec -- 767 13197
str 16.43sec 773.98sec -- 825 12012

test45/test_45.20_5_0.1_2_1.1_2_1_4.551.4 nlp wc
40 lines 4358 bytes
head (1,2,1) body (1,2,1,4)
estimated blow-up 551.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 10986.84sec 631.36sec 7 19562 1303815
htl 14.18sec 772.93sec -- 892 15781
str 22.11sec 772.37sec -- 970 14315

test45/test_45.20_5_0.1_2_1.1_2_2_1.2.1 nlp wc
40 lines 1701 bytes
head (1,2,1) body (1,2,2,1)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.15sec 0.04sec 11 236 4777
htl 5.19sec 0.03sec 11 470 7133
str 5.61sec 0.21sec 11 470 6289

test45/test_45.20_5_0.1_2_1.1_2_2_2.4.7 nlp wc
40 lines 1939 bytes
head (1,2,1) body (1,2,2,2)
estimated blow-up 4.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.94sec 0.05sec 35 386 9315
htl 6.17sec 40.00sec 35 522 8021
str 6.66sec 43.05sec 35 522 7106

test45/test_45.20_5_0.1_2_1.1_2_2_3.10.1 nlp wc
40 lines 2157 bytes
head (1,2,1) body (1,2,2,3)
estimated blow-up 10.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 16.29sec 0.58sec 18 711 20379
htl 6.93sec 773.61sec -- 576 8872
str 8.37sec 773.18sec -- 576 7880

test45/test_45.20_5_0.1_2_1.1_2_2_4.21.4 nlp wc
40 lines 2488 bytes
head (1,2,1) body (1,2,2,4)
estimated blow-up 21.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 51.57sec 2.61sec 48 1313 46333
htl 8.60sec 773.44sec -- 653 10346
str 9.39sec 772.86sec -- 653 9126

test45/test_45.20_5_0.1_2_1.1_3_1_1.45.5 nlp wc
40 lines 2956 bytes
head (1,2,1) body (1,3,1,1)
estimated blow-up 45.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 95.49sec 1.98sec 126 1801 64144
htl 8.97sec 628.43sec 126 662 11167
str 11.93sec 773.25sec -- 698 9926

test45/test_45.20_5_0.1_2_1.1_3_1_2.1316.6 nlp wc
40 lines 4710 bytes
head (1,2,1) body (1,3,1,2)
estimated blow-up 1316.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 53256.07sec 772.62sec -- 39033 2295927
htl 14.85sec 772.24sec -- 928 16879
str 23.35sec 773.65sec -- 988 14605

test45/test_45.20_5_0.1_2_1.1_3_2_1.13.6 nlp wc
40 lines 2500 bytes
head (1,2,1) body (1,3,2,1)
estimated blow-up 13.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 19.13sec 0.59sec 108 790 21598
htl 7.55sec 1.58sec 108 572 9463
str 9.48sec 1.92sec 108 616 8758

test45/test_45.20_5_0.1_2_1.1_3_2_2.147.3 nlp wc
40 lines 3438 bytes
head (1,2,1) body (1,3,2,2)
estimated blow-up 147.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1142.37sec 29.45sec 52 6503 262216
htl 10.25sec 23.47sec 52 736 12662
str 15.40sec 44.58sec 52 798 11629

test45/test_45.20_5_0.1_2_1.1_3_2_3.1458.0 nlp wc
40 lines 4611 bytes
head (1,2,1) body (1,3,2,3)
estimated blow-up 1458.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 94463.74sec 773.01sec -- 51950 2799845
htl 14.37sec 772.97sec -- 911 16308
str 24.69sec 772.92sec -- 987 14559

test45/test_45.20_5_0.1_2_1.1_3_3_1.2.9 nlp wc
40 lines 1803 bytes
head (1,2,1) body (1,3,3,1)
estimated blow-up 2.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.36sec 0.21sec 128 311 6294
htl 5.41sec 0.57sec 128 493 7582
str 6.08sec 0.89sec 128 493 6678

test45/test_45.20_5_0.1_2_1.1_3_3_2.9.1 nlp wc
40 lines 2224 bytes
head (1,2,1) body (1,3,3,2)
estimated blow-up 9.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 19.44sec 0.57sec 37 796 20101
htl 6.72sec 1.01sec 37 578 9055
str 8.19sec 1.10sec 37 578 7981

test45/test_45.20_5_0.1_2_1.1_3_3_3.28.5 nlp wc
40 lines 2552 bytes
head (1,2,1) body (1,3,3,3)
estimated blow-up 28.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 131.39sec 7.61sec 21 2163 65261
htl 8.49sec 157.55sec 21 658 10408
str 10.17sec 230.06sec 21 658 9194

test45/test_45.20_5_0.1_2_1.1_3_3_4.88.4 nlp wc
39 lines 2916 bytes
head (1,2,1) body (1,3,3,4)
estimated blow-up 88.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1086.27sec 44.07sec 0 6375 229895
htl 10.41sec 0.09sec 0 737 11910
str 12.47sec 0.07sec 0 737 10459

test45/test_45.20_5_0.1_2_1.2_2_2_1.1.5 nlp wc
39 lines 1610 bytes
head (1,2,1) body (2,2,2,1)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.13sec 0.08sec 0 155 3493
htl 4.05sec 0.01sec 0 384 5849
str 4.39sec 0.01sec 0 398 5339

test45/test_45.20_5_0.1_2_1.2_2_2_2.1.8 nlp wc
39 lines 1843 bytes
head (1,2,1) body (2,2,2,2)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.31sec 0.08sec 0 161 4340
htl 3.99sec 0.08sec 0 393 6260
str 4.71sec 0.05sec 0 403 5593

test45/test_45.20_5_0.1_2_1.2_2_2_3.2.1 nlp wc
40 lines 2237 bytes
head (1,2,1) body (2,2,2,3)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.53sec 0.09sec 40 166 5541
htl 4.64sec 773.29sec -- 410 6772
str 5.24sec 773.88sec -- 432 6208

test45/test_45.20_5_0.1_2_1.2_2_2_4.2.3 nlp wc
40 lines 2491 bytes
head (1,2,1) body (2,2,2,4)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.65sec 0.01sec 32 162 6305
htl 4.63sec 773.21sec -- 400 6835
str 6.00sec 774.44sec -- 424 6254

test45/test_45.20_5_0.1_2_1.2_3_2_1.13.3 nlp wc
40 lines 2770 bytes
head (1,2,1) body (2,3,2,1)
estimated blow-up 13.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 20.94sec 0.59sec 69 806 25117
htl 11.18sec 774.36sec -- 769 12333
str 13.21sec 774.24sec -- 809 11457

test45/test_45.20_5_0.1_2_1.2_3_2_2.138.9 nlp wc
40 lines 4087 bytes
head (1,2,1) body (2,3,2,2)
estimated blow-up 138.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1147.36sec 77.19sec 40 6395 320401
htl 19.67sec 773.25sec -- 1089 17959
str 28.29sec 772.91sec -- 1145 16517

test45/test_45.20_5_0.1_2_1.2_3_2_3.1339.8 nlp wc
40 lines 5460 bytes
head (1,2,1) body (2,3,2,3)
estimated blow-up 1339.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 113138.35sec 772.62sec -- 57458 4008713
htl 31.97sec 774.19sec -- 1446 24142
str 50.90sec 773.81sec -- 1524 22132

test45/test_45.20_5_0.1_2_1.2_3_3_1.3.1 nlp wc
40 lines 2084 bytes
head (1,2,1) body (2,3,3,1)
estimated blow-up 3.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.47sec 0.22sec 114 323 7605
htl 8.70sec 764.76sec 114 675 10222
str 9.29sec 775.09sec -- 675 9205

test45/test_45.20_5_0.1_2_1.2_3_3_2.9.9 nlp wc
40 lines 2886 bytes
head (1,2,1) body (2,3,3,2)
estimated blow-up 9.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 21.12sec 1.38sec 194 808 28153
htl 14.60sec 775.79sec -- 947 14658
str 16.89sec 785.29sec -- 947 13222

test45/test_45.20_5_0.1_2_1.2_3_3_3.30.9 nlp wc
40 lines 3504 bytes
head (1,2,1) body (2,3,3,3)
estimated blow-up 30.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 134.05sec 10.17sec 7 2107 98051
htl 21.14sec 779.62sec -- 1162 18120
str 26.24sec 774.54sec -- 1162 16353

test45/test_45.20_5_0.1_2_1.2_3_3_4.95.3 nlp wc
40 lines 4210 bytes
head (1,2,1) body (2,3,3,4)
estimated blow-up 95.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1145.48sec 84.97sec 10 6375 356498
htl 31.51sec 777.07sec -- 1443 22425
str 37.70sec 775.50sec -- 1443 20426

test45/test_45.20_5_0.1_2_1.3_3_3_1.1.6 nlp wc
40 lines 1818 bytes
head (1,2,1) body (3,3,3,1)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.47sec 0.03sec 20 157 4069
htl 4.47sec 773.28sec -- 392 6164
str 4.89sec 773.53sec -- 410 5660

test45/test_45.20_5_0.1_2_1.3_3_3_2.2.1 nlp wc
40 lines 2195 bytes
head (1,2,1) body (3,3,3,2)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.30sec 0.01sec 16 165 5517
htl 4.83sec 773.58sec -- 406 6711
str 5.42sec 773.80sec -- 428 6166

test45/test_45.20_5_0.1_2_1.3_3_3_3.2.4 nlp wc
40 lines 2577 bytes
head (1,2,1) body (3,3,3,3)
estimated blow-up 2.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.89sec 0.09sec 28 163 6791
htl 4.36sec 773.97sec -- 398 6931
str 5.79sec 773.83sec -- 420 6271

test45/test_45.20_5_0.1_2_1.3_3_3_4.2.6 nlp wc
40 lines 2920 bytes
head (1,2,1) body (3,3,3,4)
estimated blow-up 2.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.97sec 0.02sec 32 170 7989
htl 5.09sec 773.57sec -- 417 7503
str 6.41sec 773.94sec -- 437 6724

test45/test_45.20_5_0.1_2_2.1_1_1_1.1.2 nlp wc
35 lines 1108 bytes
head (1,2,2) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.94sec 42.19sec 100000 144 2681
htl 3.57sec 772.87sec -- 334 4872
str 3.63sec 773.47sec -- 334 4357

test45/test_45.20_5_0.1_2_2.1_1_1_2.1.4 nlp wc
35 lines 1237 bytes
head (1,2,2) body (1,1,1,2)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.63sec 0.68sec 1521 135 2868
htl 3.16sec 774.67sec -- 307 4563
str 3.56sec 775.07sec -- 317 4226

test45/test_45.20_5_0.1_2_2.1_1_1_3.1.5 nlp wc
35 lines 1340 bytes
head (1,2,2) body (1,1,1,3)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.73sec 0.02sec 216 129 3108
htl 3.09sec 773.78sec -- 301 4578
str 3.37sec 773.93sec -- 319 4334

test45/test_45.20_5_0.1_2_2.1_1_1_4.1.6 nlp wc
35 lines 1396 bytes
head (1,2,2) body (1,1,1,4)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.16sec 0.11sec 315 130 3424
htl 3.30sec 773.83sec -- 293 4631
str 3.64sec 773.84sec -- 309 4291

test45/test_45.20_5_0.1_2_2.1_2_1_1.5.3 nlp wc
35 lines 1750 bytes
head (1,2,2) body (1,2,1,1)
estimated blow-up 5.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.54sec 13.36sec 24208 322 8088
htl 4.87sec 773.94sec -- 445 6979
str 5.59sec 773.28sec -- 479 6651

test45/test_45.20_5_0.1_2_2.1_2_1_2.24.8 nlp wc
35 lines 2350 bytes
head (1,2,2) body (1,2,1,2)
estimated blow-up 24.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 32.32sec 32.65sec 19225 1014 36926
htl 7.10sec 774.30sec -- 570 9224
str 8.83sec 774.06sec -- 608 8587

test45/test_45.20_5_0.1_2_2.1_2_1_3.108.3 nlp wc
35 lines 3243 bytes
head (1,2,2) body (1,2,1,3)
estimated blow-up 108.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 447.45sec 29.60sec 3366 3937 208765
htl 9.66sec 776.79sec -- 686 11819
str 14.45sec 774.56sec -- 750 10913

test45/test_45.20_5_0.1_2_2.1_2_1_4.457.5 nlp wc
35 lines 3740 bytes
head (1,2,2) body (1,2,1,4)
estimated blow-up 457.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5575.26sec 289.34sec 534 13479 865908
htl 12.21sec 782.04sec -- 803 13818
str 17.97sec 780.51sec -- 869 12734

test45/test_45.20_5_0.1_2_2.1_2_2_1.2.0 nlp wc
35 lines 1242 bytes
head (1,2,2) body (1,2,2,1)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.49sec 46.11sec 100000 197 3734
htl 3.99sec 410.45sec 100000 394 5796
str 4.50sec 407.02sec 100000 394 5222

test45/test_45.20_5_0.1_2_2.1_2_2_2.4.3 nlp wc
35 lines 1554 bytes
head (1,2,2) body (1,2,2,2)
estimated blow-up 4.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.17sec 48.37sec 100000 310 7236
htl 4.53sec 775.37sec -- 442 6570
str 4.83sec 774.36sec -- 442 5951

test45/test_45.20_5_0.1_2_2.1_2_2_3.9.0 nlp wc
35 lines 1783 bytes
head (1,2,2) body (1,2,2,3)
estimated blow-up 9.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 10.84sec 2.81sec 2023 557 15518
htl 5.97sec 778.65sec -- 517 7792
str 5.97sec 777.87sec -- 517 7058

test45/test_45.20_5_0.1_2_2.1_2_2_4.18.6 nlp wc
35 lines 2115 bytes
head (1,2,2) body (1,2,2,4)
estimated blow-up 18.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 32.44sec 46.16sec 54763 1035 36355
htl 6.96sec 773.27sec -- 566 8812
str 7.42sec 773.80sec -- 566 7877

test45/test_45.20_5_0.1_2_2.1_3_1_1.39.3 nlp wc
35 lines 2683 bytes
head (1,2,2) body (1,3,1,1)
estimated blow-up 39.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 66.05sec 38.24sec 19759 1464 51798
htl 7.33sec 775.08sec -- 584 9950
str 10.17sec 774.14sec -- 626 8947

test45/test_45.20_5_0.1_2_2.1_3_1_2.1084.2 nlp wc
35 lines 4238 bytes
head (1,2,2) body (1,3,1,2)
estimated blow-up 1084.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 24150.66sec 772.39sec -- 29436 1714887
htl 13.01sec 772.03sec -- 839 15113
str 20.46sec 772.54sec -- 899 13261

test45/test_45.20_5_0.1_2_2.1_3_2_1.12.1 nlp wc
35 lines 2008 bytes
head (1,2,2) body (1,3,2,1)
estimated blow-up 12.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 12.74sec 84.32sec 100000 630 16008
htl 5.88sec 306.83sec 100000 491 7866
str 7.13sec 335.65sec 100000 533 7494

test45/test_45.20_5_0.1_2_2.1_3_2_2.124.6 nlp wc
35 lines 3095 bytes
head (1,2,2) body (1,3,2,2)
estimated blow-up 124.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 675.84sec 711.65sec 100000 4959 197302
htl 8.74sec 774.63sec -- 665 11438
str 13.97sec 774.92sec -- 735 10761

test45/test_45.20_5_0.1_2_2.1_3_2_3.1200.7 nlp wc
35 lines 4090 bytes
head (1,2,2) body (1,3,2,3)
estimated blow-up 1200.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 50162.07sec 773.05sec -- 40869 2160620
htl 12.93sec 774.31sec -- 828 14658
str 20.38sec 773.85sec -- 902 13266

test45/test_45.20_5_0.1_2_2.1_3_3_1.2.7 nlp wc
35 lines 1296 bytes
head (1,2,2) body (1,3,3,1)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.66sec 45.96sec 100000 242 4459
htl 4.00sec 137.03sec 100000 383 5546
str 4.18sec 205.06sec 100000 383 5041

test45/test_45.20_5_0.1_2_2.1_3_3_2.8.1 nlp wc
35 lines 1764 bytes
head (1,2,2) body (1,3,3,2)
estimated blow-up 8.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 11.49sec 60.60sec 100000 592 13976
htl 5.67sec 773.85sec -- 485 7350
str 6.04sec 773.52sec -- 485 6644

test45/test_45.20_5_0.1_2_2.1_3_3_3.24.6 nlp wc
35 lines 2133 bytes
head (1,2,2) body (1,3,3,3)
estimated blow-up 24.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 74.31sec 139.84sec 100000 1621 47118
htl 7.53sec 774.39sec -- 583 9050
str 8.11sec 773.44sec -- 583 8109

test45/test_45.20_5_0.1_2_2.1_3_3_4.74.8 nlp wc
35 lines 2437 bytes
head (1,2,2) body (1,3,3,4)
estimated blow-up 74.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 539.34sec 95.10sec 30180 4447 152852
htl 8.30sec 773.11sec -- 639 10042
str 9.39sec 773.97sec -- 639 8961

test45/test_45.20_5_0.1_2_2.2_2_2_1.1.4 nlp wc
35 lines 1222 bytes
head (1,2,2) body (2,2,2,1)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.76sec 0.13sec 351 134 2840
htl 3.60sec 772.74sec -- 309 4617
str 3.11sec 772.77sec -- 319 4265

test45/test_45.20_5_0.1_2_2.2_2_2_2.1.6 nlp wc
35 lines 1478 bytes
head (1,2,2) body (2,2,2,2)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.66sec 0.12sec 303 138 3554
htl 3.09sec 773.49sec -- 316 4948
str 3.81sec 773.94sec -- 328 4551

test45/test_45.20_5_0.1_2_2.2_2_2_3.1.8 nlp wc
34 lines 1745 bytes
head (1,2,2) body (2,2,2,3)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.09sec 0.01sec 54 139 4222
htl 2.96sec 772.97sec -- 317 5165
str 3.96sec 773.42sec -- 333 4761

test45/test_45.20_5_0.1_2_2.2_2_2_4.2.0 nlp wc
35 lines 2021 bytes
head (1,2,2) body (2,2,2,4)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.32sec 0.03sec 243 134 4798
htl 3.43sec 772.52sec -- 306 5210
str 4.24sec 772.50sec -- 328 4858

test45/test_45.20_5_0.1_2_2.2_3_2_1.11.5 nlp wc
35 lines 2223 bytes
head (1,2,2) body (2,3,2,1)
estimated blow-up 11.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 12.69sec 27.89sec 17624 612 17974
htl 8.66sec 772.43sec -- 661 10292
str 10.48sec 772.54sec -- 691 9678

test45/test_45.20_5_0.1_2_2.2_3_2_2.114.4 nlp wc
35 lines 3761 bytes
head (1,2,2) body (2,3,2,2)
estimated blow-up 114.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 630.35sec 38.68sec 129 4736 237672
htl 16.91sec 772.27sec -- 996 16447
str 24.81sec 772.73sec -- 1058 15239

test45/test_45.20_5_0.1_2_2.2_3_2_3.1077.6 nlp wc
35 lines 5137 bytes
head (1,2,2) body (2,3,2,3)
estimated blow-up 1077.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 59023.19sec 774.04sec -- 41897 2875739
htl 28.43sec 773.26sec -- 1350 22631
str 43.92sec 773.70sec -- 1418 20556

test45/test_45.20_5_0.1_2_2.2_3_3_1.2.7 nlp wc
35 lines 1653 bytes
head (1,2,2) body (2,3,3,1)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.35sec 54.14sec 100000 267 5970
htl 6.97sec 773.28sec -- 595 8788
str 7.49sec 773.72sec -- 595 8058

test45/test_45.20_5_0.1_2_2.2_3_3_2.8.3 nlp wc
34 lines 2337 bytes
head (1,2,2) body (2,3,3,2)
estimated blow-up 8.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 12.84sec 1.43sec 1137 612 19638
htl 11.92sec 773.63sec -- 840 12505
str 13.27sec 773.97sec -- 840 11546

test45/test_45.20_5_0.1_2_2.2_3_3_3.25.4 nlp wc
34 lines 3069 bytes
head (1,2,2) body (2,3,3,3)
estimated blow-up 25.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 87.85sec 6.18sec 297 1696 74356
htl 19.23sec 773.27sec -- 1106 16857
str 22.76sec 772.78sec -- 1106 15462

test45/test_45.20_5_0.1_2_2.2_3_3_4.77.1 nlp wc
35 lines 3866 bytes
head (1,2,2) body (2,3,3,4)
estimated blow-up 77.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 694.50sec 60.62sec 411 4938 277933
htl 28.75sec 773.39sec -- 1387 21418
str 35.50sec 773.17sec -- 1387 19536

test45/test_45.20_5_0.1_2_2.3_3_3_1.1.5 nlp wc
35 lines 1314 bytes
head (1,2,2) body (3,3,3,1)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.66sec 0.16sec 351 139 3267
htl 3.02sec 773.87sec -- 317 4871
str 3.63sec 773.53sec -- 323 4381

test45/test_45.20_5_0.1_2_2.3_3_3_2.1.8 nlp wc
35 lines 1731 bytes
head (1,2,2) body (3,3,3,2)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.10sec 0.11sec 297 140 4331
htl 3.35sec 773.43sec -- 318 5222
str 3.86sec 773.56sec -- 336 4858

test45/test_45.20_5_0.1_2_2.3_3_3_3.2.0 nlp wc
35 lines 2086 bytes
head (1,2,2) body (3,3,3,3)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.18sec 0.03sec 243 141 5154
htl 3.45sec 773.62sec -- 321 5531
str 4.50sec 774.46sec -- 343 5145

test45/test_45.20_5_0.1_2_2.3_3_3_4.2.2 nlp wc
34 lines 2452 bytes
head (1,2,2) body (3,3,3,4)
estimated blow-up 2.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.18sec 0.23sec 81 144 6201
htl 3.46sec 774.43sec -- 328 5940
str 4.56sec 773.58sec -- 344 5365

test45/test_45.20_5_0.1_3_1.1_1_1_1.1.3 nlp wc
55 lines 2804 bytes
head (1,3,1) body (1,1,1,1)
estimated blow-up 1.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.95sec 0.18sec 224 238 4971
htl 8.31sec 27.75sec 224 611 9724
str 9.79sec 32.25sec 224 613 8440

test45/test_45.20_5_0.1_3_1.1_1_1_2.1.5 nlp wc
55 lines 2975 bytes
head (1,3,1) body (1,1,1,2)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.08sec 3.31sec 3798 249 6068
htl 8.46sec 773.30sec -- 632 10278
str 10.36sec 774.65sec -- 640 9012

test45/test_45.20_5_0.1_3_1.1_1_1_3.1.8 nlp wc
55 lines 3135 bytes
head (1,3,1) body (1,1,1,3)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.25sec 0.19sec 104 244 6724
htl 8.37sec 772.85sec -- 636 10465
str 10.22sec 772.13sec -- 646 9194

test45/test_45.20_5_0.1_3_1.1_1_1_4.2.0 nlp wc
55 lines 3241 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.11sec 118 243 7522
htl 8.71sec 774.04sec -- 635 10549
str 11.27sec 772.78sec -- 645 9223

test45/test_45.20_5_0.1_3_1.1_2_1_1.6.4 nlp wc
55 lines 3413 bytes
head (1,3,1) body (1,2,1,1)
estimated blow-up 6.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 14.80sec 2.48sec 778 675 18470
htl 11.81sec 773.74sec -- 789 12959
str 15.22sec 773.76sec -- 815 11599

test45/test_45.20_5_0.1_3_1.1_2_1_2.34.2 nlp wc
55 lines 4140 bytes
head (1,3,1) body (1,2,1,2)
estimated blow-up 34.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 147.51sec 4.16sec 20 2237 92135
htl 13.95sec 773.89sec -- 889 15088
str 20.93sec 773.90sec -- 941 13652

test45/test_45.20_5_0.1_3_1.1_2_1_3.162.4 nlp wc
55 lines 4896 bytes
head (1,3,1) body (1,2,1,3)
estimated blow-up 162.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1975.09sec 66.98sec 94 8430 465527
htl 17.11sec 774.00sec -- 993 17336
str 27.20sec 773.63sec -- 1055 15445

test45/test_45.20_5_0.1_3_1.1_2_1_4.729.4 nlp wc
55 lines 5477 bytes
head (1,3,1) body (1,2,1,4)
estimated blow-up 729.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 30610.36sec 772.60sec -- 32761 2176355
htl 21.18sec 774.44sec -- 1123 19598
str 34.77sec 772.50sec -- 1191 17549

test45/test_45.20_5_0.1_3_1.1_2_2_1.2.3 nlp wc
55 lines 3010 bytes
head (1,3,1) body (1,2,2,1)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.49sec 1.12sec 968 384 8217
htl 9.62sec 44.13sec 968 714 11497
str 11.54sec 45.61sec 968 714 10006

test45/test_45.20_5_0.1_3_1.1_2_2_2.5.2 nlp wc
53 lines 3235 bytes
head (1,3,1) body (1,2,2,2)
estimated blow-up 5.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 13.83sec 0.23sec 25 653 16914
htl 10.60sec 417.13sec 25 751 12117
str 13.27sec 615.07sec 25 751 10550

test45/test_45.20_5_0.1_3_1.1_2_2_3.11.7 nlp wc
55 lines 3495 bytes
head (1,3,1) body (1,2,2,3)
estimated blow-up 11.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 41.10sec 7.06sec 1659 1190 36602
htl 12.33sec 774.52sec -- 822 13323
str 14.56sec 780.96sec -- 822 11651

test45/test_45.20_5_0.1_3_1.1_2_2_4.25.8 nlp wc
55 lines 3835 bytes
head (1,3,1) body (1,2,2,4)
estimated blow-up 25.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 151.61sec 10.53sec 511 2298 87781
htl 14.29sec 774.37sec -- 891 14607
str 17.96sec 779.52sec -- 891 12646

test45/test_45.20_5_0.1_3_1.1_3_1_1.55.4 nlp wc
55 lines 4335 bytes
head (1,3,1) body (1,3,1,1)
estimated blow-up 55.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 274.19sec 15.29sec 881 3092 117802
htl 14.21sec 773.73sec -- 891 15427
str 20.63sec 774.10sec -- 933 13551

test45/test_45.20_5_0.1_3_1.1_3_1_2.1771.2 nlp wc
55 lines 6193 bytes
head (1,3,1) body (1,3,1,2)
estimated blow-up 1771.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 155168.69sec 774.33sec -- 73519 4436368
htl 23.30sec 772.91sec -- 1185 21571
str 40.50sec 773.19sec -- 1247 18469

test45/test_45.20_5_0.1_3_1.1_3_2_1.15.7 nlp wc
55 lines 3700 bytes
head (1,3,1) body (1,3,2,1)
estimated blow-up 15.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 50.74sec 1.06sec 38 1325 37515
htl 12.49sec 17.12sec 38 814 13616
str 16.19sec 18.37sec 38 846 12180

test45/test_45.20_5_0.1_3_1.1_3_2_2.187.1 nlp wc
55 lines 4724 bytes
head (1,3,1) body (1,3,2,2)
estimated blow-up 187.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3121.61sec 134.62sec 1115 10434 440911
htl 16.71sec 774.93sec -- 977 16892
str 26.07sec 774.81sec -- 1035 15128

test45/test_45.20_5_0.1_3_1.1_3_2_3.1963.9 nlp wc
55 lines 5734 bytes
head (1,3,1) body (1,3,2,3)
estimated blow-up 1963.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 292749.90sec 772.74sec -- 96435 5293584
htl 20.97sec 773.69sec -- 1131 20082
str 35.38sec 774.11sec -- 1205 17804

test45/test_45.20_5_0.1_3_1.1_3_3_1.3.2 nlp wc
55 lines 3094 bytes
head (1,3,1) body (1,3,3,1)
estimated blow-up 3.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 9.13sec 0.42sec 243 511 10905
htl 10.40sec 0.96sec 243 721 11621
str 12.47sec 1.97sec 243 721 10096

test45/test_45.20_5_0.1_3_1.1_3_3_2.10.6 nlp wc
55 lines 3503 bytes
head (1,3,1) body (1,3,3,2)
estimated blow-up 10.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 52.56sec 2.74sec 372 1362 36303
htl 12.37sec 35.08sec 372 814 13259
str 15.21sec 35.66sec 372 814 11526

test45/test_45.20_5_0.1_3_1.1_3_3_3.35.1 nlp wc
55 lines 3862 bytes
head (1,3,1) body (1,3,3,3)
estimated blow-up 35.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 392.71sec 17.96sec 444 3798 121583
htl 14.91sec 350.53sec 444 889 14559
str 18.93sec 412.16sec 444 889 12674

test45/test_45.20_5_0.1_3_1.1_3_3_4.113.3 nlp wc
53 lines 4184 bytes
head (1,3,1) body (1,3,3,4)
estimated blow-up 113.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3095.71sec 107.45sec 58 10528 395536
htl 16.25sec 773.55sec -- 970 15981
str 20.33sec 773.92sec -- 970 13933

test45/test_45.20_5_0.1_3_1.2_2_2_1.1.5 nlp wc
55 lines 2956 bytes
head (1,3,1) body (2,2,2,1)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.34sec 0.10sec 23 242 5705
htl 8.40sec 773.33sec -- 633 10248
str 10.36sec 773.40sec -- 639 8933

test45/test_45.20_5_0.1_3_1.2_2_2_2.2.0 nlp wc
53 lines 3108 bytes
head (1,3,1) body (2,2,2,2)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.09sec 0.06sec 25 238 6965
htl 8.08sec 773.71sec -- 620 10163
str 10.65sec 774.23sec -- 630 8968

test45/test_45.20_5_0.1_3_1.2_2_2_3.2.4 nlp wc
55 lines 3528 bytes
head (1,3,1) body (2,2,2,3)
estimated blow-up 2.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.92sec 0.03sec 81 245 8891
htl 8.36sec 774.04sec -- 622 10494
str 11.61sec 774.91sec -- 636 9246

test45/test_45.20_5_0.1_3_1.2_2_2_4.2.7 nlp wc
55 lines 3758 bytes
head (1,3,1) body (2,2,2,4)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.28sec 0.04sec 135 244 10335
htl 8.87sec 773.54sec -- 636 10953
str 11.41sec 773.82sec -- 652 9605

test45/test_45.20_5_0.1_3_1.2_3_2_1.16.3 nlp wc
55 lines 4047 bytes
head (1,3,1) body (2,3,2,1)
estimated blow-up 16.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 53.94sec 4.67sec 1448 1347 44875
htl 16.59sec 773.07sec -- 987 16338
str 23.00sec 772.62sec -- 1033 14899

test45/test_45.20_5_0.1_3_1.2_3_2_2.187.4 nlp wc
55 lines 5462 bytes
head (1,3,1) body (2,3,2,2)
estimated blow-up 187.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3126.19sec 104.12sec 128 10662 568777
htl 27.33sec 773.30sec -- 1303 21987
str 42.31sec 772.61sec -- 1375 20004

test45/test_45.20_5_0.1_3_1.2_3_2_3.1912.2 nlp wc
53 lines 6791 bytes
head (1,3,1) body (2,3,2,3)
estimated blow-up 1912.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 358391.28sec 775.00sec -- 98535 7060508
htl 41.52sec 773.55sec -- 1654 28086
str 67.28sec 772.98sec -- 1734 25435

test45/test_45.20_5_0.1_3_1.2_3_3_1.3.6 nlp wc
53 lines 3433 bytes
head (1,3,1) body (2,3,3,1)
estimated blow-up 3.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 9.95sec 0.40sec 175 528 13810
htl 14.80sec 517.98sec 175 924 14795
str 18.10sec 523.35sec 175 924 13014

test45/test_45.20_5_0.1_3_1.2_3_3_2.12.7 nlp wc
53 lines 4159 bytes
head (1,3,1) body (2,3,3,2)
estimated blow-up 12.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 55.05sec 2.09sec 96 1348 50076
htl 21.65sec 773.38sec -- 1150 18315
str 27.23sec 773.99sec -- 1150 16256

test45/test_45.20_5_0.1_3_1.2_3_3_3.41.9 nlp wc
55 lines 4816 bytes
head (1,3,1) body (2,3,3,3)
estimated blow-up 41.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 391.73sec 15.78sec 553 3710 173987
htl 30.63sec 773.29sec -- 1419 22531
str 39.27sec 773.95sec -- 1419 20176

test45/test_45.20_5_0.1_3_1.2_3_3_4.134.6 nlp wc
55 lines 5528 bytes
head (1,3,1) body (2,3,3,4)
estimated blow-up 134.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3715.39sec 274.71sec 75 11289 658139
htl 42.49sec 774.05sec -- 1670 26437
str 54.96sec 773.96sec -- 1670 23769

test45/test_45.20_5_0.1_3_1.3_3_3_1.1.8 nlp wc
53 lines 3070 bytes
head (1,3,1) body (3,3,3,1)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.35sec 0.38sec 486 252 6781
htl 8.74sec 773.96sec -- 645 10526
str 11.34sec 773.23sec -- 655 9277

test45/test_45.20_5_0.1_3_1.3_3_3_2.2.4 nlp wc
55 lines 3474 bytes
head (1,3,1) body (3,3,3,2)
estimated blow-up 2.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.84sec 0.03sec 81 249 8851
htl 8.81sec 773.04sec -- 654 11041
str 11.32sec 772.72sec -- 662 9629

test45/test_45.20_5_0.1_3_1.3_3_3_3.2.9 nlp wc
55 lines 3864 bytes
head (1,3,1) body (3,3,3,3)
estimated blow-up 2.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.05sec 0.05sec 144 254 11230
htl 8.75sec 772.75sec -- 647 11256
str 11.65sec 773.50sec -- 657 9764

test45/test_45.20_5_0.1_3_1.3_3_3_4.3.3 nlp wc
53 lines 4020 bytes
head (1,3,1) body (3,3,3,4)
estimated blow-up 3.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.20sec 0.09sec 12 239 12324
htl 7.90sec 773.23sec -- 616 10990
str 11.46sec 773.75sec -- 628 9552

test45/test_45.20_5_0.1_3_2.1_1_1_1.1.2 nlp wc
45 lines 2203 bytes
head (1,3,2) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.52sec 50.70sec 100000 204 4362
htl 6.07sec 772.77sec -- 509 7960
str 6.91sec 465.62sec 100000 517 7123

test45/test_45.20_5_0.1_3_2.1_1_1_2.1.4 nlp wc
45 lines 2317 bytes
head (1,3,2) body (1,1,1,2)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.88sec 47.88sec 100000 192 4631
htl 5.95sec 772.39sec -- 480 7576
str 6.88sec 772.58sec -- 488 6766

test45/test_45.20_5_0.1_3_2.1_1_1_3.1.6 nlp wc
45 lines 2396 bytes
head (1,3,2) body (1,1,1,3)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.83sec 0.73sec 1380 195 5211
htl 6.33sec 773.10sec -- 498 7943
str 6.98sec 773.35sec -- 504 7099

test45/test_45.20_5_0.1_3_2.1_1_1_4.1.8 nlp wc
45 lines 2515 bytes
head (1,3,2) body (1,1,1,4)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.80sec 7.23sec 14364 198 5846
htl 6.54sec 772.89sec -- 501 8152
str 7.54sec 778.72sec -- 509 7246

test45/test_45.20_5_0.1_3_2.1_2_1_1.5.8 nlp wc
45 lines 2748 bytes
head (1,3,2) body (1,2,1,1)
estimated blow-up 5.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 8.89sec 69.38sec 100000 487 13586
htl 8.63sec 778.21sec -- 618 10069
str 10.71sec 773.24sec -- 650 9213

test45/test_45.20_5_0.1_3_2.1_2_1_2.29.3 nlp wc
45 lines 3562 bytes
head (1,3,2) body (1,2,1,2)
estimated blow-up 29.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 87.54sec 211.34sec 100000 1698 71717
htl 10.87sec 773.66sec -- 764 12986
str 15.97sec 774.81sec -- 820 11941

test45/test_45.20_5_0.1_3_2.1_2_1_3.135.2 nlp wc
45 lines 4226 bytes
head (1,3,2) body (1,2,1,3)
estimated blow-up 135.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1161.73sec 773.65sec -- 6384 356529
htl 13.93sec 773.13sec -- 860 14887
str 21.30sec 773.81sec -- 922 13540

test45/test_45.20_5_0.1_3_2.1_2_1_4.594.6 nlp wc
44 lines 4910 bytes
head (1,3,2) body (1,2,1,4)
estimated blow-up 594.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 19573.61sec 809.84sec -- 24241 1649473
htl 17.80sec 811.70sec -- 985 17248
str 29.55sec 812.13sec -- 1049 15451

test45/test_45.20_5_0.1_3_2.1_2_2_1.2.1 nlp wc
45 lines 2326 bytes
head (1,3,2) body (1,2,2,1)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.91sec 58.68sec 100000 292 6352
htl 7.23sec 721.05sec 100000 567 8883
str 8.00sec 367.74sec 100000 567 7839

test45/test_45.20_5_0.1_3_2.1_2_2_2.4.7 nlp wc
44 lines 2620 bytes
head (1,3,2) body (1,2,2,2)
estimated blow-up 4.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 8.77sec 70.28sec 100000 491 13235
htl 8.18sec 804.96sec -- 617 9792
str 9.66sec 814.89sec -- 617 8598

test45/test_45.20_5_0.1_3_2.1_2_2_3.10.4 nlp wc
45 lines 2930 bytes
head (1,3,2) body (1,2,2,3)
estimated blow-up 10.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 26.23sec 116.07sec 100000 889 29187
htl 9.60sec 820.31sec -- 686 11059
str 11.33sec 815.04sec -- 686 9678

test45/test_45.20_5_0.1_3_2.1_2_2_4.22.3 nlp wc
45 lines 3190 bytes
head (1,3,2) body (1,2,2,4)
estimated blow-up 22.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 88.49sec 232.67sec 100000 1688 64837
htl 11.97sec 829.44sec -- 758 12296
str 15.21sec 837.54sec -- 758 10749

test45/test_45.20_5_0.1_3_2.1_3_1_1.47.1 nlp wc
45 lines 3708 bytes
head (1,3,2) body (1,3,1,1)
estimated blow-up 47.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 177.86sec 418.66sec 100000 2315 89473
htl 13.62sec 921.60sec -- 772 13300
str 16.58sec 805.85sec -- 812 11827

test45/test_45.20_5_0.1_3_2.1_3_1_2.1431.3 nlp wc
45 lines 5414 bytes
head (1,3,2) body (1,3,1,2)
estimated blow-up 1431.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 79907.12sec 812.00sec -- 49487 3033645
htl 18.49sec 807.88sec -- 1007 18327
str 30.29sec 803.71sec -- 1073 15963

test45/test_45.20_5_0.1_3_2.1_3_2_1.13.8 nlp wc
45 lines 3077 bytes
head (1,3,2) body (1,3,2,1)
estimated blow-up 13.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 27.14sec 120.73sec 100000 942 27495
htl 9.06sec 461.84sec 100000 658 11022
str 12.55sec 801.58sec -- 708 10190

test45/test_45.20_5_0.1_3_2.1_3_2_2.156.1 nlp wc
45 lines 4124 bytes
head (1,3,2) body (1,3,2,2)
estimated blow-up 156.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1693.40sec 813.10sec -- 7679 329303
htl 13.87sec 813.01sec -- 823 14303
str 22.46sec 812.53sec -- 897 13213

test45/test_45.20_5_0.1_3_2.1_3_2_3.1590.6 nlp wc
45 lines 5153 bytes
head (1,3,2) body (1,3,2,3)
estimated blow-up 1590.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 142607.03sec 930.01sec -- 63458 3580326
htl 19.92sec 933.77sec -- 981 17522
str 33.19sec 932.32sec -- 1065 15815

test45/test_45.20_5_0.1_3_2.1_3_3_1.3.0 nlp wc
45 lines 2423 bytes
head (1,3,2) body (1,3,3,1)
estimated blow-up 3.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.84sec 76.99sec 100000 391 8550
htl 8.41sec 181.60sec 100000 592 9301
str 10.26sec 178.47sec 100000 592 8211

test45/test_45.20_5_0.1_3_2.1_3_3_2.9.5 nlp wc
45 lines 2830 bytes
head (1,3,2) body (1,3,3,2)
estimated blow-up 9.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 34.09sec 156.84sec 100000 986 26830
htl 10.48sec 272.44sec 100000 668 10713
str 13.23sec 899.76sec 100000 668 9380

test45/test_45.20_5_0.1_3_2.1_3_3_3.30.5 nlp wc
45 lines 3258 bytes
head (1,3,2) body (1,3,3,3)
estimated blow-up 30.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 239.47sec 341.90sec 100000 2667 89514
htl 13.62sec 956.77sec -- 756 12321
str 16.13sec 866.28sec -- 756 10762

test45/test_45.20_5_0.1_3_2.1_3_3_4.96.1 nlp wc
45 lines 3646 bytes
head (1,3,2) body (1,3,3,4)
estimated blow-up 96.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1848.70sec 812.52sec -- 7848 308075
htl 14.04sec 815.24sec -- 830 13643
str 17.05sec 808.61sec -- 830 11883

test45/test_45.20_5_0.1_3_2.2_2_2_1.1.4 nlp wc
45 lines 2266 bytes
head (1,3,2) body (2,2,2,1)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.66sec 52.39sec 100000 200 4709
htl 5.74sec 803.27sec -- 498 7850
str 6.77sec 805.63sec -- 506 7046

test45/test_45.20_5_0.1_3_2.2_2_2_2.1.8 nlp wc
45 lines 2570 bytes
head (1,3,2) body (2,2,2,2)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.01sec 6.46sec 12022 200 5812
htl 5.87sec 815.31sec -- 503 8194
str 8.15sec 841.40sec -- 511 7287

test45/test_45.20_5_0.1_3_2.2_2_2_3.2.1 nlp wc
45 lines 2866 bytes
head (1,3,2) body (2,2,2,3)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.25sec 0.38sec 523 203 7200
htl 6.62sec 849.17sec -- 511 8568
str 7.81sec 868.58sec -- 519 7575

test45/test_45.20_5_0.1_3_2.2_2_2_4.2.3 nlp wc
44 lines 3115 bytes
head (1,3,2) body (2,2,2,4)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.94sec 0.03sec 120 194 8120
htl 6.15sec 806.10sec -- 499 8556
str 8.16sec 813.08sec -- 517 7677

test45/test_45.20_5_0.1_3_2.2_3_2_1.14.0 nlp wc
45 lines 3454 bytes
head (1,3,2) body (2,3,2,1)
estimated blow-up 14.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 33.26sec 374.86sec 100000 995 34122
htl 13.57sec 823.61sec -- 858 14062
str 18.70sec 829.67sec -- 904 12993

test45/test_45.20_5_0.1_3_2.2_3_2_2.152.2 nlp wc
45 lines 4694 bytes
head (1,3,2) body (2,3,2,2)
estimated blow-up 152.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1753.23sec 784.96sec 7600 7284 391292
htl 25.58sec 920.91sec -- 1160 19339
str 40.94sec 942.72sec -- 1224 17789

test45/test_45.20_5_0.1_3_2.2_3_2_3.1510.1 nlp wc
45 lines 6038 bytes
head (1,3,2) body (2,3,2,3)
estimated blow-up 1510.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 162911.42sec 812.95sec -- 67506 4822953
htl 37.62sec 810.45sec -- 1499 25206
str 59.56sec 818.21sec -- 1571 22936

test45/test_45.20_5_0.1_3_2.2_3_3_1.3.2 nlp wc
45 lines 2730 bytes
head (1,3,2) body (2,3,3,1)
estimated blow-up 3.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.48sec 94.63sec 100000 397 10186
htl 11.47sec 816.82sec -- 776 12070
str 13.79sec 815.03sec -- 776 10815

test45/test_45.20_5_0.1_3_2.2_3_3_2.10.7 nlp wc
45 lines 3516 bytes
head (1,3,2) body (2,3,3,2)
estimated blow-up 10.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 33.21sec 198.21sec 66179 996 36811
htl 18.21sec 818.97sec -- 1019 16007
str 23.14sec 813.34sec -- 1019 14363

test45/test_45.20_5_0.1_3_2.2_3_3_3.34.4 nlp wc
45 lines 4161 bytes
head (1,3,2) body (2,3,3,3)
estimated blow-up 34.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 232.65sec 105.68sec 39689 2720 131856
htl 27.02sec 811.56sec -- 1271 19951
str 33.98sec 817.44sec -- 1271 18004

test45/test_45.20_5_0.1_3_2.2_3_3_4.108.0 nlp wc
45 lines 4982 bytes
head (1,3,2) body (2,3,3,4)
estimated blow-up 108.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2039.68sec 375.05sec 13406 8124 493150
htl 39.27sec 813.84sec -- 1528 24292
str 51.30sec 813.31sec -- 1528 21853

test45/test_45.20_5_0.1_3_2.3_3_3_1.1.6 nlp wc
45 lines 2426 bytes
head (1,3,2) body (3,3,3,1)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.52sec 2.47sec 4860 197 5261
htl 5.83sec 810.02sec -- 499 7999
str 7.50sec 815.82sec -- 503 7075

test45/test_45.20_5_0.1_3_2.3_3_3_2.2.1 nlp wc
45 lines 2822 bytes
head (1,3,2) body (3,3,3,2)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.96sec 0.67sec 1296 196 6951
htl 6.16sec 811.43sec -- 489 8181
str 8.23sec 816.80sec -- 501 7279

test45/test_45.20_5_0.1_3_2.3_3_3_3.2.5 nlp wc
45 lines 3131 bytes
head (1,3,2) body (3,3,3,3)
estimated blow-up 2.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.00sec 0.30sec 603 205 8550
htl 6.20sec 810.31sec -- 517 8915
str 8.74sec 809.86sec -- 521 7794

test45/test_45.20_5_0.1_3_2.3_3_3_4.2.7 nlp wc
45 lines 3476 bytes
head (1,3,2) body (3,3,3,4)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.30sec 0.36sec 648 196 9672
htl 5.91sec 813.50sec -- 497 8854
str 8.75sec 816.69sec -- 511 7850

test45/test_45.20_5_0.1_3_3.1_1_1_1.1.2 nlp wc
40 lines 1565 bytes
head (1,3,3) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.70sec 47.93sec 100000 170 3375
htl 4.48sec 813.69sec -- 393 5808
str 4.60sec 816.15sec -- 397 5331

test45/test_45.20_5_0.1_3_3.1_1_1_2.1.4 nlp wc
40 lines 1674 bytes
head (1,3,3) body (1,1,1,2)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.94sec 88.23sec 100000 179 3957
htl 4.86sec 813.75sec -- 406 6149
str 4.46sec 813.57sec -- 408 5584

test45/test_45.20_5_0.1_3_3.1_1_1_3.1.6 nlp wc
39 lines 1742 bytes
head (1,3,3) body (1,1,1,3)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.20sec 53.14sec 100000 172 4150
htl 4.09sec 818.21sec -- 383 5854
str 4.47sec 812.95sec -- 391 5409

test45/test_45.20_5_0.1_3_3.1_1_1_4.1.7 nlp wc
40 lines 1919 bytes
head (1,3,3) body (1,1,1,4)
estimated blow-up 1.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.12sec 14.09sec 28437 172 4801
htl 4.73sec 815.80sec -- 394 6168
str 5.68sec 813.41sec -- 404 5694

test45/test_45.20_5_0.1_3_3.1_2_1_1.5.6 nlp wc
40 lines 2158 bytes
head (1,3,3) body (1,2,1,1)
estimated blow-up 5.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.86sec 83.41sec 100000 424 11002
htl 6.70sec 135.35sec 100000 533 8398
str 8.49sec 212.68sec 100000 569 8019

test45/test_45.20_5_0.1_3_3.1_2_1_2.27.5 nlp wc
40 lines 2889 bytes
head (1,3,3) body (1,2,1,2)
estimated blow-up 27.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 56.37sec 210.46sec 100000 1317 52148
htl 8.82sec 815.76sec -- 630 10391
str 11.83sec 813.00sec -- 684 9852

test45/test_45.20_5_0.1_3_3.1_2_1_3.123.9 nlp wc
40 lines 3586 bytes
head (1,3,3) body (1,2,1,3)
estimated blow-up 123.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 742.96sec 817.02sec -- 4904 259360
htl 11.52sec 812.93sec -- 753 12822
str 17.44sec 811.07sec -- 815 11873

test45/test_45.20_5_0.1_3_3.1_2_1_4.535.5 nlp wc
40 lines 4434 bytes
head (1,3,3) body (1,2,1,4)
estimated blow-up 535.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 13186.44sec 815.50sec -- 20334 1364948
htl 15.02sec 816.09sec -- 881 15469
str 25.31sec 811.41sec -- 961 14216

test45/test_45.20_5_0.1_3_3.1_2_2_1.2.1 nlp wc
40 lines 1679 bytes
head (1,3,3) body (1,2,2,1)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.15sec 54.77sec 100000 252 4990
htl 6.15sec 112.15sec 100000 465 6880
str 5.64sec 219.89sec 100000 465 6302

test45/test_45.20_5_0.1_3_3.1_2_2_2.4.6 nlp wc
40 lines 1984 bytes
head (1,3,3) body (1,2,2,2)
estimated blow-up 4.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.60sec 71.35sec 100000 414 10023
htl 6.85sec 818.42sec -- 519 7789
str 6.73sec 816.23sec -- 519 7122

test45/test_45.20_5_0.1_3_3.1_2_2_3.9.8 nlp wc
40 lines 2228 bytes
head (1,3,3) body (1,2,2,3)
estimated blow-up 9.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 17.39sec 102.47sec 100000 730 21524
htl 7.67sec 811.60sec -- 595 9106
str 8.51sec 813.10sec -- 595 8274

test45/test_45.20_5_0.1_3_3.1_2_2_4.20.8 nlp wc
40 lines 2482 bytes
head (1,3,3) body (1,2,2,4)
estimated blow-up 20.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 53.65sec 187.37sec 100000 1296 45374
htl 9.25sec 811.66sec -- 637 9890
str 10.05sec 817.90sec -- 637 8900

test45/test_45.20_5_0.1_3_3.1_3_1_1.43.9 nlp wc
40 lines 3127 bytes
head (1,3,3) body (1,3,1,1)
estimated blow-up 43.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 114.10sec 255.24sec 100000 1890 68967
htl 9.30sec 818.72sec -- 662 11241
str 13.01sec 812.34sec -- 708 10256

test45/test_45.20_5_0.1_3_3.1_3_1_2.1280.0 nlp wc
40 lines 4763 bytes
head (1,3,3) body (1,3,1,2)
estimated blow-up 1280.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 60391.38sec 816.39sec -- 43053 2550791
htl 16.16sec 813.82sec -- 907 16396
str 26.45sec 816.50sec -- 977 14501

test45/test_45.20_5_0.1_3_3.1_3_2_1.13.1 nlp wc
40 lines 2508 bytes
head (1,3,3) body (1,3,2,1)
estimated blow-up 13.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 20.36sec 109.12sec 100000 788 21403
htl 6.98sec 447.54sec 100000 566 9254
str 9.94sec 273.32sec 100000 622 8915

test45/test_45.20_5_0.1_3_3.1_3_2_2.142.9 nlp wc
40 lines 3443 bytes
head (1,3,3) body (1,3,2,2)
estimated blow-up 142.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1097.81sec 812.28sec -- 6108 247096
htl 10.85sec 813.32sec -- 720 12181
str 16.16sec 812.59sec -- 778 11333

test45/test_45.20_5_0.1_3_3.1_3_2_3.1420.6 nlp wc
40 lines 4517 bytes
head (1,3,3) body (1,3,2,3)
estimated blow-up 1420.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 100769.99sec 813.20sec -- 56080 3007508
htl 14.80sec 811.66sec -- 877 15436
str 25.74sec 810.95sec -- 953 14110

test45/test_45.20_5_0.1_3_3.1_3_3_1.2.8 nlp wc
40 lines 1755 bytes
head (1,3,3) body (1,3,3,1)
estimated blow-up 2.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.59sec 58.56sec 100000 319 6272
htl 5.78sec 118.89sec 100000 480 7155
str 6.20sec 120.61sec 100000 480 6540

test45/test_45.20_5_0.1_3_3.1_3_3_2.9.0 nlp wc
40 lines 2197 bytes
head (1,3,3) body (1,3,3,2)
estimated blow-up 9.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 18.91sec 96.77sec 100000 769 19078
htl 7.30sec 647.42sec 100000 558 8519
str 7.85sec 404.43sec 100000 558 7715

test45/test_45.20_5_0.1_3_3.1_3_3_3.28.1 nlp wc
40 lines 2577 bytes
head (1,3,3) body (1,3,3,3)
estimated blow-up 28.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 139.28sec 179.20sec 100000 2171 66746
htl 8.53sec 814.98sec -- 642 10067
str 10.48sec 811.40sec -- 642 9049

test45/test_45.20_5_0.1_3_3.1_3_3_4.87.1 nlp wc
39 lines 2909 bytes
head (1,3,3) body (1,3,3,4)
estimated blow-up 87.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1115.36sec 812.94sec -- 6272 224683
htl 10.52sec 812.83sec -- 730 11507
str 13.14sec 813.22sec -- 730 10342

test45/test_45.20_5_0.1_3_3.2_2_2_1.1.4 nlp wc
39 lines 1637 bytes
head (1,3,3) body (2,2,2,1)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.21sec 49.49sec 100000 170 3699
htl 4.37sec 817.29sec -- 389 5866
str 4.99sec 818.17sec -- 393 5361

test45/test_45.20_5_0.1_3_3.2_2_2_2.1.7 nlp wc
40 lines 1897 bytes
head (1,3,3) body (2,2,2,2)
estimated blow-up 1.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.28sec 48.65sec 100000 178 4686
htl 4.63sec 820.32sec -- 404 6317
str 5.12sec 812.63sec -- 414 5860

test45/test_45.20_5_0.1_3_3.2_2_2_3.2.0 nlp wc
40 lines 2193 bytes
head (1,3,3) body (2,2,2,3)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.17sec 0.15sec 501 163 5374
htl 4.31sec 811.04sec -- 379 6103
str 4.91sec 811.81sec -- 399 5776

test45/test_45.20_5_0.1_3_3.2_2_2_4.2.2 nlp wc
38 lines 2383 bytes
head (1,3,3) body (2,2,2,4)
estimated blow-up 2.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.76sec 0.13sec 623 172 6239
htl 4.63sec 814.83sec -- 398 6612
str 5.37sec 811.72sec -- 408 6025

test45/test_45.20_5_0.1_3_3.2_3_2_1.13.0 nlp wc
39 lines 2800 bytes
head (1,3,3) body (2,3,2,1)
estimated blow-up 13.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 21.60sec 107.26sec 100000 794 25514
htl 10.35sec 812.57sec -- 744 11870
str 14.83sec 810.43sec -- 782 11122

test45/test_45.20_5_0.1_3_3.2_3_2_2.135.7 nlp wc
40 lines 4195 bytes
head (1,3,3) body (2,3,2,2)
estimated blow-up 135.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1172.54sec 813.05sec -- 6248 326182
htl 20.36sec 811.90sec -- 1082 17848
str 29.67sec 814.09sec -- 1152 16722

test45/test_45.20_5_0.1_1_1.1_1_1_1.1.2 nlp wc
30 lines 608 bytes
head (1,1,1) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.41sec 0.00sec 1 92 1592
htl 0.51sec 0.00sec 1 174 2535
str 0.59sec 0.03sec 1 180 2306

test45/test_45.20_5_0.1_1_1.1_1_1_2.1.3 nlp wc
30 lines 760 bytes
head (1,1,1) body (1,1,1,2)
estimated blow-up 1.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.48sec 0.00sec 1 90 1856
htl 0.57sec 0.00sec 1 172 2666
str 0.62sec 0.05sec 1 192 2580

test45/test_45.20_5_0.1_1_1.1_1_1_3.1.4 nlp wc
30 lines 865 bytes
head (1,1,1) body (1,1,1,3)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.39sec 0.00sec 1 92 2090
htl 0.54sec 0.00sec 1 168 2699
str 0.51sec 0.21sec 1 196 2732

test45/test_45.20_5_0.1_1_1.1_1_1_4.1.5 nlp wc
30 lines 949 bytes
head (1,1,1) body (1,1,1,4)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.49sec 0.00sec 1 86 2166
htl 0.55sec 0.00sec 1 174 2840
str 0.66sec 1.34sec 1 208 2952

test45/test_45.20_5_0.1_1_1.1_2_1_1.4.7 nlp wc
30 lines 1182 bytes
head (1,1,1) body (1,2,1,1)
estimated blow-up 4.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.89sec 0.03sec 1 234 5194
htl 0.97sec 0.01sec 1 318 5119
str 1.16sec 0.04sec 1 350 4765

test45/test_45.20_5_0.1_1_1.1_2_1_2.20.4 nlp wc
30 lines 1832 bytes
head (1,1,1) body (1,2,1,2)
estimated blow-up 20.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.51sec 0.29sec 1 694 23897
htl 1.67sec 275.85sec -- 458 7585
str 2.11sec 274.19sec -- 504 7162

test45/test_45.20_5_0.1_1_1.1_2_1_3.85.3 nlp wc
30 lines 2673 bytes
head (1,1,1) body (1,2,1,3)
estimated blow-up 85.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 70.53sec 4.37sec 0 2642 130827
htl 2.24sec 2.04sec 0 570 9997
str 3.56sec 269.08sec -- 632 9150

test45/test_45.20_5_0.1_1_1.1_2_1_4.350.0 nlp wc
30 lines 3425 bytes
head (1,1,1) body (1,2,1,4)
estimated blow-up 350.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 973.01sec 94.41sec 2 9950 631215
htl 3.18sec 271.05sec -- 698 12579
str 5.02sec 268.91sec -- 778 11433

test45/test_45.20_5_0.1_1_1.1_2_2_1.1.8 nlp wc
30 lines 738 bytes
head (1,1,1) body (1,2,2,1)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.53sec 0.00sec 0 128 2231
htl 0.72sec 0.00sec 0 249 3695
str 0.77sec 0.01sec 0 251 3214

test45/test_45.20_5_0.1_1_1.1_2_2_2.3.7 nlp wc
30 lines 1043 bytes
head (1,1,1) body (1,2,2,2)
estimated blow-up 3.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.80sec 0.01sec 1 214 4538
htl 1.00sec 0.17sec 1 334 5091
str 1.03sec 34.16sec 1 334 4424

test45/test_45.20_5_0.1_1_1.1_2_2_3.7.4 nlp wc
30 lines 1277 bytes
head (1,1,1) body (1,2,2,3)
estimated blow-up 7.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.91sec 0.06sec 1 364 9342
htl 1.32sec 2.59sec 1 385 5911
str 1.39sec 12.86sec 1 385 5210

test45/test_45.20_5_0.1_1_1.1_2_2_4.15.0 nlp wc
30 lines 1585 bytes
head (1,1,1) body (1,2,2,4)
estimated blow-up 15.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.15sec 0.28sec 1 674 21885
htl 1.64sec 4.59sec 1 452 7117
str 1.83sec 19.24sec 1 452 6209

test45/test_45.20_5_0.1_1_1.1_3_1_1.32.0 nlp wc
30 lines 2199 bytes
head (1,1,1) body (1,3,1,1)
estimated blow-up 32.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 10.39sec 0.19sec 1 974 31738
htl 1.67sec 0.05sec 1 464 8257
str 2.29sec 0.23sec 1 512 7320

test45/test_45.20_5_0.1_1_1.1_3_1_2.821.0 nlp wc
30 lines 3824 bytes
head (1,1,1) body (1,3,1,2)
estimated blow-up 821.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4388.99sec 217.76sec 1 20398 1114566
htl 3.44sec 105.87sec 1 737 13682
str 5.70sec 269.74sec -- 797 11697

test45/test_45.20_5_0.1_1_1.1_3_2_1.10.2 nlp wc
30 lines 1529 bytes
head (1,1,1) body (1,3,2,1)
estimated blow-up 10.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.24sec 0.03sec 2 416 9746
htl 1.33sec 0.01sec 2 372 6241
str 1.58sec 0.03sec 2 418 5855

test45/test_45.20_5_0.1_1_1.1_3_2_2.97.7 nlp wc
30 lines 2501 bytes
head (1,1,1) body (1,3,2,2)
estimated blow-up 97.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 95.38sec 5.02sec 0 3144 114237
htl 2.25sec 0.50sec 0 522 9132
str 3.09sec 0.74sec 0 586 8477

test45/test_45.20_5_0.1_1_1.1_3_2_3.905.0 nlp wc
30 lines 3599 bytes
head (1,1,1) body (1,3,2,3)
estimated blow-up 905.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 8650.00sec 271.44sec -- 28440 1435706
htl 3.05sec 137.38sec 1 688 12593
str 5.41sec 271.91sec -- 760 11235

test45/test_45.20_5_0.1_1_1.1_3_3_1.2.3 nlp wc
30 lines 858 bytes
head (1,1,1) body (1,3,3,1)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.64sec 0.00sec 1 168 2868
htl 0.83sec 0.00sec 1 266 4085
str 0.78sec 0.02sec 1 266 3469

test45/test_45.20_5_0.1_1_1.1_3_3_2.6.5 nlp wc
30 lines 1271 bytes
head (1,1,1) body (1,3,3,2)
estimated blow-up 6.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.19sec 0.04sec 1 408 8825
htl 1.14sec 0.01sec 1 375 5819
str 1.29sec 0.01sec 1 375 4990

test45/test_45.20_5_0.1_1_1.1_3_3_3.19.1 nlp wc
30 lines 1621 bytes
head (1,1,1) body (1,3,3,3)
estimated blow-up 19.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 11.55sec 0.59sec 1 1084 28902
htl 1.64sec 15.17sec 1 459 7197
str 1.75sec 20.93sec 1 459 6292

test45/test_45.20_5_0.1_1_1.1_3_3_4.56.6 nlp wc
30 lines 2031 bytes
head (1,1,1) body (1,3,3,4)
estimated blow-up 56.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 98.69sec 7.37sec 1 3234 106592
htl 2.02sec 272.26sec -- 531 8582
str 2.44sec 275.27sec -- 531 7442

test45/test_45.20_5_0.1_1_1.2_2_2_1.1.3 nlp wc
30 lines 709 bytes
head (1,1,1) body (2,2,2,1)
estimated blow-up 1.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.46sec 0.00sec 0 86 1683
htl 0.51sec 0.00sec 0 162 2435
str 0.54sec 0.04sec 0 178 2367

test45/test_45.20_5_0.1_1_1.2_2_2_2.1.5 nlp wc
30 lines 1007 bytes
head (1,1,1) body (2,2,2,2)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.54sec 0.00sec 1 92 2292
htl 0.58sec 0.00sec 1 174 2886
str 0.72sec 1.18sec 1 206 2951

test45/test_45.20_5_0.1_1_1.2_2_2_3.1.6 nlp wc
30 lines 1293 bytes
head (1,1,1) body (2,2,2,3)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.43sec 0.00sec 1 84 2629
htl 0.54sec 0.00sec 1 148 2743
str 0.69sec 0.11sec 1 196 3008

test45/test_45.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.59sec 0.00sec 1 88 3034
htl 0.65sec 0.00sec 1 170 3211
str 0.81sec 2.13sec 1 218 3410

test45/test_45.20_5_0.1_1_1.2_3_2_1.9.2 nlp wc
30 lines 1803 bytes
head (1,1,1) body (2,3,2,1)
estimated blow-up 9.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.34sec 0.06sec 0 432 11879
htl 2.12sec 118.70sec 0 566 8942
str 2.64sec 268.02sec -- 602 8358

test45/test_45.20_5_0.1_1_1.2_3_2_2.85.6 nlp wc
30 lines 3169 bytes
head (1,1,1) body (2,3,2,2)
estimated blow-up 85.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 103.00sec 7.73sec 1 3228 151276
htl 4.50sec 270.26sec -- 900 14859
str 6.49sec 268.06sec -- 964 13817

test45/test_45.20_5_0.1_1_1.2_3_2_3.782.3 nlp wc
30 lines 4453 bytes
head (1,1,1) body (2,3,2,3)
estimated blow-up 782.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 7682.97sec 260.18sec -- 27150 1772074
htl 7.59sec 260.39sec -- 1215 20235
str 11.68sec 259.89sec -- 1285 18578

test45/test_45.20_5_0.1_1_1.2_3_3_1.2.2 nlp wc
30 lines 1141 bytes
head (1,1,1) body (2,3,3,1)
estimated blow-up 2.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.74sec 0.01sec 1 172 3534
htl 1.48sec 0.08sec 1 449 6501
str 1.58sec 0.43sec 1 449 5872

test45/test_45.20_5_0.1_1_1.2_3_3_2.6.3 nlp wc
30 lines 1936 bytes
head (1,1,1) body (2,3,3,2)
estimated blow-up 6.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.23sec 0.07sec 1 396 12503
htl 2.93sec 259.38sec -- 691 10514
str 3.34sec 260.04sec -- 691 9480

test45/test_45.20_5_0.1_1_1.2_3_3_3.18.6 nlp wc
30 lines 2709 bytes
head (1,1,1) body (2,3,3,3)
estimated blow-up 18.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 13.60sec 0.92sec 0 1132 49036
htl 5.13sec 261.45sec -- 984 15245
str 6.26sec 260.02sec -- 984 13743

test45/test_45.20_5_0.1_1_1.2_3_3_4.55.4 nlp wc
30 lines 3297 bytes
head (1,1,1) body (2,3,3,4)
estimated blow-up 55.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 100.76sec 10.55sec 0 3240 170301
htl 7.86sec 258.77sec -- 1238 19104
str 9.32sec 261.33sec -- 1238 17319

test45/test_45.20_5_0.1_1_1.3_3_3_1.1.4 nlp wc
30 lines 847 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 1 90 2016
htl 0.57sec 0.00sec 1 160 2559
str 0.55sec 0.18sec 1 188 2620

test45/test_45.20_5_0.1_1_1.3_3_3_2.1.6 nlp wc
30 lines 1215 bytes
head (1,1,1) body (3,3,3,2)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.49sec 0.00sec 1 90 2661
htl 0.60sec 0.00sec 1 166 2962
str 0.79sec 0.79sec 1 208 3145

test45/test_45.20_5_0.1_1_1.3_3_3_3.1.7 nlp wc
30 lines 1541 bytes
head (1,1,1) body (3,3,3,3)
estimated blow-up 1.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.56sec 0.00sec 1 92 3279
htl 0.71sec 0.00sec 1 168 3299
str 0.85sec 1.97sec 1 204 3307

test45/test_45.20_5_0.1_1_1.3_3_3_4.1.7 nlp wc
30 lines 1946 bytes
head (1,1,1) body (3,3,3,4)
estimated blow-up 1.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.57sec 0.00sec 1 88 3801
htl 0.65sec 0.00sec 1 170 3604
str 0.90sec 2.05sec 1 214 3623

test45/test_45.20_5_0.1_2_1.1_1_1_1.1.2 nlp wc
40 lines 1537 bytes
head (1,2,1) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.68sec 0.03sec 160 161 3108
htl 1.47sec 5.76sec 160 400 5998
str 1.45sec 5.93sec 160 402 5302

test45/test_45.20_5_0.1_2_1.1_1_1_2.1.5 nlp wc
40 lines 1670 bytes
head (1,2,1) body (1,1,1,2)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.70sec 0.01sec 52 168 3689
htl 1.42sec 258.26sec -- 418 6441
str 1.55sec 260.57sec -- 428 5832

test45/test_45.20_5_0.1_2_1.1_1_1_3.1.6 nlp wc
40 lines 1809 bytes
head (1,2,1) body (1,1,1,3)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.65sec 0.01sec 42 159 4094
htl 1.49sec 115.60sec 42 397 6279
str 1.60sec 115.85sec 42 413 5691

test45/test_45.20_5_0.1_2_1.1_1_1_4.1.8 nlp wc
40 lines 1904 bytes
head (1,2,1) body (1,1,1,4)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.69sec 0.01sec 24 158 4413
htl 1.37sec 270.50sec -- 399 6345
str 1.74sec 273.43sec -- 413 5739

test45/test_45.20_5_0.1_2_1.1_2_1_1.5.8 nlp wc
40 lines 2136 bytes
head (1,2,1) body (1,2,1,1)
estimated blow-up 5.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.20sec 0.18sec 488 408 10517
htl 1.97sec 144.95sec 488 531 8464
str 2.60sec 133.94sec 488 563 7801

test45/test_45.20_5_0.1_2_1.1_2_1_2.28.5 nlp wc
40 lines 2892 bytes
head (1,2,1) body (1,2,1,2)
estimated blow-up 28.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 18.11sec 0.60sec 96 1318 52741
htl 2.67sec 260.68sec -- 643 10849
str 4.06sec 260.96sec -- 701 10095

test45/test_45.20_5_0.1_2_1.1_2_1_3.128.0 nlp wc
40 lines 3556 bytes
head (1,2,1) body (1,2,1,3)
estimated blow-up 128.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 235.80sec 14.95sec 16 4958 262329
htl 3.83sec 259.62sec -- 767 13197
str 5.34sec 259.47sec -- 825 12012

test45/test_45.20_5_0.1_2_1.1_2_1_4.551.4 nlp wc
40 lines 4358 bytes
head (1,2,1) body (1,2,1,4)
estimated blow-up 551.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3700.83sec 212.44sec 7 19562 1303815
htl 4.59sec 258.29sec -- 892 15781
str 7.37sec 260.41sec -- 970 14315

test45/test_45.20_5_0.1_2_1.1_2_2_1.2.1 nlp wc
40 lines 1701 bytes
head (1,2,1) body (1,2,2,1)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.98sec 0.01sec 11 236 4777
htl 1.76sec 0.03sec 11 470 7133
str 1.96sec 0.05sec 11 470 6289

test45/test_45.20_5_0.1_2_1.1_2_2_2.4.7 nlp wc
40 lines 1939 bytes
head (1,2,1) body (1,2,2,2)
estimated blow-up 4.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.99sec 0.05sec 35 386 9315
htl 2.05sec 13.39sec 35 522 8021
str 2.22sec 14.63sec 35 522 7106

test45/test_45.20_5_0.1_2_1.1_2_2_3.10.1 nlp wc
40 lines 2157 bytes
head (1,2,1) body (1,2,2,3)
estimated blow-up 10.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.42sec 0.20sec 18 711 20379
htl 2.40sec 259.35sec -- 576 8872
str 2.65sec 259.78sec -- 576 7880

test45/test_45.20_5_0.1_2_1.1_2_2_4.21.4 nlp wc
40 lines 2488 bytes
head (1,2,1) body (1,2,2,4)
estimated blow-up 21.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 16.79sec 0.80sec 48 1313 46333
htl 2.67sec 259.64sec -- 653 10346
str 3.17sec 259.65sec -- 653 9126

test45/test_45.20_5_0.1_2_1.1_3_1_1.45.5 nlp wc
40 lines 2956 bytes
head (1,2,1) body (1,3,1,1)
estimated blow-up 45.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 32.33sec 0.74sec 126 1801 64144
htl 2.90sec 213.50sec 126 662 11167
str 4.07sec 261.64sec -- 698 9926

test45/test_45.20_5_0.1_2_1.1_3_1_2.1316.6 nlp wc
40 lines 4710 bytes
head (1,2,1) body (1,3,1,2)
estimated blow-up 1316.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 17310.30sec 260.22sec -- 39033 2295927
htl 4.87sec 259.12sec -- 928 16879
str 7.56sec 260.68sec -- 988 14605

test45/test_45.20_5_0.1_2_1.1_3_2_1.13.6 nlp wc
40 lines 2500 bytes
head (1,2,1) body (1,3,2,1)
estimated blow-up 13.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.28sec 0.21sec 108 790 21598
htl 2.45sec 0.56sec 108 572 9463
str 3.10sec 0.67sec 108 616 8758

test45/test_45.20_5_0.1_2_1.1_3_2_2.147.3 nlp wc
40 lines 3438 bytes
head (1,2,1) body (1,3,2,2)
estimated blow-up 147.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 383.41sec 10.03sec 52 6503 262216
htl 3.53sec 8.11sec 52 736 12662
str 5.19sec 15.21sec 52 798 11629

test45/test_45.20_5_0.1_2_1.1_3_2_3.1458.0 nlp wc
40 lines 4611 bytes
head (1,2,1) body (1,3,2,3)
estimated blow-up 1458.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 38324.78sec 359.36sec -- 51950 2799845
htl 6.68sec 361.89sec -- 911 16308
str 11.08sec 361.08sec -- 987 14559

test45/test_45.20_5_0.1_2_1.1_3_3_1.2.9 nlp wc
40 lines 1803 bytes
head (1,2,1) body (1,3,3,1)
estimated blow-up 2.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.73sec 0.14sec 128 311 6294
htl 2.39sec 0.35sec 128 493 7582
str 2.87sec 0.46sec 128 493 6678

test45/test_45.20_5_0.1_2_1.1_3_3_2.9.1 nlp wc
40 lines 2224 bytes
head (1,2,1) body (1,3,3,2)
estimated blow-up 9.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 8.91sec 0.30sec 37 796 20101
htl 3.18sec 0.46sec 37 578 9055
str 3.56sec 0.44sec 37 578 7981

test45/test_45.20_5_0.1_2_1.1_3_3_3.28.5 nlp wc
40 lines 2552 bytes
head (1,2,1) body (1,3,3,3)
estimated blow-up 28.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 59.48sec 3.47sec 21 2163 65261
htl 3.80sec 72.31sec 21 658 10408
str 4.51sec 105.80sec 21 658 9194

test45/test_45.20_5_0.1_2_1.1_3_3_4.88.4 nlp wc
39 lines 2916 bytes
head (1,2,1) body (1,3,3,4)
estimated blow-up 88.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 500.27sec 20.69sec 0 6375 229895
htl 4.44sec 0.01sec 0 737 11910
str 5.43sec 0.01sec 0 737 10459

test45/test_45.20_5_0.1_2_1.2_2_2_1.1.5 nlp wc
39 lines 1610 bytes
head (1,2,1) body (2,2,2,1)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.89sec 0.00sec 0 155 3493
htl 1.93sec 0.01sec 0 384 5849
str 2.00sec 0.01sec 0 398 5339

test45/test_45.20_5_0.1_2_1.2_2_2_2.1.8 nlp wc
39 lines 1843 bytes
head (1,2,1) body (2,2,2,2)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.90sec 0.01sec 0 161 4340
htl 1.76sec 0.01sec 0 393 6260
str 2.14sec 0.01sec 0 403 5593

test45/test_45.20_5_0.1_2_1.2_2_2_3.2.1 nlp wc
40 lines 2237 bytes
head (1,2,1) body (2,2,2,3)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.12sec 0.01sec 40 166 5541
htl 1.89sec 360.62sec -- 410 6772
str 2.35sec 357.68sec -- 432 6208

test45/test_45.20_5_0.1_2_1.2_2_2_4.2.3 nlp wc
40 lines 2491 bytes
head (1,2,1) body (2,2,2,4)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.12sec 0.01sec 32 162 6305
htl 1.99sec 360.16sec -- 400 6835
str 2.80sec 361.42sec -- 424 6254

test45/test_45.20_5_0.1_2_1.2_3_2_1.13.3 nlp wc
40 lines 2770 bytes
head (1,2,1) body (2,3,2,1)
estimated blow-up 13.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 9.55sec 0.23sec 69 806 25117
htl 5.04sec 360.41sec -- 769 12333
str 6.20sec 358.85sec -- 809 11457

test45/test_45.20_5_0.1_2_1.2_3_2_2.138.9 nlp wc
40 lines 4087 bytes
head (1,2,1) body (2,3,2,2)
estimated blow-up 138.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 533.03sec 35.35sec 40 6395 320401
htl 9.25sec 360.37sec -- 1089 17959
str 12.82sec 359.66sec -- 1145 16517

test45/test_45.20_5_0.1_2_1.2_3_2_3.1339.8 nlp wc
40 lines 5460 bytes
head (1,2,1) body (2,3,2,3)
estimated blow-up 1339.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 48596.91sec 360.82sec -- 57458 4008713
htl 14.80sec 359.31sec -- 1446 24142
str 23.46sec 360.15sec -- 1524 22132

test45/test_45.20_5_0.1_2_1.2_3_3_1.3.1 nlp wc
40 lines 2084 bytes
head (1,2,1) body (2,3,3,1)
estimated blow-up 3.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.76sec 0.13sec 114 323 7605
htl 3.69sec 358.23sec 114 675 10222
str 4.11sec 360.72sec -- 675 9205

test45/test_45.20_5_0.1_2_1.2_3_3_2.9.9 nlp wc
40 lines 2886 bytes
head (1,2,1) body (2,3,3,2)
estimated blow-up 9.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 9.23sec 0.61sec 194 808 28153
htl 6.72sec 361.37sec -- 947 14658
str 7.85sec 362.04sec -- 947 13222

test45/test_45.20_5_0.1_2_1.2_3_3_3.30.9 nlp wc
40 lines 3504 bytes
head (1,2,1) body (2,3,3,3)
estimated blow-up 30.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 61.76sec 4.91sec 7 2107 98051
htl 9.70sec 360.68sec -- 1162 18120
str 11.69sec 359.02sec -- 1162 16353

test45/test_45.20_5_0.1_2_1.2_3_3_4.95.3 nlp wc
40 lines 4210 bytes
head (1,2,1) body (2,3,3,4)
estimated blow-up 95.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 526.54sec 40.26sec 10 6375 356498
htl 14.56sec 361.87sec -- 1443 22425
str 17.29sec 360.12sec -- 1443 20426

test45/test_45.20_5_0.1_2_1.3_3_3_1.1.6 nlp wc
40 lines 1818 bytes
head (1,2,1) body (3,3,3,1)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.90sec 0.01sec 20 157 4069
htl 1.91sec 361.97sec -- 392 6164
str 2.45sec 357.37sec -- 410 5660

test45/test_45.20_5_0.1_2_1.3_3_3_2.2.1 nlp wc
40 lines 2195 bytes
head (1,2,1) body (3,3,3,2)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.05sec 0.01sec 16 165 5517
htl 1.93sec 358.72sec -- 406 6711
str 2.58sec 358.47sec -- 428 6166

test45/test_45.20_5_0.1_2_1.3_3_3_3.2.4 nlp wc
40 lines 2577 bytes
head (1,2,1) body (3,3,3,3)
estimated blow-up 2.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.06sec 0.02sec 28 163 6791
htl 2.00sec 361.78sec -- 398 6931
str 2.71sec 357.62sec -- 420 6271

test45/test_45.20_5_0.1_2_1.3_3_3_4.2.6 nlp wc
40 lines 2920 bytes
head (1,2,1) body (3,3,3,4)
estimated blow-up 2.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.20sec 0.02sec 32 170 7989
htl 2.15sec 362.08sec -- 417 7503
str 2.82sec 359.73sec -- 437 6724

test45/test_45.20_5_0.1_2_2.1_1_1_1.1.2 nlp wc
35 lines 1108 bytes
head (1,2,2) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.69sec 19.78sec 100000 144 2681
htl 1.45sec 357.97sec -- 334 4872
str 1.45sec 362.19sec -- 334 4357

test45/test_45.20_5_0.1_2_2.1_1_1_2.1.4 nlp wc
35 lines 1237 bytes
head (1,2,2) body (1,1,1,2)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.68sec 0.33sec 1521 135 2868
htl 1.35sec 361.07sec -- 307 4563
str 1.54sec 358.08sec -- 317 4226

test45/test_45.20_5_0.1_2_2.1_1_1_3.1.5 nlp wc
35 lines 1340 bytes
head (1,2,2) body (1,1,1,3)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.74sec 0.02sec 216 129 3108
htl 1.39sec 359.96sec -- 301 4578
str 1.43sec 357.57sec -- 319 4334

test45/test_45.20_5_0.1_2_2.1_1_1_4.1.6 nlp wc
35 lines 1396 bytes
head (1,2,2) body (1,1,1,4)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.72sec 0.03sec 315 130 3424
htl 1.25sec 360.30sec -- 293 4631
str 1.54sec 364.14sec -- 309 4291

test45/test_45.20_5_0.1_2_2.1_2_1_1.5.3 nlp wc
35 lines 1750 bytes
head (1,2,2) body (1,2,1,1)
estimated blow-up 5.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.03sec 6.17sec 24208 322 8088
htl 2.16sec 362.44sec -- 445 6979
str 2.72sec 357.41sec -- 479 6651

test45/test_45.20_5_0.1_2_2.1_2_1_2.24.8 nlp wc
35 lines 2350 bytes
head (1,2,2) body (1,2,1,2)
estimated blow-up 24.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 14.77sec 14.53sec 19225 1014 36926
htl 3.21sec 358.95sec -- 570 9224
str 3.97sec 358.86sec -- 608 8587

test45/test_45.20_5_0.1_2_2.1_2_1_3.108.3 nlp wc
35 lines 3243 bytes
head (1,2,2) body (1,2,1,3)
estimated blow-up 108.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 207.74sec 13.21sec 3366 3937 208765
htl 4.24sec 361.25sec -- 686 11819
str 6.40sec 357.08sec -- 750 10913

test45/test_45.20_5_0.1_2_2.1_2_1_4.457.5 nlp wc
35 lines 3740 bytes
head (1,2,2) body (1,2,1,4)
estimated blow-up 457.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2571.56sec 133.98sec 534 13479 865908
htl 5.12sec 361.49sec -- 803 13818
str 8.10sec 360.71sec -- 869 12734

test45/test_45.20_5_0.1_2_2.1_2_2_1.2.0 nlp wc
35 lines 1242 bytes
head (1,2,2) body (1,2,2,1)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.98sec 21.39sec 100000 197 3734
htl 1.71sec 191.04sec 100000 394 5796
str 1.74sec 189.91sec 100000 394 5222

test45/test_45.20_5_0.1_2_2.1_2_2_2.4.3 nlp wc
35 lines 1554 bytes
head (1,2,2) body (1,2,2,2)
estimated blow-up 4.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.85sec 22.19sec 100000 310 7236
htl 2.11sec 358.80sec -- 442 6570
str 2.23sec 364.33sec -- 442 5951

test45/test_45.20_5_0.1_2_2.1_2_2_3.9.0 nlp wc
35 lines 1783 bytes
head (1,2,2) body (1,2,2,3)
estimated blow-up 9.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.97sec 1.35sec 2023 557 15518
htl 2.59sec 360.44sec -- 517 7792
str 2.87sec 357.02sec -- 517 7058

test45/test_45.20_5_0.1_2_2.1_2_2_4.18.6 nlp wc
35 lines 2115 bytes
head (1,2,2) body (1,2,2,4)
estimated blow-up 18.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 15.31sec 21.73sec 54763 1035 36355
htl 3.17sec 360.57sec -- 566 8812
str 3.57sec 361.03sec -- 566 7877

test45/test_45.20_5_0.1_2_2.1_3_1_1.39.3 nlp wc
35 lines 2683 bytes
head (1,2,2) body (1,3,1,1)
estimated blow-up 39.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 30.63sec 18.14sec 19759 1464 51798
htl 3.34sec 355.63sec -- 584 9950
str 4.61sec 360.61sec -- 626 8947

test45/test_45.20_5_0.1_2_2.1_3_1_2.1084.2 nlp wc
35 lines 4238 bytes
head (1,2,2) body (1,3,1,2)
estimated blow-up 1084.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 11092.00sec 361.24sec -- 29436 1714887
htl 5.72sec 359.23sec -- 839 15113
str 9.06sec 364.26sec -- 899 13261

test45/test_45.20_5_0.1_2_2.1_3_2_1.12.1 nlp wc
35 lines 2008 bytes
head (1,2,2) body (1,3,2,1)
estimated blow-up 12.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.08sec 40.45sec 100000 630 16008
htl 2.41sec 142.27sec 100000 491 7866
str 3.11sec 157.70sec 100000 533 7494

test45/test_45.20_5_0.1_2_2.1_3_2_2.124.6 nlp wc
35 lines 3095 bytes
head (1,2,2) body (1,3,2,2)
estimated blow-up 124.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 312.59sec 329.85sec 100000 4959 197302
htl 4.20sec 355.41sec -- 665 11438
str 6.46sec 360.93sec -- 735 10761

test45/test_45.20_5_0.1_2_2.1_3_2_3.1200.7 nlp wc
35 lines 4090 bytes
head (1,2,2) body (1,3,2,3)
estimated blow-up 1200.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 22761.28sec 361.05sec -- 40869 2160620
htl 5.96sec 357.53sec -- 828 14658
str 9.33sec 358.39sec -- 902 13266

test45/test_45.20_5_0.1_2_2.1_3_3_1.2.7 nlp wc
35 lines 1296 bytes
head (1,2,2) body (1,3,3,1)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.30sec 21.32sec 100000 242 4459
htl 1.64sec 64.00sec 100000 383 5546
str 1.90sec 96.83sec 100000 383 5041

test45/test_45.20_5_0.1_2_2.1_3_3_2.8.1 nlp wc
35 lines 1764 bytes
head (1,2,2) body (1,3,3,2)
estimated blow-up 8.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.23sec 28.68sec 100000 592 13976
htl 2.52sec 361.70sec -- 485 7350
str 2.63sec 360.92sec -- 485 6644

test45/test_45.20_5_0.1_2_2.1_3_3_3.24.6 nlp wc
35 lines 2133 bytes
head (1,2,2) body (1,3,3,3)
estimated blow-up 24.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 34.06sec 65.43sec 100000 1621 47118
htl 3.41sec 362.67sec -- 583 9050
str 3.45sec 359.14sec -- 583 8109

test45/test_45.20_5_0.1_2_2.1_3_3_4.74.8 nlp wc
35 lines 2437 bytes
head (1,2,2) body (1,3,3,4)
estimated blow-up 74.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 250.27sec 44.56sec 30180 4447 152852
htl 3.42sec 357.32sec -- 639 10042
str 4.20sec 362.55sec -- 639 8961

test45/test_45.20_5_0.1_2_2.2_2_2_1.1.4 nlp wc
35 lines 1222 bytes
head (1,2,2) body (2,2,2,1)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.73sec 0.04sec 351 134 2840
htl 1.36sec 362.38sec -- 309 4617
str 1.33sec 362.93sec -- 319 4265

test45/test_45.20_5_0.1_2_2.2_2_2_2.1.6 nlp wc
35 lines 1478 bytes
head (1,2,2) body (2,2,2,2)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.81sec 0.03sec 303 138 3554
htl 1.33sec 360.89sec -- 316 4948
str 1.43sec 364.26sec -- 328 4551

test45/test_45.20_5_0.1_2_2.2_2_2_3.1.8 nlp wc
34 lines 1745 bytes
head (1,2,2) body (2,2,2,3)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.86sec 0.01sec 54 139 4222
htl 1.34sec 362.16sec -- 317 5165
str 1.68sec 364.70sec -- 333 4761

test45/test_45.20_5_0.1_2_2.2_2_2_4.2.0 nlp wc
35 lines 2021 bytes
head (1,2,2) body (2,2,2,4)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.93sec 0.03sec 243 134 4798
htl 1.44sec 360.27sec -- 306 5210
str 1.79sec 358.16sec -- 328 4858

test45/test_45.20_5_0.1_2_2.2_3_2_1.11.5 nlp wc
35 lines 2223 bytes
head (1,2,2) body (2,3,2,1)
estimated blow-up 11.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.95sec 12.79sec 17624 612 17974
htl 3.82sec 355.90sec -- 661 10292
str 4.50sec 360.61sec -- 691 9678

test45/test_45.20_5_0.1_2_2.2_3_2_2.114.4 nlp wc
35 lines 3761 bytes
head (1,2,2) body (2,3,2,2)
estimated blow-up 114.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 289.70sec 17.61sec 129 4736 237672
htl 7.37sec 358.57sec -- 996 16447
str 11.15sec 358.26sec -- 1058 15239

test45/test_45.20_5_0.1_2_2.2_3_2_3.1077.6 nlp wc
35 lines 5137 bytes
head (1,2,2) body (2,3,2,3)
estimated blow-up 1077.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 26966.54sec 358.97sec -- 41897 2875739
htl 13.38sec 359.33sec -- 1350 22631
str 20.46sec 363.47sec -- 1418 20556

test45/test_45.20_5_0.1_2_2.2_3_3_1.2.7 nlp wc
35 lines 1653 bytes
head (1,2,2) body (2,3,3,1)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.38sec 25.28sec 100000 267 5970
htl 3.19sec 362.99sec -- 595 8788
str 3.49sec 363.35sec -- 595 8058

test45/test_45.20_5_0.1_2_2.2_3_3_2.8.3 nlp wc
34 lines 2337 bytes
head (1,2,2) body (2,3,3,2)
estimated blow-up 8.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.68sec 0.73sec 1137 612 19638
htl 5.61sec 363.70sec -- 840 12505
str 6.08sec 359.13sec -- 840 11546

test45/test_45.20_5_0.1_2_2.2_3_3_3.25.4 nlp wc
34 lines 3069 bytes
head (1,2,2) body (2,3,3,3)
estimated blow-up 25.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 40.25sec 2.87sec 297 1696 74356
htl 8.95sec 356.93sec -- 1106 16857
str 9.76sec 361.72sec -- 1106 15462

test45/test_45.20_5_0.1_2_2.2_3_3_4.77.1 nlp wc
35 lines 3866 bytes
head (1,2,2) body (2,3,3,4)
estimated blow-up 77.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 319.24sec 28.56sec 411 4938 277933
htl 12.85sec 358.71sec -- 1387 21418
str 16.19sec 360.31sec -- 1387 19536

test45/test_45.20_5_0.1_2_2.3_3_3_1.1.5 nlp wc
35 lines 1314 bytes
head (1,2,2) body (3,3,3,1)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.70sec 0.04sec 351 139 3267
htl 1.33sec 358.40sec -- 317 4871
str 1.30sec 359.61sec -- 323 4381

test45/test_45.20_5_0.1_2_2.3_3_3_2.1.8 nlp wc
35 lines 1731 bytes
head (1,2,2) body (3,3,3,2)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.01sec 0.03sec 297 140 4331
htl 1.42sec 359.86sec -- 318 5222
str 1.69sec 359.71sec -- 336 4858

test45/test_45.20_5_0.1_2_2.3_3_3_3.2.0 nlp wc
35 lines 2086 bytes
head (1,2,2) body (3,3,3,3)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.93sec 0.06sec 243 141 5154
htl 1.57sec 358.19sec -- 321 5531
str 1.75sec 356.49sec -- 343 5145

test45/test_45.20_5_0.1_2_2.3_3_3_4.2.2 nlp wc
34 lines 2452 bytes
head (1,2,2) body (3,3,3,4)
estimated blow-up 2.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.06sec 0.02sec 81 144 6201
htl 1.66sec 362.63sec -- 328 5940
str 2.00sec 360.92sec -- 344 5365

test45/test_45.20_5_0.1_3_1.1_1_1_1.1.3 nlp wc
55 lines 2804 bytes
head (1,3,1) body (1,1,1,1)
estimated blow-up 1.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.31sec 0.06sec 224 238 4971
htl 3.86sec 13.25sec 224 611 9724
str 4.72sec 15.48sec 224 613 8440

test45/test_45.20_5_0.1_3_1.1_1_1_2.1.5 nlp wc
55 lines 2975 bytes
head (1,3,1) body (1,1,1,2)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.36sec 1.56sec 3798 249 6068
htl 3.64sec 358.71sec -- 632 10278
str 4.59sec 359.74sec -- 640 9012

test45/test_45.20_5_0.1_3_1.1_1_1_3.1.8 nlp wc
55 lines 3135 bytes
head (1,3,1) body (1,1,1,3)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.65sec 0.03sec 104 244 6724
htl 3.59sec 362.09sec -- 636 10465
str 4.61sec 361.07sec -- 646 9194

test45/test_45.20_5_0.1_3_1.1_1_1_4.2.0 nlp wc
55 lines 3241 bytes
head (1,3,1) body (1,1,1,4)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.80sec 0.04sec 118 243 7522
htl 3.78sec 360.80sec -- 635 10549
str 5.17sec 362.35sec -- 645 9223

test45/test_45.20_5_0.1_3_1.1_2_1_1.6.4 nlp wc
55 lines 3413 bytes
head (1,3,1) body (1,2,1,1)
estimated blow-up 6.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.47sec 1.22sec 778 675 18470
htl 5.40sec 355.78sec -- 789 12959
str 7.10sec 358.35sec -- 815 11599

test45/test_45.20_5_0.1_3_1.1_2_1_2.34.2 nlp wc
55 lines 4140 bytes
head (1,3,1) body (1,2,1,2)
estimated blow-up 34.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 68.21sec 1.92sec 20 2237 92135
htl 6.25sec 362.53sec -- 889 15088
str 9.43sec 358.38sec -- 941 13652

test45/test_45.20_5_0.1_3_1.1_2_1_3.162.4 nlp wc
55 lines 4896 bytes
head (1,3,1) body (1,2,1,3)
estimated blow-up 162.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 908.12sec 31.45sec 94 8430 465527
htl 7.68sec 358.34sec -- 993 17336
str 11.74sec 354.57sec -- 1055 15445

test45/test_45.20_5_0.1_3_1.1_2_1_4.729.4 nlp wc
55 lines 5477 bytes
head (1,3,1) body (1,2,1,4)
estimated blow-up 729.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 14170.97sec 361.68sec -- 32761 2176355
htl 9.84sec 365.48sec -- 1123 19598
str 15.91sec 357.35sec -- 1191 17549

test45/test_45.20_5_0.1_3_1.1_2_2_1.2.3 nlp wc
55 lines 3010 bytes
head (1,3,1) body (1,2,2,1)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.48sec 0.51sec 968 384 8217
htl 4.22sec 21.06sec 968 714 11497
str 5.07sec 21.33sec 968 714 10006

test45/test_45.20_5_0.1_3_1.1_2_2_2.5.2 nlp wc
53 lines 3235 bytes
head (1,3,1) body (1,2,2,2)
estimated blow-up 5.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.01sec 0.12sec 25 653 16914
htl 5.16sec 195.65sec 25 751 12117
str 6.15sec 289.10sec 25 751 10550

test45/test_45.20_5_0.1_3_1.1_2_2_3.11.7 nlp wc
55 lines 3495 bytes
head (1,3,1) body (1,2,2,3)
estimated blow-up 11.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 19.69sec 3.33sec 1659 1190 36602
htl 5.59sec 361.23sec -- 822 13323
str 6.37sec 356.77sec -- 822 11651

test45/test_45.20_5_0.1_3_1.1_2_2_4.25.8 nlp wc
55 lines 3835 bytes
head (1,3,1) body (1,2,2,4)
estimated blow-up 25.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 66.82sec 5.03sec 511 2298 87781
htl 6.59sec 360.43sec -- 891 14607
str 7.65sec 363.32sec -- 891 12646

test45/test_45.20_5_0.1_3_1.1_3_1_1.55.4 nlp wc
55 lines 4335 bytes
head (1,3,1) body (1,3,1,1)
estimated blow-up 55.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 125.43sec 7.63sec 881 3092 117802
htl 6.52sec 355.41sec -- 891 15427
str 9.57sec 360.14sec -- 933 13551

test45/test_45.20_5_0.1_3_1.1_3_1_2.1771.2 nlp wc
55 lines 6193 bytes
head (1,3,1) body (1,3,1,2)
estimated blow-up 1771.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 68925.81sec 359.55sec -- 73519 4436368
htl 10.89sec 358.57sec -- 1185 21571
str 18.46sec 361.73sec -- 1247 18469

test45/test_45.20_5_0.1_3_1.1_3_2_1.15.7 nlp wc
55 lines 3700 bytes
head (1,3,1) body (1,3,2,1)
estimated blow-up 15.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 22.87sec 0.46sec 38 1325 37515
htl 5.46sec 8.24sec 38 814 13616
str 7.26sec 8.58sec 38 846 12180

test45/test_45.20_5_0.1_3_1.1_3_2_2.187.1 nlp wc
55 lines 4724 bytes
head (1,3,1) body (1,3,2,2)
estimated blow-up 187.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1432.68sec 61.15sec 1115 10434 440911
htl 7.57sec 363.46sec -- 977 16892
str 11.83sec 358.72sec -- 1035 15128

test45/test_45.20_5_0.1_3_1.1_3_2_3.1963.9 nlp wc
55 lines 5734 bytes
head (1,3,1) body (1,3,2,3)
estimated blow-up 1963.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 126211.84sec 361.75sec -- 96435 5293584
htl 9.49sec 360.46sec -- 1131 20082
str 16.46sec 358.56sec -- 1205 17804

test45/test_45.20_5_0.1_3_1.1_3_3_1.3.2 nlp wc
55 lines 3094 bytes
head (1,3,1) body (1,3,3,1)
estimated blow-up 3.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.88sec 0.20sec 243 511 10905
htl 4.88sec 0.46sec 243 721 11621
str 5.75sec 0.91sec 243 721 10096

test45/test_45.20_5_0.1_3_1.1_3_3_2.10.6 nlp wc
55 lines 3503 bytes
head (1,3,1) body (1,3,3,2)
estimated blow-up 10.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 23.86sec 1.30sec 372 1362 36303
htl 5.47sec 17.56sec 372 814 13259
str 6.84sec 16.48sec 372 814 11526

test45/test_45.20_5_0.1_3_1.1_3_3_3.35.1 nlp wc
55 lines 3862 bytes
head (1,3,1) body (1,3,3,3)
estimated blow-up 35.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 177.75sec 8.36sec 444 3798 121583
htl 6.61sec 161.21sec 444 889 14559
str 8.45sec 192.25sec 444 889 12674

test45/test_45.20_5_0.1_3_1.1_3_3_4.113.3 nlp wc
53 lines 4184 bytes
head (1,3,1) body (1,3,3,4)
estimated blow-up 113.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1417.29sec 50.03sec 58 10528 395536
htl 7.24sec 362.29sec -- 970 15981
str 9.15sec 356.92sec -- 970 13933

test45/test_45.20_5_0.1_3_1.2_2_2_1.1.5 nlp wc
55 lines 2956 bytes
head (1,3,1) body (2,2,2,1)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.54sec 0.02sec 23 242 5705
htl 3.91sec 353.55sec -- 633 10248
str 4.73sec 356.62sec -- 639 8933

test45/test_45.20_5_0.1_3_1.2_2_2_2.2.0 nlp wc
53 lines 3108 bytes
head (1,3,1) body (2,2,2,2)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.61sec 0.02sec 25 238 6965
htl 3.61sec 361.89sec -- 620 10163
str 4.74sec 357.14sec -- 630 8968

test45/test_45.20_5_0.1_3_1.2_2_2_3.2.4 nlp wc
55 lines 3528 bytes
head (1,3,1) body (2,2,2,3)
estimated blow-up 2.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.72sec 0.03sec 81 245 8891
htl 3.86sec 359.16sec -- 622 10494
str 5.02sec 360.32sec -- 636 9246

test45/test_45.20_5_0.1_3_1.2_2_2_4.2.7 nlp wc
55 lines 3758 bytes
head (1,3,1) body (2,2,2,4)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.72sec 0.10sec 135 244 10335
htl 3.88sec 360.49sec -- 636 10953
str 5.37sec 361.59sec -- 652 9605

test45/test_45.20_5_0.1_3_1.2_3_2_1.16.3 nlp wc
55 lines 4047 bytes
head (1,3,1) body (2,3,2,1)
estimated blow-up 16.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 25.40sec 2.16sec 1448 1347 44875
htl 7.21sec 359.11sec -- 987 16338
str 10.83sec 357.56sec -- 1033 14899

test45/test_45.20_5_0.1_3_1.2_3_2_2.187.4 nlp wc
55 lines 5462 bytes
head (1,3,1) body (2,3,2,2)
estimated blow-up 187.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1450.65sec 51.30sec 128 10662 568777
htl 14.70sec 364.80sec -- 1303 21987
str 19.53sec 360.73sec -- 1375 20004

test45/test_45.20_5_0.1_3_1.2_3_2_3.1912.2 nlp wc
53 lines 6791 bytes
head (1,3,1) body (2,3,2,3)
estimated blow-up 1912.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 150441.63sec 359.73sec -- 98535 7060508
htl 18.93sec 359.33sec -- 1654 28086
str 32.08sec 358.82sec -- 1734 25435

test45/test_45.20_5_0.1_3_1.2_3_3_1.3.6 nlp wc
53 lines 3433 bytes
head (1,3,1) body (2,3,3,1)
estimated blow-up 3.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.49sec 0.17sec 175 528 13810
htl 6.51sec 242.61sec 175 924 14795
str 8.42sec 246.96sec 175 924 13014

test45/test_45.20_5_0.1_3_1.2_3_3_2.12.7 nlp wc
53 lines 4159 bytes
head (1,3,1) body (2,3,3,2)
estimated blow-up 12.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 25.31sec 1.02sec 96 1348 50076
htl 9.79sec 358.85sec -- 1150 18315
str 12.80sec 360.06sec -- 1150 16256

test45/test_45.20_5_0.1_3_1.2_3_3_3.41.9 nlp wc
55 lines 4816 bytes
head (1,3,1) body (2,3,3,3)
estimated blow-up 41.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 181.70sec 7.36sec 553 3710 173987
htl 14.28sec 359.83sec -- 1419 22531
str 18.01sec 358.42sec -- 1419 20176

test45/test_45.20_5_0.1_3_1.2_3_3_4.134.6 nlp wc
55 lines 5528 bytes
head (1,3,1) body (2,3,3,4)
estimated blow-up 134.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1715.79sec 128.98sec 75 11289 658139
htl 19.51sec 360.65sec -- 1670 26437
str 25.49sec 360.71sec -- 1670 23769

test45/test_45.20_5_0.1_3_1.3_3_3_1.1.8 nlp wc
53 lines 3070 bytes
head (1,3,1) body (3,3,3,1)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.52sec 0.18sec 486 252 6781
htl 3.71sec 357.41sec -- 645 10526
str 4.88sec 359.18sec -- 655 9277

test45/test_45.20_5_0.1_3_1.3_3_3_2.2.4 nlp wc
55 lines 3474 bytes
head (1,3,1) body (3,3,3,2)
estimated blow-up 2.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.72sec 0.03sec 81 249 8851
htl 3.78sec 363.10sec -- 654 11041
str 5.10sec 361.37sec -- 662 9629

test45/test_45.20_5_0.1_3_1.3_3_3_3.2.9 nlp wc
55 lines 3864 bytes
head (1,3,1) body (3,3,3,3)
estimated blow-up 2.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.87sec 0.05sec 144 254 11230
htl 4.03sec 361.65sec -- 647 11256
str 5.52sec 361.92sec -- 657 9764

test45/test_45.20_5_0.1_3_1.3_3_3_4.3.3 nlp wc
53 lines 4020 bytes
head (1,3,1) body (3,3,3,4)
estimated blow-up 3.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.97sec 0.03sec 12 239 12324
htl 3.74sec 363.06sec -- 616 10990
str 5.16sec 361.75sec -- 628 9552

test45/test_45.20_5_0.1_3_2.1_1_1_1.1.2 nlp wc
45 lines 2203 bytes
head (1,3,2) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.11sec 24.04sec 100000 204 4362
htl 2.81sec 362.56sec -- 509 7960
str 2.97sec 218.60sec 100000 517 7123

test45/test_45.20_5_0.1_3_2.1_1_1_2.1.4 nlp wc
45 lines 2317 bytes
head (1,3,2) body (1,1,1,2)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.09sec 23.15sec 100000 192 4631
htl 2.51sec 360.79sec -- 480 7576
str 2.99sec 359.01sec -- 488 6766

test45/test_45.20_5_0.1_3_2.1_1_1_3.1.6 nlp wc
45 lines 2396 bytes
head (1,3,2) body (1,1,1,3)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.22sec 0.30sec 1380 195 5211
htl 2.67sec 361.75sec -- 498 7943
str 3.12sec 361.11sec -- 504 7099

test45/test_45.20_5_0.1_3_2.1_1_1_4.1.8 nlp wc
45 lines 2515 bytes
head (1,3,2) body (1,1,1,4)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.11sec 3.34sec 14364 198 5846
htl 2.71sec 360.58sec -- 501 8152
str 3.48sec 363.38sec -- 509 7246

test45/test_45.20_5_0.1_3_2.1_2_1_1.5.8 nlp wc
45 lines 2748 bytes
head (1,3,2) body (1,2,1,1)
estimated blow-up 5.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.94sec 32.77sec 100000 487 13586
htl 3.60sec 359.85sec -- 618 10069
str 4.88sec 359.66sec -- 650 9213

test45/test_45.20_5_0.1_3_2.1_2_1_2.29.3 nlp wc
45 lines 3562 bytes
head (1,3,2) body (1,2,1,2)
estimated blow-up 29.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 40.71sec 99.93sec 100000 1698 71717
htl 5.23sec 361.67sec -- 764 12986
str 7.15sec 362.61sec -- 820 11941

test45/test_45.20_5_0.1_3_2.1_2_1_3.135.2 nlp wc
45 lines 4226 bytes
head (1,3,2) body (1,2,1,3)
estimated blow-up 135.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 532.12sec 362.47sec -- 6384 356529
htl 6.33sec 360.18sec -- 860 14887
str 9.60sec 359.84sec -- 922 13540

test45/test_45.20_5_0.1_3_2.1_2_1_4.594.6 nlp wc
44 lines 4910 bytes
head (1,3,2) body (1,2,1,4)
estimated blow-up 594.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 8759.37sec 359.72sec -- 24241 1649473
htl 7.77sec 361.70sec -- 985 17248
str 12.63sec 362.37sec -- 1049 15451

test45/test_45.20_5_0.1_3_2.1_2_2_1.2.1 nlp wc
45 lines 2326 bytes
head (1,3,2) body (1,2,2,1)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.69sec 25.70sec 100000 292 6352
htl 3.13sec 313.41sec 100000 567 8883
str 3.41sec 164.84sec 100000 567 7839

test45/test_45.20_5_0.1_3_2.1_2_2_2.4.7 nlp wc
44 lines 2620 bytes
head (1,3,2) body (1,2,2,2)
estimated blow-up 4.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.80sec 31.16sec 100000 491 13235
htl 3.81sec 365.54sec -- 617 9792
str 4.58sec 359.45sec -- 617 8598

test45/test_45.20_5_0.1_3_2.1_2_2_3.10.4 nlp wc
45 lines 2930 bytes
head (1,3,2) body (1,2,2,3)
estimated blow-up 10.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 11.33sec 51.39sec 100000 889 29187
htl 4.03sec 360.98sec -- 686 11059
str 5.09sec 356.95sec -- 686 9678

test45/test_45.20_5_0.1_3_2.1_2_2_4.22.3 nlp wc
45 lines 3190 bytes
head (1,3,2) body (1,2,2,4)
estimated blow-up 22.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 37.91sec 103.19sec 100000 1688 64837
htl 5.07sec 358.20sec -- 758 12296
str 6.43sec 361.37sec -- 758 10749

test45/test_45.20_5_0.1_3_2.1_3_1_1.47.1 nlp wc
45 lines 3708 bytes
head (1,3,2) body (1,3,1,1)
estimated blow-up 47.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 73.03sec 176.51sec 100000 2315 89473
htl 4.96sec 361.88sec -- 772 13300
str 7.22sec 363.02sec -- 812 11827

test45/test_45.20_5_0.1_3_2.1_3_1_2.1431.3 nlp wc
45 lines 5414 bytes
head (1,3,2) body (1,3,1,2)
estimated blow-up 1431.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 34617.87sec 359.71sec -- 49487 3033645
htl 8.28sec 362.77sec -- 1007 18327
str 13.32sec 359.74sec -- 1073 15963

test45/test_45.20_5_0.1_3_2.1_3_2_1.13.8 nlp wc
45 lines 3077 bytes
head (1,3,2) body (1,3,2,1)
estimated blow-up 13.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 12.41sec 54.20sec 100000 942 27495
htl 4.12sec 206.73sec 100000 658 11022
str 5.66sec 361.92sec -- 708 10190

test45/test_45.20_5_0.1_3_2.1_3_2_2.156.1 nlp wc
45 lines 4124 bytes
head (1,3,2) body (1,3,2,2)
estimated blow-up 156.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 737.96sec 361.59sec -- 7679 329303
htl 5.80sec 362.11sec -- 823 14303
str 9.47sec 363.27sec -- 897 13213

test45/test_45.20_5_0.1_3_2.1_3_2_3.1590.6 nlp wc
45 lines 5153 bytes
head (1,3,2) body (1,3,2,3)
estimated blow-up 1590.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 57226.26sec 361.73sec -- 63458 3580326
htl 7.67sec 363.23sec -- 981 17522
str 13.28sec 361.98sec -- 1065 15815

test45/test_45.20_5_0.1_3_2.1_3_3_1.3.0 nlp wc
45 lines 2423 bytes
head (1,3,2) body (1,3,3,1)
estimated blow-up 3.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.71sec 31.01sec 100000 391 8550
htl 3.23sec 69.89sec 100000 592 9301
str 3.82sec 68.65sec 100000 592 8211

test45/test_45.20_5_0.1_3_2.1_3_3_2.9.5 nlp wc
45 lines 2830 bytes
head (1,3,2) body (1,3,3,2)
estimated blow-up 9.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 13.14sec 61.51sec 100000 986 26830
htl 4.06sec 104.22sec 100000 668 10713
str 4.94sec 341.97sec 100000 668 9380

test45/test_45.20_5_0.1_3_2.1_3_3_3.30.5 nlp wc
45 lines 3258 bytes
head (1,3,2) body (1,3,3,3)
estimated blow-up 30.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 91.53sec 135.82sec 100000 2667 89514
htl 4.95sec 364.70sec -- 756 12321
str 5.80sec 359.04sec -- 756 10762

test45/test_45.20_5_0.1_3_2.1_3_3_4.96.1 nlp wc
45 lines 3646 bytes
head (1,3,2) body (1,3,3,4)
estimated blow-up 96.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 788.15sec 358.89sec -- 7848 308075
htl 6.00sec 356.21sec -- 830 13643
str 7.54sec 361.76sec -- 830 11883

test45/test_45.20_5_0.1_3_2.2_2_2_1.1.4 nlp wc
45 lines 2266 bytes
head (1,3,2) body (2,2,2,1)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.10sec 23.38sec 100000 200 4709
htl 2.72sec 362.06sec -- 498 7850
str 2.91sec 362.75sec -- 506 7046

test45/test_45.20_5_0.1_3_2.2_2_2_2.1.8 nlp wc
45 lines 2570 bytes
head (1,3,2) body (2,2,2,2)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.21sec 2.98sec 12022 200 5812
htl 2.69sec 358.45sec -- 503 8194
str 3.30sec 361.58sec -- 511 7287

test45/test_45.20_5_0.1_3_2.2_2_2_3.2.1 nlp wc
45 lines 2866 bytes
head (1,3,2) body (2,2,2,3)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.33sec 0.15sec 523 203 7200
htl 2.79sec 361.66sec -- 511 8568
str 3.47sec 360.07sec -- 519 7575

test45/test_45.20_5_0.1_3_2.2_2_2_4.2.3 nlp wc
44 lines 3115 bytes
head (1,3,2) body (2,2,2,4)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.41sec 0.03sec 120 194 8120
htl 2.80sec 359.83sec -- 499 8556
str 3.74sec 362.42sec -- 517 7677

test45/test_45.20_5_0.1_3_2.2_3_2_1.14.0 nlp wc
45 lines 3454 bytes
head (1,3,2) body (2,3,2,1)
estimated blow-up 14.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 13.83sec 163.00sec 100000 995 34122
htl 6.24sec 358.89sec -- 858 14062
str 8.18sec 362.64sec -- 904 12993

test45/test_45.20_5_0.1_3_2.2_3_2_2.152.2 nlp wc
45 lines 4694 bytes
head (1,3,2) body (2,3,2,2)
estimated blow-up 152.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 693.27sec 294.90sec 7600 7284 391292
htl 9.97sec 359.20sec -- 1160 19339
str 15.27sec 358.86sec -- 1224 17789

test45/test_45.20_5_0.1_3_2.2_3_2_3.1510.1 nlp wc
45 lines 6038 bytes
head (1,3,2) body (2,3,2,3)
estimated blow-up 1510.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 69724.09sec 361.50sec -- 67506 4822953
htl 15.77sec 360.93sec -- 1499 25206
str 25.50sec 361.69sec -- 1571 22936

test45/test_45.20_5_0.1_3_2.2_3_3_1.3.2 nlp wc
45 lines 2730 bytes
head (1,3,2) body (2,3,3,1)
estimated blow-up 3.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.75sec 40.92sec 100000 397 10186
htl 5.10sec 358.92sec -- 776 12070
str 5.92sec 361.54sec -- 776 10815

test45/test_45.20_5_0.1_3_2.2_3_3_2.10.7 nlp wc
45 lines 3516 bytes
head (1,3,2) body (2,3,3,2)
estimated blow-up 10.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 14.17sec 85.43sec 66179 996 36811
htl 8.19sec 358.21sec -- 1019 16007
str 10.09sec 364.24sec -- 1019 14363

test45/test_45.20_5_0.1_3_2.2_3_3_3.34.4 nlp wc
45 lines 4161 bytes
head (1,3,2) body (2,3,3,3)
estimated blow-up 34.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 99.93sec 44.50sec 39689 2720 131856
htl 11.75sec 361.27sec -- 1271 19951
str 14.85sec 358.29sec -- 1271 18004

test45/test_45.20_5_0.1_3_2.2_3_3_4.108.0 nlp wc
45 lines 4982 bytes
head (1,3,2) body (2,3,3,4)
estimated blow-up 108.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 874.30sec 158.40sec 13406 8124 493150
htl 15.97sec 363.77sec -- 1528 24292
str 21.83sec 359.11sec -- 1528 21853

test45/test_45.20_5_0.1_3_2.3_3_3_1.1.6 nlp wc
45 lines 2426 bytes
head (1,3,2) body (3,3,3,1)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.21sec 1.09sec 4860 197 5261
htl 2.68sec 364.61sec -- 499 7999
str 3.16sec 360.84sec -- 503 7075

test45/test_45.20_5_0.1_3_2.3_3_3_2.2.1 nlp wc
45 lines 2822 bytes
head (1,3,2) body (3,3,3,2)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.19sec 0.35sec 1296 196 6951
htl 2.59sec 360.11sec -- 489 8181
str 3.50sec 363.19sec -- 501 7279

test45/test_45.20_5_0.1_3_2.3_3_3_3.2.5 nlp wc
45 lines 3131 bytes
head (1,3,2) body (3,3,3,3)
estimated blow-up 2.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.40sec 0.17sec 603 205 8550
htl 2.77sec 360.02sec -- 517 8915
str 3.84sec 360.44sec -- 521 7794

test45/test_45.20_5_0.1_3_2.3_3_3_4.2.7 nlp wc
45 lines 3476 bytes
head (1,3,2) body (3,3,3,4)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.50sec 0.16sec 648 196 9672
htl 2.90sec 361.41sec -- 497 8854
str 3.94sec 360.33sec -- 511 7850

test45/test_45.20_5_0.1_3_3.1_1_1_1.1.2 nlp wc
40 lines 1565 bytes
head (1,3,3) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.86sec 20.33sec 100000 170 3375
htl 2.03sec 356.97sec -- 393 5808
str 2.06sec 357.69sec -- 397 5331

test45/test_45.20_5_0.1_3_3.1_1_1_2.1.4 nlp wc
40 lines 1674 bytes
head (1,3,3) body (1,1,1,2)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.98sec 38.10sec 100000 179 3957
htl 1.97sec 359.64sec -- 406 6149
str 2.07sec 359.38sec -- 408 5584

test45/test_45.20_5_0.1_3_3.1_1_1_3.1.6 nlp wc
39 lines 1742 bytes
head (1,3,3) body (1,1,1,3)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.96sec 22.54sec 100000 172 4150
htl 1.78sec 360.14sec -- 383 5854
str 2.11sec 361.45sec -- 391 5409

test45/test_45.20_5_0.1_3_3.1_1_1_4.1.7 nlp wc
40 lines 1919 bytes
head (1,3,3) body (1,1,1,4)
estimated blow-up 1.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.90sec 5.73sec 28437 172 4801
htl 1.99sec 359.98sec -- 394 6168
str 2.38sec 359.29sec -- 404 5694

test45/test_45.20_5_0.1_3_3.1_2_1_1.5.6 nlp wc
40 lines 2158 bytes
head (1,3,3) body (1,2,1,1)
estimated blow-up 5.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.98sec 35.34sec 100000 424 11002
htl 2.95sec 58.25sec 100000 533 8398
str 3.53sec 92.12sec 100000 569 8019

test45/test_45.20_5_0.1_3_3.1_2_1_2.27.5 nlp wc
40 lines 2889 bytes
head (1,3,3) body (1,2,1,2)
estimated blow-up 27.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 24.36sec 90.10sec 100000 1317 52148
htl 3.79sec 362.12sec -- 630 10391
str 5.36sec 357.71sec -- 684 9852

test45/test_45.20_5_0.1_3_3.1_2_1_3.123.9 nlp wc
40 lines 3586 bytes
head (1,3,3) body (1,2,1,3)
estimated blow-up 123.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 320.98sec 345.53sec 100000 4904 259360
htl 4.87sec 360.60sec -- 753 12822
str 7.44sec 359.93sec -- 815 11873

test45/test_45.20_5_0.1_3_3.1_2_1_4.535.5 nlp wc
40 lines 4434 bytes
head (1,3,3) body (1,2,1,4)
estimated blow-up 535.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5656.41sec 363.88sec -- 20334 1364948
htl 6.50sec 361.56sec -- 881 15469
str 10.80sec 358.26sec -- 961 14216

test45/test_45.20_5_0.1_3_3.1_2_2_1.2.1 nlp wc
40 lines 1679 bytes
head (1,3,3) body (1,2,2,1)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.44sec 23.00sec 100000 252 4990
htl 2.32sec 48.15sec 100000 465 6880
str 2.46sec 92.33sec 100000 465 6302

test45/test_45.20_5_0.1_3_3.1_2_2_2.4.6 nlp wc
40 lines 1984 bytes
head (1,3,3) body (1,2,2,2)
estimated blow-up 4.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.84sec 30.77sec 100000 414 10023
htl 2.96sec 361.32sec -- 519 7789
str 3.00sec 361.10sec -- 519 7122

test45/test_45.20_5_0.1_3_3.1_2_2_3.9.8 nlp wc
40 lines 2228 bytes
head (1,3,3) body (1,2,2,3)
estimated blow-up 9.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 7.79sec 43.42sec 100000 730 21524
htl 3.31sec 361.04sec -- 595 9106
str 3.73sec 360.75sec -- 595 8274

test45/test_45.20_5_0.1_3_3.1_2_2_4.20.8 nlp wc
40 lines 2482 bytes
head (1,3,3) body (1,2,2,4)
estimated blow-up 20.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 23.20sec 77.78sec 100000 1296 45374
htl 3.72sec 360.89sec -- 637 9890
str 4.48sec 360.55sec -- 637 8900

test45/test_45.20_5_0.1_3_3.1_3_1_1.43.9 nlp wc
40 lines 3127 bytes
head (1,3,3) body (1,3,1,1)
estimated blow-up 43.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 48.59sec 108.06sec 100000 1890 68967
htl 4.12sec 359.24sec -- 662 11241
str 5.61sec 361.44sec -- 708 10256

test45/test_45.20_5_0.1_3_3.1_3_1_2.1280.0 nlp wc
40 lines 4763 bytes
head (1,3,3) body (1,3,1,2)
estimated blow-up 1280.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 25979.15sec 364.36sec -- 43053 2550791
htl 7.01sec 360.28sec -- 907 16396
str 10.72sec 361.58sec -- 977 14501

test45/test_45.20_5_0.1_3_3.1_3_2_1.13.1 nlp wc
40 lines 2508 bytes
head (1,3,3) body (1,3,2,1)
estimated blow-up 13.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 8.78sec 44.92sec 100000 788 21403
htl 3.18sec 189.22sec 100000 566 9254
str 4.20sec 117.59sec 100000 622 8915

test45/test_45.20_5_0.1_3_3.1_3_2_2.142.9 nlp wc
40 lines 3443 bytes
head (1,3,3) body (1,3,2,2)
estimated blow-up 142.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 465.05sec 363.21sec -- 6108 247096
htl 4.85sec 361.02sec -- 720 12181
str 6.80sec 358.97sec -- 778 11333

test45/test_45.20_5_0.1_3_3.1_3_2_3.1420.6 nlp wc
40 lines 4517 bytes
head (1,3,3) body (1,3,2,3)
estimated blow-up 1420.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 42837.50sec 362.38sec -- 56080 3007508
htl 6.58sec 361.87sec -- 877 15436
str 10.97sec 359.97sec -- 953 14110

test45/test_45.20_5_0.1_3_3.1_3_3_1.2.8 nlp wc
40 lines 1755 bytes
head (1,3,3) body (1,3,3,1)
estimated blow-up 2.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.88sec 26.12sec 100000 319 6272
htl 2.59sec 50.91sec 100000 480 7155
str 2.64sec 53.70sec 100000 480 6540

test45/test_45.20_5_0.1_3_3.1_3_3_2.9.0 nlp wc
40 lines 2197 bytes
head (1,3,3) body (1,3,3,2)
estimated blow-up 9.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 8.14sec 41.43sec 100000 769 19078
htl 3.11sec 278.51sec 100000 558 8519
str 3.50sec 174.60sec 100000 558 7715

test45/test_45.20_5_0.1_3_3.1_3_3_3.28.1 nlp wc
40 lines 2577 bytes
head (1,3,3) body (1,3,3,3)
estimated blow-up 28.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 60.82sec 78.79sec 100000 2171 66746
htl 3.76sec 367.37sec -- 642 10067
str 4.46sec 362.11sec -- 642 9049

test45/test_45.20_5_0.1_3_3.1_3_3_4.87.1 nlp wc
39 lines 2909 bytes
head (1,3,3) body (1,3,3,4)
estimated blow-up 87.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 487.58sec 360.21sec -- 6272 224683
htl 4.65sec 359.07sec -- 730 11507
str 5.65sec 359.52sec -- 730 10342

test45/test_45.20_5_0.1_3_3.2_2_2_1.1.4 nlp wc
39 lines 1637 bytes
head (1,3,3) body (2,2,2,1)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.79sec 21.67sec 100000 170 3699
htl 1.96sec 363.36sec -- 389 5866
str 2.07sec 357.54sec -- 393 5361

test45/test_45.20_5_0.1_3_3.2_2_2_2.1.7 nlp wc
40 lines 1897 bytes
head (1,3,3) body (2,2,2,2)
estimated blow-up 1.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.07sec 21.73sec 100000 178 4686
htl 2.05sec 362.64sec -- 404 6317
str 2.22sec 361.98sec -- 414 5860

test45/test_45.20_5_0.1_3_3.2_2_2_3.2.0 nlp wc
40 lines 2193 bytes
head (1,3,3) body (2,2,2,3)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.02sec 0.13sec 501 163 5374
htl 2.04sec 361.52sec -- 379 6103
str 2.28sec 360.02sec -- 399 5776

test45/test_45.20_5_0.1_3_3.2_2_2_4.2.2 nlp wc
38 lines 2383 bytes
head (1,3,3) body (2,2,2,4)
estimated blow-up 2.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.11sec 0.13sec 623 172 6239
htl 1.99sec 360.08sec -- 398 6612
str 2.40sec 360.59sec -- 408 6025

test45/test_45.20_5_0.1_3_3.2_3_2_1.13.0 nlp wc
39 lines 2800 bytes
head (1,3,3) body (2,3,2,1)
estimated blow-up 13.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 9.09sec 46.70sec 100000 794 25514
htl 4.82sec 360.36sec -- 744 11870
str 6.22sec 362.35sec -- 782 11122

test45/test_45.20_5_0.1_3_3.2_3_2_2.135.7 nlp wc
40 lines 4195 bytes
head (1,3,3) body (2,3,2,2)
estimated blow-up 135.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 505.62sec 361.40sec -- 6248 326182
htl 8.80sec 362.57sec -- 1082 17848
str 13.23sec 358.99sec -- 1152 16722

test45/test_45.20_5_0.1_3_3.2_3_2_3.1315.1 nlp wc
40 lines 5461 bytes
head (1,3,3) body (2,3,2,3)
estimated blow-up 1315.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 41542.81sec 360.82sec -- 54453 3681390
htl 14.55sec 361.77sec -- 1409 23404
str 21.94sec 361.35sec -- 1483 21588

test45/test_45.20_5_0.1_3_3.2_3_3_1.3.0 nlp wc
40 lines 2131 bytes
head (1,3,3) body (2,3,3,1)
estimated blow-up 3.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.24sec 28.56sec 100000 338 8115
htl 4.06sec 361.63sec -- 672 10124
str 4.25sec 356.32sec -- 672 9290

test45/test_45.20_5_0.1_3_3.2_3_3_2.9.7 nlp wc
40 lines 2913 bytes
head (1,3,3) body (2,3,3,2)
estimated blow-up 9.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 9.21sec 50.92sec 100000 794 27931
htl 6.47sec 363.07sec -- 917 14124
str 8.12sec 359.83sec -- 917 12795

test45/test_45.20_5_0.1_3_3.2_3_3_3.30.5 nlp wc
40 lines 3648 bytes
head (1,3,3) body (2,3,3,3)
estimated blow-up 30.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 63.48sec 62.87sec 100000 2125 101754
htl 9.74sec 360.04sec -- 1147 17850
str 11.85sec 360.66sec -- 1147 16160

test45/test_45.20_5_0.1_3_3.2_3_3_4.94.2 nlp wc
39 lines 4276 bytes
head (1,3,3) body (2,3,3,4)
estimated blow-up 94.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 497.41sec 44.56sec 2522 6188 360404
htl 13.77sec 356.39sec -- 1403 21744
str 17.43sec 356.61sec -- 1403 19824

test45/test_45.20_5_0.1_3_3.3_3_3_1.1.6 nlp wc
40 lines 1796 bytes
head (1,3,3) body (3,3,3,1)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.95sec 21.86sec 100000 175 4382
htl 1.88sec 361.12sec -- 390 6022
str 2.16sec 360.67sec -- 394 5455

test45/test_45.20_5_0.1_3_3.3_3_3_2.2.0 nlp wc
40 lines 2179 bytes
head (1,3,3) body (3,3,3,2)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.11sec 0.37sec 2275 174 5645
htl 2.05sec 363.13sec -- 395 6424
str 2.27sec 358.33sec -- 407 5917

test45/test_45.20_5_0.1_3_3.3_3_3_3.2.3 nlp wc
39 lines 2559 bytes
head (1,3,3) body (3,3,3,3)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.20sec 0.40sec 2157 165 6673
htl 1.96sec 357.88sec -- 376 6413
str 2.41sec 362.22sec -- 394 5930

test45/test_45.20_5_0.1_3_3.3_3_3_4.2.5 nlp wc
40 lines 2886 bytes
head (1,3,3) body (3,3,3,4)
estimated blow-up 2.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.25sec 1.61sec 8575 171 7749
htl 1.95sec 360.74sec -- 388 6862
str 2.47sec 359.56sec -- 406 6307

test45/test_45.20_5_0.2_2_2.1_1_1_1.1.3 nlp wc
38 lines 1055 bytes
head (2,2,2) body (1,1,1,1)
estimated blow-up 1.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.87sec 0.00sec 1 152 2666
htl 1.10sec 0.00sec 1 264 3901
str 1.24sec 0.02sec 1 270 3546

test45/test_45.20_5_0.2_2_2.1_1_1_2.1.6 nlp wc
40 lines 1208 bytes
head (2,2,2) body (1,1,1,2)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.83sec 0.00sec 1 156 3164
htl 1.12sec 0.01sec 1 271 4151
str 1.32sec 0.35sec 1 281 3798

test45/test_45.20_5_0.2_2_2.1_1_1_3.1.8 nlp wc
40 lines 1330 bytes
head (2,2,2) body (1,1,1,3)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.94sec 0.01sec 1 170 3864
htl 1.32sec 0.01sec 1 300 4755
str 1.30sec 361.86sec -- 308 4253

test45/test_45.20_5_0.2_2_2.1_1_1_4.2.0 nlp wc
40 lines 1402 bytes
head (2,2,2) body (1,1,1,4)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.81sec 0.02sec 1 158 3987
htl 1.29sec 0.01sec 1 270 4346
str 1.31sec 36.31sec 1 288 4075

test45/test_45.20_5_0.2_2_2.1_2_1_1.6.3 nlp wc
40 lines 1692 bytes
head (2,2,2) body (1,2,1,1)
estimated blow-up 6.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.82sec 0.02sec 2 402 9216
htl 2.01sec 0.23sec 2 409 6475
str 2.51sec 1.67sec 2 439 6039

test45/test_45.20_5_0.2_2_2.1_2_1_2.31.0 nlp wc
38 lines 2386 bytes
head (2,2,2) body (1,2,1,2)
estimated blow-up 31.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 23.23sec 0.52sec 0 1314 47657
htl 3.02sec 101.36sec 0 540 9031
str 3.88sec 359.83sec -- 596 8565

test45/test_45.20_5_0.2_2_2.1_2_1_3.137.9 nlp wc
40 lines 3208 bytes
head (2,2,2) body (1,2,1,3)
estimated blow-up 137.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 314.81sec 10.46sec 1 4962 251698
htl 3.75sec 361.88sec -- 656 11474
str 5.88sec 362.83sec -- 726 10593

test45/test_45.20_5_0.2_2_2.1_2_1_4.588.3 nlp wc
40 lines 3866 bytes
head (2,2,2) body (1,2,1,4)
estimated blow-up 588.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4645.91sec 341.49sec 0 19304 1221271
htl 5.03sec 362.62sec -- 782 13814
str 8.19sec 360.77sec -- 858 12622

test45/test_45.20_5_0.2_2_2.1_2_2_1.2.2 nlp wc
40 lines 1229 bytes
head (2,2,2) body (1,2,2,1)
estimated blow-up 2.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.22sec 0.01sec 1 250 4327
htl 1.63sec 0.01sec 1 370 5564
str 1.77sec 0.18sec 1 370 4892

test45/test_45.20_5_0.2_2_2.1_2_2_2.5.0 nlp wc
40 lines 1539 bytes
head (2,2,2) body (1,2,2,2)
estimated blow-up 5.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.77sec 0.02sec 1 396 8598
htl 1.89sec 0.01sec 1 419 6443
str 2.06sec 0.03sec 1 419 5670

test45/test_45.20_5_0.2_2_2.1_2_2_3.10.7 nlp wc
40 lines 1748 bytes
head (2,2,2) body (1,2,2,3)
estimated blow-up 10.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.74sec 0.27sec 1 706 18522
htl 2.32sec 27.86sec 1 482 7358
str 2.56sec 258.07sec 1 482 6587

test45/test_45.20_5_0.2_2_2.1_2_2_4.22.8 nlp wc
40 lines 2034 bytes
head (2,2,2) body (1,2,2,4)
estimated blow-up 22.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 25.61sec 1.31sec 0 1364 43138
htl 2.93sec 238.02sec 0 554 8596
str 3.23sec 359.43sec -- 554 7666

test45/test_45.20_5_0.2_2_2.1_3_1_1.49.5 nlp wc
40 lines 2686 bytes
head (2,2,2) body (1,3,1,1)
estimated blow-up 49.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 51.63sec 1.08sec 2 1942 63469
htl 2.97sec 0.02sec 2 556 9625
str 3.98sec 0.24sec 2 606 8710

test45/test_45.20_5_0.2_2_2.1_3_1_2.1400.5 nlp wc
40 lines 4224 bytes
head (2,2,2) body (1,3,1,2)
estimated blow-up 1400.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 23299.27sec 360.58sec -- 38920 2160613
htl 5.36sec 361.80sec -- 799 14545
str 8.53sec 360.48sec -- 861 12712

test45/test_45.20_5_0.2_2_2.1_3_2_1.14.7 nlp wc
40 lines 2044 bytes
head (2,2,2) body (1,3,2,1)
estimated blow-up 14.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 8.80sec 0.12sec 0 806 19194
htl 2.30sec 0.01sec 0 454 7490
str 2.92sec 0.02sec 0 494 6931

test45/test_45.20_5_0.2_2_2.1_3_2_2.157.9 nlp wc
40 lines 2942 bytes
head (2,2,2) body (1,3,2,2)
estimated blow-up 157.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 418.48sec 14.51sec 0 5858 214905
htl 3.68sec 5.54sec 0 615 10490
str 5.02sec 12.58sec 0 673 9761

test45/test_45.20_5_0.2_2_2.1_3_2_3.1543.8 nlp wc
40 lines 4056 bytes
head (2,2,2) body (1,3,2,3)
estimated blow-up 1543.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 46300.58sec 364.23sec -- 56808 2835908
htl 5.30sec 10.93sec 0 794 14195
str 8.81sec 360.13sec -- 872 12887

test45/test_45.20_5_0.2_2_2.1_3_3_1.3.0 nlp wc
40 lines 1371 bytes
head (2,2,2) body (1,3,3,1)
estimated blow-up 3.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.87sec 0.01sec 1 310 5367
htl 1.78sec 0.02sec 1 376 5776
str 1.75sec 0.01sec 1 376 5006

test45/test_45.20_5_0.2_2_2.1_3_3_2.9.4 nlp wc
38 lines 1666 bytes
head (2,2,2) body (1,3,3,2)
estimated blow-up 9.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 8.20sec 0.30sec 0 772 16052
htl 2.26sec 0.02sec 0 452 6895
str 2.51sec 0.02sec 0 452 6156

test45/test_45.20_5_0.2_2_2.1_3_3_3.29.5 nlp wc
40 lines 2103 bytes
head (2,2,2) body (1,3,3,3)
estimated blow-up 29.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 59.70sec 2.46sec 1 2164 58263
htl 2.83sec 0.04sec 1 539 8407
str 3.28sec 1.25sec 1 539 7468

test45/test_45.20_5_0.2_2_2.1_3_3_4.91.4 nlp wc
40 lines 2437 bytes
head (2,2,2) body (1,3,3,4)
estimated blow-up 91.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 407.62sec 16.01sec 0 5808 187962
htl 3.66sec 1.43sec 0 629 10022
str 3.96sec 2.38sec 0 629 8855

test45/test_45.20_5_0.2_2_2.2_2_2_1.1.6 nlp wc
38 lines 1153 bytes
head (2,2,2) body (2,2,2,1)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.85sec 0.00sec 0 166 3326
htl 1.26sec 0.01sec 0 290 4479
str 1.39sec 15.96sec 0 294 3977

test45/test_45.20_5_0.2_2_2.2_2_2_2.2.0 nlp wc
40 lines 1487 bytes
head (2,2,2) body (2,2,2,2)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.80sec 0.01sec 1 166 4262
htl 1.20sec 0.01sec 1 287 4640
str 1.41sec 301.42sec 1 293 4107

test45/test_45.20_5_0.2_2_2.2_2_2_3.2.3 nlp wc
40 lines 1716 bytes
head (2,2,2) body (2,2,2,3)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.00sec 0.01sec 1 156 4773
htl 1.32sec 0.01sec 1 277 4645
str 1.55sec 107.45sec 1 299 4352

test45/test_45.20_5_0.2_2_2.2_2_2_4.2.5 nlp wc
40 lines 2021 bytes
head (2,2,2) body (2,2,2,4)
estimated blow-up 2.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.04sec 0.01sec 1 158 5753
htl 1.31sec 0.01sec 1 276 4843
str 1.67sec 361.99sec -- 302 4538

test45/test_45.20_5_0.2_2_2.2_3_2_1.14.2 nlp wc
40 lines 2307 bytes
head (2,2,2) body (2,3,2,1)
estimated blow-up 14.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 8.72sec 0.23sec 1 796 22621
htl 3.60sec 159.16sec 1 640 10165
str 4.78sec 353.89sec 1 682 9569

test45/test_45.20_5_0.2_2_2.2_3_2_2.146.1 nlp wc
40 lines 3634 bytes
head (2,2,2) body (2,3,2,2)
estimated blow-up 146.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 500.79sec 32.43sec 1 6214 291756
htl 7.10sec 361.11sec -- 955 15673
str 10.50sec 361.38sec -- 1019 14632

test45/test_45.20_5_0.2_2_2.2_3_2_3.1394.6 nlp wc
40 lines 5028 bytes
head (2,2,2) body (2,3,2,3)
estimated blow-up 1394.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 40117.35sec 360.62sec -- 55024 3601998
htl 12.29sec 360.99sec -- 1297 21711
str 19.28sec 361.50sec -- 1377 20050

test45/test_45.20_5_0.2_2_2.2_3_3_1.3.2 nlp wc
40 lines 1701 bytes
head (2,2,2) body (2,3,3,1)
estimated blow-up 3.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.84sec 0.02sec 1 322 6916
htl 3.03sec 1.13sec 1 550 8197
str 3.00sec 4.75sec 1 550 7427

test45/test_45.20_5_0.2_2_2.2_3_3_2.10.2 nlp wc
40 lines 2456 bytes
head (2,2,2) body (2,3,3,2)
estimated blow-up 10.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 8.96sec 0.50sec 0 792 25313
htl 5.42sec 359.54sec -- 812 12446
str 6.09sec 360.36sec -- 812 11245

test45/test_45.20_5_0.2_2_2.2_3_3_3.31.8 nlp wc
40 lines 2994 bytes
head (2,2,2) body (2,3,3,3)
estimated blow-up 31.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 61.07sec 4.64sec 1 2150 87644
htl 8.12sec 358.43sec -- 1046 15911
str 9.40sec 359.99sec -- 1046 14632

test45/test_45.20_5_0.2_2_2.2_3_3_4.97.7 nlp wc
40 lines 3839 bytes
head (2,2,2) body (2,3,3,4)
estimated blow-up 97.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 540.13sec 56.43sec 0 6448 347955
htl 12.32sec 360.40sec -- 1324 20540
str 14.93sec 360.34sec -- 1324 18639

test45/test_45.20_5_0.2_2_2.3_3_3_1.1.8 nlp wc
40 lines 1287 bytes
head (2,2,2) body (3,3,3,1)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.76sec 0.01sec 1 150 3449
htl 1.24sec 0.01sec 1 265 4140
str 1.32sec 53.02sec 1 287 3968

test45/test_45.20_5_0.2_2_2.3_3_3_2.2.3 nlp wc
40 lines 1666 bytes
head (2,2,2) body (3,3,3,2)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.03sec 0.01sec 1 156 4747
htl 1.42sec 0.01sec 1 277 4626
str 1.54sec 25.75sec 1 295 4272

test45/test_45.20_5_0.2_2_2.3_3_3_3.2.6 nlp wc
40 lines 2086 bytes
head (2,2,2) body (3,3,3,3)
estimated blow-up 2.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.05sec 0.01sec 1 166 6455
htl 1.47sec 0.01sec 1 290 5252
str 1.63sec 358.42sec -- 308 4706

test45/test_45.20_5_0.2_2_2.3_3_3_4.2.8 nlp wc
40 lines 2442 bytes
head (2,2,2) body (3,3,3,4)
estimated blow-up 2.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.26sec 0.02sec 1 166 7518
htl 1.46sec 0.01sec 1 290 5509
str 1.84sec 361.05sec -- 314 5009

test45/test_45.20_5_0.2_3_2.1_1_1_1.2.6 nlp wc
45 lines 2470 bytes
head (2,3,2) body (1,1,1,1)
estimated blow-up 2.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.23sec 1.30sec 2203 370 6829
htl 4.41sec 96.02sec 2203 712 10738
str 4.83sec 98.41sec 2203 714 9888

test45/test_45.20_5_0.2_3_2.1_1_1_2.3.1 nlp wc
45 lines 2489 bytes
head (2,3,2) body (1,1,1,2)
estimated blow-up 3.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.03sec 0.03sec 13 343 7692
htl 4.15sec 360.95sec -- 675 10167
str 4.40sec 360.08sec -- 681 9407

test45/test_45.20_5_0.2_3_2.1_1_1_3.3.5 nlp wc
43 lines 2584 bytes
head (2,3,2) body (1,1,1,3)
estimated blow-up 3.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.31sec 0.03sec 53 347 9188
htl 4.13sec 358.81sec -- 692 10654
str 4.98sec 359.88sec -- 698 9795

test45/test_45.20_5_0.2_3_2.1_1_1_4.3.9 nlp wc
45 lines 2838 bytes
head (2,3,2) body (1,1,1,4)
estimated blow-up 3.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.61sec 0.07sec 45 372 11314
htl 4.52sec 357.05sec -- 728 11341
str 5.70sec 360.90sec -- 738 10485

test45/test_45.20_5_0.2_3_2.1_2_1_1.12.4 nlp wc
45 lines 3098 bytes
head (2,3,2) body (1,2,1,1)
estimated blow-up 12.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 16.37sec 1.12sec 548 1095 28787
htl 6.06sec 357.72sec -- 848 13344
str 7.37sec 361.28sec -- 884 12529

test45/test_45.20_5_0.2_3_2.1_2_1_2.63.1 nlp wc
45 lines 3757 bytes
head (2,3,2) body (1,2,1,2)
estimated blow-up 63.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 194.78sec 5.41sec 246 3900 151446
htl 7.27sec 358.62sec -- 962 15512
str 10.23sec 359.83sec -- 1018 14607

test45/test_45.20_5_0.2_3_2.1_2_1_3.293.7 nlp wc
45 lines 4473 bytes
head (2,3,2) body (1,2,1,3)
estimated blow-up 293.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2892.68sec 102.90sec 152 14548 754558
htl 8.99sec 361.57sec -- 1064 17601
str 12.73sec 360.11sec -- 1126 16326

test45/test_45.20_5_0.2_3_2.1_2_1_4.1304.1 nlp wc
45 lines 5337 bytes
head (2,3,2) body (1,2,1,4)
estimated blow-up 1304.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 47400.78sec 361.20sec -- 56721 3715974
htl 10.39sec 359.57sec -- 1190 20318
str 16.52sec 355.93sec -- 1266 18661

test45/test_45.20_5_0.2_3_2.1_2_2_1.4.7 nlp wc
45 lines 2610 bytes
head (2,3,2) body (1,2,2,1)
estimated blow-up 4.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.81sec 0.24sec 191 581 11214
htl 5.12sec 8.11sec 191 785 11933
str 5.75sec 8.08sec 191 785 10899

test45/test_45.20_5_0.2_3_2.1_2_2_2.10.3 nlp wc
45 lines 2905 bytes
head (2,3,2) body (1,2,2,2)
estimated blow-up 10.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 15.84sec 0.64sec 336 1093 25952
htl 5.71sec 68.83sec 336 845 12953
str 6.94sec 98.26sec 336 845 11827

test45/test_45.20_5_0.2_3_2.1_2_2_3.22.6 nlp wc
44 lines 3130 bytes
head (2,3,2) body (1,2,2,3)
estimated blow-up 22.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 53.69sec 2.27sec 346 2011 58948
htl 6.72sec 363.91sec -- 909 14053
str 7.57sec 359.10sec -- 909 12752

test45/test_45.20_5_0.2_3_2.1_2_2_4.48.7 nlp wc
45 lines 3374 bytes
head (2,3,2) body (1,2,2,4)
estimated blow-up 48.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 187.15sec 10.52sec 175 3852 134449
htl 6.98sec 360.69sec -- 956 14884
str 8.49sec 358.13sec -- 956 13469

test45/test_45.20_5_0.2_3_2.1_3_1_1.101.4 nlp wc
45 lines 4081 bytes
head (2,3,2) body (1,3,1,1)
estimated blow-up 101.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 409.67sec 39.00sec 1393 5673 206246
htl 7.55sec 361.21sec -- 988 16458
str 10.48sec 362.84sec -- 1038 14995

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