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

Individual tests

test40/test_40.20_5_0.1_1_1.1_1_1_1.1.2 nlp wc
30 lines 601 bytes
head (1,1,1) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.87sec 0.03sec 1 90 1540
htl 1.03sec 0.01sec 1 172 2483
str 1.33sec 0.03sec 1 176 2236

test40/test_40.20_5_0.1_1_1.1_1_1_2.1.3 nlp wc
30 lines 753 bytes
head (1,1,1) body (1,1,1,2)
estimated blow-up 1.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.01sec 0.00sec 1 90 1844
htl 1.50sec 0.07sec 1 172 2654
str 1.58sec 0.21sec 1 194 2605

test40/test_40.20_5_0.1_1_1.1_1_1_3.1.4 nlp wc
30 lines 861 bytes
head (1,1,1) body (1,1,1,3)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.16sec 0.00sec 1 92 2081
htl 1.76sec 0.00sec 1 168 2692
str 1.38sec 1.09sec 1 188 2600

test40/test_40.20_5_0.1_1_1.1_1_1_4.1.5 nlp wc
30 lines 952 bytes
head (1,1,1) body (1,1,1,4)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.09sec 0.00sec 1 80 2052
htl 1.67sec 0.00sec 1 150 2475
str 1.74sec 0.39sec 1 188 2699

test40/test_40.20_5_0.1_1_1.1_2_1_1.4.7 nlp wc
30 lines 1167 bytes
head (1,1,1) body (1,2,1,1)
estimated blow-up 4.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.81sec 0.02sec 1 230 5060
htl 3.26sec 0.02sec 1 312 5012
str 3.55sec 0.22sec 1 346 4705

test40/test_40.20_5_0.1_1_1.1_2_1_2.20.4 nlp wc
30 lines 1846 bytes
head (1,1,1) body (1,2,1,2)
estimated blow-up 20.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 16.49sec 0.67sec 2 722 24809
htl 4.96sec 174.29sec 2 452 7472
str 6.34sec 776.04sec -- 494 6988

test40/test_40.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.10sec 11.15sec 4 2640 130211
htl 6.98sec 2.80sec 4 564 9881
str 10.51sec 776.14sec -- 626 9047

test40/test_40.20_5_0.1_1_1.1_2_1_4.350.0 nlp wc
30 lines 3410 bytes
head (1,1,1) body (1,2,1,4)
estimated blow-up 350.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2984.34sec 240.41sec 0 9942 622607
htl 9.06sec 774.51sec -- 682 12257
str 14.44sec 772.71sec -- 754 11036

test40/test_40.20_5_0.1_1_1.1_2_2_1.1.8 nlp wc
30 lines 741 bytes
head (1,1,1) body (1,2,2,1)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.53sec 0.00sec 0 126 2175
htl 2.45sec 0.04sec 0 238 3525
str 2.25sec 0.09sec 0 238 3031

test40/test_40.20_5_0.1_1_1.1_2_2_2.3.7 nlp wc
30 lines 1039 bytes
head (1,1,1) body (1,2,2,2)
estimated blow-up 3.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.17sec 0.09sec 1 208 4410
htl 2.84sec 0.11sec 1 314 4760
str 3.60sec 2.49sec 1 314 4113

test40/test_40.20_5_0.1_1_1.1_2_2_3.7.4 nlp wc
30 lines 1274 bytes
head (1,1,1) body (1,2,2,3)
estimated blow-up 7.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.35sec 0.09sec 1 362 9338
htl 4.15sec 21.10sec 1 370 5666
str 3.79sec 51.41sec 1 370 4978

test40/test_40.20_5_0.1_1_1.1_2_2_4.15.0 nlp wc
30 lines 1579 bytes
head (1,1,1) body (1,2,2,4)
estimated blow-up 15.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 14.52sec 0.60sec 1 658 21462
htl 4.76sec 3.35sec 1 430 6741
str 4.73sec 38.44sec 1 430 5859

test40/test_40.20_5_0.1_1_1.1_3_1_1.32.0 nlp wc
30 lines 2193 bytes
head (1,1,1) body (1,3,1,1)
estimated blow-up 32.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 29.97sec 0.37sec 1 968 31510
htl 5.05sec 0.02sec 1 446 7910
str 6.90sec 0.06sec 1 498 7066

test40/test_40.20_5_0.1_1_1.1_3_1_2.821.0 nlp wc
30 lines 3819 bytes
head (1,1,1) body (1,3,1,2)
estimated blow-up 821.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 13516.73sec 531.20sec 1 20390 1122750
htl 10.41sec 160.78sec 1 722 13413
str 16.51sec 773.55sec -- 778 11364

test40/test_40.20_5_0.1_1_1.1_3_2_1.10.2 nlp wc
30 lines 1530 bytes
head (1,1,1) body (1,3,2,1)
estimated blow-up 10.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.85sec 0.12sec 0 418 9782
htl 4.11sec 0.01sec 0 354 5947
str 4.62sec 0.06sec 0 396 5486

test40/test_40.20_5_0.1_1_1.1_3_2_2.97.7 nlp wc
30 lines 2480 bytes
head (1,1,1) body (1,3,2,2)
estimated blow-up 97.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 258.66sec 11.98sec 1 3046 109997
htl 6.16sec 0.22sec 1 510 8875
str 9.22sec 1.26sec 1 568 8147

test40/test_40.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 26418.86sec 778.42sec -- 28430 1435518
htl 8.95sec 51.11sec 0 678 12392
str 15.44sec 336.80sec 0 748 10999

test40/test_40.20_5_0.1_1_1.1_3_3_1.2.3 nlp wc
30 lines 857 bytes
head (1,1,1) body (1,3,3,1)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.95sec 0.01sec 1 168 2866
htl 2.56sec 0.08sec 1 270 4115
str 2.67sec 0.04sec 1 270 3505

test40/test_40.20_5_0.1_1_1.1_3_3_2.6.5 nlp wc
30 lines 1265 bytes
head (1,1,1) body (1,3,3,2)
estimated blow-up 6.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.43sec 0.09sec 1 406 8725
htl 3.67sec 0.09sec 1 359 5573
str 4.15sec 0.08sec 1 359 4754

test40/test_40.20_5_0.1_1_1.1_3_3_3.19.1 nlp wc
30 lines 1608 bytes
head (1,1,1) body (1,3,3,3)
estimated blow-up 19.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 34.00sec 1.75sec 0 1080 28566
htl 4.87sec 24.95sec 0 445 6932
str 5.04sec 47.80sec 0 445 6056

test40/test_40.20_5_0.1_1_1.1_3_3_4.56.6 nlp wc
30 lines 2021 bytes
head (1,1,1) body (1,3,3,4)
estimated blow-up 56.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 267.50sec 18.84sec 0 3124 102477
htl 6.37sec 40.09sec 0 519 8336
str 7.06sec 116.68sec 0 519 7202

test40/test_40.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.85sec 0.00sec 1 88 1719
htl 2.09sec 0.08sec 1 164 2464
str 1.64sec 0.18sec 1 176 2331

test40/test_40.20_5_0.1_1_1.2_2_2_2.1.5 nlp wc
30 lines 998 bytes
head (1,1,1) body (2,2,2,2)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.69sec 0.08sec 0 92 2292
htl 2.29sec 0.03sec 0 180 2960
str 2.05sec 3.32sec 0 204 2889

test40/test_40.20_5_0.1_1_1.2_2_2_3.1.6 nlp wc
30 lines 1283 bytes
head (1,1,1) body (2,2,2,3)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.64sec 0.09sec 1 88 2679
htl 1.67sec 0.08sec 1 164 2960
str 2.43sec 1.42sec 1 198 2983

test40/test_40.20_5_0.1_1_1.2_2_2_4.1.6 nlp wc
30 lines 1483 bytes
head (1,1,1) body (2,2,2,4)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.89sec 0.00sec 1 84 2912
htl 2.21sec 0.04sec 1 160 3036
str 2.55sec 1.39sec 1 202 3165

test40/test_40.20_5_0.1_1_1.2_3_2_1.9.2 nlp wc
30 lines 1797 bytes
head (1,1,1) body (2,3,2,1)
estimated blow-up 9.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.85sec 0.09sec 0 428 11755
htl 6.31sec 45.95sec 0 542 8518
str 7.72sec 621.70sec 0 582 8045

test40/test_40.20_5_0.1_1_1.2_3_2_2.85.6 nlp wc
30 lines 3167 bytes
head (1,1,1) body (2,3,2,2)
estimated blow-up 85.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 305.04sec 22.12sec 1 3270 153814
htl 13.17sec 772.41sec -- 885 14583
str 18.62sec 773.22sec -- 943 13447

test40/test_40.20_5_0.1_1_1.2_3_2_3.782.3 nlp wc
30 lines 4439 bytes
head (1,1,1) body (2,3,2,3)
estimated blow-up 782.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 24915.25sec 773.92sec -- 27626 1783268
htl 22.81sec 773.45sec -- 1212 20111
str 35.31sec 772.62sec -- 1278 18407

test40/test_40.20_5_0.1_1_1.2_3_3_1.2.2 nlp wc
30 lines 1155 bytes
head (1,1,1) body (2,3,3,1)
estimated blow-up 2.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.99sec 0.01sec 1 166 3436
htl 4.98sec 0.27sec 1 446 6440
str 5.14sec 0.77sec 1 446 5832

test40/test_40.20_5_0.1_1_1.2_3_3_2.6.3 nlp wc
30 lines 1932 bytes
head (1,1,1) body (2,3,3,2)
estimated blow-up 6.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.84sec 0.31sec 1 394 12418
htl 9.04sec 581.11sec 1 680 10312
str 9.49sec 774.07sec -- 680 9278

test40/test_40.20_5_0.1_1_1.2_3_3_3.18.6 nlp wc
30 lines 2659 bytes
head (1,1,1) body (2,3,3,3)
estimated blow-up 18.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 37.46sec 2.45sec 2 1096 46869
htl 15.03sec 773.01sec -- 951 14645
str 17.64sec 773.66sec -- 951 13246

test40/test_40.20_5_0.1_1_1.2_3_3_4.55.4 nlp wc
30 lines 3294 bytes
head (1,1,1) body (2,3,3,4)
estimated blow-up 55.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 313.05sec 32.40sec 1 3290 171684
htl 23.16sec 773.74sec -- 1221 18756
str 28.20sec 773.09sec -- 1221 16977

test40/test_40.20_5_0.1_1_1.3_3_3_1.1.4 nlp wc
30 lines 845 bytes
head (1,1,1) body (3,3,3,1)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.79sec 0.04sec 1 88 1982
htl 2.07sec 0.08sec 1 158 2515
str 2.23sec 0.43sec 1 178 2456

test40/test_40.20_5_0.1_1_1.3_3_3_2.1.6 nlp wc
30 lines 1209 bytes
head (1,1,1) body (3,3,3,2)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.81sec 0.08sec 1 92 2691
htl 2.22sec 0.04sec 1 174 3075
str 2.58sec 5.84sec 1 204 3056

test40/test_40.20_5_0.1_1_1.3_3_3_3.1.7 nlp wc
30 lines 1534 bytes
head (1,1,1) body (3,3,3,3)
estimated blow-up 1.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.62sec 0.09sec 1 92 3248
htl 2.25sec 0.01sec 1 168 3278
str 2.60sec 5.84sec 1 200 3234

test40/test_40.20_5_0.1_1_1.3_3_3_4.1.7 nlp wc
30 lines 1937 bytes
head (1,1,1) body (3,3,3,4)
estimated blow-up 1.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.67sec 0.00sec 1 84 3719
htl 2.24sec 0.08sec 1 160 3440
str 2.89sec 1.43sec 1 204 3486

test40/test_40.20_5_0.1_2_1.1_1_1_1.1.2 nlp wc
40 lines 1533 bytes
head (1,2,1) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.19sec 0.02sec 60 149 2870
htl 4.45sec 5.51sec 60 376 5584
str 4.64sec 5.71sec 60 376 4870

test40/test_40.20_5_0.1_2_1.1_1_1_2.1.5 nlp wc
40 lines 1667 bytes
head (1,2,1) body (1,1,1,2)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.00sec 0.09sec 52 166 3641
htl 4.48sec 772.05sec -- 419 6449
str 5.00sec 777.92sec -- 423 5729

test40/test_40.20_5_0.1_2_1.1_1_1_3.1.6 nlp wc
39 lines 1781 bytes
head (1,2,1) body (1,1,1,3)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.00sec 0.01sec 0 150 3894
htl 3.98sec 0.10sec 0 373 5862
str 4.44sec 0.06sec 0 389 5305

test40/test_40.20_5_0.1_2_1.1_1_1_4.1.8 nlp wc
40 lines 1892 bytes
head (1,2,1) body (1,1,1,4)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.12sec 0.05sec 32 160 4389
htl 4.05sec 774.26sec -- 398 6311
str 5.14sec 773.94sec -- 408 5647

test40/test_40.20_5_0.1_2_1.1_2_1_1.5.8 nlp wc
40 lines 2110 bytes
head (1,2,1) body (1,2,1,1)
estimated blow-up 5.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.43sec 0.24sec 127 392 10081
htl 6.10sec 40.38sec 127 514 8128
str 7.46sec 42.60sec 127 542 7470

test40/test_40.20_5_0.1_2_1.1_2_1_2.28.5 nlp wc
40 lines 2858 bytes
head (1,2,1) body (1,2,1,2)
estimated blow-up 28.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 50.26sec 1.59sec 58 1275 50985
htl 8.55sec 774.07sec -- 629 10543
str 11.99sec 776.73sec -- 673 9571

test40/test_40.20_5_0.1_2_1.1_2_1_3.128.0 nlp wc
40 lines 3548 bytes
head (1,2,1) body (1,2,1,3)
estimated blow-up 128.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 698.41sec 34.15sec 13 4964 258665
htl 10.93sec 774.43sec -- 759 13016
str 16.12sec 775.10sec -- 821 11910

test40/test_40.20_5_0.1_2_1.1_2_1_4.551.4 nlp wc
40 lines 4368 bytes
head (1,2,1) body (1,2,1,4)
estimated blow-up 551.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 12166.26sec 773.27sec -- 20322 1349411
htl 13.88sec 772.86sec -- 885 15613
str 22.68sec 772.70sec -- 955 13986

test40/test_40.20_5_0.1_2_1.1_2_2_1.2.1 nlp wc
40 lines 1691 bytes
head (1,2,1) body (1,2,2,1)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.17sec 0.09sec 10 234 4717
htl 5.30sec 0.09sec 10 458 6904
str 5.55sec 0.02sec 10 458 6097

test40/test_40.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.90sec 0.16sec 37 384 9271
htl 5.93sec 8.58sec 37 515 7884
str 6.67sec 14.71sec 37 515 6968

test40/test_40.20_5_0.1_2_1.1_2_2_3.10.1 nlp wc
40 lines 2140 bytes
head (1,2,1) body (1,2,2,3)
estimated blow-up 10.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 15.99sec 0.56sec 39 707 20071
htl 6.94sec 89.83sec 39 563 8618
str 7.85sec 288.76sec 39 563 7671

test40/test_40.20_5_0.1_2_1.1_2_2_4.21.4 nlp wc
40 lines 2483 bytes
head (1,2,1) body (1,2,2,4)
estimated blow-up 21.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 51.48sec 2.29sec 50 1311 46401
htl 8.55sec 773.86sec -- 639 10076
str 9.91sec 772.70sec -- 639 8895

test40/test_40.20_5_0.1_2_1.1_3_1_1.45.5 nlp wc
39 lines 2914 bytes
head (1,2,1) body (1,3,1,1)
estimated blow-up 45.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 95.45sec 1.07sec 0 1798 63560
htl 8.57sec 0.01sec 0 661 11088
str 11.51sec 0.09sec 0 693 9789

test40/test_40.20_5_0.1_2_1.1_3_1_2.1316.6 nlp wc
40 lines 4749 bytes
head (1,2,1) body (1,3,1,2)
estimated blow-up 1316.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 54619.53sec 773.31sec -- 41449 2429163
htl 15.17sec 774.62sec -- 938 16982
str 24.51sec 772.45sec -- 994 14542

test40/test_40.20_5_0.1_2_1.1_3_2_1.13.6 nlp wc
40 lines 2502 bytes
head (1,2,1) body (1,3,2,1)
estimated blow-up 13.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 20.09sec 0.55sec 40 804 21965
htl 6.83sec 1.22sec 40 557 9181
str 9.32sec 1.61sec 40 599 8435

test40/test_40.20_5_0.1_2_1.1_3_2_2.147.3 nlp wc
40 lines 3454 bytes
head (1,2,1) body (1,3,2,2)
estimated blow-up 147.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1106.56sec 28.86sec 143 6395 258333
htl 10.43sec 34.18sec 143 729 12472
str 15.58sec 44.83sec 143 787 11373

test40/test_40.20_5_0.1_2_1.1_3_2_3.1458.0 nlp wc
40 lines 4624 bytes
head (1,2,1) body (1,3,2,3)
estimated blow-up 1458.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 95435.58sec 773.06sec -- 55180 2959359
htl 14.24sec 773.44sec -- 902 16148
str 24.27sec 772.73sec -- 972 14297

test40/test_40.20_5_0.1_2_1.1_3_3_1.2.9 nlp wc
40 lines 1802 bytes
head (1,2,1) body (1,3,3,1)
estimated blow-up 2.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.30sec 0.21sec 136 309 6241
htl 5.78sec 0.76sec 136 488 7480
str 6.01sec 1.09sec 136 488 6587

test40/test_40.20_5_0.1_2_1.1_3_3_2.9.1 nlp wc
40 lines 2185 bytes
head (1,2,1) body (1,3,3,2)
estimated blow-up 9.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 18.01sec 0.42sec 13 765 19091
htl 6.88sec 10.11sec 13 561 8739
str 7.62sec 11.38sec 13 561 7700

test40/test_40.20_5_0.1_2_1.1_3_3_3.28.5 nlp wc
40 lines 2542 bytes
head (1,2,1) body (1,3,3,3)
estimated blow-up 28.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 128.24sec 6.22sec 44 2132 63725
htl 8.47sec 120.31sec 44 654 10292
str 10.28sec 135.26sec 44 654 9076

test40/test_40.20_5_0.1_2_1.1_3_3_4.88.4 nlp wc
39 lines 2906 bytes
head (1,2,1) body (1,3,3,4)
estimated blow-up 88.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1044.25sec 28.05sec 0 6264 225583
htl 9.97sec 0.04sec 0 716 11529
str 11.81sec 0.09sec 0 716 10093

test40/test_40.20_5_0.1_2_1.2_2_2_1.1.5 nlp wc
39 lines 1635 bytes
head (1,2,1) body (2,2,2,1)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.07sec 0.09sec 0 156 3519
htl 4.47sec 0.08sec 0 391 5943
str 4.39sec 0.01sec 0 403 5396

test40/test_40.20_5_0.1_2_1.2_2_2_2.1.8 nlp wc
40 lines 1864 bytes
head (1,2,1) body (2,2,2,2)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.25sec 0.10sec 16 161 4308
htl 4.11sec 773.90sec -- 390 6199
str 5.26sec 774.10sec -- 400 5546

test40/test_40.20_5_0.1_2_1.2_2_2_3.2.1 nlp wc
40 lines 2230 bytes
head (1,2,1) body (2,2,2,3)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.35sec 0.09sec 24 161 5413
htl 4.54sec 773.54sec -- 402 6620
str 5.57sec 773.17sec -- 420 6002

test40/test_40.20_5_0.1_2_1.2_2_2_4.2.3 nlp wc
40 lines 2439 bytes
head (1,2,1) body (2,2,2,4)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.20sec 0.01sec 32 157 6103
htl 4.42sec 774.68sec -- 389 6622
str 5.76sec 774.57sec -- 411 6017

test40/test_40.20_5_0.1_2_1.2_3_2_1.13.3 nlp wc
40 lines 2758 bytes
head (1,2,1) body (2,3,2,1)
estimated blow-up 13.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 20.70sec 0.56sec 15 800 24827
htl 10.38sec 774.99sec -- 752 12004
str 13.08sec 773.96sec -- 792 11189

test40/test_40.20_5_0.1_2_1.2_3_2_2.138.9 nlp wc
40 lines 4113 bytes
head (1,2,1) body (2,3,2,2)
estimated blow-up 138.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1148.51sec 63.88sec 28 6395 323165
htl 19.12sec 772.99sec -- 1078 17739
str 27.03sec 773.34sec -- 1134 16287

test40/test_40.20_5_0.1_2_1.2_3_2_3.1339.8 nlp wc
40 lines 5429 bytes
head (1,2,1) body (2,3,2,3)
estimated blow-up 1339.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 108632.41sec 773.50sec -- 56475 3900603
htl 31.70sec 773.41sec -- 1428 23776
str 50.38sec 773.53sec -- 1500 21698

test40/test_40.20_5_0.1_2_1.2_3_3_1.3.1 nlp wc
40 lines 2072 bytes
head (1,2,1) body (2,3,3,1)
estimated blow-up 3.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.50sec 0.22sec 95 319 7485
htl 8.43sec 163.18sec 95 664 9992
str 9.58sec 188.94sec 95 664 9011

test40/test_40.20_5_0.1_2_1.2_3_3_2.9.9 nlp wc
40 lines 2872 bytes
head (1,2,1) body (2,3,3,2)
estimated blow-up 9.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 20.58sec 0.93sec 99 799 27733
htl 14.42sec 773.12sec -- 931 14352
str 17.51sec 773.09sec -- 931 12935

test40/test_40.20_5_0.1_2_1.2_3_3_3.30.9 nlp wc
40 lines 3488 bytes
head (1,2,1) body (2,3,3,3)
estimated blow-up 30.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 134.27sec 9.43sec 3 2111 96771
htl 21.09sec 773.16sec -- 1154 17919
str 26.21sec 773.79sec -- 1154 16168

test40/test_40.20_5_0.1_2_1.2_3_3_4.95.3 nlp wc
40 lines 4178 bytes
head (1,2,1) body (2,3,3,4)
estimated blow-up 95.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1102.93sec 92.55sec 22 6258 343410
htl 30.11sec 773.61sec -- 1404 21767
str 36.87sec 775.00sec -- 1404 19794

test40/test_40.20_5_0.1_2_1.3_3_3_1.1.6 nlp wc
40 lines 1815 bytes
head (1,2,1) body (3,3,3,1)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.21sec 0.09sec 24 155 4017
htl 4.26sec 362.56sec 24 390 6115
str 5.05sec 386.13sec 24 404 5531

test40/test_40.20_5_0.1_2_1.3_3_3_2.2.1 nlp wc
40 lines 2161 bytes
head (1,2,1) body (3,3,3,2)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.78sec 0.01sec 2 154 5207
htl 3.87sec 780.67sec -- 369 6116
str 4.59sec 774.16sec -- 389 5562

test40/test_40.20_5_0.1_2_1.3_3_3_3.2.4 nlp wc
40 lines 2573 bytes
head (1,2,1) body (3,3,3,3)
estimated blow-up 2.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.57sec 0.02sec 28 159 6752
htl 4.37sec 772.84sec -- 388 6769
str 5.58sec 778.10sec -- 410 6094

test40/test_40.20_5_0.1_2_1.3_3_3_4.2.6 nlp wc
40 lines 2909 bytes
head (1,2,1) body (3,3,3,4)
estimated blow-up 2.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.73sec 0.02sec 32 162 7841
htl 4.79sec 782.43sec -- 406 7286
str 6.41sec 775.96sec -- 426 6525

test40/test_40.20_5_0.1_2_2.1_1_1_1.1.2 nlp wc
34 lines 1084 bytes
head (1,2,2) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.38sec 8.20sec 20447 128 2347
htl 2.99sec 773.91sec -- 306 4354
str 2.90sec 773.50sec -- 308 3952

test40/test_40.20_5_0.1_2_2.1_1_1_2.1.4 nlp wc
35 lines 1230 bytes
head (1,2,2) body (1,1,1,2)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.81sec 0.20sec 777 133 2809
htl 3.11sec 774.26sec -- 308 4555
str 3.48sec 773.83sec -- 316 4187

test40/test_40.20_5_0.1_2_2.1_1_1_3.1.5 nlp wc
35 lines 1338 bytes
head (1,2,2) body (1,1,1,3)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.55sec 0.17sec 567 129 3102
htl 2.95sec 773.64sec -- 304 4611
str 3.36sec 773.82sec -- 320 4330

test40/test_40.20_5_0.1_2_2.1_1_1_4.1.6 nlp wc
35 lines 1410 bytes
head (1,2,2) body (1,1,1,4)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.93sec 0.06sec 315 131 3439
htl 3.18sec 773.22sec -- 297 4666
str 3.24sec 773.47sec -- 309 4268

test40/test_40.20_5_0.1_2_2.1_2_1_1.5.3 nlp wc
35 lines 1744 bytes
head (1,2,2) body (1,2,1,1)
estimated blow-up 5.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.48sec 15.77sec 28232 319 8011
htl 4.89sec 773.56sec -- 438 6818
str 5.69sec 774.22sec -- 470 6488

test40/test_40.20_5_0.1_2_2.1_2_1_2.24.8 nlp wc
35 lines 2342 bytes
head (1,2,2) body (1,2,1,2)
estimated blow-up 24.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 31.71sec 11.35sec 6447 999 36691
htl 6.42sec 774.39sec -- 557 8975
str 8.67sec 774.35sec -- 597 8396

test40/test_40.20_5_0.1_2_2.1_2_1_3.108.3 nlp wc
35 lines 3211 bytes
head (1,2,2) body (1,2,1,3)
estimated blow-up 108.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 434.67sec 24.16sec 1605 3869 203977
htl 9.11sec 773.56sec -- 685 11775
str 13.87sec 773.66sec -- 749 10841

test40/test_40.20_5_0.1_2_2.1_2_1_4.457.5 nlp wc
35 lines 3702 bytes
head (1,2,2) body (1,2,1,4)
estimated blow-up 457.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4988.17sec 351.92sec 479 12891 819393
htl 11.14sec 774.59sec -- 778 13339
str 17.46sec 773.01sec -- 834 12169

test40/test_40.20_5_0.1_2_2.1_2_2_1.2.0 nlp wc
35 lines 1194 bytes
head (1,2,2) body (1,2,2,1)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.17sec 42.60sec 100000 184 3444
htl 3.62sec 281.49sec 100000 367 5347
str 3.68sec 293.08sec 100000 367 4798

test40/test_40.20_5_0.1_2_2.1_2_2_2.4.3 nlp wc
35 lines 1529 bytes
head (1,2,2) body (1,2,2,2)
estimated blow-up 4.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.13sec 25.82sec 43987 302 6977
htl 5.17sec 773.31sec -- 428 6325
str 5.06sec 773.48sec -- 428 5736

test40/test_40.20_5_0.1_2_2.1_2_2_3.9.0 nlp wc
35 lines 1773 bytes
head (1,2,2) body (1,2,2,3)
estimated blow-up 9.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 10.30sec 2.22sec 1029 540 15120
htl 6.00sec 773.53sec -- 503 7545
str 5.95sec 774.73sec -- 503 6834

test40/test_40.20_5_0.1_2_2.1_2_2_4.18.6 nlp wc
35 lines 2107 bytes
head (1,2,2) body (1,2,2,4)
estimated blow-up 18.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 32.24sec 37.20sec 33793 1029 35964
htl 6.58sec 775.97sec -- 563 8728
str 7.88sec 778.75sec -- 563 7790

test40/test_40.20_5_0.1_2_2.1_3_1_1.39.3 nlp wc
35 lines 2665 bytes
head (1,2,2) body (1,3,1,1)
estimated blow-up 39.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 65.86sec 20.39sec 10720 1456 51268
htl 7.21sec 784.00sec -- 567 9613
str 9.47sec 797.23sec -- 605 8592

test40/test_40.20_5_0.1_2_2.1_3_1_2.1084.2 nlp wc
35 lines 4240 bytes
head (1,2,2) body (1,3,1,2)
estimated blow-up 1084.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 28387.82sec 772.08sec -- 29712 1694409
htl 12.38sec 772.79sec -- 825 14811
str 20.21sec 774.02sec -- 881 12909

test40/test_40.20_5_0.1_2_2.1_3_2_1.12.1 nlp wc
35 lines 2005 bytes
head (1,2,2) body (1,3,2,1)
estimated blow-up 12.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 11.88sec 84.15sec 100000 593 14964
htl 5.28sec 173.10sec 100000 478 7595
str 7.24sec 191.67sec 100000 520 7269

test40/test_40.20_5_0.1_2_2.1_3_2_2.124.6 nlp wc
35 lines 3090 bytes
head (1,2,2) body (1,3,2,2)
estimated blow-up 124.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 640.83sec 771.98sec -- 4816 191141
htl 8.87sec 772.42sec -- 650 11149
str 13.54sec 775.21sec -- 718 10441

test40/test_40.20_5_0.1_2_2.1_3_2_3.1200.7 nlp wc
35 lines 4082 bytes
head (1,2,2) body (1,3,2,3)
estimated blow-up 1200.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 49925.88sec 773.18sec -- 40859 2158982
htl 12.09sec 772.64sec -- 811 14306
str 20.49sec 773.24sec -- 875 12760

test40/test_40.20_5_0.1_2_2.1_3_3_1.2.7 nlp wc
35 lines 1292 bytes
head (1,2,2) body (1,3,3,1)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.69sec 44.07sec 100000 237 4373
htl 4.06sec 278.63sec 100000 387 5618
str 4.08sec 281.12sec 100000 387 5104

test40/test_40.20_5_0.1_2_2.1_3_3_2.8.1 nlp wc
35 lines 1755 bytes
head (1,2,2) body (1,3,3,2)
estimated blow-up 8.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 11.56sec 63.78sec 100000 590 13963
htl 5.68sec 773.49sec -- 482 7261
str 5.94sec 773.84sec -- 482 6547

test40/test_40.20_5_0.1_2_2.1_3_3_3.24.6 nlp wc
35 lines 2123 bytes
head (1,2,2) body (1,3,3,3)
estimated blow-up 24.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 72.63sec 148.27sec 100000 1588 45834
htl 6.56sec 773.17sec -- 567 8725
str 7.90sec 773.81sec -- 567 7816

test40/test_40.20_5_0.1_2_2.1_3_3_4.74.8 nlp wc
35 lines 2422 bytes
head (1,2,2) body (1,3,3,4)
estimated blow-up 74.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 557.24sec 168.19sec 45681 4529 154321
htl 7.75sec 774.17sec -- 634 9875
str 9.27sec 774.93sec -- 634 8810

test40/test_40.20_5_0.1_2_2.2_2_2_1.1.4 nlp wc
34 lines 1177 bytes
head (1,2,2) body (2,2,2,1)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.74sec 0.09sec 180 129 2711
htl 2.85sec 773.04sec -- 304 4519
str 2.70sec 774.52sec -- 312 4141

test40/test_40.20_5_0.1_2_2.2_2_2_2.1.6 nlp wc
35 lines 1493 bytes
head (1,2,2) body (2,2,2,2)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.13sec 0.11sec 309 135 3483
htl 3.16sec 773.15sec -- 310 4811
str 3.68sec 773.76sec -- 320 4403

test40/test_40.20_5_0.1_2_2.2_2_2_3.1.8 nlp wc
34 lines 1753 bytes
head (1,2,2) body (2,2,2,3)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.21sec 0.02sec 135 138 4231
htl 3.25sec 773.51sec -- 316 5128
str 3.77sec 773.16sec -- 328 4662

test40/test_40.20_5_0.1_2_2.2_2_2_4.2.0 nlp wc
34 lines 2019 bytes
head (1,2,2) body (2,2,2,4)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.29sec 0.01sec 81 134 4812
htl 3.03sec 772.95sec -- 309 5221
str 4.37sec 773.18sec -- 325 4780

test40/test_40.20_5_0.1_2_2.2_3_2_1.11.5 nlp wc
35 lines 2229 bytes
head (1,2,2) body (2,3,2,1)
estimated blow-up 11.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 12.00sec 13.37sec 13153 604 17783
htl 8.33sec 773.53sec -- 662 10276
str 10.52sec 772.49sec -- 690 9621

test40/test_40.20_5_0.1_2_2.2_3_2_2.114.4 nlp wc
35 lines 3735 bytes
head (1,2,2) body (2,3,2,2)
estimated blow-up 114.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 597.15sec 48.90sec 1109 4595 230391
htl 15.99sec 772.11sec -- 976 16087
str 23.73sec 772.91sec -- 1036 14891

test40/test_40.20_5_0.1_2_2.2_3_2_3.1077.6 nlp wc
35 lines 5078 bytes
head (1,2,2) body (2,3,2,3)
estimated blow-up 1077.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 56196.04sec 774.38sec -- 40677 2754347
htl 27.47sec 774.30sec -- 1331 22205
str 42.89sec 773.98sec -- 1403 20314

test40/test_40.20_5_0.1_2_2.2_3_3_1.2.7 nlp wc
35 lines 1641 bytes
head (1,2,2) body (2,3,3,1)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.99sec 55.77sec 100000 256 5718
htl 6.81sec 773.69sec -- 579 8468
str 6.91sec 773.70sec -- 579 7767

test40/test_40.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.79sec 1083 610 19502
htl 11.80sec 773.81sec -- 825 12237
str 13.14sec 774.02sec -- 825 11293

test40/test_40.20_5_0.1_2_2.2_3_3_3.25.4 nlp wc
35 lines 3074 bytes
head (1,2,2) body (2,3,3,3)
estimated blow-up 25.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 87.66sec 5.86sec 831 1695 73837
htl 19.25sec 774.16sec -- 1095 16603
str 23.24sec 772.70sec -- 1095 15236

test40/test_40.20_5_0.1_2_2.2_3_3_4.77.1 nlp wc
35 lines 3841 bytes
head (1,2,2) body (2,3,3,4)
estimated blow-up 77.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 691.47sec 53.99sec 305 4938 276124
htl 28.55sec 773.87sec -- 1377 21198
str 34.16sec 773.71sec -- 1377 19355

test40/test_40.20_5_0.1_2_2.3_3_3_1.1.5 nlp wc
35 lines 1355 bytes
head (1,2,2) body (3,3,3,1)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.10sec 0.20sec 819 135 3216
htl 3.08sec 774.35sec -- 313 4769
str 3.45sec 773.70sec -- 325 4409

test40/test_40.20_5_0.1_2_2.3_3_3_2.1.8 nlp wc
35 lines 1725 bytes
head (1,2,2) body (3,3,3,2)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.86sec 0.10sec 135 131 4116
htl 3.15sec 773.38sec -- 300 4890
str 3.57sec 773.09sec -- 320 4596

test40/test_40.20_5_0.1_2_2.3_3_3_3.2.0 nlp wc
35 lines 2081 bytes
head (1,2,2) body (3,3,3,3)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.37sec 0.03sec 243 133 5034
htl 3.39sec 773.13sec -- 311 5344
str 4.56sec 773.40sec -- 331 4947

test40/test_40.20_5_0.1_2_2.3_3_3_4.2.2 nlp wc
34 lines 2446 bytes
head (1,2,2) body (3,3,3,4)
estimated blow-up 2.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.84sec 0.05sec 45 133 5982
htl 3.75sec 773.96sec -- 308 5587
str 4.80sec 773.55sec -- 326 5064

test40/test_40.20_5_0.1_3_1.1_1_1_1.1.3 nlp wc
55 lines 2758 bytes
head (1,3,1) body (1,1,1,1)
estimated blow-up 1.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.70sec 0.04sec 112 232 4839
htl 7.30sec 3.44sec 112 595 9446
str 9.59sec 3.48sec 112 599 8223

test40/test_40.20_5_0.1_3_1.1_1_1_2.1.5 nlp wc
55 lines 3005 bytes
head (1,3,1) body (1,1,1,2)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.47sec 2.13sec 2502 250 6086
htl 8.73sec 773.56sec -- 637 10348
str 10.35sec 773.76sec -- 641 9001

test40/test_40.20_5_0.1_3_1.1_1_1_3.1.8 nlp wc
53 lines 3071 bytes
head (1,3,1) body (1,1,1,3)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.35sec 0.10sec 4 236 6509
htl 8.42sec 773.63sec -- 618 10114
str 10.21sec 773.80sec -- 626 8836

test40/test_40.20_5_0.1_3_1.1_1_1_4.2.0 nlp wc
55 lines 3227 bytes
head (1,3,1) body (1,1,1,4)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.58sec 0.04sec 78 236 7360
htl 8.43sec 774.92sec -- 618 10248
str 11.18sec 774.10sec -- 632 9023

test40/test_40.20_5_0.1_3_1.1_2_1_1.6.4 nlp wc
55 lines 3395 bytes
head (1,3,1) body (1,2,1,1)
estimated blow-up 6.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 13.98sec 0.53sec 121 663 18064
htl 11.33sec 97.74sec 121 766 12537
str 14.67sec 87.91sec 121 792 11182

test40/test_40.20_5_0.1_3_1.1_2_1_2.34.2 nlp wc
55 lines 4096 bytes
head (1,3,1) body (1,2,1,2)
estimated blow-up 34.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 136.41sec 3.48sec 16 2143 87331
htl 13.42sec 772.95sec -- 851 14380
str 20.64sec 774.58sec -- 901 12969

test40/test_40.20_5_0.1_3_1.1_2_1_3.162.4 nlp wc
55 lines 4979 bytes
head (1,3,1) body (1,2,1,3)
estimated blow-up 162.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2404.24sec 88.79sec 879 9076 499263
htl 17.60sec 774.45sec -- 997 17344
str 27.57sec 773.70sec -- 1061 15464

test40/test_40.20_5_0.1_3_1.1_2_1_4.729.4 nlp wc
55 lines 5431 bytes
head (1,3,1) body (1,2,1,4)
estimated blow-up 729.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 32145.62sec 774.00sec -- 32495 2124123
htl 20.16sec 774.35sec -- 1093 19000
str 33.75sec 774.51sec -- 1151 16870

test40/test_40.20_5_0.1_3_1.1_2_2_1.2.3 nlp wc
55 lines 3004 bytes
head (1,3,1) body (1,2,2,1)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.57sec 0.21sec 129 378 8076
htl 9.58sec 5.17sec 129 693 11091
str 11.28sec 4.75sec 129 693 9651

test40/test_40.20_5_0.1_3_1.1_2_2_2.5.2 nlp wc
53 lines 3258 bytes
head (1,3,1) body (1,2,2,2)
estimated blow-up 5.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 13.69sec 0.40sec 131 659 17076
htl 11.07sec 552.53sec 131 754 12132
str 13.35sec 616.23sec 131 754 10539

test40/test_40.20_5_0.1_3_1.1_2_2_3.11.7 nlp wc
55 lines 3502 bytes
head (1,3,1) body (1,2,2,3)
estimated blow-up 11.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 42.13sec 5.50sec 1722 1193 36858
htl 12.27sec 774.13sec -- 805 13001
str 15.69sec 774.47sec -- 805 11350

test40/test_40.20_5_0.1_3_1.1_2_2_4.25.8 nlp wc
55 lines 3821 bytes
head (1,3,1) body (1,2,2,4)
estimated blow-up 25.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 148.21sec 9.29sec 625 2273 86471
htl 14.06sec 772.34sec -- 867 14159
str 17.87sec 773.67sec -- 867 12233

test40/test_40.20_5_0.1_3_1.1_3_1_1.55.4 nlp wc
55 lines 4374 bytes
head (1,3,1) body (1,3,1,1)
estimated blow-up 55.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 318.18sec 6.16sec 213 3336 127972
htl 14.39sec 308.89sec 213 886 15327
str 21.63sec 332.07sec 213 922 13316

test40/test_40.20_5_0.1_3_1.1_3_1_2.1771.2 nlp wc
55 lines 6152 bytes
head (1,3,1) body (1,3,1,2)
estimated blow-up 1771.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 164468.96sec 774.95sec -- 71304 4244016
htl 22.92sec 774.19sec -- 1165 21150
str 41.31sec 774.93sec -- 1221 17971

test40/test_40.20_5_0.1_3_1.1_3_2_1.15.7 nlp wc
55 lines 3661 bytes
head (1,3,1) body (1,3,2,1)
estimated blow-up 15.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 50.44sec 0.92sec 21 1312 36826
htl 12.19sec 1.76sec 21 793 13187
str 16.54sec 2.12sec 21 827 11813

test40/test_40.20_5_0.1_3_1.1_3_2_2.187.1 nlp wc
55 lines 4701 bytes
head (1,3,1) body (1,3,2,2)
estimated blow-up 187.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3083.70sec 109.94sec 405 10344 434518
htl 16.62sec 349.18sec 405 952 16414
str 25.03sec 455.20sec 405 1006 14601

test40/test_40.20_5_0.1_3_1.1_3_2_3.1963.9 nlp wc
55 lines 5721 bytes
head (1,3,1) body (1,3,2,3)
estimated blow-up 1963.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 230593.00sec 774.51sec -- 89377 4856540
htl 20.92sec 773.57sec -- 1105 19545
str 35.81sec 773.01sec -- 1173 17255

test40/test_40.20_5_0.1_3_1.1_3_3_1.3.2 nlp wc
55 lines 3058 bytes
head (1,3,1) body (1,3,3,1)
estimated blow-up 3.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 8.69sec 0.19sec 26 498 10525
htl 10.25sec 0.04sec 26 695 11110
str 11.78sec 0.20sec 26 695 9657

test40/test_40.20_5_0.1_3_1.1_3_3_2.10.6 nlp wc
55 lines 3494 bytes
head (1,3,1) body (1,3,3,2)
estimated blow-up 10.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 53.48sec 3.12sec 427 1368 36415
htl 12.07sec 4.79sec 427 808 13118
str 15.73sec 4.64sec 427 808 11387

test40/test_40.20_5_0.1_3_1.1_3_3_3.35.1 nlp wc
55 lines 3848 bytes
head (1,3,1) body (1,3,3,3)
estimated blow-up 35.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 368.02sec 15.24sec 213 3667 116534
htl 14.21sec 148.64sec 213 881 14394
str 18.02sec 190.23sec 213 881 12540

test40/test_40.20_5_0.1_3_1.1_3_3_4.113.3 nlp wc
53 lines 4155 bytes
head (1,3,1) body (1,3,3,4)
estimated blow-up 113.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2922.97sec 83.05sec 82 10198 379501
htl 15.31sec 486.94sec 82 953 15608
str 20.21sec 645.41sec 82 953 13605

test40/test_40.20_5_0.1_3_1.2_2_2_1.1.5 nlp wc
55 lines 2946 bytes
head (1,3,1) body (2,2,2,1)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.36sec 0.05sec 31 240 5649
htl 8.45sec 773.01sec -- 632 10172
str 10.76sec 772.74sec -- 636 8848

test40/test_40.20_5_0.1_3_1.2_2_2_2.2.0 nlp wc
53 lines 3092 bytes
head (1,3,1) body (2,2,2,2)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.61sec 0.10sec 45 236 6961
htl 8.30sec 773.35sec -- 615 10050
str 10.55sec 772.91sec -- 621 8804

test40/test_40.20_5_0.1_3_1.2_2_2_3.2.4 nlp wc
55 lines 3496 bytes
head (1,3,1) body (2,2,2,3)
estimated blow-up 2.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.85sec 0.10sec 21 237 8655
htl 8.38sec 772.91sec -- 605 10138
str 11.10sec 771.39sec -- 619 8961

test40/test_40.20_5_0.1_3_1.2_2_2_4.2.7 nlp wc
55 lines 3708 bytes
head (1,3,1) body (2,2,2,4)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.04sec 0.20sec 243 239 10079
htl 8.22sec 772.69sec -- 615 10541
str 11.17sec 772.63sec -- 629 9225

test40/test_40.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.84sec 4.51sec 493 1340 44943
htl 16.53sec 773.39sec -- 974 16065
str 23.44sec 772.14sec -- 1018 14594

test40/test_40.20_5_0.1_3_1.2_3_2_2.187.4 nlp wc
55 lines 5486 bytes
head (1,3,1) body (2,3,2,2)
estimated blow-up 187.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3291.31sec 83.10sec 21 10891 583880
htl 26.97sec 773.80sec -- 1295 21807
str 42.04sec 773.43sec -- 1355 19623

test40/test_40.20_5_0.1_3_1.2_3_2_3.1912.2 nlp wc
55 lines 6762 bytes
head (1,3,1) body (2,3,2,3)
estimated blow-up 1912.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 301690.84sec 772.81sec -- 94961 6766695
htl 40.44sec 774.08sec -- 1629 27608
str 66.43sec 772.57sec -- 1699 24762

test40/test_40.20_5_0.1_3_1.2_3_3_1.3.6 nlp wc
53 lines 3375 bytes
head (1,3,1) body (2,3,3,1)
estimated blow-up 3.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 9.15sec 0.19sec 91 511 13292
htl 14.58sec 35.10sec 91 888 14153
str 17.88sec 35.72sec 91 888 12421

test40/test_40.20_5_0.1_3_1.2_3_3_2.12.7 nlp wc
55 lines 4163 bytes
head (1,3,1) body (2,3,3,2)
estimated blow-up 12.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 51.05sec 2.17sec 108 1301 48051
htl 20.66sec 773.55sec -- 1122 17829
str 25.97sec 773.45sec -- 1122 15753

test40/test_40.20_5_0.1_3_1.2_3_3_3.41.9 nlp wc
55 lines 4791 bytes
head (1,3,1) body (2,3,3,3)
estimated blow-up 41.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 375.21sec 11.01sec 140 3620 169900
htl 29.88sec 773.39sec -- 1390 21997
str 38.20sec 773.76sec -- 1390 19707

test40/test_40.20_5_0.1_3_1.2_3_3_4.134.6 nlp wc
55 lines 5510 bytes
head (1,3,1) body (2,3,3,4)
estimated blow-up 134.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3819.37sec 280.91sec 75 11441 662245
htl 41.97sec 774.10sec -- 1658 26172
str 55.69sec 773.91sec -- 1658 23457

test40/test_40.20_5_0.1_3_1.3_3_3_1.1.8 nlp wc
55 lines 3083 bytes
head (1,3,1) body (3,3,3,1)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.96sec 0.27sec 278 243 6569
htl 8.43sec 774.15sec -- 630 10249
str 10.80sec 773.86sec -- 636 8962

test40/test_40.20_5_0.1_3_1.3_3_3_2.2.4 nlp wc
55 lines 3465 bytes
head (1,3,1) body (3,3,3,2)
estimated blow-up 2.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.91sec 0.10sec 81 249 8846
htl 8.91sec 773.49sec -- 648 10933
str 11.45sec 773.65sec -- 652 9446

test40/test_40.20_5_0.1_3_1.3_3_3_3.2.9 nlp wc
55 lines 3853 bytes
head (1,3,1) body (3,3,3,3)
estimated blow-up 2.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.04sec 0.05sec 144 250 11106
htl 8.84sec 773.53sec -- 643 11157
str 12.53sec 774.39sec -- 649 9610

test40/test_40.20_5_0.1_3_1.3_3_3_4.3.3 nlp wc
53 lines 4043 bytes
head (1,3,1) body (3,3,3,4)
estimated blow-up 3.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.19sec 0.07sec 12 235 12220
htl 8.32sec 772.95sec -- 607 10777
str 11.68sec 772.86sec -- 617 9328

test40/test_40.20_5_0.1_3_2.1_1_1_1.1.2 nlp wc
45 lines 2197 bytes
head (1,3,2) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.24sec 50.02sec 100000 195 4144
htl 5.91sec 773.28sec -- 487 7569
str 6.44sec 774.22sec -- 491 6688

test40/test_40.20_5_0.1_3_2.1_1_1_2.1.4 nlp wc
45 lines 2314 bytes
head (1,3,2) body (1,1,1,2)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.35sec 48.82sec 100000 192 4620
htl 5.68sec 774.04sec -- 483 7624
str 6.49sec 773.67sec -- 487 6734

test40/test_40.20_5_0.1_3_2.1_1_1_3.1.6 nlp wc
45 lines 2369 bytes
head (1,3,2) body (1,1,1,3)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.89sec 1.81sec 3692 191 5055
htl 5.62sec 773.77sec -- 486 7723
str 6.93sec 774.22sec -- 490 6842

test40/test_40.20_5_0.1_3_2.1_1_1_4.1.8 nlp wc
45 lines 2458 bytes
head (1,3,2) body (1,1,1,4)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.29sec 2.61sec 5484 190 5591
htl 5.74sec 773.89sec -- 480 7772
str 6.59sec 773.91sec -- 486 6871

test40/test_40.20_5_0.1_3_2.1_2_1_1.5.8 nlp wc
45 lines 2760 bytes
head (1,3,2) body (1,2,1,1)
estimated blow-up 5.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 9.24sec 78.81sec 100000 496 13847
htl 8.30sec 773.73sec -- 618 10028
str 10.73sec 773.75sec -- 650 9166

test40/test_40.20_5_0.1_3_2.1_2_1_2.29.3 nlp wc
45 lines 3542 bytes
head (1,3,2) body (1,2,1,2)
estimated blow-up 29.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 84.92sec 347.73sec 100000 1671 70373
htl 10.92sec 773.73sec -- 738 12493
str 15.45sec 773.51sec -- 788 11388

test40/test_40.20_5_0.1_3_2.1_2_1_3.135.2 nlp wc
45 lines 4236 bytes
head (1,3,2) body (1,2,1,3)
estimated blow-up 135.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1168.55sec 774.04sec -- 6440 362833
htl 13.74sec 777.09sec -- 862 14878
str 20.41sec 778.17sec -- 916 13353

test40/test_40.20_5_0.1_3_2.1_2_1_4.594.6 nlp wc
44 lines 4892 bytes
head (1,3,2) body (1,2,1,4)
estimated blow-up 594.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 18846.84sec 772.79sec -- 24227 1638381
htl 16.84sec 772.71sec -- 964 16823
str 27.23sec 773.75sec -- 1020 14891

test40/test_40.20_5_0.1_3_2.1_2_2_1.2.1 nlp wc
45 lines 2316 bytes
head (1,3,2) body (1,2,2,1)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.99sec 53.66sec 100000 282 6095
htl 6.60sec 295.55sec 100000 538 8366
str 7.61sec 222.05sec 100000 538 7386

test40/test_40.20_5_0.1_3_2.1_2_2_2.4.7 nlp wc
44 lines 2612 bytes
head (1,3,2) body (1,2,2,2)
estimated blow-up 4.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 8.93sec 79.81sec 100000 495 13237
htl 8.10sec 773.74sec -- 622 9832
str 9.74sec 772.02sec -- 622 8640

test40/test_40.20_5_0.1_3_2.1_2_2_3.10.4 nlp wc
45 lines 2926 bytes
head (1,3,2) body (1,2,2,3)
estimated blow-up 10.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 24.96sec 104.19sec 100000 889 29181
htl 9.64sec 777.37sec -- 675 10842
str 11.92sec 779.51sec -- 675 9486

test40/test_40.20_5_0.1_3_2.1_2_2_4.22.3 nlp wc
45 lines 3178 bytes
head (1,3,2) body (1,2,2,4)
estimated blow-up 22.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 94.84sec 191.24sec 100000 1643 63169
htl 10.55sec 773.38sec -- 739 11930
str 13.25sec 773.05sec -- 739 10404

test40/test_40.20_5_0.1_3_2.1_3_1_1.47.1 nlp wc
45 lines 3679 bytes
head (1,3,2) body (1,3,1,1)
estimated blow-up 47.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 146.69sec 402.64sec 100000 2225 85655
htl 10.51sec 773.78sec -- 750 12860
str 15.05sec 773.54sec -- 788 11431

test40/test_40.20_5_0.1_3_2.1_3_1_2.1431.3 nlp wc
45 lines 5372 bytes
head (1,3,2) body (1,3,1,2)
estimated blow-up 1431.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 74198.11sec 774.80sec -- 49848 3036398
htl 17.40sec 773.08sec -- 991 18024
str 29.28sec 772.95sec -- 1051 15578

test40/test_40.20_5_0.1_3_2.1_3_2_1.13.8 nlp wc
45 lines 3063 bytes
head (1,3,2) body (1,3,2,1)
estimated blow-up 13.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 26.39sec 104.98sec 100000 934 27247
htl 8.45sec 328.49sec 100000 635 10586
str 11.96sec 292.00sec 100000 685 9808

test40/test_40.20_5_0.1_3_2.1_3_2_2.156.1 nlp wc
45 lines 4098 bytes
head (1,3,2) body (1,3,2,2)
estimated blow-up 156.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1523.15sec 773.23sec -- 7367 314946
htl 13.13sec 773.22sec -- 812 14047
str 19.92sec 773.77sec -- 876 12801

test40/test_40.20_5_0.1_3_2.1_3_2_3.1590.6 nlp wc
45 lines 5143 bytes
head (1,3,2) body (1,3,2,3)
estimated blow-up 1590.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 138934.97sec 813.10sec -- 64743 3611102
htl 18.06sec 812.15sec -- 960 17094
str 31.20sec 812.81sec -- 1036 15310

test40/test_40.20_5_0.1_3_2.1_3_3_1.3.0 nlp wc
45 lines 2411 bytes
head (1,3,2) body (1,3,3,1)
estimated blow-up 3.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.05sec 69.73sec 100000 390 8490
htl 7.33sec 275.18sec 100000 581 9064
str 9.76sec 268.32sec 100000 581 8010

test40/test_40.20_5_0.1_3_2.1_3_3_2.9.5 nlp wc
45 lines 2806 bytes
head (1,3,2) body (1,3,3,2)
estimated blow-up 9.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 28.17sec 177.28sec 100000 945 25661
htl 9.23sec 599.18sec 100000 653 10390
str 11.53sec 295.07sec 100000 653 9130

test40/test_40.20_5_0.1_3_2.1_3_3_3.30.5 nlp wc
45 lines 3245 bytes
head (1,3,2) body (1,3,3,3)
estimated blow-up 30.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 209.92sec 389.49sec 100000 2644 88306
htl 11.48sec 526.93sec 100000 735 11935
str 14.41sec 327.64sec 100000 735 10401

test40/test_40.20_5_0.1_3_2.1_3_3_4.96.1 nlp wc
45 lines 3634 bytes
head (1,3,2) body (1,3,3,4)
estimated blow-up 96.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1792.65sec 815.06sec -- 7762 303427
htl 13.04sec 816.86sec -- 809 13266
str 18.22sec 819.33sec -- 809 11529

test40/test_40.20_5_0.1_3_2.2_2_2_1.1.4 nlp wc
45 lines 2242 bytes
head (1,3,2) body (2,2,2,1)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.10sec 56.02sec 100000 189 4478
htl 5.87sec 810.81sec -- 476 7465
str 6.91sec 811.93sec -- 482 6647

test40/test_40.20_5_0.1_3_2.2_2_2_2.1.8 nlp wc
45 lines 2527 bytes
head (1,3,2) body (2,2,2,2)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.69sec 11.17sec 21435 193 5615
htl 5.83sec 815.07sec -- 482 7810
str 7.01sec 814.60sec -- 488 6910

test40/test_40.20_5_0.1_3_2.2_2_2_3.2.1 nlp wc
45 lines 2853 bytes
head (1,3,2) body (2,2,2,3)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.61sec 0.47sec 888 197 6970
htl 6.17sec 814.34sec -- 497 8302
str 8.51sec 819.27sec -- 497 7179

test40/test_40.20_5_0.1_3_2.2_2_2_4.2.3 nlp wc
45 lines 3125 bytes
head (1,3,2) body (2,2,2,4)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.83sec 0.33sec 648 194 8056
htl 6.21sec 809.91sec -- 493 8440
str 8.70sec 816.40sec -- 503 7421

test40/test_40.20_5_0.1_3_2.2_3_2_1.14.0 nlp wc
45 lines 3440 bytes
head (1,3,2) body (2,3,2,1)
estimated blow-up 14.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 32.36sec 166.54sec 100000 987 33836
htl 14.13sec 812.16sec -- 838 13682
str 19.49sec 811.99sec -- 878 12563

test40/test_40.20_5_0.1_3_2.2_3_2_2.152.2 nlp wc
44 lines 4674 bytes
head (1,3,2) body (2,3,2,2)
estimated blow-up 152.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1746.91sec 247.41sec 2076 7552 402352
htl 23.81sec 810.58sec -- 1138 18909
str 35.79sec 817.83sec -- 1196 17268

test40/test_40.20_5_0.1_3_2.2_3_2_3.1510.1 nlp wc
45 lines 6025 bytes
head (1,3,2) body (2,3,2,3)
estimated blow-up 1510.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 171681.22sec 817.24sec -- 66364 4702045
htl 36.36sec 816.46sec -- 1476 24784
str 59.54sec 815.49sec -- 1546 22499

test40/test_40.20_5_0.1_3_2.2_3_3_1.3.2 nlp wc
45 lines 2726 bytes
head (1,3,2) body (2,3,3,1)
estimated blow-up 3.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.39sec 98.12sec 100000 389 9959
htl 10.91sec 816.21sec -- 757 11733
str 13.35sec 816.75sec -- 757 10519

test40/test_40.20_5_0.1_3_2.2_3_3_2.10.7 nlp wc
45 lines 3492 bytes
head (1,3,2) body (2,3,3,2)
estimated blow-up 10.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 31.81sec 300.75sec 59722 975 35919
htl 18.66sec 818.08sec -- 1000 15641
str 22.08sec 810.53sec -- 1000 14019

test40/test_40.20_5_0.1_3_2.2_3_3_3.34.4 nlp wc
45 lines 4123 bytes
head (1,3,2) body (2,3,3,3)
estimated blow-up 34.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 231.44sec 93.83sec 27966 2689 128449
htl 25.98sec 815.06sec -- 1250 19561
str 34.53sec 817.17sec -- 1250 17649

test40/test_40.20_5_0.1_3_2.2_3_3_4.108.0 nlp wc
45 lines 4942 bytes
head (1,3,2) body (2,3,3,4)
estimated blow-up 108.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1994.21sec 239.55sec 9304 7977 480869
htl 36.39sec 813.56sec -- 1508 23904
str 49.22sec 815.43sec -- 1508 21449

test40/test_40.20_5_0.1_3_2.3_3_3_1.1.6 nlp wc
45 lines 2410 bytes
head (1,3,2) body (3,3,3,1)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.57sec 1.94sec 3861 191 5150
htl 6.02sec 827.44sec -- 485 7749
str 7.46sec 819.57sec -- 491 6867

test40/test_40.20_5_0.1_3_2.3_3_3_2.2.1 nlp wc
45 lines 2809 bytes
head (1,3,2) body (3,3,3,2)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.81sec 1.61sec 3012 195 6996
htl 6.41sec 820.64sec -- 494 8254
str 9.06sec 816.95sec -- 502 7284

test40/test_40.20_5_0.1_3_2.3_3_3_3.2.5 nlp wc
43 lines 3088 bytes
head (1,3,2) body (3,3,3,3)
estimated blow-up 2.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.91sec 0.01sec 0 192 8294
htl 6.28sec 0.04sec 0 489 8417
str 8.11sec 0.01sec 0 499 7416

test40/test_40.20_5_0.1_3_2.3_3_3_4.2.7 nlp wc
45 lines 3492 bytes
head (1,3,2) body (3,3,3,4)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.31sec 0.18sec 324 191 9714
htl 6.26sec 815.20sec -- 489 8723
str 9.19sec 812.22sec -- 497 7613

test40/test_40.20_5_0.1_3_3.1_1_1_1.1.2 nlp wc
40 lines 1548 bytes
head (1,3,3) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.58sec 45.48sec 100000 161 3176
htl 3.79sec 819.13sec -- 370 5418
str 4.07sec 814.51sec -- 372 4926

test40/test_40.20_5_0.1_3_3.1_1_1_2.1.4 nlp wc
40 lines 1661 bytes
head (1,3,3) body (1,1,1,2)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.00sec 51.92sec 100000 170 3762
htl 4.07sec 820.09sec -- 384 5777
str 4.35sec 816.95sec -- 386 5237

test40/test_40.20_5_0.1_3_3.1_1_1_3.1.6 nlp wc
40 lines 1739 bytes
head (1,3,3) body (1,1,1,3)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.99sec 35.89sec 68525 163 3951
htl 4.03sec 814.34sec -- 376 5707
str 4.58sec 815.04sec -- 384 5270

test40/test_40.20_5_0.1_3_3.1_1_1_4.1.7 nlp wc
40 lines 1910 bytes
head (1,3,3) body (1,1,1,4)
estimated blow-up 1.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.05sec 3.92sec 7315 168 4706
htl 5.50sec 814.88sec -- 387 6031
str 4.74sec 812.04sec -- 391 5452

test40/test_40.20_5_0.1_3_3.1_2_1_1.5.6 nlp wc
40 lines 2147 bytes
head (1,3,3) body (1,2,1,1)
estimated blow-up 5.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 7.44sec 68.56sec 100000 401 10466
htl 6.09sec 332.66sec 100000 505 7869
str 7.83sec 814.81sec -- 545 7613

test40/test_40.20_5_0.1_3_3.1_2_1_2.27.5 nlp wc
40 lines 2902 bytes
head (1,3,3) body (1,2,1,2)
estimated blow-up 27.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 59.45sec 224.22sec 100000 1357 53661
htl 8.32sec 816.22sec -- 629 10333
str 12.19sec 814.03sec -- 681 9771

test40/test_40.20_5_0.1_3_3.1_2_1_3.123.9 nlp wc
40 lines 3566 bytes
head (1,3,3) body (1,2,1,3)
estimated blow-up 123.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 704.55sec 264.18sec 22931 4891 259576
htl 10.30sec 804.83sec -- 725 12283
str 16.49sec 817.45sec -- 783 11347

test40/test_40.20_5_0.1_3_3.1_2_1_4.535.5 nlp wc
40 lines 4400 bytes
head (1,3,3) body (1,2,1,4)
estimated blow-up 535.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 11862.86sec 807.29sec -- 19554 1306406
htl 15.54sec 826.18sec -- 859 15030
str 23.03sec 829.54sec -- 931 13676

test40/test_40.20_5_0.1_3_3.1_2_2_1.2.1 nlp wc
40 lines 1672 bytes
head (1,3,3) body (1,2,2,1)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.05sec 56.80sec 100000 249 4927
htl 5.41sec 226.03sec 100000 458 6764
str 5.62sec 168.76sec 100000 458 6186

test40/test_40.20_5_0.1_3_3.1_2_2_2.4.6 nlp wc
40 lines 1969 bytes
head (1,3,3) body (1,2,2,2)
estimated blow-up 4.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.13sec 61.38sec 100000 393 9513
htl 5.73sec 283.23sec 100000 493 7314
str 6.29sec 803.54sec -- 493 6717

test40/test_40.20_5_0.1_3_3.1_2_2_3.9.8 nlp wc
40 lines 2225 bytes
head (1,3,3) body (1,2,2,3)
estimated blow-up 9.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 18.51sec 136.41sec 100000 733 21476
htl 7.45sec 812.59sec -- 578 8789
str 8.39sec 813.97sec -- 578 7995

test40/test_40.20_5_0.1_3_3.1_2_2_4.20.8 nlp wc
40 lines 2474 bytes
head (1,3,3) body (1,2,2,4)
estimated blow-up 20.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 56.71sec 139.00sec 100000 1336 46134
htl 8.71sec 814.74sec -- 620 9535
str 10.55sec 815.01sec -- 620 8596

test40/test_40.20_5_0.1_3_3.1_3_1_1.43.9 nlp wc
40 lines 3109 bytes
head (1,3,3) body (1,3,1,1)
estimated blow-up 43.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 116.81sec 246.57sec 100000 1878 68619
htl 8.99sec 813.61sec -- 651 11010
str 13.56sec 816.33sec -- 697 10040

test40/test_40.20_5_0.1_3_3.1_3_1_2.1280.0 nlp wc
39 lines 4749 bytes
head (1,3,3) body (1,3,1,2)
estimated blow-up 1280.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 63688.83sec 814.85sec -- 44195 2610848
htl 16.17sec 811.07sec -- 898 16175
str 26.48sec 814.25sec -- 962 14194

test40/test_40.20_5_0.1_3_3.1_3_2_1.13.1 nlp wc
40 lines 2488 bytes
head (1,3,3) body (1,3,2,1)
estimated blow-up 13.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 19.84sec 101.86sec 100000 759 20613
htl 6.59sec 719.21sec 100000 548 8924
str 9.61sec 246.27sec 100000 602 8567

test40/test_40.20_5_0.1_3_3.1_3_2_2.142.9 nlp wc
40 lines 3442 bytes
head (1,3,3) body (1,3,2,2)
estimated blow-up 142.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1096.58sec 817.90sec -- 6140 247370
htl 10.52sec 818.10sec -- 711 11984
str 15.75sec 569.71sec 100000 769 11179

test40/test_40.20_5_0.1_3_3.1_3_2_3.1420.6 nlp wc
40 lines 4486 bytes
head (1,3,3) body (1,3,2,3)
estimated blow-up 1420.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 96050.10sec 818.02sec -- 52831 2822279
htl 14.48sec 815.42sec -- 862 15099
str 27.51sec 814.47sec -- 926 13573

test40/test_40.20_5_0.1_3_3.1_3_3_1.2.8 nlp wc
40 lines 1743 bytes
head (1,3,3) body (1,3,3,1)
estimated blow-up 2.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.75sec 61.89sec 100000 313 6109
htl 5.63sec 113.43sec 100000 472 6981
str 5.51sec 120.84sec 100000 472 6390

test40/test_40.20_5_0.1_3_3.1_3_3_2.9.0 nlp wc
40 lines 2195 bytes
head (1,3,3) body (1,3,3,2)
estimated blow-up 9.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 19.50sec 72.59sec 100000 765 19007
htl 6.52sec 453.89sec 100000 534 8078
str 8.03sec 466.38sec 100000 534 7330

test40/test_40.20_5_0.1_3_3.1_3_3_3.28.1 nlp wc
40 lines 2581 bytes
head (1,3,3) body (1,3,3,3)
estimated blow-up 28.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 149.91sec 227.24sec 100000 2215 68144
htl 9.99sec 817.20sec -- 623 9683
str 10.65sec 258.15sec 100000 623 8705

test40/test_40.20_5_0.1_3_3.1_3_3_4.87.1 nlp wc
40 lines 2917 bytes
head (1,3,3) body (1,3,3,4)
estimated blow-up 87.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1132.71sec 814.24sec -- 6247 223121
htl 10.16sec 817.70sec -- 724 11364
str 13.12sec 812.95sec -- 724 10209

test40/test_40.20_5_0.1_3_3.2_2_2_1.1.4 nlp wc
39 lines 1640 bytes
head (1,3,3) body (2,2,2,1)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.95sec 53.34sec 100000 161 3548
htl 4.12sec 815.42sec -- 366 5464
str 4.70sec 815.24sec -- 370 4983

test40/test_40.20_5_0.1_3_3.2_2_2_2.1.7 nlp wc
40 lines 1881 bytes
head (1,3,3) body (2,2,2,2)
estimated blow-up 1.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.91sec 2.56sec 6531 167 4431
htl 3.65sec 812.61sec -- 383 5945
str 4.82sec 816.05sec -- 389 5451

test40/test_40.20_5_0.1_3_3.2_2_2_3.2.0 nlp wc
40 lines 2186 bytes
head (1,3,3) body (2,2,2,3)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.00sec 0.42sec 1147 162 5264
htl 5.17sec 815.11sec -- 373 6006
str 5.12sec 810.91sec -- 383 5505

test40/test_40.20_5_0.1_3_3.2_2_2_4.2.2 nlp wc
40 lines 2435 bytes
head (1,3,3) body (2,2,2,4)
estimated blow-up 2.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.53sec 0.39sec 1015 170 6298
htl 4.33sec 812.77sec -- 392 6508
str 5.51sec 814.72sec -- 398 5857

test40/test_40.20_5_0.1_3_3.2_3_2_1.13.0 nlp wc
40 lines 2803 bytes
head (1,3,3) body (2,3,2,1)
estimated blow-up 13.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 22.28sec 157.09sec 100000 797 25457
htl 10.78sec 817.61sec -- 736 11677
str 15.55sec 817.24sec -- 772 10932

test40/test_40.20_5_0.1_3_3.2_3_2_2.135.7 nlp wc
40 lines 4127 bytes
head (1,3,3) body (2,3,2,2)
estimated blow-up 135.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1050.55sec 818.66sec -- 5877 299699
htl 20.32sec 815.01sec -- 1046 17216
str 29.73sec 819.11sec -- 1114 16073

test40/test_40.20_5_0.1_3_3.2_3_2_3.1315.1 nlp wc
40 lines 5405 bytes
head (1,3,3) body (2,3,2,3)
estimated blow-up 1315.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 74711.95sec 810.86sec -- 48855 3301883
htl 31.75sec 810.45sec -- 1351 22366
str 48.96sec 817.87sec -- 1421 20582

test40/test_40.20_5_0.1_3_3.2_3_3_1.3.0 nlp wc
40 lines 2123 bytes
head (1,3,3) body (2,3,3,1)
estimated blow-up 3.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.60sec 66.61sec 100000 327 7869
htl 8.73sec 811.96sec -- 646 9640
str 9.49sec 811.26sec -- 646 8868

test40/test_40.20_5_0.1_3_3.2_3_3_2.9.7 nlp wc
40 lines 2900 bytes
head (1,3,3) body (2,3,3,2)
estimated blow-up 9.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 21.02sec 147.75sec 100000 778 27445
htl 14.65sec 813.44sec -- 903 13816
str 18.23sec 808.86sec -- 903 12550

test40/test_40.20_5_0.1_3_3.2_3_3_3.30.5 nlp wc
40 lines 3612 bytes
head (1,3,3) body (2,3,3,3)
estimated blow-up 30.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 141.81sec 240.48sec 100000 2114 99102
htl 22.25sec 817.69sec -- 1136 17562
str 27.84sec 815.31sec -- 1136 15959

test40/test_40.20_5_0.1_3_3.2_3_3_4.94.2 nlp wc
39 lines 4266 bytes
head (1,3,3) body (2,3,3,4)
estimated blow-up 94.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1126.85sec 113.32sec 4268 6109 353701
htl 31.99sec 814.15sec -- 1396 21580
str 40.78sec 812.66sec -- 1396 19629

test40/test_40.20_5_0.1_3_3.3_3_3_1.1.6 nlp wc
39 lines 1776 bytes
head (1,3,3) body (3,3,3,1)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.02sec 41.41sec 100000 165 4157
htl 4.13sec 817.01sec -- 376 5763
str 4.95sec 812.68sec -- 384 5291

test40/test_40.20_5_0.1_3_3.3_3_3_2.2.0 nlp wc
40 lines 2134 bytes
head (1,3,3) body (3,3,3,2)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.54sec 0.77sec 2261 165 5345
htl 4.63sec 812.42sec -- 375 6092
str 4.98sec 812.16sec -- 385 5562

test40/test_40.20_5_0.1_3_3.3_3_3_3.2.3 nlp wc
39 lines 2550 bytes
head (1,3,3) body (3,3,3,3)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.51sec 0.44sec 1131 162 6575
htl 4.36sec 812.03sec -- 373 6349
str 6.59sec 812.74sec -- 385 5760

test40/test_40.20_5_0.1_3_3.3_3_3_4.2.5 nlp wc
40 lines 2870 bytes
head (1,3,3) body (3,3,3,4)
estimated blow-up 2.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.84sec 1.86sec 4361 168 7720
htl 4.49sec 813.68sec -- 385 6807
str 5.68sec 812.81sec -- 393 6059

test40/test_40.20_5_0.2_2_2.1_1_1_1.1.3 nlp wc
38 lines 1051 bytes
head (2,2,2) body (1,1,1,1)
estimated blow-up 1.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.80sec 0.00sec 0 150 2627
htl 2.48sec 0.05sec 0 262 3857
str 2.82sec 0.02sec 0 268 3512

test40/test_40.20_5_0.2_2_2.1_1_1_2.1.6 nlp wc
40 lines 1206 bytes
head (2,2,2) body (1,1,1,2)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.80sec 0.01sec 1 146 2979
htl 2.68sec 0.01sec 1 255 3880
str 2.63sec 0.69sec 1 263 3541

test40/test_40.20_5_0.2_2_2.1_1_1_3.1.8 nlp wc
40 lines 1324 bytes
head (2,2,2) body (1,1,1,3)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.79sec 0.01sec 1 162 3690
htl 3.09sec 0.02sec 1 289 4546
str 3.13sec 814.13sec -- 297 4085

test40/test_40.20_5_0.2_2_2.1_1_1_4.2.0 nlp wc
40 lines 1389 bytes
head (2,2,2) body (1,1,1,4)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.70sec 0.01sec 1 158 3908
htl 2.56sec 0.06sec 1 273 4353
str 2.90sec 36.48sec 1 287 4025

test40/test_40.20_5_0.2_2_2.1_2_1_1.6.3 nlp wc
40 lines 1682 bytes
head (2,2,2) body (1,2,1,1)
estimated blow-up 6.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.02sec 0.02sec 1 392 8949
htl 4.52sec 0.01sec 1 401 6306
str 5.37sec 0.01sec 1 427 5809

test40/test_40.20_5_0.2_2_2.1_2_1_2.31.0 nlp wc
38 lines 2383 bytes
head (2,2,2) body (1,2,1,2)
estimated blow-up 31.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 53.24sec 1.12sec 0 1302 47160
htl 6.60sec 14.62sec 0 524 8731
str 9.25sec 62.64sec 0 568 8069

test40/test_40.20_5_0.2_2_2.1_2_1_3.137.9 nlp wc
40 lines 3204 bytes
head (2,2,2) body (1,2,1,3)
estimated blow-up 137.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 740.51sec 15.95sec 0 4960 251386
htl 9.05sec 614.06sec 0 652 11377
str 13.52sec 812.66sec -- 720 10449

test40/test_40.20_5_0.2_2_2.1_2_1_4.588.3 nlp wc
40 lines 3853 bytes
head (2,2,2) body (1,2,1,4)
estimated blow-up 588.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 10679.62sec 560.76sec 2 19298 1209116
htl 10.99sec 812.24sec -- 766 13500
str 18.28sec 814.08sec -- 834 12203

test40/test_40.20_5_0.2_2_2.1_2_2_1.2.2 nlp wc
40 lines 1225 bytes
head (2,2,2) body (1,2,2,1)
estimated blow-up 2.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.85sec 0.04sec 1 244 4214
htl 3.58sec 0.01sec 1 357 5317
str 3.65sec 0.07sec 1 357 4668

test40/test_40.20_5_0.2_2_2.1_2_2_2.5.0 nlp wc
40 lines 1535 bytes
head (2,2,2) body (1,2,2,2)
estimated blow-up 5.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.78sec 0.10sec 1 396 8602
htl 4.11sec 0.04sec 1 412 6284
str 4.46sec 2.74sec 1 412 5515

test40/test_40.20_5_0.2_2_2.1_2_2_3.10.7 nlp wc
40 lines 1745 bytes
head (2,2,2) body (1,2,2,3)
estimated blow-up 10.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 16.02sec 0.48sec 0 700 18326
htl 5.32sec 1.79sec 0 466 7087
str 6.28sec 21.95sec 0 466 6349

test40/test_40.20_5_0.2_2_2.1_2_2_4.22.8 nlp wc
40 lines 2007 bytes
head (2,2,2) body (1,2,2,4)
estimated blow-up 22.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 53.31sec 2.81sec 1 1326 41526
htl 6.50sec 49.43sec 1 529 8143
str 7.26sec 145.38sec 1 529 7274

test40/test_40.20_5_0.2_2_2.1_3_1_1.49.5 nlp wc
40 lines 2674 bytes
head (2,2,2) body (1,3,1,1)
estimated blow-up 49.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 114.31sec 2.04sec 0 1940 62964
htl 6.56sec 2.85sec 0 551 9499
str 9.59sec 4.57sec 0 599 8557

test40/test_40.20_5_0.1_1_1.1_1_1_1.1.2 nlp wc
30 lines 601 bytes
head (1,1,1) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.51sec 0.00sec 1 90 1540
htl 0.81sec 0.00sec 1 172 2483
str 0.68sec 0.03sec 1 176 2236

test40/test_40.20_5_0.1_1_1.1_1_1_2.1.3 nlp wc
30 lines 753 bytes
head (1,1,1) body (1,1,1,2)
estimated blow-up 1.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.58sec 0.00sec 1 90 1844
htl 0.94sec 0.00sec 1 172 2654
str 0.93sec 0.11sec 1 194 2605

test40/test_40.20_5_0.1_1_1.1_1_1_3.1.4 nlp wc
30 lines 861 bytes
head (1,1,1) body (1,1,1,3)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.58sec 0.00sec 1 92 2081
htl 0.82sec 0.00sec 1 168 2692
str 0.76sec 0.58sec 1 188 2600

test40/test_40.20_5_0.1_1_1.1_1_1_4.1.5 nlp wc
30 lines 952 bytes
head (1,1,1) body (1,1,1,4)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.52sec 0.00sec 1 80 2052
htl 0.71sec 0.00sec 1 150 2475
str 0.88sec 0.17sec 1 188 2699

test40/test_40.20_5_0.1_1_1.1_2_1_1.4.7 nlp wc
30 lines 1167 bytes
head (1,1,1) body (1,2,1,1)
estimated blow-up 4.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.25sec 0.01sec 1 230 5060
htl 1.30sec 0.01sec 1 312 5012
str 1.58sec 0.06sec 1 346 4705

test40/test_40.20_5_0.1_1_1.1_2_1_2.20.4 nlp wc
30 lines 1846 bytes
head (1,1,1) body (1,2,1,2)
estimated blow-up 20.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 7.53sec 0.23sec 2 722 24809
htl 2.25sec 78.52sec 2 452 7472
str 2.82sec 360.58sec -- 494 6988

test40/test_40.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 94.04sec 5.23sec 4 2640 130211
htl 3.20sec 1.29sec 4 564 9881
str 4.79sec 361.19sec -- 626 9047

test40/test_40.20_5_0.1_1_1.1_2_1_4.350.0 nlp wc
30 lines 3410 bytes
head (1,1,1) body (1,2,1,4)
estimated blow-up 350.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1263.20sec 111.16sec 0 9942 622607
htl 4.12sec 361.49sec -- 682 12257
str 6.65sec 361.26sec -- 754 11036

test40/test_40.20_5_0.1_1_1.1_2_2_1.1.8 nlp wc
30 lines 741 bytes
head (1,1,1) body (1,2,2,1)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.67sec 0.00sec 0 126 2175
htl 1.00sec 0.00sec 0 238 3525
str 0.91sec 0.01sec 0 238 3031

test40/test_40.20_5_0.1_1_1.1_2_2_2.3.7 nlp wc
30 lines 1039 bytes
head (1,1,1) body (1,2,2,2)
estimated blow-up 3.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.13sec 0.01sec 1 208 4410
htl 1.31sec 0.04sec 1 314 4760
str 1.42sec 1.29sec 1 314 4113

test40/test_40.20_5_0.1_1_1.1_2_2_3.7.4 nlp wc
30 lines 1274 bytes
head (1,1,1) body (1,2,2,3)
estimated blow-up 7.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.31sec 0.05sec 1 362 9338
htl 1.87sec 9.72sec 1 370 5666
str 1.83sec 24.70sec 1 370 4978

test40/test_40.20_5_0.1_1_1.1_2_2_4.15.0 nlp wc
30 lines 1579 bytes
head (1,1,1) body (1,2,2,4)
estimated blow-up 15.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.90sec 0.31sec 1 658 21462
htl 1.98sec 1.76sec 1 430 6741
str 2.46sec 17.83sec 1 430 5859

test40/test_40.20_5_0.1_1_1.1_3_1_1.32.0 nlp wc
30 lines 2193 bytes
head (1,1,1) body (1,3,1,1)
estimated blow-up 32.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 13.89sec 0.22sec 1 968 31510
htl 2.18sec 0.01sec 1 446 7910
str 3.00sec 0.03sec 1 498 7066

test40/test_40.20_5_0.1_1_1.1_3_1_2.821.0 nlp wc
30 lines 3819 bytes
head (1,1,1) body (1,3,1,2)
estimated blow-up 821.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5928.15sec 252.83sec 1 20390 1122750
htl 4.55sec 76.42sec 1 722 13413
str 7.77sec 362.50sec -- 778 11364

test40/test_40.20_5_0.1_1_1.1_3_2_1.10.2 nlp wc
30 lines 1530 bytes
head (1,1,1) body (1,3,2,1)
estimated blow-up 10.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.09sec 0.03sec 0 418 9782
htl 1.51sec 0.01sec 0 354 5947
str 1.93sec 0.02sec 0 396 5486

test40/test_40.20_5_0.1_1_1.1_3_2_2.97.7 nlp wc
30 lines 2480 bytes
head (1,1,1) body (1,3,2,2)
estimated blow-up 97.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 119.68sec 5.35sec 1 3046 109997
htl 2.70sec 0.07sec 1 510 8875
str 4.21sec 0.61sec 1 568 8147

test40/test_40.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 11680.73sec 359.34sec -- 28430 1435518
htl 3.98sec 23.73sec 0 678 12392
str 7.03sec 157.73sec 0 748 10999

test40/test_40.20_5_0.1_1_1.1_3_3_1.2.3 nlp wc
30 lines 857 bytes
head (1,1,1) body (1,3,3,1)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.85sec 0.00sec 1 168 2866
htl 1.14sec 0.00sec 1 270 4115
str 1.22sec 0.00sec 1 270 3505

test40/test_40.20_5_0.1_1_1.1_3_3_2.6.5 nlp wc
30 lines 1265 bytes
head (1,1,1) body (1,3,3,2)
estimated blow-up 6.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.77sec 0.04sec 1 406 8725
htl 1.57sec 0.01sec 1 359 5573
str 1.53sec 0.01sec 1 359 4754

test40/test_40.20_5_0.1_1_1.1_3_3_3.19.1 nlp wc
30 lines 1608 bytes
head (1,1,1) body (1,3,3,3)
estimated blow-up 19.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 15.47sec 0.83sec 0 1080 28566
htl 2.07sec 11.72sec 0 445 6932
str 2.37sec 22.25sec 0 445 6056

test40/test_40.20_5_0.1_1_1.1_3_3_4.56.6 nlp wc
30 lines 2021 bytes
head (1,1,1) body (1,3,3,4)
estimated blow-up 56.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 122.40sec 8.68sec 0 3124 102477
htl 2.74sec 18.64sec 0 519 8336
str 3.24sec 54.45sec 0 519 7202

test40/test_40.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.44sec 0.00sec 1 88 1719
htl 0.76sec 0.03sec 1 164 2464
str 0.87sec 0.06sec 1 176 2331

test40/test_40.20_5_0.1_1_1.2_2_2_2.1.5 nlp wc
30 lines 998 bytes
head (1,1,1) body (2,2,2,2)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.56sec 0.00sec 0 92 2292
htl 0.84sec 0.00sec 0 180 2960
str 0.89sec 1.50sec 0 204 2889

test40/test_40.20_5_0.1_1_1.2_2_2_3.1.6 nlp wc
30 lines 1283 bytes
head (1,1,1) body (2,2,2,3)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.60sec 0.00sec 1 88 2679
htl 0.84sec 0.00sec 1 164 2960
str 0.90sec 0.59sec 1 198 2983

test40/test_40.20_5_0.1_1_1.2_2_2_4.1.6 nlp wc
30 lines 1483 bytes
head (1,1,1) body (2,2,2,4)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.64sec 0.00sec 1 84 2912
htl 0.78sec 0.00sec 1 160 3036
str 1.18sec 0.63sec 1 202 3165

test40/test_40.20_5_0.1_1_1.2_3_2_1.9.2 nlp wc
30 lines 1797 bytes
head (1,1,1) body (2,3,2,1)
estimated blow-up 9.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.25sec 0.05sec 0 428 11755
htl 2.78sec 21.54sec 0 542 8518
str 3.54sec 290.14sec 0 582 8045

test40/test_40.20_5_0.1_1_1.2_3_2_2.85.6 nlp wc
30 lines 3167 bytes
head (1,1,1) body (2,3,2,2)
estimated blow-up 85.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 140.01sec 10.37sec 1 3270 153814
htl 5.90sec 361.00sec -- 885 14583
str 8.35sec 357.52sec -- 943 13447

test40/test_40.20_5_0.1_1_1.2_3_2_3.782.3 nlp wc
30 lines 4439 bytes
head (1,1,1) body (2,3,2,3)
estimated blow-up 782.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 10465.71sec 358.99sec -- 27626 1783268
htl 10.38sec 362.46sec -- 1212 20111
str 16.12sec 362.82sec -- 1278 18407

test40/test_40.20_5_0.1_1_1.2_3_3_1.2.2 nlp wc
30 lines 1155 bytes
head (1,1,1) body (2,3,3,1)
estimated blow-up 2.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.91sec 0.01sec 1 166 3436
htl 2.09sec 0.13sec 1 446 6440
str 2.08sec 0.41sec 1 446 5832

test40/test_40.20_5_0.1_1_1.2_3_3_2.6.3 nlp wc
30 lines 1932 bytes
head (1,1,1) body (2,3,3,2)
estimated blow-up 6.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.02sec 0.15sec 1 394 12418
htl 4.13sec 271.91sec 1 680 10312
str 4.34sec 360.70sec -- 680 9278

test40/test_40.20_5_0.1_1_1.2_3_3_3.18.6 nlp wc
30 lines 2659 bytes
head (1,1,1) body (2,3,3,3)
estimated blow-up 18.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 17.42sec 1.20sec 2 1096 46869
htl 6.93sec 362.94sec -- 951 14645
str 7.91sec 359.90sec -- 951 13246

test40/test_40.20_5_0.1_1_1.2_3_3_4.55.4 nlp wc
30 lines 3294 bytes
head (1,1,1) body (2,3,3,4)
estimated blow-up 55.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 144.11sec 15.02sec 1 3290 171684
htl 10.43sec 360.50sec -- 1221 18756
str 12.88sec 362.31sec -- 1221 16977

test40/test_40.20_5_0.1_1_1.3_3_3_1.1.4 nlp wc
30 lines 845 bytes
head (1,1,1) body (3,3,3,1)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.58sec 0.00sec 1 88 1982
htl 0.76sec 0.00sec 1 158 2515
str 0.82sec 0.22sec 1 178 2456

test40/test_40.20_5_0.1_1_1.3_3_3_2.1.6 nlp wc
30 lines 1209 bytes
head (1,1,1) body (3,3,3,2)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.60sec 0.00sec 1 92 2691
htl 0.79sec 0.00sec 1 174 3075
str 1.08sec 2.93sec 1 204 3056

test40/test_40.20_5_0.1_1_1.3_3_3_3.1.7 nlp wc
30 lines 1534 bytes
head (1,1,1) body (3,3,3,3)
estimated blow-up 1.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.63sec 0.00sec 1 92 3248
htl 0.93sec 0.00sec 1 168 3278
str 1.04sec 2.66sec 1 200 3234

test40/test_40.20_5_0.1_1_1.3_3_3_4.1.7 nlp wc
30 lines 1937 bytes
head (1,1,1) body (3,3,3,4)
estimated blow-up 1.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.68sec 0.00sec 1 84 3719
htl 0.86sec 0.00sec 1 160 3440
str 1.09sec 0.63sec 1 204 3486

test40/test_40.20_5_0.1_2_1.1_1_1_1.1.2 nlp wc
40 lines 1533 bytes
head (1,2,1) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.74sec 0.02sec 60 149 2870
htl 1.75sec 2.58sec 60 376 5584
str 1.88sec 2.62sec 60 376 4870

test40/test_40.20_5_0.1_2_1.1_1_1_2.1.5 nlp wc
40 lines 1667 bytes
head (1,2,1) body (1,1,1,2)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.82sec 0.01sec 52 166 3641
htl 1.93sec 361.38sec -- 419 6449
str 2.11sec 357.65sec -- 423 5729

test40/test_40.20_5_0.1_2_1.1_1_1_3.1.6 nlp wc
39 lines 1781 bytes
head (1,2,1) body (1,1,1,3)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.90sec 0.01sec 0 150 3894
htl 1.84sec 0.01sec 0 373 5862
str 2.30sec 0.01sec 0 389 5305

test40/test_40.20_5_0.1_2_1.1_1_1_4.1.8 nlp wc
40 lines 1892 bytes
head (1,2,1) body (1,1,1,4)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.98sec 0.01sec 32 160 4389
htl 1.94sec 361.18sec -- 398 6311
str 2.13sec 359.88sec -- 408 5647

test40/test_40.20_5_0.1_2_1.1_2_1_1.5.8 nlp wc
40 lines 2110 bytes
head (1,2,1) body (1,2,1,1)
estimated blow-up 5.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.81sec 0.11sec 127 392 10081
htl 2.70sec 18.76sec 127 514 8128
str 3.30sec 19.73sec 127 542 7470

test40/test_40.20_5_0.1_2_1.1_2_1_2.28.5 nlp wc
40 lines 2858 bytes
head (1,2,1) body (1,2,1,2)
estimated blow-up 28.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 23.24sec 0.74sec 58 1275 50985
htl 3.59sec 358.04sec -- 629 10543
str 5.38sec 359.77sec -- 673 9571

test40/test_40.20_5_0.1_2_1.1_2_1_3.128.0 nlp wc
40 lines 3548 bytes
head (1,2,1) body (1,2,1,3)
estimated blow-up 128.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 320.17sec 15.97sec 13 4964 258665
htl 4.91sec 359.41sec -- 759 13016
str 7.30sec 357.33sec -- 821 11910

test40/test_40.20_5_0.1_2_1.1_2_1_4.551.4 nlp wc
40 lines 4368 bytes
head (1,2,1) body (1,2,1,4)
estimated blow-up 551.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5591.35sec 361.72sec -- 20322 1349411
htl 6.34sec 358.44sec -- 885 15613
str 10.35sec 360.09sec -- 955 13986

test40/test_40.20_5_0.1_2_1.1_2_2_1.2.1 nlp wc
40 lines 1691 bytes
head (1,2,1) body (1,2,2,1)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.26sec 0.01sec 10 234 4717
htl 2.22sec 0.02sec 10 458 6904
str 2.50sec 0.02sec 10 458 6097

test40/test_40.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 2.52sec 0.10sec 37 384 9271
htl 2.64sec 3.94sec 37 515 7884
str 3.06sec 6.70sec 37 515 6968

test40/test_40.20_5_0.1_2_1.1_2_2_3.10.1 nlp wc
40 lines 2140 bytes
head (1,2,1) body (1,2,2,3)
estimated blow-up 10.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 7.35sec 0.21sec 39 707 20071
htl 3.04sec 41.91sec 39 563 8618
str 3.54sec 134.17sec 39 563 7671

test40/test_40.20_5_0.1_2_1.1_2_2_4.21.4 nlp wc
40 lines 2483 bytes
head (1,2,1) body (1,2,2,4)
estimated blow-up 21.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 23.70sec 1.11sec 50 1311 46401
htl 3.49sec 360.95sec -- 639 10076
str 4.39sec 360.56sec -- 639 8895

test40/test_40.20_5_0.1_2_1.1_3_1_1.45.5 nlp wc
39 lines 2914 bytes
head (1,2,1) body (1,3,1,1)
estimated blow-up 45.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 43.71sec 0.48sec 0 1798 63560
htl 3.99sec 0.01sec 0 661 11088
str 5.22sec 0.01sec 0 693 9789

test40/test_40.20_5_0.1_2_1.1_3_1_2.1316.6 nlp wc
40 lines 4749 bytes
head (1,2,1) body (1,3,1,2)
estimated blow-up 1316.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 24352.33sec 368.12sec -- 41449 2429163
htl 7.40sec 358.56sec -- 938 16982
str 10.51sec 361.22sec -- 994 14542

test40/test_40.20_5_0.1_2_1.1_3_2_1.13.6 nlp wc
40 lines 2502 bytes
head (1,2,1) body (1,3,2,1)
estimated blow-up 13.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 9.45sec 0.20sec 40 804 21965
htl 3.00sec 0.57sec 40 557 9181
str 4.21sec 0.80sec 40 599 8435

test40/test_40.20_5_0.1_2_1.1_3_2_2.147.3 nlp wc
40 lines 3454 bytes
head (1,2,1) body (1,3,2,2)
estimated blow-up 147.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 546.35sec 13.52sec 143 6395 258333
htl 4.62sec 15.90sec 143 729 12472
str 7.02sec 20.96sec 143 787 11373

test40/test_40.20_5_0.1_2_1.1_3_2_3.1458.0 nlp wc
40 lines 4624 bytes
head (1,2,1) body (1,3,2,3)
estimated blow-up 1458.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 41191.08sec 357.98sec -- 55180 2959359
htl 6.49sec 357.45sec -- 902 16148
str 11.34sec 361.94sec -- 972 14297

test40/test_40.20_5_0.1_2_1.1_3_3_1.2.9 nlp wc
40 lines 1802 bytes
head (1,2,1) body (1,3,3,1)
estimated blow-up 2.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.76sec 0.05sec 136 309 6241
htl 2.43sec 0.34sec 136 488 7480
str 2.63sec 0.50sec 136 488 6587

test40/test_40.20_5_0.1_2_1.1_3_3_2.9.1 nlp wc
40 lines 2185 bytes
head (1,2,1) body (1,3,3,2)
estimated blow-up 9.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 8.22sec 0.20sec 13 765 19091
htl 2.97sec 4.63sec 13 561 8739
str 3.28sec 5.75sec 13 561 7700

test40/test_40.20_5_0.1_2_1.1_3_3_3.28.5 nlp wc
40 lines 2542 bytes
head (1,2,1) body (1,3,3,3)
estimated blow-up 28.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 58.73sec 2.86sec 44 2132 63725
htl 3.62sec 55.95sec 44 654 10292
str 4.20sec 63.11sec 44 654 9076

test40/test_40.20_5_0.1_2_1.1_3_3_4.88.4 nlp wc
39 lines 2906 bytes
head (1,2,1) body (1,3,3,4)
estimated blow-up 88.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 483.89sec 12.94sec 0 6264 225583
htl 4.56sec 0.01sec 0 716 11529
str 5.40sec 0.01sec 0 716 10093

test40/test_40.20_5_0.1_2_1.2_2_2_1.1.5 nlp wc
39 lines 1635 bytes
head (1,2,1) body (2,2,2,1)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.86sec 0.00sec 0 156 3519
htl 1.78sec 0.01sec 0 391 5943
str 2.04sec 0.01sec 0 403 5396

test40/test_40.20_5_0.1_2_1.2_2_2_2.1.8 nlp wc
40 lines 1864 bytes
head (1,2,1) body (2,2,2,2)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.87sec 0.01sec 16 161 4308
htl 1.87sec 360.74sec -- 390 6199
str 2.11sec 355.25sec -- 400 5546

test40/test_40.20_5_0.1_2_1.2_2_2_3.2.1 nlp wc
40 lines 2230 bytes
head (1,2,1) body (2,2,2,3)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.03sec 0.01sec 24 161 5413
htl 2.11sec 360.29sec -- 402 6620
str 2.56sec 361.94sec -- 420 6002

test40/test_40.20_5_0.1_2_1.2_2_2_4.2.3 nlp wc
40 lines 2439 bytes
head (1,2,1) body (2,2,2,4)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.17sec 0.01sec 32 157 6103
htl 1.87sec 359.88sec -- 389 6622
str 2.51sec 356.83sec -- 411 6017

test40/test_40.20_5_0.1_2_1.2_3_2_1.13.3 nlp wc
40 lines 2758 bytes
head (1,2,1) body (2,3,2,1)
estimated blow-up 13.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 9.45sec 0.25sec 15 800 24827
htl 4.57sec 361.67sec -- 752 12004
str 6.07sec 360.87sec -- 792 11189

test40/test_40.20_5_0.1_2_1.2_3_2_2.138.9 nlp wc
40 lines 4113 bytes
head (1,2,1) body (2,3,2,2)
estimated blow-up 138.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 529.97sec 28.80sec 28 6395 323165
htl 8.24sec 364.62sec -- 1078 17739
str 12.56sec 360.49sec -- 1134 16287

test40/test_40.20_5_0.1_2_1.2_3_2_3.1339.8 nlp wc
40 lines 5429 bytes
head (1,2,1) body (2,3,2,3)
estimated blow-up 1339.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 46678.02sec 362.70sec -- 56475 3900603
htl 14.32sec 361.77sec -- 1428 23776
str 23.10sec 362.63sec -- 1500 21698

test40/test_40.20_5_0.1_2_1.2_3_3_1.3.1 nlp wc
40 lines 2072 bytes
head (1,2,1) body (2,3,3,1)
estimated blow-up 3.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.97sec 0.11sec 95 319 7485
htl 3.74sec 76.08sec 95 664 9992
str 4.23sec 87.52sec 95 664 9011

test40/test_40.20_5_0.1_2_1.2_3_3_2.9.9 nlp wc
40 lines 2872 bytes
head (1,2,1) body (2,3,3,2)
estimated blow-up 9.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 9.71sec 0.45sec 99 799 27733
htl 6.34sec 361.59sec -- 931 14352
str 7.91sec 362.75sec -- 931 12935

test40/test_40.20_5_0.1_2_1.2_3_3_3.30.9 nlp wc
40 lines 3488 bytes
head (1,2,1) body (2,3,3,3)
estimated blow-up 30.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 63.22sec 4.46sec 3 2111 96771
htl 9.48sec 358.65sec -- 1154 17919
str 11.67sec 360.80sec -- 1154 16168

test40/test_40.20_5_0.1_2_1.2_3_3_4.95.3 nlp wc
40 lines 4178 bytes
head (1,2,1) body (2,3,3,4)
estimated blow-up 95.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 509.20sec 42.45sec 22 6258 343410
htl 13.65sec 360.56sec -- 1404 21767
str 16.85sec 362.52sec -- 1404 19794

test40/test_40.20_5_0.1_2_1.3_3_3_1.1.6 nlp wc
40 lines 1815 bytes
head (1,2,1) body (3,3,3,1)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.92sec 0.01sec 24 155 4017
htl 1.85sec 166.34sec 24 390 6115
str 2.16sec 179.54sec 24 404 5531

test40/test_40.20_5_0.1_2_1.3_3_3_2.2.1 nlp wc
40 lines 2161 bytes
head (1,2,1) body (3,3,3,2)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.09sec 0.01sec 2 154 5207
htl 1.91sec 362.13sec -- 369 6116
str 2.18sec 360.48sec -- 389 5562

test40/test_40.20_5_0.1_2_1.3_3_3_3.2.4 nlp wc
40 lines 2573 bytes
head (1,2,1) body (3,3,3,3)
estimated blow-up 2.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.12sec 0.02sec 28 159 6752
htl 2.00sec 361.87sec -- 388 6769
str 2.69sec 353.90sec -- 410 6094

test40/test_40.20_5_0.1_2_1.3_3_3_4.2.6 nlp wc
40 lines 2909 bytes
head (1,2,1) body (3,3,3,4)
estimated blow-up 2.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.24sec 0.02sec 32 162 7841
htl 1.92sec 359.08sec -- 406 7286
str 2.67sec 361.57sec -- 426 6525

test40/test_40.20_5_0.1_2_2.1_1_1_1.1.2 nlp wc
34 lines 1084 bytes
head (1,2,2) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.62sec 3.85sec 20447 128 2347
htl 1.39sec 358.77sec -- 306 4354
str 1.44sec 362.09sec -- 308 3952

test40/test_40.20_5_0.1_2_2.1_1_1_2.1.4 nlp wc
35 lines 1230 bytes
head (1,2,2) body (1,1,1,2)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.69sec 0.14sec 777 133 2809
htl 1.43sec 363.36sec -- 308 4555
str 1.47sec 362.36sec -- 316 4187

test40/test_40.20_5_0.1_2_2.1_1_1_3.1.5 nlp wc
35 lines 1338 bytes
head (1,2,2) body (1,1,1,3)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.64sec 0.13sec 567 129 3102
htl 1.26sec 359.35sec -- 304 4611
str 1.66sec 362.46sec -- 320 4330

test40/test_40.20_5_0.1_2_2.1_1_1_4.1.6 nlp wc
35 lines 1410 bytes
head (1,2,2) body (1,1,1,4)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.79sec 0.03sec 315 131 3439
htl 1.36sec 361.27sec -- 297 4666
str 1.54sec 360.41sec -- 309 4268

test40/test_40.20_5_0.1_2_2.1_2_1_1.5.3 nlp wc
35 lines 1744 bytes
head (1,2,2) body (1,2,1,1)
estimated blow-up 5.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.19sec 7.44sec 28232 319 8011
htl 2.14sec 359.78sec -- 438 6818
str 2.64sec 362.25sec -- 470 6488

test40/test_40.20_5_0.1_2_2.1_2_1_2.24.8 nlp wc
35 lines 2342 bytes
head (1,2,2) body (1,2,1,2)
estimated blow-up 24.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 14.66sec 5.27sec 6447 999 36691
htl 2.84sec 362.44sec -- 557 8975
str 3.69sec 362.19sec -- 597 8396

test40/test_40.20_5_0.1_2_2.1_2_1_3.108.3 nlp wc
35 lines 3211 bytes
head (1,2,2) body (1,2,1,3)
estimated blow-up 108.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 202.97sec 11.73sec 1605 3869 203977
htl 4.18sec 360.07sec -- 685 11775
str 6.20sec 355.87sec -- 749 10841

test40/test_40.20_5_0.1_2_2.1_2_1_4.457.5 nlp wc
35 lines 3702 bytes
head (1,2,2) body (1,2,1,4)
estimated blow-up 457.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2285.06sec 161.27sec 479 12891 819393
htl 4.72sec 363.80sec -- 778 13339
str 7.92sec 361.53sec -- 834 12169

test40/test_40.20_5_0.1_2_2.1_2_2_1.2.0 nlp wc
35 lines 1194 bytes
head (1,2,2) body (1,2,2,1)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.95sec 20.02sec 100000 184 3444
htl 1.69sec 132.35sec 100000 367 5347
str 1.62sec 136.92sec 100000 367 4798

test40/test_40.20_5_0.1_2_2.1_2_2_2.4.3 nlp wc
35 lines 1529 bytes
head (1,2,2) body (1,2,2,2)
estimated blow-up 4.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.83sec 12.18sec 43987 302 6977
htl 1.89sec 359.46sec -- 428 6325
str 2.04sec 360.57sec -- 428 5736

test40/test_40.20_5_0.1_2_2.1_2_2_3.9.0 nlp wc
35 lines 1773 bytes
head (1,2,2) body (1,2,2,3)
estimated blow-up 9.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.68sec 1.08sec 1029 540 15120
htl 2.55sec 369.90sec -- 503 7545
str 2.78sec 362.19sec -- 503 6834

test40/test_40.20_5_0.1_2_2.1_2_2_4.18.6 nlp wc
35 lines 2107 bytes
head (1,2,2) body (1,2,2,4)
estimated blow-up 18.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 14.46sec 17.43sec 33793 1029 35964
htl 3.10sec 358.60sec -- 563 8728
str 3.61sec 366.33sec -- 563 7790

test40/test_40.20_5_0.1_2_2.1_3_1_1.39.3 nlp wc
35 lines 2665 bytes
head (1,2,2) body (1,3,1,1)
estimated blow-up 39.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 31.06sec 9.52sec 10720 1456 51268
htl 3.21sec 360.56sec -- 567 9613
str 4.24sec 361.71sec -- 605 8592

test40/test_40.20_5_0.1_2_2.1_3_1_2.1084.2 nlp wc
35 lines 4240 bytes
head (1,2,2) body (1,3,1,2)
estimated blow-up 1084.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 11285.26sec 358.43sec -- 29712 1694409
htl 5.64sec 359.59sec -- 825 14811
str 9.25sec 356.24sec -- 881 12909

test40/test_40.20_5_0.1_2_2.1_3_2_1.12.1 nlp wc
35 lines 2005 bytes
head (1,2,2) body (1,3,2,1)
estimated blow-up 12.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.35sec 38.71sec 100000 593 14964
htl 2.51sec 80.15sec 100000 478 7595
str 2.96sec 92.24sec 100000 520 7269

test40/test_40.20_5_0.1_2_2.1_3_2_2.124.6 nlp wc
35 lines 3090 bytes
head (1,2,2) body (1,3,2,2)
estimated blow-up 124.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 296.24sec 358.96sec -- 4816 191141
htl 3.72sec 361.60sec -- 650 11149
str 5.66sec 359.74sec -- 718 10441

test40/test_40.20_5_0.1_2_2.1_3_2_3.1200.7 nlp wc
35 lines 4082 bytes
head (1,2,2) body (1,3,2,3)
estimated blow-up 1200.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 22785.39sec 364.39sec -- 40859 2158982
htl 5.58sec 363.69sec -- 811 14306
str 9.30sec 359.16sec -- 875 12760

test40/test_40.20_5_0.1_2_2.1_3_3_1.2.7 nlp wc
35 lines 1292 bytes
head (1,2,2) body (1,3,3,1)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.32sec 20.19sec 100000 237 4373
htl 1.92sec 129.69sec 100000 387 5618
str 1.79sec 130.81sec 100000 387 5104

test40/test_40.20_5_0.1_2_2.1_3_3_2.8.1 nlp wc
35 lines 1755 bytes
head (1,2,2) body (1,3,3,2)
estimated blow-up 8.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.39sec 29.65sec 100000 590 13963
htl 2.43sec 360.91sec -- 482 7261
str 2.71sec 357.11sec -- 482 6547

test40/test_40.20_5_0.1_2_2.1_3_3_3.24.6 nlp wc
35 lines 2123 bytes
head (1,2,2) body (1,3,3,3)
estimated blow-up 24.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 32.72sec 69.58sec 100000 1588 45834
htl 3.15sec 360.89sec -- 567 8725
str 3.22sec 362.73sec -- 567 7816

test40/test_40.20_5_0.1_2_2.1_3_3_4.74.8 nlp wc
35 lines 2422 bytes
head (1,2,2) body (1,3,3,4)
estimated blow-up 74.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 259.58sec 78.89sec 45681 4529 154321
htl 3.74sec 362.77sec -- 634 9875
str 4.14sec 354.68sec -- 634 8810

test40/test_40.20_5_0.1_2_2.2_2_2_1.1.4 nlp wc
34 lines 1177 bytes
head (1,2,2) body (2,2,2,1)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.78sec 0.02sec 180 129 2711
htl 1.40sec 361.84sec -- 304 4519
str 1.48sec 357.06sec -- 312 4141

test40/test_40.20_5_0.1_2_2.2_2_2_2.1.6 nlp wc
35 lines 1493 bytes
head (1,2,2) body (2,2,2,2)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.89sec 0.03sec 309 135 3483
htl 1.31sec 355.52sec -- 310 4811
str 1.48sec 358.75sec -- 320 4403

test40/test_40.20_5_0.1_2_2.2_2_2_3.1.8 nlp wc
34 lines 1753 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.02sec 135 138 4231
htl 1.40sec 360.79sec -- 316 5128
str 1.68sec 361.66sec -- 328 4662

test40/test_40.20_5_0.1_2_2.2_2_2_4.2.0 nlp wc
34 lines 2019 bytes
head (1,2,2) body (2,2,2,4)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.91sec 0.01sec 81 134 4812
htl 1.39sec 358.59sec -- 309 5221
str 1.96sec 363.34sec -- 325 4780

test40/test_40.20_5_0.1_2_2.2_3_2_1.11.5 nlp wc
35 lines 2229 bytes
head (1,2,2) body (2,3,2,1)
estimated blow-up 11.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.49sec 6.30sec 13153 604 17783
htl 3.86sec 357.56sec -- 662 10276
str 4.93sec 356.45sec -- 690 9621

test40/test_40.20_5_0.1_2_2.2_3_2_2.114.4 nlp wc
35 lines 3735 bytes
head (1,2,2) body (2,3,2,2)
estimated blow-up 114.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 280.47sec 22.87sec 1109 4595 230391
htl 6.97sec 360.44sec -- 976 16087
str 10.86sec 355.92sec -- 1036 14891

test40/test_40.20_5_0.1_2_2.2_3_2_3.1077.6 nlp wc
35 lines 5078 bytes
head (1,2,2) body (2,3,2,3)
estimated blow-up 1077.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 24606.15sec 360.90sec -- 40677 2754347
htl 12.84sec 359.61sec -- 1331 22205
str 19.92sec 366.77sec -- 1403 20314

test40/test_40.20_5_0.1_2_2.2_3_3_1.2.7 nlp wc
35 lines 1641 bytes
head (1,2,2) body (2,3,3,1)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.42sec 26.54sec 100000 256 5718
htl 3.08sec 363.31sec -- 579 8468
str 3.31sec 358.75sec -- 579 7767

test40/test_40.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.87sec 0.86sec 1083 610 19502
htl 5.41sec 356.82sec -- 825 12237
str 6.28sec 362.46sec -- 825 11293

test40/test_40.20_5_0.1_2_2.2_3_3_3.25.4 nlp wc
35 lines 3074 bytes
head (1,2,2) body (2,3,3,3)
estimated blow-up 25.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 40.61sec 2.57sec 831 1695 73837
htl 8.51sec 357.13sec -- 1095 16603
str 10.33sec 360.79sec -- 1095 15236

test40/test_40.20_5_0.1_2_2.2_3_3_4.77.1 nlp wc
35 lines 3841 bytes
head (1,2,2) body (2,3,3,4)
estimated blow-up 77.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 320.30sec 25.34sec 305 4938 276124
htl 13.36sec 359.44sec -- 1377 21198
str 15.71sec 358.77sec -- 1377 19355

test40/test_40.20_5_0.1_2_2.3_3_3_1.1.5 nlp wc
35 lines 1355 bytes
head (1,2,2) body (3,3,3,1)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.67sec 0.12sec 819 135 3216
htl 1.42sec 358.27sec -- 313 4769
str 1.61sec 359.76sec -- 325 4409

test40/test_40.20_5_0.1_2_2.3_3_3_2.1.8 nlp wc
35 lines 1725 bytes
head (1,2,2) body (3,3,3,2)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.76sec 0.02sec 135 131 4116
htl 1.40sec 359.75sec -- 300 4890
str 1.60sec 359.68sec -- 320 4596

test40/test_40.20_5_0.1_2_2.3_3_3_3.2.0 nlp wc
35 lines 2081 bytes
head (1,2,2) body (3,3,3,3)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.87sec 0.03sec 243 133 5034
htl 1.49sec 360.19sec -- 311 5344
str 1.79sec 362.36sec -- 331 4947

test40/test_40.20_5_0.1_2_2.3_3_3_4.2.2 nlp wc
34 lines 2446 bytes
head (1,2,2) body (3,3,3,4)
estimated blow-up 2.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.99sec 0.01sec 45 133 5982
htl 1.39sec 360.71sec -- 308 5587
str 2.07sec 361.64sec -- 326 5064

test40/test_40.20_5_0.1_3_1.1_1_1_1.1.3 nlp wc
55 lines 2758 bytes
head (1,3,1) body (1,1,1,1)
estimated blow-up 1.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.39sec 0.04sec 112 232 4839
htl 3.53sec 1.64sec 112 595 9446
str 4.20sec 1.65sec 112 599 8223

test40/test_40.20_5_0.1_3_1.1_1_1_2.1.5 nlp wc
55 lines 3005 bytes
head (1,3,1) body (1,1,1,2)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.35sec 1.07sec 2502 250 6086
htl 3.74sec 357.45sec -- 637 10348
str 4.77sec 360.37sec -- 641 9001

test40/test_40.20_5_0.1_3_1.1_1_1_3.1.8 nlp wc
53 lines 3071 bytes
head (1,3,1) body (1,1,1,3)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.46sec 0.01sec 4 236 6509
htl 3.66sec 361.77sec -- 618 10114
str 4.62sec 361.36sec -- 626 8836

test40/test_40.20_5_0.1_3_1.1_1_1_4.2.0 nlp wc
55 lines 3227 bytes
head (1,3,1) body (1,1,1,4)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.63sec 0.04sec 78 236 7360
htl 3.59sec 362.64sec -- 618 10248
str 5.00sec 360.19sec -- 632 9023

test40/test_40.20_5_0.1_3_1.1_2_1_1.6.4 nlp wc
55 lines 3395 bytes
head (1,3,1) body (1,2,1,1)
estimated blow-up 6.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.39sec 0.24sec 121 663 18064
htl 4.91sec 45.61sec 121 766 12537
str 6.52sec 40.59sec 121 792 11182

test40/test_40.20_5_0.1_3_1.1_2_1_2.34.2 nlp wc
55 lines 4096 bytes
head (1,3,1) body (1,2,1,2)
estimated blow-up 34.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 63.10sec 1.55sec 16 2143 87331
htl 6.26sec 360.32sec -- 851 14380
str 9.29sec 361.16sec -- 901 12969

test40/test_40.20_5_0.1_3_1.1_2_1_3.162.4 nlp wc
55 lines 4979 bytes
head (1,3,1) body (1,2,1,3)
estimated blow-up 162.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1102.64sec 41.26sec 879 9076 499263
htl 7.96sec 361.95sec -- 997 17344
str 13.01sec 361.60sec -- 1061 15464

test40/test_40.20_5_0.1_3_1.1_2_1_4.729.4 nlp wc
55 lines 5431 bytes
head (1,3,1) body (1,2,1,4)
estimated blow-up 729.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 13893.63sec 360.08sec -- 32495 2124123
htl 8.86sec 361.73sec -- 1093 19000
str 15.42sec 361.35sec -- 1151 16870

test40/test_40.20_5_0.1_3_1.1_2_2_1.2.3 nlp wc
55 lines 3004 bytes
head (1,3,1) body (1,2,2,1)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.40sec 0.13sec 129 378 8076
htl 4.31sec 2.43sec 129 693 11091
str 4.83sec 2.14sec 129 693 9651

test40/test_40.20_5_0.1_3_1.1_2_2_2.5.2 nlp wc
53 lines 3258 bytes
head (1,3,1) body (1,2,2,2)
estimated blow-up 5.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.35sec 0.15sec 131 659 17076
htl 5.20sec 255.68sec 131 754 12132
str 6.00sec 290.18sec 131 754 10539

test40/test_40.20_5_0.1_3_1.1_2_2_3.11.7 nlp wc
55 lines 3502 bytes
head (1,3,1) body (1,2,2,3)
estimated blow-up 11.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 19.85sec 2.50sec 1722 1193 36858
htl 5.39sec 359.16sec -- 805 13001
str 7.06sec 361.10sec -- 805 11350

test40/test_40.20_5_0.1_3_1.1_2_2_4.25.8 nlp wc
55 lines 3821 bytes
head (1,3,1) body (1,2,2,4)
estimated blow-up 25.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 70.49sec 4.38sec 625 2273 86471
htl 6.40sec 361.14sec -- 867 14159
str 8.42sec 363.13sec -- 867 12233

test40/test_40.20_5_0.1_3_1.1_3_1_1.55.4 nlp wc
55 lines 4374 bytes
head (1,3,1) body (1,3,1,1)
estimated blow-up 55.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 146.86sec 2.72sec 213 3336 127972
htl 6.65sec 144.83sec 213 886 15327
str 9.93sec 153.39sec 213 922 13316

test40/test_40.20_5_0.1_3_1.1_3_2_1.15.7 nlp wc
55 lines 3661 bytes
head (1,3,1) body (1,3,2,1)
estimated blow-up 15.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 22.67sec 0.51sec 21 1312 36826
htl 5.40sec 0.82sec 21 793 13187
str 7.67sec 1.02sec 21 827 11813

test40/test_40.20_5_0.1_3_1.1_3_2_2.187.1 nlp wc
55 lines 4701 bytes
head (1,3,1) body (1,3,2,2)
estimated blow-up 187.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1419.73sec 49.72sec 405 10344 434518
htl 7.41sec 161.71sec 405 952 16414
str 11.94sec 210.87sec 405 1006 14601

test40/test_40.20_5_0.1_3_1.1_3_2_3.1963.9 nlp wc
55 lines 5721 bytes
head (1,3,1) body (1,3,2,3)
estimated blow-up 1963.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 101993.11sec 357.86sec -- 89377 4856540
htl 9.82sec 362.71sec -- 1105 19545
str 16.31sec 363.82sec -- 1173 17255

test40/test_40.20_5_0.1_3_1.1_3_3_1.3.2 nlp wc
55 lines 3058 bytes
head (1,3,1) body (1,3,3,1)
estimated blow-up 3.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.83sec 0.07sec 26 498 10525
htl 4.39sec 0.04sec 26 695 11110
str 5.62sec 0.10sec 26 695 9657

test40/test_40.20_5_0.1_3_1.1_3_3_2.10.6 nlp wc
55 lines 3494 bytes
head (1,3,1) body (1,3,3,2)
estimated blow-up 10.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 24.54sec 1.38sec 427 1368 36415
htl 5.47sec 2.26sec 427 808 13118
str 6.91sec 2.11sec 427 808 11387

test40/test_40.20_5_0.1_3_1.1_3_3_3.35.1 nlp wc
55 lines 3848 bytes
head (1,3,1) body (1,3,3,3)
estimated blow-up 35.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 169.14sec 6.81sec 213 3667 116534
htl 6.46sec 69.04sec 213 881 14394
str 8.58sec 89.64sec 213 881 12540

test40/test_40.20_5_0.1_3_1.1_3_3_4.113.3 nlp wc
53 lines 4155 bytes
head (1,3,1) body (1,3,3,4)
estimated blow-up 113.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1349.94sec 39.13sec 82 10198 379501
htl 6.99sec 234.34sec 82 953 15608
str 9.51sec 302.39sec 82 953 13605

test40/test_40.20_5_0.1_3_1.2_2_2_1.1.5 nlp wc
55 lines 2946 bytes
head (1,3,1) body (2,2,2,1)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.43sec 0.02sec 31 240 5649
htl 3.76sec 360.31sec -- 632 10172
str 4.62sec 359.22sec -- 636 8848

test40/test_40.20_5_0.1_3_1.2_2_2_2.2.0 nlp wc
53 lines 3092 bytes
head (1,3,1) body (2,2,2,2)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.43sec 0.02sec 45 236 6961
htl 3.74sec 361.08sec -- 615 10050
str 5.04sec 360.06sec -- 621 8804

test40/test_40.20_5_0.1_3_1.2_2_2_3.2.4 nlp wc
55 lines 3496 bytes
head (1,3,1) body (2,2,2,3)
estimated blow-up 2.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.62sec 0.05sec 21 237 8655
htl 3.90sec 361.32sec -- 605 10138
str 5.00sec 363.02sec -- 619 8961

test40/test_40.20_5_0.1_3_1.2_2_2_4.2.7 nlp wc
55 lines 3708 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.06sec 243 239 10079
htl 3.71sec 361.42sec -- 615 10541
str 4.83sec 360.74sec -- 629 9225

test40/test_40.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 24.86sec 1.98sec 493 1340 44943
htl 7.56sec 359.61sec -- 974 16065
str 10.76sec 361.16sec -- 1018 14594

test40/test_40.20_5_0.1_3_1.2_3_2_2.187.4 nlp wc
55 lines 5486 bytes
head (1,3,1) body (2,3,2,2)
estimated blow-up 187.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1526.91sec 38.42sec 21 10891 583880
htl 12.10sec 362.89sec -- 1295 21807
str 19.32sec 353.95sec -- 1355 19623

test40/test_40.20_5_0.1_3_1.2_3_2_3.1912.2 nlp wc
55 lines 6762 bytes
head (1,3,1) body (2,3,2,3)
estimated blow-up 1912.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 136016.55sec 360.43sec -- 94961 6766695
htl 18.34sec 361.14sec -- 1629 27608
str 30.06sec 361.40sec -- 1699 24762

test40/test_40.20_5_0.1_3_1.2_3_3_1.3.6 nlp wc
53 lines 3375 bytes
head (1,3,1) body (2,3,3,1)
estimated blow-up 3.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.07sec 0.08sec 91 511 13292
htl 6.31sec 16.14sec 91 888 14153
str 8.09sec 17.05sec 91 888 12421

test40/test_40.20_5_0.1_3_1.2_3_3_2.12.7 nlp wc
55 lines 4163 bytes
head (1,3,1) body (2,3,3,2)
estimated blow-up 12.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 23.72sec 0.97sec 108 1301 48051
htl 9.12sec 359.78sec -- 1122 17829
str 12.29sec 360.03sec -- 1122 15753

test40/test_40.20_5_0.1_3_1.2_3_3_3.41.9 nlp wc
55 lines 4791 bytes
head (1,3,1) body (2,3,3,3)
estimated blow-up 41.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 172.08sec 5.03sec 140 3620 169900
htl 13.82sec 360.03sec -- 1390 21997
str 17.64sec 361.38sec -- 1390 19707

test40/test_40.20_5_0.1_3_1.2_3_3_4.134.6 nlp wc
55 lines 5510 bytes
head (1,3,1) body (2,3,3,4)
estimated blow-up 134.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1776.38sec 130.73sec 75 11441 662245
htl 19.02sec 362.83sec -- 1658 26172
str 25.31sec 356.57sec -- 1658 23457

test40/test_40.20_5_0.1_3_1.3_3_3_1.1.8 nlp wc
55 lines 3083 bytes
head (1,3,1) body (3,3,3,1)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.43sec 0.07sec 278 243 6569
htl 3.92sec 361.66sec -- 630 10249
str 4.86sec 360.45sec -- 636 8962

test40/test_40.20_5_0.1_3_1.3_3_3_2.2.4 nlp wc
55 lines 3465 bytes
head (1,3,1) body (3,3,3,2)
estimated blow-up 2.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.67sec 0.03sec 81 249 8846
htl 4.04sec 361.71sec -- 648 10933
str 5.17sec 360.50sec -- 652 9446

test40/test_40.20_5_0.1_3_1.3_3_3_3.2.9 nlp wc
55 lines 3853 bytes
head (1,3,1) body (3,3,3,3)
estimated blow-up 2.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.92sec 0.04sec 144 250 11106
htl 3.91sec 360.27sec -- 643 11157
str 5.43sec 360.90sec -- 649 9610

test40/test_40.20_5_0.1_3_1.3_3_3_4.3.3 nlp wc
53 lines 4043 bytes
head (1,3,1) body (3,3,3,4)
estimated blow-up 3.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.01sec 0.03sec 12 235 12220
htl 3.81sec 361.21sec -- 607 10777
str 5.30sec 364.05sec -- 617 9328

test40/test_40.20_5_0.1_3_2.1_1_1_1.1.2 nlp wc
45 lines 2197 bytes
head (1,3,2) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.95sec 23.13sec 100000 195 4144
htl 2.59sec 361.89sec -- 487 7569
str 3.24sec 367.53sec -- 491 6688

test40/test_40.20_5_0.1_3_2.1_1_1_2.1.4 nlp wc
45 lines 2314 bytes
head (1,3,2) body (1,1,1,2)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.12sec 23.56sec 100000 192 4620
htl 2.44sec 360.36sec -- 483 7624
str 2.97sec 362.71sec -- 487 6734

test40/test_40.20_5_0.1_3_2.1_1_1_3.1.6 nlp wc
45 lines 2369 bytes
head (1,3,2) body (1,1,1,3)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.30sec 0.80sec 3692 191 5055
htl 2.61sec 363.06sec -- 486 7723
str 3.09sec 360.36sec -- 490 6842

test40/test_40.20_5_0.1_3_2.1_1_1_4.1.8 nlp wc
45 lines 2458 bytes
head (1,3,2) body (1,1,1,4)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.13sec 1.27sec 5484 190 5591
htl 2.48sec 360.27sec -- 480 7772
str 3.10sec 362.13sec -- 486 6871

test40/test_40.20_5_0.1_3_2.1_2_1_1.5.8 nlp wc
45 lines 2760 bytes
head (1,3,2) body (1,2,1,1)
estimated blow-up 5.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.02sec 36.53sec 100000 496 13847
htl 3.65sec 361.81sec -- 618 10028
str 5.03sec 360.42sec -- 650 9166

test40/test_40.20_5_0.1_3_2.1_2_1_2.29.3 nlp wc
45 lines 3542 bytes
head (1,3,2) body (1,2,1,2)
estimated blow-up 29.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 38.67sec 160.74sec 100000 1671 70373
htl 4.52sec 357.30sec -- 738 12493
str 7.01sec 361.76sec -- 788 11388

test40/test_40.20_5_0.1_3_2.1_2_1_3.135.2 nlp wc
45 lines 4236 bytes
head (1,3,2) body (1,2,1,3)
estimated blow-up 135.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 541.60sec 362.59sec -- 6440 362833
htl 5.95sec 361.94sec -- 862 14878
str 9.17sec 360.30sec -- 916 13353

test40/test_40.20_5_0.1_3_2.1_2_1_4.594.6 nlp wc
44 lines 4892 bytes
head (1,3,2) body (1,2,1,4)
estimated blow-up 594.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 8663.24sec 361.40sec -- 24227 1638381
htl 7.35sec 363.68sec -- 964 16823
str 12.55sec 362.16sec -- 1020 14891

test40/test_40.20_5_0.1_3_2.1_2_2_1.2.1 nlp wc
45 lines 2316 bytes
head (1,3,2) body (1,2,2,1)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.63sec 25.08sec 100000 282 6095
htl 2.99sec 135.53sec 100000 538 8366
str 3.54sec 103.41sec 100000 538 7386

test40/test_40.20_5_0.1_3_2.1_2_2_2.4.7 nlp wc
44 lines 2612 bytes
head (1,3,2) body (1,2,2,2)
estimated blow-up 4.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.94sec 36.44sec 100000 495 13237
htl 3.68sec 361.80sec -- 622 9832
str 4.31sec 363.16sec -- 622 8640

test40/test_40.20_5_0.1_3_2.1_2_2_3.10.4 nlp wc
45 lines 2926 bytes
head (1,3,2) body (1,2,2,3)
estimated blow-up 10.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 11.30sec 49.25sec 100000 889 29181
htl 4.20sec 363.73sec -- 675 10842
str 5.37sec 363.93sec -- 675 9486

test40/test_40.20_5_0.1_3_2.1_2_2_4.22.3 nlp wc
45 lines 3178 bytes
head (1,3,2) body (1,2,2,4)
estimated blow-up 22.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 36.56sec 79.51sec 100000 1643 63169
htl 4.99sec 362.78sec -- 739 11930
str 5.93sec 360.62sec -- 739 10404

test40/test_40.20_5_0.1_3_2.1_3_1_1.47.1 nlp wc
45 lines 3679 bytes
head (1,3,2) body (1,3,1,1)
estimated blow-up 47.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 67.30sec 188.36sec 100000 2225 85655
htl 4.86sec 362.20sec -- 750 12860
str 6.83sec 359.93sec -- 788 11431

test40/test_40.20_5_0.1_3_2.1_3_1_2.1431.3 nlp wc
45 lines 5372 bytes
head (1,3,2) body (1,3,1,2)
estimated blow-up 1431.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 33232.60sec 363.11sec -- 49848 3036398
htl 7.83sec 358.78sec -- 991 18024
str 13.23sec 364.81sec -- 1051 15578

test40/test_40.20_5_0.1_3_2.1_3_2_1.13.8 nlp wc
45 lines 3063 bytes
head (1,3,2) body (1,3,2,1)
estimated blow-up 13.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 12.02sec 49.10sec 100000 934 27247
htl 3.78sec 155.46sec 100000 635 10586
str 5.41sec 135.86sec 100000 685 9808

test40/test_40.20_5_0.1_3_2.1_3_2_2.156.1 nlp wc
45 lines 4098 bytes
head (1,3,2) body (1,3,2,2)
estimated blow-up 156.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 708.97sec 361.87sec -- 7367 314946
htl 5.63sec 360.74sec -- 812 14047
str 9.14sec 357.00sec -- 876 12801

test40/test_40.20_5_0.1_3_2.1_3_2_3.1590.6 nlp wc
45 lines 5143 bytes
head (1,3,2) body (1,3,2,3)
estimated blow-up 1590.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 59295.70sec 364.25sec -- 64743 3611102
htl 7.30sec 359.41sec -- 960 17094
str 13.02sec 360.93sec -- 1036 15310

test40/test_40.20_5_0.1_3_2.1_3_3_1.3.0 nlp wc
45 lines 2411 bytes
head (1,3,2) body (1,3,3,1)
estimated blow-up 3.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.73sec 28.76sec 100000 390 8490
htl 3.15sec 115.29sec 100000 581 9064
str 3.95sec 114.36sec 100000 581 8010

test40/test_40.20_5_0.1_3_2.1_3_3_2.9.5 nlp wc
45 lines 2806 bytes
head (1,3,2) body (1,3,3,2)
estimated blow-up 9.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 12.32sec 75.22sec 100000 945 25661
htl 4.33sec 256.43sec 100000 653 10390
str 4.85sec 125.88sec 100000 653 9130

test40/test_40.20_5_0.1_3_2.1_3_3_3.30.5 nlp wc
45 lines 3245 bytes
head (1,3,2) body (1,3,3,3)
estimated blow-up 30.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 90.41sec 167.81sec 100000 2644 88306
htl 4.84sec 226.45sec 100000 735 11935
str 5.83sec 137.54sec 100000 735 10401

test40/test_40.20_5_0.1_3_2.1_3_3_4.96.1 nlp wc
45 lines 3634 bytes
head (1,3,2) body (1,3,3,4)
estimated blow-up 96.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 765.05sec 362.71sec -- 7762 303427
htl 5.45sec 361.67sec -- 809 13266
str 7.22sec 361.50sec -- 809 11529

test40/test_40.20_5_0.1_3_2.2_2_2_1.1.4 nlp wc
45 lines 2242 bytes
head (1,3,2) body (2,2,2,1)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.93sec 24.12sec 100000 189 4478
htl 2.66sec 360.67sec -- 476 7465
str 3.06sec 362.05sec -- 482 6647

test40/test_40.20_5_0.1_3_2.2_2_2_2.1.8 nlp wc
45 lines 2527 bytes
head (1,3,2) body (2,2,2,2)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.27sec 5.04sec 21435 193 5615
htl 2.52sec 361.44sec -- 482 7810
str 3.01sec 361.63sec -- 488 6910

test40/test_40.20_5_0.1_3_2.2_2_2_3.2.1 nlp wc
45 lines 2853 bytes
head (1,3,2) body (2,2,2,3)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.31sec 0.18sec 888 197 6970
htl 2.77sec 362.56sec -- 497 8302
str 3.49sec 360.93sec -- 497 7179

test40/test_40.20_5_0.1_3_2.2_2_2_4.2.3 nlp wc
45 lines 3125 bytes
head (1,3,2) body (2,2,2,4)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.31sec 0.20sec 648 194 8056
htl 2.98sec 355.19sec -- 493 8440
str 3.90sec 358.20sec -- 503 7421

test40/test_40.20_5_0.1_3_2.2_3_2_1.14.0 nlp wc
45 lines 3440 bytes
head (1,3,2) body (2,3,2,1)
estimated blow-up 14.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 14.19sec 73.06sec 100000 987 33836
htl 6.02sec 359.99sec -- 838 13682
str 8.08sec 358.38sec -- 878 12563

test40/test_40.20_5_0.1_3_2.2_3_2_2.152.2 nlp wc
44 lines 4674 bytes
head (1,3,2) body (2,3,2,2)
estimated blow-up 152.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 757.13sec 102.79sec 2076 7552 402352
htl 9.62sec 362.37sec -- 1138 18909
str 15.21sec 356.89sec -- 1196 17268

test40/test_40.20_5_0.1_3_2.2_3_2_3.1510.1 nlp wc
45 lines 6025 bytes
head (1,3,2) body (2,3,2,3)
estimated blow-up 1510.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 68327.01sec 359.77sec -- 66364 4702045
htl 15.60sec 356.81sec -- 1476 24784
str 25.43sec 359.82sec -- 1546 22499

test40/test_40.20_5_0.1_3_2.2_3_3_1.3.2 nlp wc
45 lines 2726 bytes
head (1,3,2) body (2,3,3,1)
estimated blow-up 3.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.64sec 42.88sec 100000 389 9959
htl 5.08sec 361.80sec -- 757 11733
str 5.41sec 360.00sec -- 757 10519

test40/test_40.20_5_0.1_3_2.2_3_3_2.10.7 nlp wc
45 lines 3492 bytes
head (1,3,2) body (2,3,3,2)
estimated blow-up 10.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 13.74sec 126.85sec 59722 975 35919
htl 8.20sec 359.60sec -- 1000 15641
str 9.72sec 361.40sec -- 1000 14019

test40/test_40.20_5_0.1_3_2.2_3_3_3.34.4 nlp wc
45 lines 4123 bytes
head (1,3,2) body (2,3,3,3)
estimated blow-up 34.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 97.51sec 39.95sec 27966 2689 128449
htl 11.42sec 358.94sec -- 1250 19561
str 14.82sec 358.37sec -- 1250 17649

test40/test_40.20_5_0.1_3_2.2_3_3_4.108.0 nlp wc
45 lines 4942 bytes
head (1,3,2) body (2,3,3,4)
estimated blow-up 108.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 857.04sec 103.85sec 9304 7977 480869
htl 15.32sec 354.88sec -- 1508 23904
str 21.07sec 360.25sec -- 1508 21449

test40/test_40.20_5_0.1_3_2.3_3_3_1.1.6 nlp wc
45 lines 2410 bytes
head (1,3,2) body (3,3,3,1)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.20sec 0.80sec 3861 191 5150
htl 2.73sec 365.76sec -- 485 7749
str 3.17sec 356.96sec -- 491 6867

test40/test_40.20_5_0.1_3_2.3_3_3_2.2.1 nlp wc
45 lines 2809 bytes
head (1,3,2) body (3,3,3,2)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.47sec 0.70sec 3012 195 6996
htl 2.67sec 359.31sec -- 494 8254
str 3.67sec 357.58sec -- 502 7284

test40/test_40.20_5_0.1_3_2.3_3_3_3.2.5 nlp wc
43 lines 3088 bytes
head (1,3,2) body (3,3,3,3)
estimated blow-up 2.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.39sec 0.01sec 0 192 8294
htl 2.77sec 0.03sec 0 489 8417
str 3.73sec 0.01sec 0 499 7416

test40/test_40.20_5_0.1_3_2.3_3_3_4.2.7 nlp wc
45 lines 3492 bytes
head (1,3,2) body (3,3,3,4)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.44sec 0.10sec 324 191 9714
htl 2.78sec 363.51sec -- 489 8723
str 3.87sec 364.01sec -- 497 7613

test40/test_40.20_5_0.1_3_3.1_1_1_1.1.2 nlp wc
40 lines 1548 bytes
head (1,3,3) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.86sec 19.23sec 100000 161 3176
htl 1.68sec 366.13sec -- 370 5418
str 1.97sec 361.10sec 100000 372 4926

test40/test_40.20_5_0.1_3_3.1_1_1_2.1.4 nlp wc
40 lines 1661 bytes
head (1,3,3) body (1,1,1,2)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.87sec 21.77sec 100000 170 3762
htl 1.74sec 360.09sec -- 384 5777
str 1.93sec 360.03sec -- 386 5237

test40/test_40.20_5_0.1_3_3.1_1_1_3.1.6 nlp wc
40 lines 1739 bytes
head (1,3,3) body (1,1,1,3)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.94sec 15.42sec 68525 163 3951
htl 1.77sec 362.41sec -- 376 5707
str 2.14sec 357.89sec -- 384 5270

test40/test_40.20_5_0.1_3_3.1_1_1_4.1.7 nlp wc
40 lines 1910 bytes
head (1,3,3) body (1,1,1,4)
estimated blow-up 1.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.02sec 1.66sec 7315 168 4706
htl 1.92sec 361.79sec -- 387 6031
str 2.29sec 359.24sec -- 391 5452

test40/test_40.20_5_0.1_3_3.1_2_1_1.5.6 nlp wc
40 lines 2147 bytes
head (1,3,3) body (1,2,1,1)
estimated blow-up 5.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.91sec 29.49sec 100000 401 10466
htl 2.78sec 143.54sec 100000 505 7869
str 3.45sec 362.58sec -- 545 7613

test40/test_40.20_5_0.1_3_3.1_2_1_2.27.5 nlp wc
40 lines 2902 bytes
head (1,3,3) body (1,2,1,2)
estimated blow-up 27.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 25.71sec 98.01sec 100000 1357 53661
htl 3.83sec 361.95sec -- 629 10333
str 5.60sec 355.15sec -- 681 9771

test40/test_40.20_5_0.1_3_3.1_2_1_3.123.9 nlp wc
40 lines 3566 bytes
head (1,3,3) body (1,2,1,3)
estimated blow-up 123.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 317.97sec 115.90sec 22931 4891 259576
htl 4.64sec 362.95sec -- 725 12283
str 7.23sec 364.75sec -- 783 11347

test40/test_40.20_5_0.1_3_3.1_2_1_4.535.5 nlp wc
40 lines 4400 bytes
head (1,3,3) body (1,2,1,4)
estimated blow-up 535.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5134.16sec 360.51sec -- 19554 1306406
htl 6.26sec 361.43sec -- 859 15030
str 10.13sec 363.73sec -- 931 13676

test40/test_40.20_5_0.1_3_3.1_2_2_1.2.1 nlp wc
40 lines 1672 bytes
head (1,3,3) body (1,2,2,1)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.29sec 24.37sec 100000 249 4927
htl 2.23sec 100.71sec 100000 458 6764
str 2.64sec 75.87sec 100000 458 6186

test40/test_40.20_5_0.1_3_3.1_2_2_2.4.6 nlp wc
40 lines 1969 bytes
head (1,3,3) body (1,2,2,2)
estimated blow-up 4.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.64sec 27.38sec 100000 393 9513
htl 2.46sec 127.71sec 100000 493 7314
str 2.93sec 361.12sec -- 493 6717

test40/test_40.20_5_0.1_3_3.1_2_2_3.9.8 nlp wc
40 lines 2225 bytes
head (1,3,3) body (1,2,2,3)
estimated blow-up 9.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 7.66sec 59.24sec 100000 733 21476
htl 3.22sec 361.41sec -- 578 8789
str 3.62sec 360.83sec -- 578 7995

test40/test_40.20_5_0.1_3_3.1_2_2_4.20.8 nlp wc
40 lines 2474 bytes
head (1,3,3) body (1,2,2,4)
estimated blow-up 20.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 24.31sec 60.28sec 100000 1336 46134
htl 3.74sec 356.75sec -- 620 9535
str 4.45sec 363.58sec -- 620 8596

test40/test_40.20_5_0.1_3_3.1_3_1_1.43.9 nlp wc
40 lines 3109 bytes
head (1,3,3) body (1,3,1,1)
estimated blow-up 43.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 48.17sec 103.41sec 100000 1878 68619
htl 4.08sec 361.50sec -- 651 11010
str 5.71sec 363.06sec -- 697 10040

test40/test_40.20_5_0.1_3_3.1_3_1_2.1280.0 nlp wc
39 lines 4749 bytes
head (1,3,3) body (1,3,1,2)
estimated blow-up 1280.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 27446.59sec 359.57sec -- 44195 2610848
htl 6.90sec 359.08sec -- 898 16175
str 10.95sec 361.89sec -- 962 14194

test40/test_40.20_5_0.1_3_3.1_3_2_1.13.1 nlp wc
40 lines 2488 bytes
head (1,3,3) body (1,3,2,1)
estimated blow-up 13.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 7.87sec 44.85sec 100000 759 20613
htl 3.02sec 313.16sec 100000 548 8924
str 4.35sec 104.67sec 100000 602 8567

test40/test_40.20_5_0.1_3_3.1_3_2_2.142.9 nlp wc
40 lines 3442 bytes
head (1,3,3) body (1,3,2,2)
estimated blow-up 142.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 476.22sec 361.32sec -- 6140 247370
htl 4.51sec 363.18sec -- 711 11984
str 6.80sec 244.02sec 100000 769 11179

test40/test_40.20_5_0.1_3_3.1_3_2_3.1420.6 nlp wc
40 lines 4486 bytes
head (1,3,3) body (1,3,2,3)
estimated blow-up 1420.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 41315.03sec 361.26sec -- 52831 2822279
htl 6.38sec 359.43sec -- 862 15099
str 10.52sec 359.43sec -- 926 13573

test40/test_40.20_5_0.1_3_3.1_3_3_1.2.8 nlp wc
40 lines 1743 bytes
head (1,3,3) body (1,3,3,1)
estimated blow-up 2.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.85sec 26.85sec 100000 313 6109
htl 2.26sec 49.41sec 100000 472 6981
str 2.68sec 52.47sec 100000 472 6390

test40/test_40.20_5_0.1_3_3.1_3_3_2.9.0 nlp wc
40 lines 2195 bytes
head (1,3,3) body (1,3,3,2)
estimated blow-up 9.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 8.45sec 31.95sec 100000 765 19007
htl 2.81sec 196.85sec 100000 534 8078
str 3.26sec 204.02sec 100000 534 7330

test40/test_40.20_5_0.1_3_3.1_3_3_3.28.1 nlp wc
40 lines 2581 bytes
head (1,3,3) body (1,3,3,3)
estimated blow-up 28.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 64.16sec 97.04sec 100000 2215 68144
htl 3.64sec 360.27sec -- 623 9683
str 4.28sec 109.81sec 100000 623 8705

test40/test_40.20_5_0.1_3_3.1_3_3_4.87.1 nlp wc
40 lines 2917 bytes
head (1,3,3) body (1,3,3,4)
estimated blow-up 87.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 479.81sec 360.82sec -- 6247 223121
htl 4.91sec 360.76sec -- 724 11364
str 5.57sec 360.55sec -- 724 10209

test40/test_40.20_5_0.1_3_3.2_2_2_1.1.4 nlp wc
39 lines 1640 bytes
head (1,3,3) body (2,2,2,1)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.92sec 22.68sec 100000 161 3548
htl 1.88sec 362.21sec -- 366 5464
str 1.87sec 358.42sec -- 370 4983

test40/test_40.20_5_0.1_3_3.2_2_2_2.1.7 nlp wc
40 lines 1881 bytes
head (1,3,3) body (2,2,2,2)
estimated blow-up 1.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.99sec 1.21sec 6531 167 4431
htl 1.79sec 357.26sec -- 383 5945
str 2.04sec 362.64sec -- 389 5451

test40/test_40.20_5_0.1_3_3.2_2_2_3.2.0 nlp wc
40 lines 2186 bytes
head (1,3,3) body (2,2,2,3)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.04sec 0.22sec 1147 162 5264
htl 1.74sec 359.87sec -- 373 6006
str 2.25sec 357.37sec -- 383 5505

test40/test_40.20_5_0.1_3_3.2_2_2_4.2.2 nlp wc
40 lines 2435 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.22sec 1015 170 6298
htl 1.90sec 360.79sec -- 392 6508
str 2.38sec 358.68sec -- 398 5857

test40/test_40.20_5_0.1_3_3.2_3_2_1.13.0 nlp wc
40 lines 2803 bytes
head (1,3,3) body (2,3,2,1)
estimated blow-up 13.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 9.39sec 65.19sec 100000 797 25457
htl 4.52sec 359.02sec -- 736 11677
str 5.95sec 360.99sec -- 772 10932

test40/test_40.20_5_0.1_3_3.2_3_2_2.135.7 nlp wc
40 lines 4127 bytes
head (1,3,3) body (2,3,2,2)
estimated blow-up 135.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 443.91sec 359.33sec -- 5877 299699
htl 8.22sec 360.83sec -- 1046 17216
str 12.61sec 359.99sec -- 1114 16073

test40/test_40.20_5_0.1_3_3.2_3_2_3.1315.1 nlp wc
40 lines 5405 bytes
head (1,3,3) body (2,3,2,3)
estimated blow-up 1315.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 32134.51sec 361.79sec -- 48855 3301883
htl 13.01sec 359.11sec -- 1351 22366
str 21.10sec 360.40sec -- 1421 20582

test40/test_40.20_5_0.1_3_3.2_3_3_1.3.0 nlp wc
40 lines 2123 bytes
head (1,3,3) body (2,3,3,1)
estimated blow-up 3.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.14sec 29.30sec 100000 327 7869
htl 3.67sec 359.05sec -- 646 9640
str 4.22sec 360.20sec -- 646 8868

test40/test_40.20_5_0.1_3_3.2_3_3_2.9.7 nlp wc
40 lines 2900 bytes
head (1,3,3) body (2,3,3,2)
estimated blow-up 9.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 8.82sec 63.08sec 100000 778 27445
htl 6.50sec 361.48sec -- 903 13816
str 7.62sec 361.98sec -- 903 12550

test40/test_40.20_5_0.1_3_3.2_3_3_3.30.5 nlp wc
40 lines 3612 bytes
head (1,3,3) body (2,3,3,3)
estimated blow-up 30.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 62.62sec 101.80sec 100000 2114 99102
htl 9.69sec 361.32sec -- 1136 17562
str 12.17sec 359.44sec -- 1136 15959

test40/test_40.20_5_0.1_3_3.2_3_3_4.94.2 nlp wc
39 lines 4266 bytes
head (1,3,3) body (2,3,3,4)
estimated blow-up 94.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 484.97sec 48.25sec 4268 6109 353701
htl 14.32sec 360.97sec -- 1396 21580
str 17.59sec 358.98sec -- 1396 19629

test40/test_40.20_5_0.1_3_3.3_3_3_1.1.6 nlp wc
39 lines 1776 bytes
head (1,3,3) body (3,3,3,1)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.94sec 19.42sec 100000 165 4157
htl 1.89sec 362.32sec -- 376 5763
str 1.95sec 359.13sec -- 384 5291

test40/test_40.20_5_0.1_3_3.3_3_3_2.2.0 nlp wc
40 lines 2134 bytes
head (1,3,3) body (3,3,3,2)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.05sec 0.43sec 2261 165 5345
htl 1.90sec 358.44sec -- 375 6092
str 2.35sec 370.19sec -- 385 5562

test40/test_40.20_5_0.1_3_3.3_3_3_3.2.3 nlp wc
39 lines 2550 bytes
head (1,3,3) body (3,3,3,3)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.21sec 0.23sec 1131 162 6575
htl 1.92sec 364.30sec -- 373 6349
str 2.41sec 360.15sec -- 385 5760

test40/test_40.20_5_0.1_3_3.3_3_3_4.2.5 nlp wc
40 lines 2870 bytes
head (1,3,3) body (3,3,3,4)
estimated blow-up 2.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.12sec 0.80sec 4361 168 7720
htl 2.08sec 362.00sec -- 385 6807
str 2.58sec 358.94sec -- 393 6059

test40/test_40.20_5_0.2_2_2.1_1_1_1.1.3 nlp wc
38 lines 1051 bytes
head (2,2,2) body (1,1,1,1)
estimated blow-up 1.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.75sec 0.00sec 0 150 2627
htl 1.12sec 0.00sec 0 262 3857
str 1.29sec 0.02sec 0 268 3512

test40/test_40.20_5_0.2_2_2.1_1_1_2.1.6 nlp wc
40 lines 1206 bytes
head (2,2,2) body (1,1,1,2)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.88sec 0.00sec 1 146 2979
htl 1.29sec 0.00sec 1 255 3880
str 1.25sec 0.33sec 1 263 3541

test40/test_40.20_5_0.2_2_2.1_1_1_3.1.8 nlp wc
40 lines 1324 bytes
head (2,2,2) body (1,1,1,3)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.75sec 0.01sec 1 162 3690
htl 1.28sec 0.01sec 1 289 4546
str 1.33sec 357.29sec -- 297 4085

test40/test_40.20_5_0.2_2_2.1_1_1_4.2.0 nlp wc
40 lines 1389 bytes
head (2,2,2) body (1,1,1,4)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.83sec 0.01sec 1 158 3908
htl 1.28sec 0.01sec 1 273 4353
str 1.31sec 16.26sec 1 287 4025

test40/test_40.20_5_0.2_2_2.1_2_1_1.6.3 nlp wc
40 lines 1682 bytes
head (2,2,2) body (1,2,1,1)
estimated blow-up 6.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.68sec 0.02sec 1 392 8949
htl 1.84sec 0.01sec 1 401 6306
str 2.33sec 0.01sec 1 427 5809

test40/test_40.20_5_0.2_2_2.1_2_1_2.31.0 nlp wc
38 lines 2383 bytes
head (2,2,2) body (1,2,1,2)
estimated blow-up 31.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 24.20sec 0.41sec 0 1302 47160
htl 2.69sec 6.09sec 0 524 8731
str 3.97sec 27.50sec 0 568 8069

test40/test_40.20_5_0.2_2_2.1_2_1_3.137.9 nlp wc
40 lines 3204 bytes
head (2,2,2) body (1,2,1,3)
estimated blow-up 137.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 320.56sec 6.86sec 0 4960 251386
htl 3.81sec 263.85sec 0 652 11377
str 5.85sec 356.84sec -- 720 10449

test40/test_40.20_5_0.2_2_2.1_2_1_4.588.3 nlp wc
40 lines 3853 bytes
head (2,2,2) body (1,2,1,4)
estimated blow-up 588.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4654.00sec 244.75sec 2 19298 1209116
htl 4.75sec 358.16sec -- 766 13500
str 7.91sec 362.90sec -- 834 12203

test40/test_40.20_5_0.2_2_2.1_2_2_1.2.2 nlp wc
40 lines 1225 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 244 4214
htl 1.57sec 0.01sec 1 357 5317
str 1.75sec 0.07sec 1 357 4668

test40/test_40.20_5_0.2_2_2.1_2_2_2.5.0 nlp wc
40 lines 1535 bytes
head (2,2,2) body (1,2,2,2)
estimated blow-up 5.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.36sec 0.02sec 1 396 8602
htl 2.01sec 0.02sec 1 412 6284
str 2.06sec 1.16sec 1 412 5515

test40/test_40.20_5_0.2_2_2.1_2_2_3.10.7 nlp wc
40 lines 1745 bytes
head (2,2,2) body (1,2,2,3)
estimated blow-up 10.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.91sec 0.27sec 0 700 18326
htl 2.39sec 0.73sec 0 466 7087
str 2.64sec 10.10sec 0 466 6349

test40/test_40.20_5_0.2_2_2.1_2_2_4.22.8 nlp wc
40 lines 2007 bytes
head (2,2,2) body (1,2,2,4)
estimated blow-up 22.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 23.61sec 1.15sec 1 1326 41526
htl 2.69sec 22.60sec 1 529 8143
str 3.26sec 63.41sec 1 529 7274

test40/test_40.20_5_0.2_2_2.1_3_1_1.49.5 nlp wc
40 lines 2674 bytes
head (2,2,2) body (1,3,1,1)
estimated blow-up 49.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 52.51sec 1.02sec 0 1940 62964
htl 2.99sec 1.25sec 0 551 9499
str 4.02sec 2.08sec 0 599 8557

test40/test_40.20_5_0.2_2_2.1_3_1_2.1400.5 nlp wc
40 lines 4212 bytes
head (2,2,2) body (1,3,1,2)
estimated blow-up 1400.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 23261.79sec 359.87sec -- 38910 2158617
htl 5.29sec 361.80sec -- 777 14116
str 8.70sec 360.60sec -- 829 12179

test40/test_40.20_5_0.2_2_2.1_3_2_1.14.7 nlp wc
40 lines 2040 bytes
head (2,2,2) body (1,3,2,1)
estimated blow-up 14.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 8.58sec 0.16sec 0 800 19023
htl 2.10sec 0.01sec 0 445 7339
str 3.05sec 0.02sec 0 483 6757

test40/test_40.20_5_0.2_2_2.1_3_2_2.157.9 nlp wc
40 lines 2932 bytes
head (2,2,2) body (1,3,2,2)
estimated blow-up 157.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 441.68sec 11.05sec 1 6030 219385
htl 3.39sec 5.00sec 1 607 10310
str 4.95sec 10.69sec 1 661 9509

test40/test_40.20_5_0.2_2_2.1_3_2_3.1543.8 nlp wc
40 lines 4025 bytes
head (2,2,2) body (1,3,2,3)
estimated blow-up 1543.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 41464.70sec 361.02sec -- 52838 2629872
htl 4.96sec 17.73sec 0 775 13804
str 8.32sec 28.25sec 0 843 12354

test40/test_40.20_5_0.2_2_2.1_3_3_1.3.0 nlp wc
40 lines 1367 bytes
head (2,2,2) body (1,3,3,1)
estimated blow-up 3.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.64sec 0.01sec 1 312 5396
htl 1.78sec 0.01sec 1 374 5706
str 1.79sec 0.01sec 1 374 4944

test40/test_40.20_5_0.2_2_2.1_3_3_2.9.4 nlp wc
38 lines 1662 bytes
head (2,2,2) body (1,3,3,2)
estimated blow-up 9.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 7.57sec 0.20sec 1 758 15811
htl 2.14sec 0.01sec 1 447 6768
str 2.42sec 0.01sec 1 447 6034

test40/test_40.20_5_0.2_2_2.1_3_3_3.29.5 nlp wc
40 lines 2094 bytes
head (2,2,2) body (1,3,3,3)
estimated blow-up 29.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 58.95sec 2.29sec 1 2164 58094
htl 2.80sec 0.99sec 1 537 8340
str 3.32sec 1.02sec 1 537 7391

test40/test_40.20_5_0.2_2_2.1_3_3_4.91.4 nlp wc
40 lines 2451 bytes
head (2,2,2) body (1,3,3,4)
estimated blow-up 91.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 429.62sec 22.43sec 0 5958 192500
htl 3.49sec 0.82sec 0 609 9631
str 4.12sec 1.58sec 0 609 8512

test40/test_40.20_5_0.2_2_2.2_2_2_1.1.6 nlp wc
40 lines 1167 bytes
head (2,2,2) body (2,2,2,1)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.86sec 0.00sec 0 162 3231
htl 1.15sec 0.01sec 0 292 4480
str 1.42sec 35.50sec 0 294 3948

test40/test_40.20_5_0.2_2_2.2_2_2_2.2.0 nlp wc
40 lines 1479 bytes
head (2,2,2) body (2,2,2,2)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.92sec 0.00sec 0 164 4179
htl 1.34sec 0.01sec 0 285 4581
str 1.45sec 81.30sec 0 289 4035

test40/test_40.20_5_0.2_2_2.2_2_2_3.2.3 nlp wc
40 lines 1691 bytes
head (2,2,2) body (2,2,2,3)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.08sec 0.01sec 1 158 4786
htl 1.28sec 0.01sec 1 285 4787
str 1.47sec 359.72sec -- 299 4332

test40/test_40.20_5_0.2_2_2.2_2_2_4.2.5 nlp wc
40 lines 2011 bytes
head (2,2,2) body (2,2,2,4)
estimated blow-up 2.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.02sec 0.01sec 1 152 5562
htl 1.27sec 0.01sec 1 264 4621
str 1.53sec 51.87sec 1 288 4325

test40/test_40.20_5_0.2_2_2.2_3_2_1.14.2 nlp wc
40 lines 2296 bytes
head (2,2,2) body (2,3,2,1)
estimated blow-up 14.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 8.63sec 0.17sec 3 772 21788
htl 3.45sec 14.29sec 3 622 9820
str 4.74sec 35.32sec 3 662 9231

test40/test_40.20_5_0.2_2_2.2_3_2_2.146.1 nlp wc
40 lines 3598 bytes
head (2,2,2) body (2,3,2,2)
estimated blow-up 146.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 444.22sec 24.95sec 1 5944 276190
htl 6.93sec 354.33sec -- 954 15621
str 10.43sec 359.84sec -- 1018 14584

test40/test_40.20_5_0.2_2_2.2_3_2_3.1394.6 nlp wc
38 lines 4972 bytes
head (2,2,2) body (2,3,2,3)
estimated blow-up 1394.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 38968.20sec 363.09sec -- 54524 3567825
htl 11.95sec 354.88sec -- 1276 21316
str 18.87sec 359.82sec -- 1348 19533

test40/test_40.20_5_0.2_2_2.2_3_3_1.3.2 nlp wc
40 lines 1675 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.01sec 0 314 6732
htl 2.98sec 0.28sec 0 543 8049
str 2.91sec 0.30sec 0 543 7297

test40/test_40.20_5_0.2_2_2.2_3_3_2.10.2 nlp wc
40 lines 2439 bytes
head (2,2,2) body (2,3,3,2)
estimated blow-up 10.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 8.90sec 0.35sec 0 788 25085
htl 5.19sec 360.78sec -- 802 12256
str 5.92sec 360.55sec -- 802 11029

test40/test_40.20_5_0.2_2_2.2_3_3_3.31.8 nlp wc
40 lines 2997 bytes
head (2,2,2) body (2,3,3,3)
estimated blow-up 31.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 61.72sec 4.02sec 1 2150 86897
htl 7.76sec 363.16sec -- 1033 15670
str 9.24sec 361.88sec -- 1033 14391

test40/test_40.20_5_0.2_2_2.2_3_3_4.97.7 nlp wc
40 lines 3790 bytes
head (2,2,2) body (2,3,3,4)
estimated blow-up 97.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 495.41sec 46.74sec 1 6228 333680
htl 11.57sec 361.07sec -- 1296 19989
str 14.46sec 359.72sec -- 1296 18139

test40/test_40.20_5_0.2_2_2.3_3_3_1.1.8 nlp wc
40 lines 1274 bytes
head (2,2,2) body (3,3,3,1)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.78sec 0.01sec 1 148 3372
htl 1.17sec 0.01sec 1 257 3981
str 1.31sec 12.31sec 1 275 3778

test40/test_40.20_5_0.2_2_2.3_3_3_2.2.3 nlp wc
40 lines 1656 bytes
head (2,2,2) body (3,3,3,2)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.98sec 0.01sec 1 158 4727
htl 1.35sec 0.01sec 1 282 4706
str 1.54sec 46.32sec 1 302 4354

test40/test_40.20_5_0.2_2_2.3_3_3_3.2.6 nlp wc
40 lines 2100 bytes
head (2,2,2) body (3,3,3,3)
estimated blow-up 2.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.29sec 0.01sec 1 166 6477
htl 1.27sec 0.01sec 1 290 5229
str 1.76sec 360.97sec -- 302 4605

test40/test_40.20_5_0.2_2_2.3_3_3_4.2.8 nlp wc
40 lines 2440 bytes
head (2,2,2) body (3,3,3,4)
estimated blow-up 2.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.31sec 0.01sec 1 152 7148
htl 1.30sec 0.01sec 1 265 5051
str 1.61sec 52.71sec 1 291 4653

test40/test_40.20_5_0.2_3_2.1_1_1_1.2.6 nlp wc
45 lines 2459 bytes
head (2,3,2) body (1,1,1,1)
estimated blow-up 2.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.17sec 0.11sec 178 363 6666
htl 4.40sec 19.47sec 178 704 10579
str 4.76sec 20.06sec 178 706 9744

test40/test_40.20_5_0.2_3_2.1_1_1_2.3.1 nlp wc
45 lines 2511 bytes
head (2,3,2) body (1,1,1,2)
estimated blow-up 3.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.50sec 0.04sec 36 348 7804
htl 4.14sec 66.03sec 36 672 10077
str 4.88sec 68.43sec 36 676 9309

test40/test_40.20_5_0.2_3_2.1_1_1_3.3.5 nlp wc
44 lines 2642 bytes
head (2,3,2) body (1,1,1,3)
estimated blow-up 3.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.26sec 0.02sec 27 353 9359
htl 4.43sec 356.93sec -- 694 10646
str 5.02sec 359.99sec -- 700 9792

test40/test_40.20_5_0.2_3_2.1_1_1_4.3.9 nlp wc
45 lines 2827 bytes
head (2,3,2) body (1,1,1,4)
estimated blow-up 3.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.65sec 0.04sec 45 368 11204
htl 4.68sec 360.55sec -- 718 11156
str 5.50sec 356.94sec -- 722 10213

test40/test_40.20_5_0.2_3_2.1_2_1_1.12.4 nlp wc
45 lines 3091 bytes
head (2,3,2) body (1,2,1,1)
estimated blow-up 12.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 16.40sec 2.75sec 1443 1095 28571
htl 5.90sec 357.21sec -- 844 13243
str 7.71sec 358.79sec -- 882 12490

test40/test_40.20_5_0.2_3_2.1_2_1_2.63.1 nlp wc
45 lines 3679 bytes
head (2,3,2) body (1,2,1,2)
estimated blow-up 63.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 157.77sec 5.12sec 53 3462 133822
htl 7.09sec 360.67sec -- 931 14888
str 9.59sec 362.40sec -- 979 13984

test40/test_40.20_5_0.2_3_2.1_2_1_3.293.7 nlp wc
45 lines 4468 bytes
head (2,3,2) body (1,2,1,3)
estimated blow-up 293.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3174.88sec 76.55sec 226 14860 768542
htl 8.62sec 359.58sec -- 1069 17612
str 12.55sec 360.39sec -- 1123 16191

test40/test_40.20_5_0.2_3_2.1_2_1_4.1304.1 nlp wc
45 lines 5284 bytes
head (2,3,2) body (1,2,1,4)
estimated blow-up 1304.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 36202.35sec 353.86sec -- 52106 3410874
htl 10.41sec 362.71sec -- 1163 19803
str 15.96sec 357.72sec -- 1239 18194

test40/test_40.20_5_0.2_3_2.1_2_2_1.4.7 nlp wc
45 lines 2604 bytes
head (2,3,2) body (1,2,2,1)
estimated blow-up 4.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.71sec 0.04sec 26 570 10959
htl 4.89sec 0.18sec 26 763 11528
str 5.77sec 0.14sec 26 763 10534

test40/test_40.20_5_0.2_3_2.1_2_2_2.10.3 nlp wc
45 lines 2903 bytes
head (2,3,2) body (1,2,2,2)
estimated blow-up 10.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 15.46sec 0.47sec 117 1087 25780
htl 5.84sec 2.40sec 117 839 12809
str 7.08sec 16.16sec 117 839 11696

test40/test_40.20_5_0.2_3_2.1_2_2_3.22.6 nlp wc
44 lines 3104 bytes
head (2,3,2) body (1,2,2,3)
estimated blow-up 22.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 50.71sec 1.20sec 49 1965 57045
htl 6.29sec 355.89sec -- 889 13665
str 7.30sec 359.91sec -- 889 12398

test40/test_40.20_5_0.2_3_2.1_2_2_4.48.7 nlp wc
45 lines 3364 bytes
head (2,3,2) body (1,2,2,4)
estimated blow-up 48.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 188.41sec 12.44sec 1274 3862 133577
htl 6.99sec 362.91sec -- 951 14750
str 8.32sec 359.93sec -- 951 13338

test40/test_40.20_5_0.2_3_2.1_3_1_1.101.4 nlp wc
45 lines 4077 bytes
head (2,3,2) body (1,3,1,1)
estimated blow-up 101.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 396.99sec 8.18sec 266 5561 202091
htl 7.60sec 360.90sec -- 954 15897
str 10.34sec 360.07sec -- 1000 14384

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