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

Individual tests

test30/test_30.20_5_0.1_1_1.1_1_1_1.1.2 nlp wc
30 lines 596 bytes
head (1,1,1) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.75sec 0.07sec 1 86 1449
htl 0.69sec 0.00sec 1 156 2228
str 0.95sec 0.00sec 1 162 2047

test30/test_30.20_5_0.1_1_1.1_1_1_2.1.3 nlp wc
30 lines 737 bytes
head (1,1,1) body (1,1,1,2)
estimated blow-up 1.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.57sec 0.02sec 1 82 1656
htl 1.14sec 0.08sec 1 146 2220
str 0.88sec 0.04sec 1 162 2146

test30/test_30.20_5_0.1_1_1.1_1_1_3.1.4 nlp wc
30 lines 852 bytes
head (1,1,1) body (1,1,1,3)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.61sec 0.07sec 1 86 1954
htl 1.37sec 0.08sec 1 156 2491
str 1.15sec 0.45sec 1 172 2365

test30/test_30.20_5_0.1_1_1.1_1_1_4.1.5 nlp wc
30 lines 937 bytes
head (1,1,1) body (1,1,1,4)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.89sec 0.06sec 1 86 2130
htl 1.08sec 0.04sec 1 168 2729
str 1.11sec 4.49sec 1 182 2541

test30/test_30.20_5_0.1_1_1.1_2_1_1.4.7 nlp wc
30 lines 1162 bytes
head (1,1,1) body (1,2,1,1)
estimated blow-up 4.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.51sec 0.02sec 0 222 4879
htl 1.99sec 0.05sec 0 286 4564
str 2.41sec 0.03sec 0 312 4136

test30/test_30.20_5_0.1_1_1.1_2_1_2.20.4 nlp wc
30 lines 1816 bytes
head (1,1,1) body (1,2,1,2)
estimated blow-up 20.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 14.78sec 0.47sec 2 676 23134
htl 3.76sec 114.88sec 2 413 6758
str 5.58sec 182.84sec 2 449 6236

test30/test_30.20_5_0.1_1_1.1_2_1_3.85.3 nlp wc
30 lines 2636 bytes
head (1,1,1) body (1,2,1,3)
estimated blow-up 85.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 189.94sec 8.43sec 2 2528 123751
htl 6.47sec 1.59sec 2 540 9383
str 10.17sec 100.01sec 2 594 8453

test30/test_30.20_5_0.1_1_1.1_2_1_4.350.0 nlp wc
30 lines 3360 bytes
head (1,1,1) body (1,2,1,4)
estimated blow-up 350.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2572.26sec 211.10sec 0 9540 591588
htl 8.58sec 80.38sec 0 644 11518
str 14.01sec 774.47sec -- 698 10060

test30/test_30.20_5_0.1_1_1.1_2_2_1.1.8 nlp wc
30 lines 735 bytes
head (1,1,1) body (1,2,2,1)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.72sec 0.08sec 0 122 2087
htl 2.02sec 0.04sec 0 222 3247
str 2.59sec 0.08sec 0 222 2794

test30/test_30.20_5_0.1_1_1.1_2_2_2.3.7 nlp wc
30 lines 1032 bytes
head (1,1,1) body (1,2,2,2)
estimated blow-up 3.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.46sec 0.01sec 1 204 4290
htl 2.98sec 0.04sec 1 292 4386
str 3.12sec 1.72sec 1 292 3772

test30/test_30.20_5_0.1_1_1.1_2_2_3.7.4 nlp wc
30 lines 1262 bytes
head (1,1,1) body (1,2,2,3)
estimated blow-up 7.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.60sec 0.12sec 1 358 9138
htl 3.55sec 0.76sec 1 353 5318
str 3.96sec 1.44sec 1 353 4674

test30/test_30.20_5_0.1_1_1.1_2_2_4.15.0 nlp wc
30 lines 1583 bytes
head (1,1,1) body (1,2,2,4)
estimated blow-up 15.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 15.32sec 0.48sec 0 686 21898
htl 4.52sec 6.22sec 0 405 6257
str 4.88sec 27.84sec 0 405 5422

test30/test_30.20_5_0.1_1_1.1_3_1_1.32.0 nlp wc
30 lines 2175 bytes
head (1,1,1) body (1,3,1,1)
estimated blow-up 32.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 29.83sec 0.41sec 1 956 30770
htl 4.74sec 0.02sec 1 426 7507
str 6.53sec 0.10sec 1 468 6525

test30/test_30.20_5_0.1_1_1.1_3_1_2.821.0 nlp wc
30 lines 3791 bytes
head (1,1,1) body (1,3,1,2)
estimated blow-up 821.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 13310.46sec 460.57sec 1 20376 1098148
htl 9.49sec 109.70sec 1 703 13003
str 16.41sec 468.77sec 1 753 10830

test30/test_30.20_5_0.1_1_1.1_3_2_1.10.2 nlp wc
30 lines 1505 bytes
head (1,1,1) body (1,3,2,1)
estimated blow-up 10.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.35sec 0.10sec 1 398 9214
htl 3.70sec 0.02sec 1 332 5515
str 4.52sec 0.05sec 1 374 5099

test30/test_30.20_5_0.1_1_1.1_3_2_2.97.7 nlp wc
30 lines 2466 bytes
head (1,1,1) body (1,3,2,2)
estimated blow-up 97.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 257.84sec 11.38sec 1 3028 108255
htl 5.58sec 0.23sec 1 490 8474
str 9.22sec 0.57sec 1 540 7655

test30/test_30.20_5_0.1_1_1.1_3_2_3.905.0 nlp wc
30 lines 3544 bytes
head (1,1,1) body (1,3,2,3)
estimated blow-up 905.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 21970.54sec 773.71sec -- 26794 1317794
htl 8.44sec 14.82sec 0 630 11457
str 14.56sec 32.05sec 0 684 9870

test30/test_30.20_5_0.1_1_1.1_3_3_1.2.3 nlp wc
30 lines 847 bytes
head (1,1,1) body (1,3,3,1)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.93sec 0.00sec 1 160 2700
htl 2.65sec 0.00sec 1 254 3807
str 2.73sec 0.08sec 1 254 3257

test30/test_30.20_5_0.1_1_1.1_3_3_2.6.5 nlp wc
30 lines 1256 bytes
head (1,1,1) body (1,3,3,2)
estimated blow-up 6.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.95sec 0.10sec 1 392 8387
htl 3.84sec 0.10sec 1 326 5009
str 3.95sec 0.08sec 1 326 4239

test30/test_30.20_5_0.1_1_1.1_3_3_3.19.1 nlp wc
30 lines 1592 bytes
head (1,1,1) body (1,3,3,3)
estimated blow-up 19.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 34.17sec 1.46sec 1 1090 28532
htl 4.83sec 1.62sec 1 418 6439
str 4.68sec 1.98sec 1 418 5575

test30/test_30.20_5_0.1_1_1.1_3_3_4.56.6 nlp wc
30 lines 2008 bytes
head (1,1,1) body (1,3,3,4)
estimated blow-up 56.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 278.70sec 16.96sec 2 3178 103058
htl 5.84sec 28.53sec 2 494 7831
str 6.54sec 71.25sec 2 494 6748

test30/test_30.20_5_0.1_1_1.2_2_2_1.1.3 nlp wc
30 lines 706 bytes
head (1,1,1) body (2,2,2,1)
estimated blow-up 1.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.43sec 0.07sec 0 80 1565
htl 1.88sec 0.00sec 0 150 2237
str 1.83sec 0.01sec 0 160 2100

test30/test_30.20_5_0.1_1_1.2_2_2_2.1.5 nlp wc
30 lines 995 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.00sec 1 90 2214
htl 1.92sec 0.08sec 1 166 2736
str 2.11sec 1.57sec 1 186 2628

test30/test_30.20_5_0.1_1_1.2_2_2_3.1.6 nlp wc
30 lines 1271 bytes
head (1,1,1) body (2,2,2,3)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.63sec 0.09sec 1 78 2446
htl 2.20sec 0.04sec 1 124 2340
str 2.27sec 0.05sec 1 154 2378

test30/test_30.20_5_0.1_1_1.2_2_2_4.1.6 nlp wc
30 lines 1473 bytes
head (1,1,1) body (2,2,2,4)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.83sec 0.08sec 1 82 2810
htl 1.77sec 0.08sec 1 158 2951
str 2.43sec 0.72sec 1 186 2883

test30/test_30.20_5_0.1_1_1.2_3_2_1.9.2 nlp wc
30 lines 1773 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.12sec 0 420 11426
htl 6.23sec 4.47sec 0 536 8320
str 7.88sec 27.72sec 0 566 7683

test30/test_30.20_5_0.1_1_1.2_3_2_2.85.6 nlp wc
30 lines 3146 bytes
head (1,1,1) body (2,3,2,2)
estimated blow-up 85.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 305.50sec 22.87sec 1 3258 151668
htl 12.67sec 773.65sec -- 852 13947
str 18.21sec 772.67sec -- 906 12770

test30/test_30.20_5_0.1_1_1.2_3_2_3.782.3 nlp wc
30 lines 4395 bytes
head (1,1,1) body (2,3,2,3)
estimated blow-up 782.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 23469.33sec 773.25sec -- 27126 1720938
htl 21.94sec 773.61sec -- 1170 19292
str 35.78sec 773.66sec -- 1226 17456

test30/test_30.20_5_0.1_1_1.2_3_3_1.2.2 nlp wc
30 lines 1126 bytes
head (1,1,1) body (2,3,3,1)
estimated blow-up 2.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.27sec 0.01sec 1 166 3391
htl 4.81sec 0.10sec 1 428 6103
str 4.60sec 0.07sec 1 428 5503

test30/test_30.20_5_0.1_1_1.2_3_3_2.6.3 nlp wc
30 lines 1926 bytes
head (1,1,1) body (2,3,3,2)
estimated blow-up 6.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.57sec 0.25sec 1 388 12249
htl 8.13sec 121.13sec 1 660 9913
str 10.00sec 168.87sec 1 660 8919

test30/test_30.20_5_0.1_1_1.2_3_3_3.18.6 nlp wc
30 lines 2616 bytes
head (1,1,1) body (2,3,3,3)
estimated blow-up 18.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 36.20sec 1.73sec 1 1076 44800
htl 14.59sec 773.66sec -- 927 14121
str 17.24sec 773.42sec -- 927 12786

test30/test_30.20_5_0.1_1_1.2_3_3_4.55.4 nlp wc
30 lines 3230 bytes
head (1,1,1) body (2,3,3,4)
estimated blow-up 55.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 292.04sec 26.85sec 0 3176 162017
htl 21.67sec 773.19sec -- 1168 17815
str 27.33sec 773.25sec -- 1168 16110

test30/test_30.20_5_0.1_1_1.3_3_3_1.1.4 nlp wc
30 lines 835 bytes
head (1,1,1) body (3,3,3,1)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.51sec 0.00sec 1 84 1868
htl 1.77sec 0.08sec 1 148 2332
str 1.81sec 0.40sec 1 160 2178

test30/test_30.20_5_0.1_1_1.3_3_3_2.1.6 nlp wc
30 lines 1183 bytes
head (1,1,1) body (3,3,3,2)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.47sec 0.00sec 1 86 2499
htl 1.83sec 0.00sec 1 156 2749
str 2.31sec 0.52sec 1 180 2682

test30/test_30.20_5_0.1_1_1.3_3_3_3.1.7 nlp wc
30 lines 1514 bytes
head (1,1,1) body (3,3,3,3)
estimated blow-up 1.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.16sec 0.04sec 1 88 3132
htl 1.97sec 0.08sec 1 158 3092
str 2.25sec 1.35sec 1 180 2915

test30/test_30.20_5_0.1_1_1.3_3_3_4.1.7 nlp wc
30 lines 1906 bytes
head (1,1,1) body (3,3,3,4)
estimated blow-up 1.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.84sec 0.00sec 1 84 3624
htl 1.95sec 0.08sec 1 166 3468
str 2.96sec 1.39sec 1 192 3228

test30/test_30.20_5_0.1_2_1.1_1_1_1.1.2 nlp wc
40 lines 1524 bytes
head (1,2,1) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.14sec 0.01sec 43 147 2808
htl 4.19sec 0.60sec 43 374 5507
str 4.57sec 0.48sec 43 374 4816

test30/test_30.20_5_0.1_2_1.1_1_1_2.1.5 nlp wc
40 lines 1641 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.04sec 114 158 3437
htl 4.48sec 155.46sec 114 399 6063
str 5.01sec 162.37sec 114 401 5347

test30/test_30.20_5_0.1_2_1.1_1_1_3.1.6 nlp wc
39 lines 1748 bytes
head (1,2,1) body (1,1,1,3)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.38sec 0.00sec 0 144 3687
htl 3.94sec 0.05sec 0 361 5590
str 4.65sec 0.04sec 0 371 4964

test30/test_30.20_5_0.1_2_1.1_1_1_4.1.8 nlp wc
40 lines 1845 bytes
head (1,2,1) body (1,1,1,4)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.96sec 0.04sec 16 146 4067
htl 3.69sec 20.72sec 16 366 5747
str 4.96sec 50.68sec 16 376 5121

test30/test_30.20_5_0.1_2_1.1_2_1_1.5.8 nlp wc
40 lines 2094 bytes
head (1,2,1) body (1,2,1,1)
estimated blow-up 5.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.18sec 0.10sec 12 387 9948
htl 5.92sec 0.53sec 12 492 7687
str 7.66sec 0.57sec 12 520 7053

test30/test_30.20_5_0.1_2_1.1_2_1_2.28.5 nlp wc
40 lines 2828 bytes
head (1,2,1) body (1,2,1,2)
estimated blow-up 28.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 50.05sec 1.09sec 34 1258 49743
htl 7.52sec 91.69sec 34 602 10010
str 11.19sec 263.56sec 34 650 9177

test30/test_30.20_5_0.1_2_1.1_2_1_3.128.0 nlp wc
40 lines 3518 bytes
head (1,2,1) body (1,2,1,3)
estimated blow-up 128.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 690.31sec 15.23sec 8 4944 255577
htl 10.49sec 692.22sec 8 727 12364
str 15.74sec 773.24sec -- 779 11130

test30/test_30.20_5_0.1_2_1.1_2_1_4.551.4 nlp wc
39 lines 4294 bytes
head (1,2,1) body (1,2,1,4)
estimated blow-up 551.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 12263.06sec 709.66sec 0 20298 1314679
htl 13.31sec 0.09sec 0 842 14733
str 21.45sec 0.02sec 0 896 12900

test30/test_30.20_5_0.1_2_1.1_2_2_1.2.1 nlp wc
39 lines 1615 bytes
head (1,2,1) body (1,2,2,1)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.90sec 0.01sec 0 224 4442
htl 5.07sec 0.01sec 0 433 6421
str 5.32sec 0.08sec 0 433 5673

test30/test_30.20_5_0.1_2_1.1_2_2_2.4.7 nlp wc
40 lines 1880 bytes
head (1,2,1) body (1,2,2,2)
estimated blow-up 4.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.75sec 0.12sec 19 372 8877
htl 5.61sec 2.62sec 19 467 7024
str 6.24sec 2.81sec 19 467 6234

test30/test_30.20_5_0.1_2_1.1_2_2_3.10.1 nlp wc
40 lines 2123 bytes
head (1,2,1) body (1,2,2,3)
estimated blow-up 10.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 15.50sec 0.55sec 11 683 19335
htl 6.53sec 4.87sec 11 540 8182
str 7.60sec 12.16sec 11 540 7285

test30/test_30.20_5_0.1_2_1.1_2_2_4.21.4 nlp wc
40 lines 2458 bytes
head (1,2,1) body (1,2,2,4)
estimated blow-up 21.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 54.11sec 1.95sec 11 1332 46321
htl 7.39sec 93.66sec 11 600 9326
str 9.43sec 189.38sec 11 600 8225

test30/test_30.20_5_0.1_2_1.1_3_1_1.45.5 nlp wc
38 lines 2864 bytes
head (1,2,1) body (1,3,1,1)
estimated blow-up 45.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 94.70sec 0.74sec 0 1783 62712
htl 8.19sec 0.08sec 0 629 10465
str 11.79sec 0.09sec 0 659 9171

test30/test_30.20_5_0.1_2_1.1_3_1_2.1316.6 nlp wc
40 lines 4653 bytes
head (1,2,1) body (1,3,1,2)
estimated blow-up 1316.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 52212.33sec 741.39sec 40 39007 2236315
htl 13.54sec 774.25sec -- 875 15805
str 23.75sec 773.76sec -- 925 13387

test30/test_30.20_5_0.1_2_1.1_3_2_1.13.6 nlp wc
40 lines 2470 bytes
head (1,2,1) body (1,3,2,1)
estimated blow-up 13.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 19.86sec 0.21sec 13 791 21461
htl 6.48sec 0.25sec 13 539 8771
str 9.01sec 0.45sec 13 581 8109

test30/test_30.20_5_0.1_2_1.1_3_2_2.147.3 nlp wc
40 lines 3395 bytes
head (1,2,1) body (1,3,2,2)
estimated blow-up 147.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1093.15sec 18.49sec 11 6343 252937
htl 9.80sec 2.26sec 11 698 11868
str 15.02sec 3.09sec 11 748 10684

test30/test_30.20_5_0.1_2_1.1_3_2_3.1458.0 nlp wc
40 lines 4559 bytes
head (1,2,1) body (1,3,2,3)
estimated blow-up 1458.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 92995.47sec 773.70sec -- 51920 2734257
htl 13.62sec 206.26sec 72 869 15429
str 23.73sec 260.56sec 72 923 13332

test30/test_30.20_5_0.1_2_1.1_3_3_1.2.9 nlp wc
40 lines 1787 bytes
head (1,2,1) body (1,3,3,1)
estimated blow-up 2.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.70sec 0.09sec 0 290 5836
htl 5.00sec 0.01sec 0 458 6894
str 5.85sec 0.01sec 0 458 6063

test30/test_30.20_5_0.1_2_1.1_3_3_2.9.1 nlp wc
40 lines 2156 bytes
head (1,2,1) body (1,3,3,2)
estimated blow-up 9.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 18.31sec 0.27sec 0 777 19178
htl 6.49sec 0.11sec 0 535 8207
str 7.50sec 0.11sec 0 535 7210

test30/test_30.20_5_0.1_2_1.1_3_3_3.28.5 nlp wc
38 lines 2464 bytes
head (1,2,1) body (1,3,3,3)
estimated blow-up 28.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 124.47sec 5.83sec 0 2092 61913
htl 7.89sec 0.01sec 0 622 9624
str 9.92sec 0.01sec 0 622 8505

test30/test_30.20_5_0.1_2_1.1_3_3_4.88.4 nlp wc
39 lines 2859 bytes
head (1,2,1) body (1,3,3,4)
estimated blow-up 88.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1009.80sec 22.58sec 0 6143 218077
htl 9.30sec 0.05sec 0 679 10770
str 11.40sec 0.01sec 0 679 9414

test30/test_30.20_5_0.1_2_1.2_2_2_1.1.5 nlp wc
39 lines 1599 bytes
head (1,2,1) body (2,2,2,1)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.80sec 0.04sec 0 147 3305
htl 3.82sec 0.01sec 0 364 5507
str 4.23sec 0.08sec 0 370 4860

test30/test_30.20_5_0.1_2_1.2_2_2_2.1.8 nlp wc
39 lines 1822 bytes
head (1,2,1) body (2,2,2,2)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.32sec 0.04sec 0 150 4028
htl 3.91sec 0.08sec 0 370 5804
str 4.63sec 0.08sec 0 374 5077

test30/test_30.20_5_0.1_2_1.2_2_2_3.2.1 nlp wc
40 lines 2205 bytes
head (1,2,1) body (2,2,2,3)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.47sec 0.01sec 20 155 5205
htl 4.42sec 774.08sec -- 384 6277
str 5.33sec 773.63sec -- 390 5469

test30/test_30.20_5_0.1_2_1.2_2_2_4.2.3 nlp wc
40 lines 2425 bytes
head (1,2,1) body (2,2,2,4)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.76sec 0.05sec 30 147 5839
htl 3.90sec 66.18sec 30 370 6259
str 5.20sec 69.66sec 30 384 5544

test30/test_30.20_5_0.1_2_1.2_3_2_1.13.3 nlp wc
40 lines 2743 bytes
head (1,2,1) body (2,3,2,1)
estimated blow-up 13.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 20.18sec 0.52sec 14 787 24361
htl 9.58sec 17.93sec 14 709 11220
str 13.25sec 20.75sec 14 747 10423

test30/test_30.20_5_0.1_2_1.2_3_2_2.138.9 nlp wc
40 lines 4068 bytes
head (1,2,1) body (2,3,2,2)
estimated blow-up 138.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1175.09sec 63.28sec 28 6451 320819
htl 18.34sec 773.52sec -- 1052 17156
str 27.95sec 774.38sec -- 1104 15722

test30/test_30.20_5_0.1_2_1.2_3_2_3.1339.8 nlp wc
40 lines 5399 bytes
head (1,2,1) body (2,3,2,3)
estimated blow-up 1339.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 119530.38sec 771.99sec -- 58401 3974763
htl 30.14sec 774.60sec -- 1395 23094
str 49.60sec 773.95sec -- 1453 20807

test30/test_30.20_5_0.1_2_1.2_3_3_1.3.1 nlp wc
40 lines 2052 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.11sec 53 312 7285
htl 7.91sec 6.21sec 53 641 9546
str 9.42sec 6.17sec 53 641 8620

test30/test_30.20_5_0.1_2_1.2_3_3_2.9.9 nlp wc
40 lines 2839 bytes
head (1,2,1) body (2,3,3,2)
estimated blow-up 9.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 20.66sec 0.57sec 92 793 27257
htl 14.07sec 361.75sec 92 907 13850
str 17.02sec 404.23sec 92 907 12489

test30/test_30.20_5_0.1_2_1.2_3_3_3.30.9 nlp wc
40 lines 3454 bytes
head (1,2,1) body (2,3,3,3)
estimated blow-up 30.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 133.66sec 8.95sec 4 2100 95281
htl 20.27sec 775.00sec -- 1120 17219
str 24.90sec 774.23sec -- 1120 15530

test30/test_30.20_5_0.1_2_1.2_3_3_4.95.3 nlp wc
40 lines 4124 bytes
head (1,2,1) body (2,3,3,4)
estimated blow-up 95.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1063.14sec 33.94sec 9 6147 333342
htl 29.53sec 774.68sec -- 1380 21203
str 37.73sec 774.05sec -- 1380 19294

test30/test_30.20_5_0.1_2_1.3_3_3_1.1.6 nlp wc
40 lines 1800 bytes
head (1,2,1) body (3,3,3,1)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.16sec 0.09sec 24 147 3825
htl 3.87sec 36.31sec 24 367 5706
str 4.84sec 43.26sec 24 377 5085

test30/test_30.20_5_0.1_2_1.3_3_3_2.2.1 nlp wc
39 lines 2155 bytes
head (1,2,1) body (3,3,3,2)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.32sec 0.08sec 0 150 5085
htl 4.63sec 0.08sec 0 379 6185
str 5.48sec 0.08sec 0 389 5471

test30/test_30.20_5_0.1_2_1.3_3_3_3.2.4 nlp wc
40 lines 2543 bytes
head (1,2,1) body (3,3,3,3)
estimated blow-up 2.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.72sec 0.10sec 28 151 6396
htl 4.29sec 279.59sec 28 371 6412
str 5.62sec 298.03sec 28 381 5549

test30/test_30.20_5_0.1_2_1.3_3_3_4.2.6 nlp wc
40 lines 2860 bytes
head (1,2,1) body (3,3,3,4)
estimated blow-up 2.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.54sec 0.09sec 32 158 7565
htl 4.71sec 772.70sec -- 396 7025
str 6.61sec 772.49sec -- 400 6019

test30/test_30.20_5_0.1_2_2.1_1_1_1.1.2 nlp wc
34 lines 1068 bytes
head (1,2,2) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.66sec 6.19sec 15212 125 2269
htl 3.42sec 228.61sec 15212 297 4186
str 3.50sec 228.64sec 15212 297 3785

test30/test_30.20_5_0.1_2_2.1_1_1_2.1.4 nlp wc
35 lines 1214 bytes
head (1,2,2) body (1,1,1,2)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.85sec 1.92sec 4752 125 2627
htl 3.58sec 772.78sec -- 291 4237
str 3.19sec 773.37sec -- 295 3869

test30/test_30.20_5_0.1_2_2.1_1_1_3.1.5 nlp wc
35 lines 1324 bytes
head (1,2,2) body (1,1,1,3)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.93sec 0.03sec 279 123 2944
htl 2.78sec 772.95sec -- 286 4284
str 3.59sec 772.51sec -- 292 3903

test30/test_30.20_5_0.1_2_2.1_1_1_4.1.6 nlp wc
35 lines 1350 bytes
head (1,2,2) body (1,1,1,4)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.20sec 0.11sec 315 119 3109
htl 2.87sec 392.26sec 315 270 4198
str 3.35sec 772.74sec -- 280 3839

test30/test_30.20_5_0.1_2_2.1_2_1_1.5.3 nlp wc
35 lines 1735 bytes
head (1,2,2) body (1,2,1,1)
estimated blow-up 5.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.48sec 4.87sec 8048 309 7743
htl 4.53sec 321.53sec 8048 418 6430
str 5.45sec 773.85sec -- 450 6153

test30/test_30.20_5_0.1_2_2.1_2_1_2.24.8 nlp wc
35 lines 2335 bytes
head (1,2,2) body (1,2,1,2)
estimated blow-up 24.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 33.57sec 4.49sec 1384 1027 37255
htl 6.67sec 773.05sec -- 533 8478
str 8.77sec 772.57sec -- 571 7933

test30/test_30.20_5_0.1_2_2.1_2_1_3.108.3 nlp wc
35 lines 3148 bytes
head (1,2,2) body (1,2,1,3)
estimated blow-up 108.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 416.85sec 19.81sec 1017 3784 195016
htl 8.39sec 772.56sec -- 623 10630
str 13.07sec 773.48sec -- 677 9668

test30/test_30.20_5_0.1_2_2.1_2_1_4.457.5 nlp wc
35 lines 3692 bytes
head (1,2,2) body (1,2,1,4)
estimated blow-up 457.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5541.42sec 220.91sec 318 13453 836326
htl 10.99sec 776.08sec -- 755 12863
str 17.00sec 774.40sec -- 807 11601

test30/test_30.20_5_0.1_2_2.1_2_2_1.2.0 nlp wc
35 lines 1182 bytes
head (1,2,2) body (1,2,2,1)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.57sec 8.04sec 19426 177 3285
htl 4.27sec 121.14sec 19426 352 5048
str 3.87sec 119.59sec 19426 352 4523

test30/test_30.20_5_0.1_2_2.1_2_2_2.4.3 nlp wc
35 lines 1521 bytes
head (1,2,2) body (1,2,2,2)
estimated blow-up 4.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.26sec 12.34sec 22765 296 6799
htl 4.38sec 605.99sec 22765 410 5965
str 4.80sec 779.98sec -- 410 5417

test30/test_30.20_5_0.1_2_2.1_2_2_3.9.0 nlp wc
34 lines 1747 bytes
head (1,2,2) body (1,2,2,3)
estimated blow-up 9.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 10.52sec 0.54sec 225 544 15097
htl 5.48sec 776.80sec -- 481 7090
str 5.49sec 775.50sec -- 481 6436

test30/test_30.20_5_0.1_2_2.1_2_2_4.18.6 nlp wc
35 lines 2067 bytes
head (1,2,2) body (1,2,2,4)
estimated blow-up 18.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 31.61sec 9.78sec 8124 1000 34480
htl 6.04sec 772.24sec -- 530 8066
str 7.24sec 777.26sec -- 530 7209

test30/test_30.20_5_0.1_2_2.1_3_1_1.39.3 nlp wc
35 lines 2625 bytes
head (1,2,2) body (1,3,1,1)
estimated blow-up 39.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 62.18sec 16.61sec 7106 1420 49410
htl 6.58sec 776.64sec -- 546 9169
str 9.78sec 774.61sec -- 582 8156

test30/test_30.20_5_0.1_2_2.1_3_1_2.1084.2 nlp wc
35 lines 4209 bytes
head (1,2,2) body (1,3,1,2)
estimated blow-up 1084.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 24853.72sec 781.67sec -- 29522 1683449
htl 11.61sec 777.95sec -- 791 14138
str 20.01sec 778.60sec -- 839 12168

test30/test_30.20_5_0.1_2_2.1_3_2_1.12.1 nlp wc
35 lines 1974 bytes
head (1,2,2) body (1,3,2,1)
estimated blow-up 12.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 11.51sec 87.99sec 97877 577 14519
htl 5.35sec 319.91sec 97877 455 7110
str 6.35sec 382.18sec 97877 491 6723

test30/test_30.20_5_0.1_2_2.1_3_2_2.124.6 nlp wc
35 lines 3071 bytes
head (1,2,2) body (1,3,2,2)
estimated blow-up 124.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 673.54sec 583.70sec 54778 4937 193611
htl 8.07sec 774.05sec -- 626 10649
str 12.63sec 775.31sec -- 682 9764

test30/test_30.20_5_0.1_2_2.1_3_2_3.1200.7 nlp wc
35 lines 4045 bytes
head (1,2,2) body (1,3,2,3)
estimated blow-up 1200.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 49871.99sec 778.32sec -- 40843 2123081
htl 11.87sec 775.68sec -- 784 13741
str 19.39sec 774.49sec -- 838 12084

test30/test_30.20_5_0.1_2_2.1_3_3_1.2.7 nlp wc
35 lines 1275 bytes
head (1,2,2) body (1,3,3,1)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.91sec 26.00sec 59695 225 4100
htl 3.84sec 105.44sec 59695 360 5114
str 4.20sec 100.51sec 59695 360 4643

test30/test_30.20_5_0.1_2_2.1_3_3_2.8.1 nlp wc
35 lines 1739 bytes
head (1,2,2) body (1,3,3,2)
estimated blow-up 8.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 11.47sec 70.60sec 100000 587 13736
htl 5.13sec 461.40sec 100000 459 6813
str 5.99sec 607.18sec 100000 459 6137

test30/test_30.20_5_0.1_2_2.1_3_3_3.24.6 nlp wc
35 lines 2093 bytes
head (1,2,2) body (1,3,3,3)
estimated blow-up 24.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 71.48sec 159.86sec 100000 1578 44937
htl 6.36sec 773.29sec -- 541 8199
str 7.39sec 774.28sec -- 541 7349

test30/test_30.20_5_0.1_2_2.1_3_3_4.74.8 nlp wc
35 lines 2389 bytes
head (1,2,2) body (1,3,3,4)
estimated blow-up 74.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 555.11sec 592.21sec 98144 4522 151720
htl 7.73sec 776.72sec -- 612 9426
str 9.24sec 773.63sec -- 612 8402

test30/test_30.20_5_0.1_2_2.2_2_2_1.1.4 nlp wc
35 lines 1167 bytes
head (1,2,2) body (2,2,2,1)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.49sec 0.04sec 453 120 2499
htl 3.18sec 139.05sec 453 280 4070
str 3.03sec 286.68sec 453 288 3783

test30/test_30.20_5_0.1_2_2.2_2_2_2.1.6 nlp wc
35 lines 1427 bytes
head (1,2,2) body (2,2,2,2)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.85sec 0.09sec 519 125 3166
htl 3.34sec 774.03sec -- 288 4410
str 3.20sec 774.14sec -- 292 3970

test30/test_30.20_5_0.1_2_2.2_2_2_3.1.8 nlp wc
34 lines 1721 bytes
head (1,2,2) body (2,2,2,3)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.29sec 0.01sec 105 126 3913
htl 3.02sec 773.91sec -- 279 4525
str 3.62sec 773.22sec -- 285 4039

test30/test_30.20_5_0.1_2_2.2_2_2_4.2.0 nlp wc
35 lines 1975 bytes
head (1,2,2) body (2,2,2,4)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.19sec 0.06sec 243 123 4458
htl 3.27sec 502.76sec 243 289 4869
str 3.95sec 772.89sec -- 297 4333

test30/test_30.20_5_0.1_2_2.2_3_2_1.11.5 nlp wc
35 lines 2194 bytes
head (1,2,2) body (2,3,2,1)
estimated blow-up 11.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 12.54sec 10.17sec 2405 604 17595
htl 7.81sec 773.96sec -- 627 9572
str 10.00sec 774.37sec -- 653 8977

test30/test_30.20_5_0.1_2_2.2_3_2_2.114.4 nlp wc
35 lines 3678 bytes
head (1,2,2) body (2,3,2,2)
estimated blow-up 114.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 561.20sec 42.81sec 963 4449 215709
htl 15.43sec 774.08sec -- 949 15514
str 22.83sec 773.85sec -- 999 14211

test30/test_30.20_5_0.1_2_2.2_3_2_3.1077.6 nlp wc
35 lines 5080 bytes
head (1,2,2) body (2,3,2,3)
estimated blow-up 1077.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 65526.56sec 773.33sec -- 43088 2863587
htl 27.04sec 774.15sec -- 1319 21901
str 43.41sec 773.82sec -- 1377 19712

test30/test_30.20_5_0.1_2_2.2_3_3_1.2.7 nlp wc
35 lines 1627 bytes
head (1,2,2) body (2,3,3,1)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.24sec 26.13sec 43316 241 5380
htl 6.61sec 774.19sec -- 547 7882
str 7.18sec 779.78sec -- 547 7266

test30/test_30.20_5_0.1_2_2.2_3_3_2.8.3 nlp wc
34 lines 2283 bytes
head (1,2,2) body (2,3,3,2)
estimated blow-up 8.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 12.63sec 1.27sec 624 593 18442
htl 11.56sec 779.81sec -- 783 11470
str 12.72sec 774.23sec -- 783 10607

test30/test_30.20_5_0.1_2_2.2_3_3_3.25.4 nlp wc
34 lines 3015 bytes
head (1,2,2) body (2,3,3,3)
estimated blow-up 25.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 88.24sec 2.93sec 144 1688 72438
htl 17.98sec 772.99sec -- 1059 15913
str 21.85sec 774.24sec -- 1059 14610

test30/test_30.20_5_0.1_2_2.2_3_3_4.77.1 nlp wc
35 lines 3788 bytes
head (1,2,2) body (2,3,3,4)
estimated blow-up 77.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 670.34sec 48.12sec 84 4846 263200
htl 27.41sec 773.70sec -- 1334 20326
str 34.14sec 773.53sec -- 1334 18581

test30/test_30.20_5_0.1_2_2.3_3_3_1.1.5 nlp wc
35 lines 1288 bytes
head (1,2,2) body (3,3,3,1)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.01sec 0.17sec 511 124 2930
htl 3.10sec 773.70sec -- 287 4312
str 3.31sec 774.18sec -- 295 3956

test30/test_30.20_5_0.1_2_2.3_3_3_2.1.8 nlp wc
35 lines 1700 bytes
head (1,2,2) body (3,3,3,2)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.93sec 0.07sec 135 121 3863
htl 3.14sec 487.75sec 135 281 4521
str 3.78sec 502.02sec 135 293 4162

test30/test_30.20_5_0.1_2_2.3_3_3_3.2.0 nlp wc
35 lines 2046 bytes
head (1,2,2) body (3,3,3,3)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.09sec 0.06sec 243 129 4751
htl 3.25sec 773.13sec -- 301 5076
str 4.26sec 773.78sec -- 309 4527

test30/test_30.20_5_0.1_2_2.3_3_3_4.2.2 nlp wc
35 lines 2425 bytes
head (1,2,2) body (3,3,3,4)
estimated blow-up 2.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.46sec 0.09sec 75 127 5594
htl 3.49sec 774.36sec -- 299 5321
str 3.99sec 773.31sec -- 307 4698

test30/test_30.20_5_0.1_3_1.1_1_1_1.1.3 nlp wc
55 lines 2673 bytes
head (1,3,1) body (1,1,1,1)
estimated blow-up 1.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.76sec 0.05sec 6 215 4430
htl 7.22sec 0.09sec 6 553 8627
str 9.24sec 0.02sec 6 555 7471

test30/test_30.20_5_0.1_3_1.1_1_1_2.1.5 nlp wc
55 lines 2904 bytes
head (1,3,1) body (1,1,1,2)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.94sec 0.12sec 316 226 5498
htl 7.47sec 44.78sec 316 578 9216
str 9.42sec 55.38sec 316 582 8017

test30/test_30.20_5_0.1_3_1.1_1_1_3.1.8 nlp wc
53 lines 3064 bytes
head (1,3,1) body (1,1,1,3)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.17sec 0.10sec 8 226 6290
htl 7.80sec 107.56sec 8 600 9741
str 10.31sec 133.74sec 8 604 8436

test30/test_30.20_5_0.1_3_1.1_1_1_4.2.0 nlp wc
55 lines 3180 bytes
head (1,3,1) body (1,1,1,4)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.51sec 0.05sec 127 226 7028
htl 7.67sec 194.52sec 127 589 9689
str 10.41sec 239.08sec 127 593 8330

test30/test_30.20_5_0.1_3_1.1_2_1_1.6.4 nlp wc
55 lines 3367 bytes
head (1,3,1) body (1,2,1,1)
estimated blow-up 6.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 13.68sec 0.24sec 48 645 17468
htl 10.46sec 1.27sec 48 722 11708
str 14.31sec 1.70sec 48 748 10452

test30/test_30.20_5_0.1_3_1.1_2_1_2.34.2 nlp wc
55 lines 4045 bytes
head (1,3,1) body (1,2,1,2)
estimated blow-up 34.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 134.54sec 1.27sec 4 2128 86386
htl 12.59sec 105.92sec 4 812 13583
str 19.54sec 137.57sec 4 856 12153

test30/test_30.20_5_0.1_3_1.1_2_1_3.162.4 nlp wc
55 lines 4898 bytes
head (1,3,1) body (1,2,1,3)
estimated blow-up 162.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2324.00sec 45.22sec 188 8927 485046
htl 16.43sec 773.67sec -- 952 16443
str 27.00sec 773.58sec -- 1006 14460

test30/test_30.20_5_0.1_3_1.1_2_1_4.729.4 nlp wc
55 lines 5376 bytes
head (1,3,1) body (1,2,1,4)
estimated blow-up 729.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 27511.04sec 774.16sec -- 31324 2016959
htl 19.15sec 773.66sec -- 1030 17823
str 32.20sec 773.56sec -- 1082 15686

test30/test_30.20_5_0.1_3_1.1_2_2_1.2.3 nlp wc
55 lines 2955 bytes
head (1,3,1) body (1,2,2,1)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.39sec 0.11sec 34 356 7532
htl 9.38sec 0.25sec 34 661 10463
str 10.86sec 0.24sec 34 661 9084

test30/test_30.20_5_0.1_3_1.1_2_2_2.5.2 nlp wc
53 lines 3131 bytes
head (1,3,1) body (1,2,2,2)
estimated blow-up 5.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 12.46sec 0.12sec 2 618 15847
htl 9.52sec 2.79sec 2 698 11077
str 12.57sec 3.03sec 2 698 9614

test30/test_30.20_5_0.1_3_1.1_2_2_3.11.7 nlp wc
55 lines 3436 bytes
head (1,3,1) body (1,2,2,3)
estimated blow-up 11.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 41.68sec 1.26sec 195 1181 35956
htl 11.62sec 36.96sec 195 769 12234
str 14.64sec 44.07sec 195 769 10698

test30/test_30.20_5_0.1_3_1.1_2_2_4.25.8 nlp wc
55 lines 3751 bytes
head (1,3,1) body (1,2,2,4)
estimated blow-up 25.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 150.03sec 3.46sec 77 2283 85889
htl 13.04sec 86.23sec 77 816 13166
str 17.61sec 107.12sec 77 816 11370

test30/test_30.20_5_0.1_3_1.1_3_1_1.55.4 nlp wc
55 lines 4246 bytes
head (1,3,1) body (1,3,1,1)
estimated blow-up 55.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 249.57sec 5.34sec 92 2929 110077
htl 13.42sec 48.53sec 92 837 14303
str 20.69sec 44.79sec 92 869 12384

test30/test_30.20_5_0.1_3_1.1_3_1_2.1771.2 nlp wc
55 lines 6072 bytes
head (1,3,1) body (1,3,1,2)
estimated blow-up 1771.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 154271.85sec 773.50sec -- 70400 4150542
htl 21.58sec 774.35sec -- 1105 19929
str 39.19sec 776.80sec -- 1153 16782

test30/test_30.20_5_0.1_3_1.1_3_2_1.15.7 nlp wc
55 lines 3620 bytes
head (1,3,1) body (1,3,2,1)
estimated blow-up 15.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 48.25sec 0.32sec 0 1294 36170
htl 11.27sec 0.05sec 0 759 12472
str 15.50sec 0.02sec 0 787 11062

test30/test_30.20_5_0.1_3_1.1_3_2_2.187.1 nlp wc
55 lines 4660 bytes
head (1,3,1) body (1,3,2,2)
estimated blow-up 187.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3133.87sec 22.56sec 16 10562 438375
htl 15.71sec 0.90sec 16 918 15703
str 25.55sec 1.00sec 16 962 13788

test30/test_30.20_5_0.1_3_1.1_3_2_3.1963.9 nlp wc
55 lines 5666 bytes
head (1,3,1) body (1,3,2,3)
estimated blow-up 1963.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 248838.85sec 773.38sec -- 92191 4927242
htl 20.10sec 4.79sec 34 1077 18932
str 35.19sec 6.36sec 34 1131 16429

test30/test_30.20_5_0.1_3_1.1_3_3_1.3.2 nlp wc
55 lines 3028 bytes
head (1,3,1) body (1,3,3,1)
estimated blow-up 3.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 8.41sec 0.02sec 0 482 10105
htl 9.24sec 0.01sec 0 663 10480
str 11.58sec 0.05sec 0 663 9076

test30/test_30.20_5_0.1_3_1.1_3_3_2.10.6 nlp wc
55 lines 3461 bytes
head (1,3,1) body (1,3,3,2)
estimated blow-up 10.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 50.91sec 0.52sec 9 1320 34795
htl 10.80sec 0.04sec 9 755 12095
str 14.62sec 0.17sec 9 755 10496

test30/test_30.20_5_0.1_3_1.1_3_3_3.35.1 nlp wc
55 lines 3770 bytes
head (1,3,1) body (1,3,3,3)
estimated blow-up 35.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 360.65sec 6.25sec 21 3620 113479
htl 12.99sec 0.89sec 21 830 13414
str 17.70sec 1.08sec 21 830 11686

test30/test_30.20_5_0.1_3_1.1_3_3_4.113.3 nlp wc
53 lines 4080 bytes
head (1,3,1) body (1,3,3,4)
estimated blow-up 113.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3052.69sec 51.70sec 6 10402 380849
htl 14.89sec 1.61sec 6 910 14764
str 19.81sec 2.12sec 6 910 12846

test30/test_30.20_5_0.1_3_1.2_2_2_1.1.5 nlp wc
55 lines 2900 bytes
head (1,3,1) body (2,2,2,1)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.17sec 0.02sec 57 227 5325
htl 8.43sec 24.93sec 57 597 9492
str 10.63sec 24.66sec 57 599 8224

test30/test_30.20_5_0.1_3_1.2_2_2_2.2.0 nlp wc
53 lines 3051 bytes
head (1,3,1) body (2,2,2,2)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.53sec 0.02sec 22 221 6500
htl 7.83sec 30.60sec 22 582 9389
str 9.85sec 34.29sec 22 586 8175

test30/test_30.20_5_0.1_3_1.2_2_2_3.2.4 nlp wc
55 lines 3449 bytes
head (1,3,1) body (2,2,2,3)
estimated blow-up 2.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.42sec 0.02sec 21 223 8290
htl 7.96sec 222.50sec 21 576 9528
str 10.69sec 234.92sec 21 584 8315

test30/test_30.20_5_0.1_3_1.2_2_2_4.2.7 nlp wc
55 lines 3625 bytes
head (1,3,1) body (2,2,2,4)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.86sec 0.08sec 72 216 9306
htl 7.14sec 44.97sec 72 554 9394
str 10.05sec 50.09sec 72 566 8162

test30/test_30.20_5_0.1_3_1.2_3_2_1.16.3 nlp wc
55 lines 3988 bytes
head (1,3,1) body (2,3,2,1)
estimated blow-up 16.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 52.03sec 1.45sec 130 1312 43691
htl 14.80sec 26.90sec 130 928 15193
str 22.55sec 23.71sec 130 968 13735

test30/test_30.20_5_0.1_3_1.2_3_2_2.187.4 nlp wc
55 lines 5403 bytes
head (1,3,1) body (2,3,2,2)
estimated blow-up 187.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3429.50sec 27.92sec 81 11109 584697
htl 26.47sec 435.46sec 81 1264 21095
str 41.10sec 438.30sec 81 1318 18892

test30/test_30.20_5_0.1_3_1.2_3_2_3.1912.2 nlp wc
53 lines 6713 bytes
head (1,3,1) body (2,3,2,3)
estimated blow-up 1912.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 362155.57sec 774.00sec -- 98504 6888069
htl 39.85sec 773.33sec -- 1606 27039
str 66.41sec 773.86sec -- 1664 24061

test30/test_30.20_5_0.1_3_1.2_3_3_1.3.6 nlp wc
53 lines 3345 bytes
head (1,3,1) body (2,3,3,1)
estimated blow-up 3.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 9.55sec 0.03sec 9 503 12992
htl 13.49sec 0.41sec 9 858 13476
str 17.59sec 0.42sec 9 858 11833

test30/test_30.20_5_0.1_3_1.2_3_3_2.12.7 nlp wc
53 lines 4024 bytes
head (1,3,1) body (2,3,3,2)
estimated blow-up 12.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 48.37sec 0.96sec 11 1248 45411
htl 19.02sec 25.28sec 11 1064 16725
str 24.72sec 28.39sec 11 1064 14802

test30/test_30.20_5_0.1_3_1.2_3_3_3.41.9 nlp wc
55 lines 4734 bytes
head (1,3,1) body (2,3,3,3)
estimated blow-up 41.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 398.14sec 7.28sec 158 3730 172210
htl 29.38sec 773.39sec -- 1363 21341
str 39.13sec 773.70sec -- 1363 19124

test30/test_30.20_5_0.1_3_1.2_3_3_4.134.6 nlp wc
55 lines 5461 bytes
head (1,3,1) body (2,3,3,4)
estimated blow-up 134.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3706.15sec 44.07sec 41 11270 641496
htl 40.46sec 773.44sec -- 1613 25268
str 54.84sec 775.05sec -- 1613 22705

test30/test_30.20_5_0.1_3_1.3_3_3_1.1.8 nlp wc
55 lines 3044 bytes
head (1,3,1) body (3,3,3,1)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.14sec 0.01sec 15 231 6248
htl 8.22sec 254.70sec 15 612 9850
str 10.53sec 284.15sec 15 612 8504

test30/test_30.20_5_0.1_3_1.3_3_3_2.2.4 nlp wc
55 lines 3427 bytes
head (1,3,1) body (3,3,3,2)
estimated blow-up 2.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.79sec 0.02sec 51 232 8323
htl 8.56sec 773.14sec -- 607 10096
str 11.54sec 773.03sec -- 609 8722

test30/test_30.20_5_0.1_3_1.3_3_3_3.2.9 nlp wc
55 lines 3819 bytes
head (1,3,1) body (3,3,3,3)
estimated blow-up 2.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.87sec 0.02sec 72 235 10551
htl 8.37sec 773.13sec -- 607 10424
str 11.54sec 772.91sec -- 607 8850

test30/test_30.20_5_0.1_3_1.3_3_3_4.3.3 nlp wc
53 lines 4010 bytes
head (1,3,1) body (3,3,3,4)
estimated blow-up 3.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.07sec 0.10sec 12 219 11613
htl 7.51sec 130.17sec 12 573 10086
str 11.40sec 155.06sec 12 579 8633

test30/test_30.20_5_0.1_3_2.1_1_1_1.1.2 nlp wc
45 lines 2180 bytes
head (1,3,2) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.49sec 46.83sec 100000 182 3864
htl 5.64sec 400.48sec 100000 457 7038
str 6.56sec 372.71sec 100000 457 6118

test30/test_30.20_5_0.1_3_2.1_1_1_2.1.4 nlp wc
45 lines 2281 bytes
head (1,3,2) body (1,1,1,2)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.59sec 20.86sec 39002 180 4282
htl 5.55sec 774.18sec -- 454 7077
str 6.92sec 773.40sec -- 456 6189

test30/test_30.20_5_0.1_3_2.1_1_1_3.1.6 nlp wc
45 lines 2376 bytes
head (1,3,2) body (1,1,1,3)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.74sec 0.22sec 488 176 4776
htl 5.81sec 774.35sec -- 452 7132
str 6.53sec 774.64sec -- 454 6245

test30/test_30.20_5_0.1_3_2.1_1_1_4.1.8 nlp wc
44 lines 2452 bytes
head (1,3,2) body (1,1,1,4)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.85sec 0.74sec 1560 178 5333
htl 5.44sec 774.03sec -- 457 7318
str 6.79sec 772.67sec -- 461 6405

test30/test_30.20_5_0.1_3_2.1_2_1_1.5.8 nlp wc
45 lines 2715 bytes
head (1,3,2) body (1,2,1,1)
estimated blow-up 5.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 8.59sec 110.32sec 100000 462 12899
htl 7.79sec 773.28sec -- 580 9297
str 10.64sec 773.69sec -- 608 8450

test30/test_30.20_5_0.1_3_2.1_2_1_2.29.3 nlp wc
45 lines 3512 bytes
head (1,3,2) body (1,2,1,2)
estimated blow-up 29.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 84.80sec 290.14sec 74514 1651 68668
htl 9.68sec 773.22sec -- 699 11726
str 14.80sec 772.45sec -- 747 10654

test30/test_30.20_5_0.1_3_2.1_2_1_3.135.2 nlp wc
45 lines 4146 bytes
head (1,3,2) body (1,2,1,3)
estimated blow-up 135.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 988.32sec 264.23sec 5876 5876 320175
htl 12.48sec 773.34sec -- 798 13668
str 19.26sec 772.73sec -- 844 12117

test30/test_30.20_5_0.1_3_2.1_2_1_4.594.6 nlp wc
44 lines 4854 bytes
head (1,3,2) body (1,2,1,4)
estimated blow-up 594.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 18846.55sec 774.44sec -- 24212 1615865
htl 15.70sec 773.29sec -- 930 16143
str 26.94sec 773.47sec -- 980 14168

test30/test_30.20_5_0.1_3_2.1_2_2_1.2.1 nlp wc
45 lines 2283 bytes
head (1,3,2) body (1,2,2,1)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.36sec 58.61sec 100000 268 5758
htl 6.76sec 302.00sec 100000 516 7903
str 7.43sec 301.49sec 100000 516 6975

test30/test_30.20_5_0.1_3_2.1_2_2_2.4.7 nlp wc
44 lines 2562 bytes
head (1,3,2) body (1,2,2,2)
estimated blow-up 4.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 8.11sec 76.73sec 100000 468 12529
htl 7.45sec 716.22sec 100000 568 8816
str 8.97sec 744.24sec 100000 568 7735

test30/test_30.20_5_0.1_3_2.1_2_2_3.10.4 nlp wc
45 lines 2875 bytes
head (1,3,2) body (1,2,2,3)
estimated blow-up 10.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 24.05sec 68.84sec 67797 858 27755
htl 8.86sec 773.66sec -- 630 9957
str 10.62sec 773.12sec -- 630 8682

test30/test_30.20_5_0.1_3_2.1_2_2_4.22.3 nlp wc
45 lines 3144 bytes
head (1,3,2) body (1,2,2,4)
estimated blow-up 22.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 78.20sec 148.32sec 73353 1623 62029
htl 9.95sec 773.55sec -- 694 11068
str 12.67sec 773.61sec -- 694 9636

test30/test_30.20_5_0.1_3_2.1_3_1_1.47.1 nlp wc
45 lines 3646 bytes
head (1,3,2) body (1,3,1,1)
estimated blow-up 47.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 142.43sec 616.41sec 100000 2181 82267
htl 10.45sec 772.75sec -- 712 12097
str 14.71sec 773.35sec -- 750 10751

test30/test_30.20_5_0.1_3_2.1_3_1_2.1431.3 nlp wc
45 lines 5331 bytes
head (1,3,2) body (1,3,1,2)
estimated blow-up 1431.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 68476.04sec 773.79sec -- 47945 2817950
htl 16.56sec 774.28sec -- 949 17140
str 28.82sec 774.20sec -- 1001 14680

test30/test_30.20_5_0.1_3_2.1_3_2_1.13.8 nlp wc
45 lines 3013 bytes
head (1,3,2) body (1,3,2,1)
estimated blow-up 13.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 26.15sec 120.35sec 100000 910 26358
htl 8.32sec 247.59sec 100000 603 9946
str 12.03sec 307.16sec 100000 645 9075

test30/test_30.20_5_0.1_3_2.1_3_2_2.156.1 nlp wc
45 lines 4044 bytes
head (1,3,2) body (1,3,2,2)
estimated blow-up 156.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1495.58sec 774.50sec -- 7408 309633
htl 11.90sec 774.34sec -- 766 13165
str 19.18sec 773.48sec -- 822 11867

test30/test_30.20_5_0.1_3_2.1_3_2_3.1590.6 nlp wc
45 lines 5091 bytes
head (1,3,2) body (1,3,2,3)
estimated blow-up 1590.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 116877.23sec 807.54sec -- 60672 3340633
htl 16.52sec 808.79sec -- 926 16370
str 30.20sec 804.84sec -- 986 14334

test30/test_30.20_5_0.1_3_2.1_3_3_1.3.0 nlp wc
44 lines 2341 bytes
head (1,3,2) body (1,3,3,1)
estimated blow-up 3.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.20sec 67.75sec 100000 366 7893
htl 7.34sec 139.73sec 100000 541 8289
str 8.77sec 152.95sec 100000 541 7329

test30/test_30.20_5_0.1_3_2.1_3_3_2.9.5 nlp wc
45 lines 2787 bytes
head (1,3,2) body (1,3,3,2)
estimated blow-up 9.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 28.81sec 153.60sec 100000 939 25259
htl 8.58sec 215.29sec 100000 619 9721
str 11.09sec 219.06sec 100000 619 8519

test30/test_30.20_5_0.1_3_2.1_3_3_3.30.5 nlp wc
45 lines 3198 bytes
head (1,3,2) body (1,3,3,3)
estimated blow-up 30.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 198.04sec 467.50sec 100000 2540 84113
htl 11.06sec 699.62sec 100000 698 11187
str 14.66sec 439.71sec 100000 698 9727

test30/test_30.20_5_0.1_3_2.1_3_3_4.96.1 nlp wc
45 lines 3597 bytes
head (1,3,2) body (1,3,3,4)
estimated blow-up 96.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1617.87sec 817.01sec -- 7473 289270
htl 14.05sec 815.69sec -- 771 12512
str 17.15sec 812.20sec -- 771 10845

test30/test_30.20_5_0.1_3_2.2_2_2_1.1.4 nlp wc
45 lines 2216 bytes
head (1,3,2) body (2,2,2,1)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.39sec 13.88sec 24942 177 4153
htl 5.69sec 810.25sec -- 453 7017
str 6.94sec 810.94sec -- 455 6166

test30/test_30.20_5_0.1_3_2.2_2_2_2.1.8 nlp wc
45 lines 2508 bytes
head (1,3,2) body (2,2,2,2)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.25sec 4.18sec 8093 178 5240
htl 5.49sec 817.77sec -- 455 7298
str 6.70sec 809.99sec -- 459 6392

test30/test_30.20_5_0.1_3_2.2_2_2_3.2.1 nlp wc
45 lines 2829 bytes
head (1,3,2) body (2,2,2,3)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.64sec 0.25sec 458 180 6567
htl 5.86sec 816.35sec -- 462 7661
str 7.39sec 812.39sec -- 462 6572

test30/test_30.20_5_0.1_3_2.2_2_2_4.2.3 nlp wc
45 lines 3101 bytes
head (1,3,2) body (2,2,2,4)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.99sec 0.11sec 360 181 7720
htl 6.07sec 814.46sec -- 465 7927
str 8.15sec 814.36sec -- 467 6797

test30/test_30.20_5_0.1_3_2.2_3_2_1.14.0 nlp wc
45 lines 3398 bytes
head (1,3,2) body (2,3,2,1)
estimated blow-up 14.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 31.34sec 105.97sec 46692 957 32420
htl 13.04sec 813.03sec -- 793 12783
str 18.20sec 820.28sec -- 835 11776

test30/test_30.20_5_0.1_3_2.2_3_2_2.152.2 nlp wc
44 lines 4643 bytes
head (1,3,2) body (2,3,2,2)
estimated blow-up 152.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1705.04sec 271.96sec 5055 7436 390347
htl 21.79sec 811.00sec -- 1115 18380
str 35.09sec 812.76sec -- 1165 16624

test30/test_30.20_5_0.1_3_2.2_3_2_3.1510.1 nlp wc
45 lines 5961 bytes
head (1,3,2) body (2,3,2,3)
estimated blow-up 1510.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 159343.43sec 814.62sec -- 64155 4443843
htl 36.29sec 813.88sec -- 1435 23933
str 57.85sec 818.07sec -- 1489 21446

test30/test_30.20_5_0.1_3_2.2_3_3_1.3.2 nlp wc
45 lines 2683 bytes
head (1,3,2) body (2,3,3,1)
estimated blow-up 3.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.99sec 92.52sec 100000 375 9514
htl 10.56sec 780.70sec 100000 721 11021
str 14.40sec 784.29sec 100000 721 9890

test30/test_30.20_5_0.1_3_2.2_3_3_2.10.7 nlp wc
44 lines 3436 bytes
head (1,3,2) body (2,3,3,2)
estimated blow-up 10.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 31.45sec 22.08sec 4119 957 35025
htl 16.98sec 816.05sec -- 961 14859
str 21.67sec 814.57sec -- 961 13323

test30/test_30.20_5_0.1_3_2.2_3_3_3.34.4 nlp wc
45 lines 4052 bytes
head (1,3,2) body (2,3,3,3)
estimated blow-up 34.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 223.30sec 18.61sec 2925 2653 125750
htl 26.38sec 817.19sec -- 1213 18777
str 32.38sec 813.39sec -- 1213 16949

test30/test_30.20_5_0.1_3_2.2_3_3_4.108.0 nlp wc
45 lines 4887 bytes
head (1,3,2) body (2,3,3,4)
estimated blow-up 108.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1920.35sec 347.14sec 7913 7859 462878
htl 35.88sec 811.97sec -- 1459 22967
str 49.10sec 818.45sec -- 1459 20598

test30/test_30.20_5_0.1_3_2.3_3_3_1.1.6 nlp wc
45 lines 2394 bytes
head (1,3,2) body (3,3,3,1)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.55sec 0.57sec 1193 175 4779
htl 5.64sec 812.90sec -- 449 7104
str 7.79sec 815.44sec -- 453 6235

test30/test_30.20_5_0.1_3_2.3_3_3_2.2.1 nlp wc
45 lines 2774 bytes
head (1,3,2) body (3,3,3,2)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.75sec 0.53sec 1188 182 6568
htl 5.84sec 812.92sec -- 463 7646
str 7.59sec 811.70sec -- 465 6607

test30/test_30.20_5_0.1_3_2.3_3_3_3.2.5 nlp wc
43 lines 3057 bytes
head (1,3,2) body (3,3,3,3)
estimated blow-up 2.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.97sec 0.05sec 0 179 7856
htl 6.00sec 0.03sec 0 459 7847
str 8.10sec 0.05sec 0 461 6749

test30/test_30.20_5_0.1_3_2.3_3_3_4.2.7 nlp wc
45 lines 3373 bytes
head (1,3,2) body (3,3,3,4)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.07sec 0.23sec 648 175 8981
htl 5.95sec 816.85sec -- 443 7871
str 8.05sec 817.64sec -- 447 6741

test30/test_30.20_5_0.1_3_3.1_1_1_1.1.2 nlp wc
40 lines 1540 bytes
head (1,3,3) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.54sec 44.70sec 100000 147 2871
htl 3.72sec 197.80sec 100000 345 4964
str 3.96sec 199.43sec 100000 345 4509

test30/test_30.20_5_0.1_3_3.1_1_1_2.1.4 nlp wc
40 lines 1645 bytes
head (1,3,3) body (1,1,1,2)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.67sec 56.23sec 100000 155 3438
htl 4.09sec 814.88sec -- 357 5270
str 4.54sec 816.76sec -- 359 4782

test30/test_30.20_5_0.1_3_3.1_1_1_3.1.6 nlp wc
39 lines 1719 bytes
head (1,3,3) body (1,1,1,3)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.88sec 24.73sec 39995 154 3755
htl 3.79sec 817.67sec -- 344 5165
str 4.59sec 816.15sec -- 348 4717

test30/test_30.20_5_0.1_3_3.1_1_1_4.1.7 nlp wc
40 lines 1864 bytes
head (1,3,3) body (1,1,1,4)
estimated blow-up 1.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.10sec 6.10sec 14045 150 4223
htl 3.88sec 813.50sec -- 342 5249
str 4.55sec 816.27sec -- 346 4745

test30/test_30.20_5_0.1_3_3.1_2_1_1.5.6 nlp wc
40 lines 2109 bytes
head (1,3,3) body (1,2,1,1)
estimated blow-up 5.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.58sec 77.01sec 100000 390 10057
htl 5.87sec 122.03sec 100000 466 7112
str 7.47sec 131.14sec 100000 498 6827

test30/test_30.20_5_0.1_3_3.1_2_1_2.27.5 nlp wc
40 lines 2817 bytes
head (1,3,3) body (1,2,1,2)
estimated blow-up 27.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 53.25sec 198.54sec 100000 1243 48265
htl 7.87sec 810.50sec -- 579 9364
str 11.64sec 810.99sec -- 625 8845

test30/test_30.20_5_0.1_3_3.1_2_1_3.123.9 nlp wc
40 lines 3544 bytes
head (1,3,3) body (1,2,1,3)
estimated blow-up 123.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 740.83sec 227.20sec 14186 4879 255040
htl 10.31sec 820.01sec -- 692 11628
str 16.27sec 814.52sec -- 744 10637

test30/test_30.20_5_0.1_3_3.1_2_1_4.535.5 nlp wc
40 lines 4375 bytes
head (1,3,3) body (1,2,1,4)
estimated blow-up 535.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 11835.21sec 817.16sec -- 19535 1279463
htl 13.89sec 819.70sec -- 826 14372
str 22.75sec 813.60sec -- 884 12817

test30/test_30.20_5_0.1_3_3.1_2_2_1.2.1 nlp wc
40 lines 1638 bytes
head (1,3,3) body (1,2,2,1)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.53sec 55.59sec 100000 226 4404
htl 4.59sec 121.60sec 100000 410 5931
str 5.18sec 108.68sec 100000 410 5409

test30/test_30.20_5_0.1_3_3.1_2_2_2.4.6 nlp wc
40 lines 1948 bytes
head (1,3,3) body (1,2,2,2)
estimated blow-up 4.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.85sec 75.96sec 100000 382 9210
htl 5.68sec 816.95sec -- 471 6871
str 6.70sec 693.42sec 100000 471 6315

test30/test_30.20_5_0.1_3_3.1_2_2_3.9.8 nlp wc
40 lines 2192 bytes
head (1,3,3) body (1,2,2,3)
estimated blow-up 9.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 17.85sec 111.72sec 100000 699 20445
htl 6.46sec 814.19sec -- 533 7961
str 7.65sec 816.09sec -- 533 7241

test30/test_30.20_5_0.1_3_3.1_2_2_4.20.8 nlp wc
40 lines 2440 bytes
head (1,3,3) body (1,2,2,4)
estimated blow-up 20.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 50.86sec 166.08sec 100000 1262 43051
htl 7.38sec 816.68sec -- 583 8847
str 9.52sec 822.44sec -- 583 7967

test30/test_30.20_5_0.1_3_3.1_3_1_1.43.9 nlp wc
40 lines 3070 bytes
head (1,3,3) body (1,3,1,1)
estimated blow-up 43.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 116.90sec 253.38sec 100000 1906 68507
htl 8.31sec 816.80sec -- 613 10279
str 12.79sec 810.29sec -- 655 9279

test30/test_30.20_5_0.1_3_3.1_3_1_2.1280.0 nlp wc
39 lines 4683 bytes
head (1,3,3) body (1,3,1,2)
estimated blow-up 1280.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 64000.31sec 815.25sec -- 42065 2422030
htl 14.30sec 815.17sec -- 855 15286
str 25.65sec 815.33sec -- 907 13185

test30/test_30.20_5_0.1_3_3.1_3_2_1.13.1 nlp wc
40 lines 2467 bytes
head (1,3,3) body (1,3,2,1)
estimated blow-up 13.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 18.96sec 123.09sec 100000 740 20005
htl 6.59sec 360.66sec 100000 510 8181
str 9.09sec 261.06sec 100000 554 7742

test30/test_30.20_5_0.1_3_3.1_3_2_2.142.9 nlp wc
40 lines 3393 bytes
head (1,3,3) body (1,3,2,2)
estimated blow-up 142.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 996.33sec 813.46sec -- 5803 230875
htl 9.35sec 399.99sec 100000 662 11031
str 14.57sec 440.19sec 100000 710 10138

test30/test_30.20_5_0.1_3_3.1_3_2_3.1420.6 nlp wc
40 lines 4442 bytes
head (1,3,3) body (1,3,2,3)
estimated blow-up 1420.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 103617.79sec 813.56sec -- 54432 2847891
htl 15.23sec 815.75sec -- 830 14430
str 23.77sec 812.50sec -- 884 12792

test30/test_30.20_5_0.1_3_3.1_3_3_1.2.8 nlp wc
40 lines 1726 bytes
head (1,3,3) body (1,3,3,1)
estimated blow-up 2.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.59sec 51.71sec 100000 289 5591
htl 5.04sec 216.62sec 100000 423 6130
str 5.95sec 347.07sec 100000 423 5602

test30/test_30.20_5_0.1_3_3.1_3_3_2.9.0 nlp wc
40 lines 2161 bytes
head (1,3,3) body (1,3,3,2)
estimated blow-up 9.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 17.07sec 106.76sec 100000 724 17714
htl 6.28sec 295.80sec 100000 507 7574
str 6.94sec 300.96sec 100000 507 6857

test30/test_30.20_5_0.1_3_3.1_3_3_3.28.1 nlp wc
40 lines 2533 bytes
head (1,3,3) body (1,3,3,3)
estimated blow-up 28.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 144.02sec 240.08sec 100000 2181 66082
htl 8.06sec 486.63sec 100000 592 9052
str 9.70sec 638.12sec 100000 592 8152

test30/test_30.20_5_0.1_3_3.1_3_3_4.87.1 nlp wc
39 lines 2862 bytes
head (1,3,3) body (1,3,3,4)
estimated blow-up 87.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1093.70sec 816.53sec -- 6149 216287
htl 9.47sec 813.82sec -- 677 10458
str 12.73sec 811.87sec -- 677 9408

test30/test_30.20_5_0.1_3_3.2_2_2_1.1.4 nlp wc
39 lines 1611 bytes
head (1,3,3) body (2,2,2,1)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.67sec 51.05sec 100000 149 3241
htl 3.95sec 818.53sec -- 346 5072
str 3.72sec 812.08sec -- 346 4583

test30/test_30.20_5_0.1_3_3.2_2_2_2.1.7 nlp wc
40 lines 1849 bytes
head (1,3,3) body (2,2,2,2)
estimated blow-up 1.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.85sec 3.25sec 5971 153 4111
htl 3.70sec 812.73sec -- 349 5316
str 4.48sec 815.18sec -- 353 4851

test30/test_30.20_5_0.1_3_3.2_2_2_3.2.0 nlp wc
40 lines 2144 bytes
head (1,3,3) body (2,2,2,3)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.20sec 0.40sec 1119 150 4949
htl 3.81sec 814.83sec -- 349 5539
str 4.82sec 816.30sec -- 355 5017

test30/test_30.20_5_0.1_3_3.2_2_2_4.2.2 nlp wc
38 lines 2350 bytes
head (1,3,3) body (2,2,2,4)
estimated blow-up 2.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.21sec 0.04sec 316 149 5681
htl 3.78sec 814.48sec -- 348 5701
str 5.06sec 819.66sec -- 352 5092

test30/test_30.20_5_0.1_3_3.2_3_2_1.13.0 nlp wc
39 lines 2757 bytes
head (1,3,3) body (2,3,2,1)
estimated blow-up 13.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 20.61sec 119.99sec 100000 769 24497
htl 10.85sec 819.50sec -- 691 10831
str 13.57sec 815.30sec -- 721 10057

test30/test_30.20_5_0.1_3_3.2_3_2_2.135.7 nlp wc
40 lines 4092 bytes
head (1,3,3) body (2,3,2,2)
estimated blow-up 135.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1026.49sec 813.32sec -- 5824 295821
htl 18.36sec 817.14sec -- 1007 16442
str 29.52sec 815.51sec -- 1063 15144

test30/test_30.20_5_0.1_3_3.2_3_2_3.1315.1 nlp wc
40 lines 5387 bytes
head (1,3,3) body (2,3,2,3)
estimated blow-up 1315.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 88733.74sec 826.54sec -- 52078 3441376
htl 31.96sec 831.68sec -- 1322 21733
str 47.83sec 815.98sec -- 1378 19764

test30/test_30.20_5_0.1_3_3.2_3_3_1.3.0 nlp wc
39 lines 2086 bytes
head (1,3,3) body (2,3,3,1)
estimated blow-up 3.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.23sec 60.14sec 100000 307 7367
htl 7.90sec 814.22sec -- 611 8940
str 8.87sec 812.00sec -- 611 8238

test30/test_30.20_5_0.1_3_3.2_3_3_2.9.7 nlp wc
40 lines 2828 bytes
head (1,3,3) body (2,3,3,2)
estimated blow-up 9.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 19.16sec 124.15sec 100000 747 25803
htl 13.92sec 805.89sec -- 857 12938
str 16.86sec 807.13sec -- 857 11773

test30/test_30.20_5_0.1_3_3.2_3_3_3.30.5 nlp wc
40 lines 3569 bytes
head (1,3,3) body (2,3,3,3)
estimated blow-up 30.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 148.41sec 19.06sec -- 2134 97996
htl 21.71sec 814.81sec -- 1100 16824
str 27.09sec 810.23sec -- 1100 15272

test30/test_30.20_5_0.1_3_3.2_3_3_4.94.2 nlp wc
38 lines 4201 bytes
head (1,3,3) body (2,3,3,4)
estimated blow-up 94.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1107.81sec 47.63sec 363 6037 342307
htl 31.49sec 815.70sec -- 1351 20685
str 39.54sec 813.38sec -- 1351 18836

test30/test_30.20_5_0.1_3_3.3_3_3_1.1.6 nlp wc
39 lines 1743 bytes
head (1,3,3) body (3,3,3,1)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.91sec 35.92sec 57190 155 3924
htl 3.76sec 812.06sec -- 357 5400
str 4.10sec 814.30sec -- 359 4855

test30/test_30.20_5_0.1_3_3.3_3_3_2.2.0 nlp wc
40 lines 2099 bytes
head (1,3,3) body (3,3,3,2)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.18sec 0.59sec 1211 151 5033
htl 3.96sec 811.87sec -- 344 5515
str 5.00sec 812.32sec -- 348 4932

test30/test_30.20_5_0.1_3_3.3_3_3_3.2.3 nlp wc
39 lines 2501 bytes
head (1,3,3) body (3,3,3,3)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.65sec 0.05sec 414 148 6281
htl 3.98sec 816.35sec -- 342 5754
str 6.19sec 814.41sec -- 350 5163

test30/test_30.20_5_0.1_3_3.3_3_3_4.2.5 nlp wc
39 lines 2837 bytes
head (1,3,3) body (3,3,3,4)
estimated blow-up 2.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.70sec 1.53sec 3675 158 7302
htl 3.92sec 811.92sec -- 359 6256
str 5.65sec 814.48sec -- 361 5462

test30/test_30.20_5_0.2_2_2.1_1_1_1.1.3 nlp wc
38 lines 1039 bytes
head (2,2,2) body (1,1,1,1)
estimated blow-up 1.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.67sec 0.00sec 1 140 2409
htl 2.47sec 0.00sec 1 240 3480
str 2.51sec 0.01sec 1 246 3204

test30/test_30.20_5_0.2_2_2.1_1_1_2.1.6 nlp wc
40 lines 1194 bytes
head (2,2,2) body (1,1,1,2)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.87sec 0.00sec 1 144 2890
htl 2.25sec 0.08sec 1 247 3723
str 2.68sec 0.02sec 1 257 3450

test30/test_30.20_5_0.2_2_2.1_1_1_3.1.8 nlp wc
40 lines 1311 bytes
head (2,2,2) body (1,1,1,3)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.01sec 0.01sec 1 148 3381
htl 2.70sec 0.01sec 1 260 4016
str 3.48sec 9.25sec 1 268 3653

test30/test_30.20_5_0.2_2_2.1_1_1_4.2.0 nlp wc
40 lines 1369 bytes
head (2,2,2) body (1,1,1,4)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.89sec 0.01sec 1 146 3646
htl 2.36sec 0.03sec 1 249 3913
str 2.87sec 4.10sec 1 259 3603

test30/test_30.20_5_0.2_2_2.1_2_1_1.6.3 nlp wc
40 lines 1639 bytes
head (2,2,2) body (1,2,1,1)
estimated blow-up 6.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.55sec 0.02sec 1 376 8491
htl 3.90sec 0.01sec 1 377 5856
str 4.86sec 0.04sec 1 407 5475

test30/test_30.20_5_0.2_2_2.1_2_1_2.31.0 nlp wc
40 lines 2380 bytes
head (2,2,2) body (1,2,1,2)
estimated blow-up 31.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 54.74sec 0.94sec 1 1288 46313
htl 6.01sec 0.16sec 1 493 8114
str 8.38sec 0.05sec 1 535 7498

test30/test_30.20_5_0.2_2_2.1_2_1_3.137.9 nlp wc
40 lines 3145 bytes
head (2,2,2) body (1,2,1,3)
estimated blow-up 137.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 669.47sec 10.96sec 0 4746 235786
htl 8.56sec 40.06sec 0 618 10664
str 12.63sec 81.13sec 0 670 9523

test30/test_30.20_5_0.2_2_2.1_2_1_4.588.3 nlp wc
40 lines 3818 bytes
head (2,2,2) body (1,2,1,4)
estimated blow-up 588.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 10691.18sec 501.91sec 1 19276 1193060
htl 10.94sec 33.22sec 1 728 12708
str 17.15sec 228.25sec 1 778 11204

test30/test_30.20_5_0.2_2_2.1_2_2_1.2.2 nlp wc
40 lines 1213 bytes
head (2,2,2) body (1,2,2,1)
estimated blow-up 2.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.78sec 0.01sec 1 234 3979
htl 3.60sec 0.01sec 1 335 4908
str 3.79sec 0.04sec 1 335 4321

test30/test_30.20_5_0.2_2_2.1_2_2_2.5.0 nlp wc
40 lines 1523 bytes
head (2,2,2) body (1,2,2,2)
estimated blow-up 5.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.43sec 0.02sec 0 382 8195
htl 3.58sec 0.03sec 0 374 5611
str 4.36sec 0.21sec 0 374 4908

test30/test_30.20_5_0.2_2_2.1_2_2_3.10.7 nlp wc
40 lines 1732 bytes
head (2,2,2) body (1,2,2,3)
estimated blow-up 10.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 15.20sec 0.24sec 1 692 17900
htl 4.83sec 1.20sec 1 442 6615
str 6.12sec 3.97sec 1 442 5920

test30/test_30.20_5_0.2_2_2.1_2_2_4.22.8 nlp wc
40 lines 2006 bytes
head (2,2,2) body (1,2,2,4)
estimated blow-up 22.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 56.26sec 2.28sec 0 1350 41736
htl 5.92sec 5.79sec 0 505 7657
str 6.33sec 6.58sec 0 505 6856

test30/test_30.20_5_0.2_2_2.1_3_1_1.49.5 nlp wc
40 lines 2650 bytes
head (2,2,2) body (1,3,1,1)
estimated blow-up 49.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 116.06sec 1.75sec 2 1922 61867
htl 6.45sec 0.20sec 2 520 8909
str 9.04sec 0.31sec 2 558 7820

test30/test_30.20_5_0.1_1_1.1_1_1_1.1.2 nlp wc
30 lines 596 bytes
head (1,1,1) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.21sec 0.00sec 1 86 1449
htl 0.30sec 0.00sec 1 156 2228
str 0.29sec 0.00sec 1 162 2047

test30/test_30.20_5_0.1_1_1.1_1_1_2.1.3 nlp wc
30 lines 737 bytes
head (1,1,1) body (1,1,1,2)
estimated blow-up 1.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.22sec 0.00sec 1 82 1656
htl 0.30sec 0.00sec 1 146 2220
str 0.32sec 0.00sec 1 162 2146

test30/test_30.20_5_0.1_1_1.1_1_1_3.1.4 nlp wc
30 lines 852 bytes
head (1,1,1) body (1,1,1,3)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.23sec 0.00sec 1 86 1954
htl 0.31sec 0.00sec 1 156 2491
str 0.35sec 0.19sec 1 172 2365

test30/test_30.20_5_0.1_1_1.1_1_1_4.1.5 nlp wc
30 lines 937 bytes
head (1,1,1) body (1,1,1,4)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.23sec 0.00sec 1 86 2130
htl 0.34sec 0.00sec 1 168 2729
str 0.37sec 1.66sec 1 182 2541

test30/test_30.20_5_0.1_1_1.1_2_1_1.4.7 nlp wc
30 lines 1162 bytes
head (1,1,1) body (1,2,1,1)
estimated blow-up 4.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.55sec 0.01sec 0 222 4879
htl 0.58sec 0.01sec 0 286 4564
str 0.68sec 0.03sec 0 312 4136

test30/test_30.20_5_0.1_1_1.1_2_1_2.20.4 nlp wc
30 lines 1816 bytes
head (1,1,1) body (1,2,1,2)
estimated blow-up 20.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.53sec 0.13sec 2 676 23134
htl 0.97sec 38.55sec 2 413 6758
str 1.92sec 65.00sec 2 449 6236

test30/test_30.20_5_0.1_1_1.1_2_1_3.85.3 nlp wc
30 lines 2636 bytes
head (1,1,1) body (1,2,1,3)
estimated blow-up 85.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 66.50sec 3.08sec 2 2528 123751
htl 2.19sec 0.52sec 2 540 9383
str 3.65sec 35.14sec 2 594 8453

test30/test_30.20_5_0.1_1_1.1_2_1_4.350.0 nlp wc
30 lines 3360 bytes
head (1,1,1) body (1,2,1,4)
estimated blow-up 350.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 885.05sec 72.57sec 0 9540 591588
htl 2.82sec 27.48sec 0 644 11518
str 4.77sec 265.24sec -- 698 10060

test30/test_30.20_5_0.1_1_1.1_2_2_1.1.8 nlp wc
30 lines 735 bytes
head (1,1,1) body (1,2,2,1)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.49sec 0.00sec 0 122 2087
htl 0.71sec 0.00sec 0 222 3247
str 0.68sec 0.00sec 0 222 2794

test30/test_30.20_5_0.1_1_1.1_2_2_2.3.7 nlp wc
30 lines 1032 bytes
head (1,1,1) body (1,2,2,2)
estimated blow-up 3.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.75sec 0.01sec 1 204 4290
htl 0.97sec 0.04sec 1 292 4386
str 1.03sec 0.60sec 1 292 3772

test30/test_30.20_5_0.1_1_1.1_2_2_3.7.4 nlp wc
30 lines 1262 bytes
head (1,1,1) body (1,2,2,3)
estimated blow-up 7.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.74sec 0.06sec 1 358 9138
htl 1.20sec 0.31sec 1 353 5318
str 1.30sec 0.54sec 1 353 4674

test30/test_30.20_5_0.1_1_1.1_2_2_4.15.0 nlp wc
30 lines 1583 bytes
head (1,1,1) body (1,2,2,4)
estimated blow-up 15.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.30sec 0.19sec 0 686 21898
htl 1.48sec 2.21sec 0 405 6257
str 1.82sec 9.78sec 0 405 5422

test30/test_30.20_5_0.1_1_1.1_3_1_1.32.0 nlp wc
30 lines 2175 bytes
head (1,1,1) body (1,3,1,1)
estimated blow-up 32.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 10.05sec 0.14sec 1 956 30770
htl 1.49sec 0.02sec 1 426 7507
str 2.21sec 0.03sec 1 468 6525

test30/test_30.20_5_0.1_1_1.1_3_1_2.821.0 nlp wc
30 lines 3791 bytes
head (1,1,1) body (1,3,1,2)
estimated blow-up 821.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4390.18sec 161.67sec 1 20376 1098148
htl 3.39sec 38.37sec 1 703 13003
str 5.35sec 161.75sec 1 753 10830

test30/test_30.20_5_0.1_1_1.1_3_2_1.10.2 nlp wc
30 lines 1505 bytes
head (1,1,1) body (1,3,2,1)
estimated blow-up 10.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.05sec 0.03sec 1 398 9214
htl 1.18sec 0.01sec 1 332 5515
str 1.49sec 0.02sec 1 374 5099

test30/test_30.20_5_0.1_1_1.1_3_2_2.97.7 nlp wc
30 lines 2466 bytes
head (1,1,1) body (1,3,2,2)
estimated blow-up 97.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 89.17sec 3.85sec 1 3028 108255
htl 1.87sec 0.07sec 1 490 8474
str 3.05sec 0.18sec 1 540 7655

test30/test_30.20_5_0.1_1_1.1_3_2_3.905.0 nlp wc
30 lines 3544 bytes
head (1,1,1) body (1,3,2,3)
estimated blow-up 905.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 7353.77sec 267.73sec -- 26794 1317794
htl 2.93sec 4.97sec 0 630 11457
str 4.98sec 11.32sec 0 684 9870

test30/test_30.20_5_0.1_1_1.1_3_3_1.2.3 nlp wc
30 lines 847 bytes
head (1,1,1) body (1,3,3,1)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.65sec 0.00sec 1 160 2700
htl 0.83sec 0.00sec 1 254 3807
str 0.79sec 0.00sec 1 254 3257

test30/test_30.20_5_0.1_1_1.1_3_3_2.6.5 nlp wc
30 lines 1256 bytes
head (1,1,1) body (1,3,3,2)
estimated blow-up 6.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.85sec 0.03sec 1 392 8387
htl 1.01sec 0.00sec 1 326 5009
str 1.10sec 0.01sec 1 326 4239

test30/test_30.20_5_0.1_1_1.1_3_3_3.19.1 nlp wc
30 lines 1592 bytes
head (1,1,1) body (1,3,3,3)
estimated blow-up 19.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 11.64sec 0.58sec 1 1090 28532
htl 1.44sec 0.55sec 1 418 6439
str 1.50sec 0.74sec 1 418 5575

test30/test_30.20_5_0.1_1_1.1_3_3_4.56.6 nlp wc
30 lines 2008 bytes
head (1,1,1) body (1,3,3,4)
estimated blow-up 56.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 96.34sec 6.23sec 2 3178 103058
htl 1.97sec 10.02sec 2 494 7831
str 2.31sec 25.03sec 2 494 6748

test30/test_30.20_5_0.1_1_1.2_2_2_1.1.3 nlp wc
30 lines 706 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 0 80 1565
htl 0.51sec 0.00sec 0 150 2237
str 0.48sec 0.01sec 0 160 2100

test30/test_30.20_5_0.1_1_1.2_2_2_2.1.5 nlp wc
30 lines 995 bytes
head (1,1,1) body (2,2,2,2)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.39sec 0.00sec 1 90 2214
htl 0.53sec 0.00sec 1 166 2736
str 0.63sec 0.59sec 1 186 2628

test30/test_30.20_5_0.1_1_1.2_2_2_3.1.6 nlp wc
30 lines 1271 bytes
head (1,1,1) body (2,2,2,3)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.52sec 0.00sec 1 78 2446
htl 0.60sec 0.00sec 1 124 2340
str 0.68sec 0.01sec 1 154 2378

test30/test_30.20_5_0.1_1_1.2_2_2_4.1.6 nlp wc
30 lines 1473 bytes
head (1,1,1) body (2,2,2,4)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.47sec 0.00sec 1 82 2810
htl 0.72sec 0.00sec 1 158 2951
str 0.73sec 0.27sec 1 186 2883

test30/test_30.20_5_0.1_1_1.2_3_2_1.9.2 nlp wc
30 lines 1773 bytes
head (1,1,1) body (2,3,2,1)
estimated blow-up 9.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.45sec 0.04sec 0 420 11426
htl 2.06sec 1.57sec 0 536 8320
str 2.62sec 9.97sec 0 566 7683

test30/test_30.20_5_0.1_1_1.2_3_2_2.85.6 nlp wc
30 lines 3146 bytes
head (1,1,1) body (2,3,2,2)
estimated blow-up 85.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 105.29sec 7.69sec 1 3258 151668
htl 4.40sec 270.76sec -- 852 13947
str 6.22sec 272.33sec -- 906 12770

test30/test_30.20_5_0.1_1_1.2_3_2_3.782.3 nlp wc
30 lines 4395 bytes
head (1,1,1) body (2,3,2,3)
estimated blow-up 782.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 7678.56sec 259.37sec -- 27126 1720938
htl 7.19sec 260.92sec -- 1170 19292
str 11.92sec 260.19sec -- 1226 17456

test30/test_30.20_5_0.1_1_1.2_3_3_1.2.2 nlp wc
30 lines 1126 bytes
head (1,1,1) body (2,3,3,1)
estimated blow-up 2.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.66sec 0.01sec 1 166 3391
htl 1.46sec 0.02sec 1 428 6103
str 1.55sec 0.03sec 1 428 5503

test30/test_30.20_5_0.1_1_1.2_3_3_2.6.3 nlp wc
30 lines 1926 bytes
head (1,1,1) body (2,3,3,2)
estimated blow-up 6.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.27sec 0.07sec 1 388 12249
htl 2.72sec 41.39sec 1 660 9913
str 3.10sec 57.20sec 1 660 8919

test30/test_30.20_5_0.1_1_1.2_3_3_3.18.6 nlp wc
30 lines 2616 bytes
head (1,1,1) body (2,3,3,3)
estimated blow-up 18.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 12.18sec 0.62sec 1 1076 44800
htl 4.81sec 259.30sec -- 927 14121
str 5.88sec 259.75sec -- 927 12786

test30/test_30.20_5_0.1_1_1.2_3_3_4.55.4 nlp wc
30 lines 3230 bytes
head (1,1,1) body (2,3,3,4)
estimated blow-up 55.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 97.30sec 9.20sec 0 3176 162017
htl 6.98sec 260.44sec -- 1168 17815
str 9.12sec 259.51sec -- 1168 16110

test30/test_30.20_5_0.1_1_1.3_3_3_1.1.4 nlp wc
30 lines 835 bytes
head (1,1,1) body (3,3,3,1)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.51sec 0.00sec 1 84 1868
htl 0.50sec 0.00sec 1 148 2332
str 0.64sec 0.19sec 1 160 2178

test30/test_30.20_5_0.1_1_1.3_3_3_2.1.6 nlp wc
30 lines 1183 bytes
head (1,1,1) body (3,3,3,2)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.53sec 0.00sec 1 86 2499
htl 0.62sec 0.01sec 1 156 2749
str 0.71sec 0.19sec 1 180 2682

test30/test_30.20_5_0.1_1_1.3_3_3_3.1.7 nlp wc
30 lines 1514 bytes
head (1,1,1) body (3,3,3,3)
estimated blow-up 1.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.58sec 0.00sec 1 88 3132
htl 0.65sec 0.00sec 1 158 3092
str 0.74sec 0.46sec 1 180 2915

test30/test_30.20_5_0.1_1_1.3_3_3_4.1.7 nlp wc
30 lines 1906 bytes
head (1,1,1) body (3,3,3,4)
estimated blow-up 1.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.65sec 0.00sec 1 84 3624
htl 0.67sec 0.00sec 1 166 3468
str 0.88sec 0.48sec 1 192 3228

test30/test_30.20_5_0.1_2_1.1_1_1_1.1.2 nlp wc
40 lines 1524 bytes
head (1,2,1) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.64sec 0.01sec 43 147 2808
htl 1.39sec 0.19sec 43 374 5507
str 1.40sec 0.21sec 43 374 4816

test30/test_30.20_5_0.1_2_1.1_1_1_2.1.5 nlp wc
40 lines 1641 bytes
head (1,2,1) body (1,1,1,2)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.63sec 0.04sec 114 158 3437
htl 1.29sec 52.54sec 114 399 6063
str 1.63sec 54.92sec 114 401 5347

test30/test_30.20_5_0.1_2_1.1_1_1_3.1.6 nlp wc
39 lines 1748 bytes
head (1,2,1) body (1,1,1,3)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.64sec 0.00sec 0 144 3687
htl 1.22sec 0.01sec 0 361 5590
str 1.57sec 0.01sec 0 371 4964

test30/test_30.20_5_0.1_2_1.1_1_1_4.1.8 nlp wc
40 lines 1845 bytes
head (1,2,1) body (1,1,1,4)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.62sec 0.01sec 16 146 4067
htl 1.36sec 7.03sec 16 366 5747
str 1.56sec 17.38sec 16 376 5121

test30/test_30.20_5_0.1_2_1.1_2_1_1.5.8 nlp wc
40 lines 2094 bytes
head (1,2,1) body (1,2,1,1)
estimated blow-up 5.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.03sec 0.02sec 12 387 9948
htl 1.91sec 0.21sec 12 492 7687
str 2.51sec 0.22sec 12 520 7053

test30/test_30.20_5_0.1_2_1.1_2_1_2.28.5 nlp wc
40 lines 2828 bytes
head (1,2,1) body (1,2,1,2)
estimated blow-up 28.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 17.19sec 0.38sec 34 1258 49743
htl 2.49sec 31.11sec 34 602 10010
str 3.82sec 88.98sec 34 650 9177

test30/test_30.20_5_0.1_2_1.1_2_1_3.128.0 nlp wc
40 lines 3518 bytes
head (1,2,1) body (1,2,1,3)
estimated blow-up 128.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 234.68sec 5.21sec 8 4944 255577
htl 3.65sec 234.70sec 8 727 12364
str 5.47sec 260.20sec -- 779 11130

test30/test_30.20_5_0.1_2_1.1_2_1_4.551.4 nlp wc
39 lines 4294 bytes
head (1,2,1) body (1,2,1,4)
estimated blow-up 551.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4182.09sec 240.68sec 0 20298 1314679
htl 4.29sec 0.02sec 0 842 14733
str 7.20sec 0.02sec 0 896 12900

test30/test_30.20_5_0.1_2_1.1_2_2_1.2.1 nlp wc
39 lines 1615 bytes
head (1,2,1) body (1,2,2,1)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.88sec 0.00sec 0 224 4442
htl 1.65sec 0.01sec 0 433 6421
str 1.82sec 0.01sec 0 433 5673

test30/test_30.20_5_0.1_2_1.1_2_2_2.4.7 nlp wc
40 lines 1880 bytes
head (1,2,1) body (1,2,2,2)
estimated blow-up 4.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.80sec 0.04sec 19 372 8877
htl 1.73sec 0.94sec 19 467 7024
str 2.02sec 0.97sec 19 467 6234

test30/test_30.20_5_0.1_2_1.1_2_2_3.10.1 nlp wc
40 lines 2123 bytes
head (1,2,1) body (1,2,2,3)
estimated blow-up 10.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.18sec 0.18sec 11 683 19335
htl 2.16sec 1.64sec 11 540 8182
str 2.50sec 4.12sec 11 540 7285

test30/test_30.20_5_0.1_2_1.1_2_2_4.21.4 nlp wc
40 lines 2458 bytes
head (1,2,1) body (1,2,2,4)
estimated blow-up 21.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 18.23sec 0.65sec 11 1332 46321
htl 2.57sec 32.64sec 11 600 9326
str 3.03sec 64.53sec 11 600 8225

test30/test_30.20_5_0.1_2_1.1_3_1_1.45.5 nlp wc
38 lines 2864 bytes
head (1,2,1) body (1,3,1,1)
estimated blow-up 45.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 30.65sec 0.26sec 0 1783 62712
htl 2.55sec 0.01sec 0 629 10465
str 3.86sec 0.01sec 0 659 9171

test30/test_30.20_5_0.1_2_1.1_3_1_2.1316.6 nlp wc
40 lines 4653 bytes
head (1,2,1) body (1,3,1,2)
estimated blow-up 1316.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 18013.15sec 249.89sec 40 39007 2236315
htl 4.57sec 259.36sec -- 875 15805
str 7.94sec 259.70sec -- 925 13387

test30/test_30.20_5_0.1_2_1.1_3_2_1.13.6 nlp wc
40 lines 2470 bytes
head (1,2,1) body (1,3,2,1)
estimated blow-up 13.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.62sec 0.08sec 13 791 21461
htl 2.20sec 0.14sec 13 539 8771
str 2.95sec 0.16sec 13 581 8109

test30/test_30.20_5_0.1_2_1.1_3_2_2.147.3 nlp wc
40 lines 3395 bytes
head (1,2,1) body (1,3,2,2)
estimated blow-up 147.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 369.39sec 6.14sec 11 6343 252937
htl 3.16sec 0.82sec 11 698 11868
str 5.05sec 1.12sec 11 748 10684

test30/test_30.20_5_0.1_2_1.1_3_2_3.1458.0 nlp wc
40 lines 4559 bytes
head (1,2,1) body (1,3,2,3)
estimated blow-up 1458.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 35803.81sec 362.04sec -- 51920 2734257
htl 6.22sec 95.71sec 72 869 15429
str 10.71sec 118.90sec 72 923 13332

test30/test_30.20_5_0.1_2_1.1_3_3_1.2.9 nlp wc
40 lines 1787 bytes
head (1,2,1) body (1,3,3,1)
estimated blow-up 2.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.66sec 0.02sec 0 290 5836
htl 2.37sec 0.03sec 0 458 6894
str 2.64sec 0.01sec 0 458 6063

test30/test_30.20_5_0.1_2_1.1_3_3_2.9.1 nlp wc
40 lines 2156 bytes
head (1,2,1) body (1,3,3,2)
estimated blow-up 9.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 8.48sec 0.13sec 0 777 19178
htl 2.93sec 0.03sec 0 535 8207
str 3.01sec 0.02sec 0 535 7210

test30/test_30.20_5_0.1_2_1.1_3_3_3.28.5 nlp wc
38 lines 2464 bytes
head (1,2,1) body (1,3,3,3)
estimated blow-up 28.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 57.74sec 2.70sec 0 2092 61913
htl 3.52sec 0.01sec 0 622 9624
str 4.25sec 0.01sec 0 622 8505

test30/test_30.20_5_0.1_2_1.1_3_3_4.88.4 nlp wc
39 lines 2859 bytes
head (1,2,1) body (1,3,3,4)
estimated blow-up 88.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 466.38sec 9.99sec 0 6143 218077
htl 4.12sec 0.01sec 0 679 10770
str 5.14sec 0.01sec 0 679 9414

test30/test_30.20_5_0.1_2_1.2_2_2_1.1.5 nlp wc
39 lines 1599 bytes
head (1,2,1) body (2,2,2,1)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.90sec 0.00sec 0 147 3305
htl 1.58sec 0.01sec 0 364 5507
str 1.86sec 0.01sec 0 370 4860

test30/test_30.20_5_0.1_2_1.2_2_2_2.1.8 nlp wc
39 lines 1822 bytes
head (1,2,1) body (2,2,2,2)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.84sec 0.00sec 0 150 4028
htl 1.71sec 0.01sec 0 370 5804
str 1.98sec 0.01sec 0 374 5077

test30/test_30.20_5_0.1_2_1.2_2_2_3.2.1 nlp wc
40 lines 2205 bytes
head (1,2,1) body (2,2,2,3)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.97sec 0.01sec 20 155 5205
htl 1.91sec 360.43sec -- 384 6277
str 2.17sec 360.73sec -- 390 5469

test30/test_30.20_5_0.1_2_1.2_2_2_4.2.3 nlp wc
40 lines 2425 bytes
head (1,2,1) body (2,2,2,4)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.00sec 0.01sec 30 147 5839
htl 1.72sec 31.11sec 30 370 6259
str 2.49sec 32.02sec 30 384 5544

test30/test_30.20_5_0.1_2_1.2_3_2_1.13.3 nlp wc
40 lines 2743 bytes
head (1,2,1) body (2,3,2,1)
estimated blow-up 13.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 9.31sec 0.28sec 14 787 24361
htl 4.42sec 8.31sec 14 709 11220
str 6.03sec 9.73sec 14 747 10423

test30/test_30.20_5_0.1_2_1.2_3_2_2.138.9 nlp wc
40 lines 4068 bytes
head (1,2,1) body (2,3,2,2)
estimated blow-up 138.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 543.91sec 29.44sec 28 6451 320819
htl 8.37sec 361.21sec -- 1052 17156
str 12.75sec 356.51sec -- 1104 15722

test30/test_30.20_5_0.1_2_1.2_3_2_3.1339.8 nlp wc
40 lines 5399 bytes
head (1,2,1) body (2,3,2,3)
estimated blow-up 1339.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 50330.12sec 361.42sec -- 58401 3974763
htl 13.72sec 360.69sec -- 1395 23094
str 22.40sec 362.05sec -- 1453 20807

test30/test_30.20_5_0.1_2_1.2_3_3_1.3.1 nlp wc
40 lines 2052 bytes
head (1,2,1) body (2,3,3,1)
estimated blow-up 3.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.91sec 0.04sec 53 312 7285
htl 3.66sec 2.79sec 53 641 9546
str 4.04sec 2.90sec 53 641 8620

test30/test_30.20_5_0.1_2_1.2_3_3_2.9.9 nlp wc
40 lines 2839 bytes
head (1,2,1) body (2,3,3,2)
estimated blow-up 9.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 9.13sec 0.26sec 92 793 27257
htl 6.27sec 168.58sec 92 907 13850
str 7.56sec 188.46sec 92 907 12489

test30/test_30.20_5_0.1_2_1.2_3_3_3.30.9 nlp wc
40 lines 3454 bytes
head (1,2,1) body (2,3,3,3)
estimated blow-up 30.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 62.28sec 4.06sec 4 2100 95281
htl 9.02sec 357.52sec -- 1120 17219
str 11.60sec 362.52sec -- 1120 15530

test30/test_30.20_5_0.1_2_1.2_3_3_4.95.3 nlp wc
40 lines 4124 bytes
head (1,2,1) body (2,3,3,4)
estimated blow-up 95.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 493.89sec 15.82sec 9 6147 333342
htl 13.13sec 364.05sec -- 1380 21203
str 17.16sec 361.83sec -- 1380 19294

test30/test_30.20_5_0.1_2_1.3_3_3_1.1.6 nlp wc
40 lines 1800 bytes
head (1,2,1) body (3,3,3,1)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.82sec 0.01sec 24 147 3825
htl 1.73sec 17.02sec 24 367 5706
str 2.10sec 20.60sec 24 377 5085

test30/test_30.20_5_0.1_2_1.3_3_3_2.2.1 nlp wc
39 lines 2155 bytes
head (1,2,1) body (3,3,3,2)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.99sec 0.01sec 0 150 5085
htl 1.86sec 0.01sec 0 379 6185
str 2.19sec 0.01sec 0 389 5471

test30/test_30.20_5_0.1_2_1.3_3_3_3.2.4 nlp wc
40 lines 2543 bytes
head (1,2,1) body (3,3,3,3)
estimated blow-up 2.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.11sec 0.01sec 28 151 6396
htl 2.07sec 136.95sec 28 371 6412
str 2.61sec 140.96sec 28 381 5549

test30/test_30.20_5_0.1_2_1.3_3_3_4.2.6 nlp wc
40 lines 2860 bytes
head (1,2,1) body (3,3,3,4)
estimated blow-up 2.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.15sec 0.01sec 32 158 7565
htl 1.93sec 361.41sec -- 396 7025
str 2.85sec 361.57sec -- 400 6019

test30/test_30.20_5_0.1_2_2.1_1_1_1.1.2 nlp wc
34 lines 1068 bytes
head (1,2,2) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.73sec 2.82sec 15212 125 2269
htl 1.29sec 106.94sec 15212 297 4186
str 1.47sec 106.25sec 15212 297 3785

test30/test_30.20_5_0.1_2_2.1_1_1_2.1.4 nlp wc
35 lines 1214 bytes
head (1,2,2) body (1,1,1,2)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.86sec 0.87sec 4752 125 2627
htl 1.37sec 363.79sec -- 291 4237
str 1.27sec 362.81sec -- 295 3869

test30/test_30.20_5_0.1_2_2.1_1_1_3.1.5 nlp wc
35 lines 1324 bytes
head (1,2,2) body (1,1,1,3)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.73sec 0.07sec 279 123 2944
htl 1.35sec 359.68sec 279 286 4284
str 1.44sec 360.39sec -- 292 3903

test30/test_30.20_5_0.1_2_2.1_1_1_4.1.6 nlp wc
35 lines 1350 bytes
head (1,2,2) body (1,1,1,4)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.74sec 0.03sec 315 119 3109
htl 1.25sec 185.58sec 315 270 4198
str 1.32sec 359.21sec -- 280 3839

test30/test_30.20_5_0.1_2_2.1_2_1_1.5.3 nlp wc
35 lines 1735 bytes
head (1,2,2) body (1,2,1,1)
estimated blow-up 5.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.03sec 2.25sec 8048 309 7743
htl 1.96sec 149.59sec 8048 418 6430
str 2.48sec 359.52sec -- 450 6153

test30/test_30.20_5_0.1_2_2.1_2_1_2.24.8 nlp wc
35 lines 2335 bytes
head (1,2,2) body (1,2,1,2)
estimated blow-up 24.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 15.14sec 2.01sec 1384 1027 37255
htl 2.92sec 358.10sec -- 533 8478
str 3.94sec 359.12sec -- 571 7933

test30/test_30.20_5_0.1_2_2.1_2_1_3.108.3 nlp wc
35 lines 3148 bytes
head (1,2,2) body (1,2,1,3)
estimated blow-up 108.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 192.56sec 9.20sec 1017 3784 195016
htl 3.77sec 361.21sec -- 623 10630
str 5.97sec 361.64sec -- 677 9668

test30/test_30.20_5_0.1_2_2.1_2_1_4.457.5 nlp wc
35 lines 3692 bytes
head (1,2,2) body (1,2,1,4)
estimated blow-up 457.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2565.32sec 102.47sec 318 13453 836326
htl 4.89sec 361.03sec -- 755 12863
str 7.85sec 360.66sec -- 807 11601

test30/test_30.20_5_0.1_2_2.1_2_2_1.2.0 nlp wc
35 lines 1182 bytes
head (1,2,2) body (1,2,2,1)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.90sec 3.81sec 19426 177 3285
htl 1.52sec 56.69sec 19426 352 5048
str 1.72sec 55.08sec 19426 352 4523

test30/test_30.20_5_0.1_2_2.1_2_2_2.4.3 nlp wc
35 lines 1521 bytes
head (1,2,2) body (1,2,2,2)
estimated blow-up 4.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.89sec 5.71sec 22765 296 6799
htl 2.03sec 279.64sec 22765 410 5965
str 2.12sec 364.68sec -- 410 5417

test30/test_30.20_5_0.1_2_2.1_2_2_3.9.0 nlp wc
34 lines 1747 bytes
head (1,2,2) body (1,2,2,3)
estimated blow-up 9.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.70sec 0.29sec 225 544 15097
htl 2.36sec 360.35sec -- 481 7090
str 2.57sec 360.80sec -- 481 6436

test30/test_30.20_5_0.1_2_2.1_2_2_4.18.6 nlp wc
35 lines 2067 bytes
head (1,2,2) body (1,2,2,4)
estimated blow-up 18.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 14.12sec 4.43sec 8124 1000 34480
htl 3.08sec 357.34sec -- 530 8066
str 3.20sec 359.98sec -- 530 7209

test30/test_30.20_5_0.1_2_2.1_3_1_1.39.3 nlp wc
35 lines 2625 bytes
head (1,2,2) body (1,3,1,1)
estimated blow-up 39.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 28.37sec 7.85sec 7106 1420 49410
htl 2.98sec 361.35sec -- 546 9169
str 4.35sec 361.85sec -- 582 8156

test30/test_30.20_5_0.1_2_2.1_3_1_2.1084.2 nlp wc
35 lines 4209 bytes
head (1,2,2) body (1,3,1,2)
estimated blow-up 1084.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 11150.25sec 361.81sec -- 29522 1683449
htl 5.31sec 359.75sec -- 791 14138
str 9.01sec 360.32sec -- 839 12168

test30/test_30.20_5_0.1_2_2.1_3_2_1.12.1 nlp wc
35 lines 1974 bytes
head (1,2,2) body (1,3,2,1)
estimated blow-up 12.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.42sec 41.82sec 97877 577 14519
htl 2.41sec 148.58sec 97877 455 7110
str 2.92sec 176.03sec 97877 491 6723

test30/test_30.20_5_0.1_2_2.1_3_2_2.124.6 nlp wc
35 lines 3071 bytes
head (1,2,2) body (1,3,2,2)
estimated blow-up 124.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 311.02sec 269.15sec 54778 4937 193611
htl 3.64sec 359.91sec -- 626 10649
str 6.11sec 359.84sec -- 682 9764

test30/test_30.20_5_0.1_2_2.1_3_2_3.1200.7 nlp wc
35 lines 4045 bytes
head (1,2,2) body (1,3,2,3)
estimated blow-up 1200.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 22780.85sec 356.30sec -- 40843 2123081
htl 5.11sec 358.30sec -- 784 13741
str 8.73sec 362.11sec -- 838 12084

test30/test_30.20_5_0.1_2_2.1_3_3_1.2.7 nlp wc
35 lines 1275 bytes
head (1,2,2) body (1,3,3,1)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.08sec 12.13sec 59695 225 4100
htl 1.65sec 49.68sec 59695 360 5114
str 1.60sec 47.05sec 59695 360 4643

test30/test_30.20_5_0.1_2_2.1_3_3_2.8.1 nlp wc
35 lines 1739 bytes
head (1,2,2) body (1,3,3,2)
estimated blow-up 8.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.10sec 33.27sec 100000 587 13736
htl 2.29sec 215.68sec 100000 459 6813
str 2.52sec 283.77sec 100000 459 6137

test30/test_30.20_5_0.1_2_2.1_3_3_3.24.6 nlp wc
35 lines 2093 bytes
head (1,2,2) body (1,3,3,3)
estimated blow-up 24.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 33.11sec 74.37sec 100000 1578 44937
htl 3.11sec 360.29sec -- 541 8199
str 3.55sec 357.48sec -- 541 7349

test30/test_30.20_5_0.1_2_2.1_3_3_4.74.8 nlp wc
35 lines 2389 bytes
head (1,2,2) body (1,3,3,4)
estimated blow-up 74.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 256.07sec 265.61sec 98144 4522 151720
htl 3.37sec 362.92sec -- 612 9426
str 4.21sec 361.62sec -- 612 8402

test30/test_30.20_5_0.1_2_2.2_2_2_1.1.4 nlp wc
35 lines 1167 bytes
head (1,2,2) body (2,2,2,1)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.66sec 0.11sec 453 120 2499
htl 1.25sec 65.44sec 453 280 4070
str 1.30sec 134.86sec 453 288 3783

test30/test_30.20_5_0.1_2_2.2_2_2_2.1.6 nlp wc
35 lines 1427 bytes
head (1,2,2) body (2,2,2,2)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.83sec 0.09sec 519 125 3166
htl 1.37sec 355.81sec -- 288 4410
str 1.56sec 357.77sec -- 292 3970

test30/test_30.20_5_0.1_2_2.2_2_2_3.1.8 nlp wc
34 lines 1721 bytes
head (1,2,2) body (2,2,2,3)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.85sec 0.01sec 105 126 3913
htl 1.39sec 360.80sec -- 279 4525
str 1.58sec 354.95sec -- 285 4039

test30/test_30.20_5_0.1_2_2.2_2_2_4.2.0 nlp wc
35 lines 1975 bytes
head (1,2,2) body (2,2,2,4)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.90sec 0.03sec 243 123 4458
htl 1.36sec 238.13sec 243 289 4869
str 1.73sec 360.01sec -- 297 4333

test30/test_30.20_5_0.1_2_2.2_3_2_1.11.5 nlp wc
35 lines 2194 bytes
head (1,2,2) body (2,3,2,1)
estimated blow-up 11.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.59sec 4.68sec 2405 604 17595
htl 3.56sec 360.00sec -- 627 9572
str 4.45sec 355.11sec -- 653 8977

test30/test_30.20_5_0.1_2_2.2_3_2_2.114.4 nlp wc
35 lines 3678 bytes
head (1,2,2) body (2,3,2,2)
estimated blow-up 114.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 266.01sec 19.46sec 963 4449 215709
htl 6.83sec 360.88sec -- 949 15514
str 10.47sec 359.36sec -- 999 14211

test30/test_30.20_5_0.1_2_2.2_3_2_3.1077.6 nlp wc
35 lines 5080 bytes
head (1,2,2) body (2,3,2,3)
estimated blow-up 1077.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 28600.19sec 362.82sec -- 43088 2863587
htl 12.30sec 359.90sec -- 1319 21901
str 19.89sec 360.42sec -- 1377 19712

test30/test_30.20_5_0.1_2_2.2_3_3_1.2.7 nlp wc
35 lines 1627 bytes
head (1,2,2) body (2,3,3,1)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.56sec 12.02sec 43316 241 5380
htl 2.85sec 366.57sec -- 547 7882
str 2.95sec 355.72sec -- 547 7266

test30/test_30.20_5_0.1_2_2.2_3_3_2.8.3 nlp wc
34 lines 2283 bytes
head (1,2,2) body (2,3,3,2)
estimated blow-up 8.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.57sec 0.56sec 624 593 18442
htl 5.14sec 360.76sec -- 783 11470
str 6.01sec 360.74sec -- 783 10607

test30/test_30.20_5_0.1_2_2.2_3_3_3.25.4 nlp wc
34 lines 3015 bytes
head (1,2,2) body (2,3,3,3)
estimated blow-up 25.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 41.10sec 1.44sec 144 1688 72438
htl 8.23sec 362.13sec -- 1059 15913
str 9.89sec 361.05sec -- 1059 14610

test30/test_30.20_5_0.1_2_2.2_3_3_4.77.1 nlp wc
35 lines 3788 bytes
head (1,2,2) body (2,3,3,4)
estimated blow-up 77.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 311.90sec 22.15sec 84 4846 263200
htl 12.29sec 361.60sec -- 1334 20326
str 15.24sec 360.30sec -- 1334 18581

test30/test_30.20_5_0.1_2_2.3_3_3_1.1.5 nlp wc
35 lines 1288 bytes
head (1,2,2) body (3,3,3,1)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.73sec 0.13sec 511 124 2930
htl 1.26sec 363.82sec -- 287 4312
str 1.53sec 363.65sec -- 295 3956

test30/test_30.20_5_0.1_2_2.3_3_3_2.1.8 nlp wc
35 lines 1700 bytes
head (1,2,2) body (3,3,3,2)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.83sec 0.02sec 135 121 3863
htl 1.21sec 226.61sec 135 281 4521
str 1.58sec 233.23sec 135 293 4162

test30/test_30.20_5_0.1_2_2.3_3_3_3.2.0 nlp wc
35 lines 2046 bytes
head (1,2,2) body (3,3,3,3)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.95sec 0.03sec 243 129 4751
htl 1.41sec 364.26sec -- 301 5076
str 1.73sec 359.97sec -- 309 4527

test30/test_30.20_5_0.1_2_2.3_3_3_4.2.2 nlp wc
35 lines 2425 bytes
head (1,2,2) body (3,3,3,4)
estimated blow-up 2.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.08sec 0.01sec 75 127 5594
htl 1.49sec 361.53sec -- 299 5321
str 1.90sec 361.10sec -- 307 4698

test30/test_30.20_5_0.1_3_1.1_1_1_1.1.3 nlp wc
55 lines 2673 bytes
head (1,3,1) body (1,1,1,1)
estimated blow-up 1.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.06sec 0.01sec 6 215 4430
htl 3.26sec 0.02sec 6 553 8627
str 4.03sec 0.02sec 6 555 7471

test30/test_30.20_5_0.1_3_1.1_1_1_2.1.5 nlp wc
55 lines 2904 bytes
head (1,3,1) body (1,1,1,2)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.32sec 0.14sec 316 226 5498
htl 3.77sec 20.86sec 316 578 9216
str 4.19sec 25.76sec 316 582 8017

test30/test_30.20_5_0.1_3_1.1_1_1_3.1.8 nlp wc
53 lines 3064 bytes
head (1,3,1) body (1,1,1,3)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.39sec 0.01sec 8 226 6290
htl 3.64sec 49.93sec 8 600 9741
str 4.43sec 62.29sec 8 604 8436

test30/test_30.20_5_0.1_3_1.1_1_1_4.2.0 nlp wc
55 lines 3180 bytes
head (1,3,1) body (1,1,1,4)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.39sec 0.05sec 127 226 7028
htl 3.52sec 91.11sec 127 589 9689
str 4.65sec 112.12sec 127 593 8330

test30/test_30.20_5_0.1_3_1.1_2_1_1.6.4 nlp wc
55 lines 3367 bytes
head (1,3,1) body (1,2,1,1)
estimated blow-up 6.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.30sec 0.16sec 48 645 17468
htl 4.66sec 0.60sec 48 722 11708
str 6.47sec 0.72sec 48 748 10452

test30/test_30.20_5_0.1_3_1.1_2_1_2.34.2 nlp wc
55 lines 4045 bytes
head (1,3,1) body (1,2,1,2)
estimated blow-up 34.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 62.29sec 0.55sec 4 2128 86386
htl 5.85sec 48.91sec 4 812 13583
str 8.97sec 63.85sec 4 856 12153

test30/test_30.20_5_0.1_3_1.1_2_1_3.162.4 nlp wc
55 lines 4898 bytes
head (1,3,1) body (1,2,1,3)
estimated blow-up 162.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1075.92sec 20.92sec 188 8927 485046
htl 7.64sec 362.31sec -- 952 16443
str 12.18sec 358.17sec -- 1006 14460

test30/test_30.20_5_0.1_3_1.1_2_1_4.729.4 nlp wc
55 lines 5376 bytes
head (1,3,1) body (1,2,1,4)
estimated blow-up 729.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 12466.19sec 359.92sec -- 31324 2016959
htl 8.72sec 360.32sec -- 1030 17823
str 14.66sec 359.56sec -- 1082 15686

test30/test_30.20_5_0.1_3_1.1_2_2_1.2.3 nlp wc
55 lines 2955 bytes
head (1,3,1) body (1,2,2,1)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.37sec 0.02sec 34 356 7532
htl 4.07sec 0.17sec 34 661 10463
str 4.94sec 0.11sec 34 661 9084

test30/test_30.20_5_0.1_3_1.1_2_2_2.5.2 nlp wc
53 lines 3131 bytes
head (1,3,1) body (1,2,2,2)
estimated blow-up 5.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.76sec 0.04sec 2 618 15847
htl 4.40sec 1.36sec 2 698 11077
str 5.58sec 1.39sec 2 698 9614

test30/test_30.20_5_0.1_3_1.1_2_2_3.11.7 nlp wc
55 lines 3436 bytes
head (1,3,1) body (1,2,2,3)
estimated blow-up 11.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 19.42sec 0.66sec 195 1181 35956
htl 5.28sec 17.42sec 195 769 12234
str 6.85sec 20.68sec 195 769 10698

test30/test_30.20_5_0.1_3_1.1_2_2_4.25.8 nlp wc
55 lines 3751 bytes
head (1,3,1) body (1,2,2,4)
estimated blow-up 25.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 68.47sec 1.69sec 77 2283 85889
htl 5.97sec 41.09sec 77 816 13166
str 8.17sec 51.30sec 77 816 11370

test30/test_30.20_5_0.1_3_1.1_3_1_1.55.4 nlp wc
55 lines 4246 bytes
head (1,3,1) body (1,3,1,1)
estimated blow-up 55.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 114.55sec 2.55sec 92 2929 110077
htl 6.12sec 22.51sec 92 837 14303
str 9.17sec 21.25sec 92 869 12384

test30/test_30.20_5_0.1_3_1.1_3_1_2.1771.2 nlp wc
55 lines 6072 bytes
head (1,3,1) body (1,3,1,2)
estimated blow-up 1771.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 66976.29sec 362.32sec -- 70400 4150542
htl 9.77sec 360.03sec -- 1105 19929
str 17.95sec 356.69sec -- 1153 16782

test30/test_30.20_5_0.1_3_1.1_3_2_1.15.7 nlp wc
55 lines 3620 bytes
head (1,3,1) body (1,3,2,1)
estimated blow-up 15.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 22.73sec 0.28sec 0 1294 36170
htl 5.14sec 0.02sec 0 759 12472
str 6.87sec 0.02sec 0 787 11062

test30/test_30.20_5_0.1_3_1.1_3_2_2.187.1 nlp wc
55 lines 4660 bytes
head (1,3,1) body (1,3,2,2)
estimated blow-up 187.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1444.03sec 10.56sec 16 10562 438375
htl 6.82sec 0.49sec 16 918 15703
str 12.10sec 0.48sec 16 962 13788

test30/test_30.20_5_0.1_3_1.1_3_2_3.1963.9 nlp wc
55 lines 5666 bytes
head (1,3,1) body (1,3,2,3)
estimated blow-up 1963.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 108250.85sec 360.06sec -- 92191 4927242
htl 8.82sec 2.42sec 34 1077 18932
str 15.88sec 2.95sec 34 1131 16429

test30/test_30.20_5_0.1_3_1.1_3_3_1.3.2 nlp wc
55 lines 3028 bytes
head (1,3,1) body (1,3,3,1)
estimated blow-up 3.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.97sec 0.01sec 0 482 10105
htl 4.25sec 0.01sec 0 663 10480
str 5.20sec 0.01sec 0 663 9076

test30/test_30.20_5_0.1_3_1.1_3_3_2.10.6 nlp wc
55 lines 3461 bytes
head (1,3,1) body (1,3,3,2)
estimated blow-up 10.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 23.28sec 0.28sec 9 1320 34795
htl 5.06sec 0.04sec 9 755 12095
str 6.63sec 0.05sec 9 755 10496

test30/test_30.20_5_0.1_3_1.1_3_3_3.35.1 nlp wc
55 lines 3770 bytes
head (1,3,1) body (1,3,3,3)
estimated blow-up 35.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 164.73sec 2.90sec 21 3620 113479
htl 5.85sec 0.48sec 21 830 13414
str 8.15sec 0.58sec 21 830 11686

test30/test_30.20_5_0.1_3_1.1_3_3_4.113.3 nlp wc
53 lines 4080 bytes
head (1,3,1) body (1,3,3,4)
estimated blow-up 113.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1401.83sec 23.97sec 6 10402 380849
htl 6.67sec 0.77sec 6 910 14764
str 8.84sec 1.05sec 6 910 12846

test30/test_30.20_5_0.1_3_1.2_2_2_1.1.5 nlp wc
55 lines 2900 bytes
head (1,3,1) body (2,2,2,1)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.32sec 0.02sec 57 227 5325
htl 3.70sec 11.68sec 57 597 9492
str 4.98sec 11.71sec 57 599 8224

test30/test_30.20_5_0.1_3_1.2_2_2_2.2.0 nlp wc
53 lines 3051 bytes
head (1,3,1) body (2,2,2,2)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.46sec 0.02sec 22 221 6500
htl 3.37sec 14.52sec 22 582 9389
str 4.78sec 15.70sec 22 586 8175

test30/test_30.20_5_0.1_3_1.2_2_2_3.2.4 nlp wc
55 lines 3449 bytes
head (1,3,1) body (2,2,2,3)
estimated blow-up 2.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.53sec 0.02sec 21 223 8290
htl 3.43sec 107.99sec 21 576 9528
str 4.96sec 111.16sec 21 584 8315

test30/test_30.20_5_0.1_3_1.2_2_2_4.2.7 nlp wc
55 lines 3625 bytes
head (1,3,1) body (2,2,2,4)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.67sec 0.03sec 72 216 9306
htl 3.18sec 20.94sec 72 554 9394
str 4.70sec 23.58sec 72 566 8162

test30/test_30.20_5_0.1_3_1.2_3_2_1.16.3 nlp wc
55 lines 3988 bytes
head (1,3,1) body (2,3,2,1)
estimated blow-up 16.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 24.02sec 0.70sec 130 1312 43691
htl 6.96sec 12.69sec 130 928 15193
str 10.33sec 11.20sec 130 968 13735

test30/test_30.20_5_0.1_3_1.2_3_2_2.187.4 nlp wc
55 lines 5403 bytes
head (1,3,1) body (2,3,2,2)
estimated blow-up 187.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1575.27sec 12.95sec 81 11109 584697
htl 11.59sec 204.34sec 81 1264 21095
str 18.91sec 207.83sec 81 1318 18892

test30/test_30.20_5_0.1_3_1.2_3_2_3.1912.2 nlp wc
53 lines 6713 bytes
head (1,3,1) body (2,3,2,3)
estimated blow-up 1912.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 148633.85sec 363.51sec -- 98504 6888069
htl 17.83sec 360.52sec -- 1606 27039
str 30.25sec 357.02sec -- 1664 24061

test30/test_30.20_5_0.1_3_1.2_3_3_1.3.6 nlp wc
53 lines 3345 bytes
head (1,3,1) body (2,3,3,1)
estimated blow-up 3.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.13sec 0.03sec 9 503 12992
htl 6.24sec 0.18sec 9 858 13476
str 8.13sec 0.25sec 9 858 11833

test30/test_30.20_5_0.1_3_1.2_3_3_2.12.7 nlp wc
53 lines 4024 bytes
head (1,3,1) body (2,3,3,2)
estimated blow-up 12.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 22.51sec 0.57sec 11 1248 45411
htl 8.53sec 11.87sec 11 1064 16725
str 11.36sec 13.46sec 11 1064 14802

test30/test_30.20_5_0.1_3_1.2_3_3_3.41.9 nlp wc
55 lines 4734 bytes
head (1,3,1) body (2,3,3,3)
estimated blow-up 41.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 188.25sec 3.64sec 158 3730 172210
htl 13.94sec 363.17sec -- 1363 21341
str 18.27sec 359.81sec -- 1363 19124

test30/test_30.20_5_0.1_3_1.2_3_3_4.134.6 nlp wc
55 lines 5461 bytes
head (1,3,1) body (2,3,3,4)
estimated blow-up 134.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1717.42sec 20.38sec 41 11270 641496
htl 18.31sec 361.42sec -- 1613 25268
str 25.68sec 361.48sec -- 1613 22705

test30/test_30.20_5_0.1_3_1.3_3_3_1.1.8 nlp wc
55 lines 3044 bytes
head (1,3,1) body (3,3,3,1)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.38sec 0.01sec 15 231 6248
htl 3.59sec 122.21sec 15 612 9850
str 4.76sec 134.29sec 15 612 8504

test30/test_30.20_5_0.1_3_1.3_3_3_2.2.4 nlp wc
55 lines 3427 bytes
head (1,3,1) body (3,3,3,2)
estimated blow-up 2.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.69sec 0.02sec 51 232 8323
htl 3.77sec 359.56sec -- 607 10096
str 5.04sec 359.92sec -- 609 8722

test30/test_30.20_5_0.1_3_1.3_3_3_3.2.9 nlp wc
55 lines 3819 bytes
head (1,3,1) body (3,3,3,3)
estimated blow-up 2.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.90sec 0.02sec 72 235 10551
htl 3.66sec 358.97sec -- 607 10424
str 5.17sec 361.56sec -- 607 8850

test30/test_30.20_5_0.1_3_1.3_3_3_4.3.3 nlp wc
53 lines 4010 bytes
head (1,3,1) body (3,3,3,4)
estimated blow-up 3.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.06sec 0.07sec 12 219 11613
htl 3.43sec 60.88sec 12 573 10086
str 5.08sec 71.96sec 12 579 8633

test30/test_30.20_5_0.1_3_2.1_1_1_1.1.2 nlp wc
45 lines 2180 bytes
head (1,3,2) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.05sec 21.75sec 100000 182 3864
htl 2.53sec 187.25sec 100000 457 7038
str 3.23sec 174.56sec 100000 457 6118

test30/test_30.20_5_0.1_3_2.1_1_1_2.1.4 nlp wc
45 lines 2281 bytes
head (1,3,2) body (1,1,1,2)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.11sec 9.77sec 39002 180 4282
htl 2.46sec 359.90sec -- 454 7077
str 2.78sec 356.08sec -- 456 6189

test30/test_30.20_5_0.1_3_2.1_1_1_3.1.6 nlp wc
45 lines 2376 bytes
head (1,3,2) body (1,1,1,3)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.20sec 0.11sec 488 176 4776
htl 2.46sec 359.10sec -- 452 7132
str 2.94sec 361.67sec -- 454 6245

test30/test_30.20_5_0.1_3_2.1_1_1_4.1.8 nlp wc
44 lines 2452 bytes
head (1,3,2) body (1,1,1,4)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.27sec 0.43sec 1560 178 5333
htl 2.53sec 359.51sec -- 457 7318
str 3.07sec 361.55sec -- 461 6405

test30/test_30.20_5_0.1_3_2.1_2_1_1.5.8 nlp wc
45 lines 2715 bytes
head (1,3,2) body (1,2,1,1)
estimated blow-up 5.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.70sec 52.31sec 100000 462 12899
htl 3.35sec 359.72sec -- 580 9297
str 4.97sec 360.37sec -- 608 8450

test30/test_30.20_5_0.1_3_2.1_2_1_2.29.3 nlp wc
45 lines 3512 bytes
head (1,3,2) body (1,2,1,2)
estimated blow-up 29.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 38.83sec 136.57sec 74514 1651 68668
htl 4.61sec 360.64sec -- 699 11726
str 6.77sec 362.42sec -- 747 10654

test30/test_30.20_5_0.1_3_2.1_2_1_3.135.2 nlp wc
45 lines 4146 bytes
head (1,3,2) body (1,2,1,3)
estimated blow-up 135.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 460.54sec 122.78sec 5876 5876 320175
htl 5.42sec 360.76sec -- 798 13668
str 8.91sec 366.26sec -- 844 12117

test30/test_30.20_5_0.1_3_2.1_2_1_4.594.6 nlp wc
44 lines 4854 bytes
head (1,3,2) body (1,2,1,4)
estimated blow-up 594.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 8658.01sec 357.15sec -- 24212 1615865
htl 7.27sec 359.76sec -- 930 16143
str 11.92sec 360.53sec -- 980 14168

test30/test_30.20_5_0.1_3_2.1_2_2_1.2.1 nlp wc
45 lines 2283 bytes
head (1,3,2) body (1,2,2,1)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.48sec 27.15sec 100000 268 5758
htl 2.97sec 140.83sec 100000 516 7903
str 3.37sec 138.32sec 100000 516 6975

test30/test_30.20_5_0.1_3_2.1_2_2_2.4.7 nlp wc
44 lines 2562 bytes
head (1,3,2) body (1,2,2,2)
estimated blow-up 4.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.77sec 35.64sec 100000 468 12529
htl 3.25sec 334.13sec 100000 568 8816
str 4.23sec 351.41sec 100000 568 7735

test30/test_30.20_5_0.1_3_2.1_2_2_3.10.4 nlp wc
45 lines 2875 bytes
head (1,3,2) body (1,2,2,3)
estimated blow-up 10.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 11.12sec 32.62sec 67797 858 27755
htl 4.15sec 358.69sec -- 630 9957
str 4.82sec 360.82sec -- 630 8682

test30/test_30.20_5_0.1_3_2.1_2_2_4.22.3 nlp wc
45 lines 3144 bytes
head (1,3,2) body (1,2,2,4)
estimated blow-up 22.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 36.10sec 69.80sec 73353 1623 62029
htl 4.64sec 364.81sec -- 694 11068
str 5.73sec 361.34sec -- 694 9636

test30/test_30.20_5_0.1_3_2.1_3_1_1.47.1 nlp wc
45 lines 3646 bytes
head (1,3,2) body (1,3,1,1)
estimated blow-up 47.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 66.27sec 281.56sec 100000 2181 82267
htl 4.59sec 360.68sec -- 712 12097
str 6.81sec 361.09sec -- 750 10751

test30/test_30.20_5_0.1_3_2.1_3_1_2.1431.3 nlp wc
45 lines 5331 bytes
head (1,3,2) body (1,3,1,2)
estimated blow-up 1431.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 31514.86sec 363.37sec -- 47945 2817950
htl 7.73sec 360.40sec -- 949 17140
str 12.97sec 358.84sec -- 1001 14680

test30/test_30.20_5_0.1_3_2.1_3_2_1.13.8 nlp wc
45 lines 3013 bytes
head (1,3,2) body (1,3,2,1)
estimated blow-up 13.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 11.69sec 56.66sec 100000 910 26358
htl 4.08sec 114.70sec 100000 603 9946
str 5.61sec 143.42sec 100000 645 9075

test30/test_30.20_5_0.1_3_2.1_3_2_2.156.1 nlp wc
45 lines 4044 bytes
head (1,3,2) body (1,3,2,2)
estimated blow-up 156.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 694.69sec 362.61sec -- 7408 309633
htl 5.47sec 359.33sec -- 766 13165
str 8.90sec 361.15sec -- 822 11867

test30/test_30.20_5_0.1_3_2.1_3_2_3.1590.6 nlp wc
45 lines 5091 bytes
head (1,3,2) body (1,3,2,3)
estimated blow-up 1590.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 51034.43sec 360.42sec -- 60672 3340633
htl 7.17sec 358.11sec -- 926 16370
str 12.94sec 361.12sec -- 986 14334

test30/test_30.20_5_0.1_3_2.1_3_3_1.3.0 nlp wc
44 lines 2341 bytes
head (1,3,2) body (1,3,3,1)
estimated blow-up 3.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.52sec 28.49sec 100000 366 7893
htl 3.26sec 59.73sec 100000 541 8289
str 3.64sec 63.91sec 100000 541 7329

test30/test_30.20_5_0.1_3_2.1_3_3_2.9.5 nlp wc
45 lines 2787 bytes
head (1,3,2) body (1,3,3,2)
estimated blow-up 9.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 12.13sec 64.65sec 100000 939 25259
htl 3.59sec 91.97sec 100000 619 9721
str 4.29sec 91.43sec 100000 619 8519

test30/test_30.20_5_0.1_3_2.1_3_3_3.30.5 nlp wc
45 lines 3198 bytes
head (1,3,2) body (1,3,3,3)
estimated blow-up 30.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 86.03sec 197.21sec 100000 2540 84113
htl 4.67sec 299.18sec 100000 698 11187
str 5.81sec 189.14sec 100000 698 9727

test30/test_30.20_5_0.1_3_2.1_3_3_4.96.1 nlp wc
45 lines 3597 bytes
head (1,3,2) body (1,3,3,4)
estimated blow-up 96.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 694.94sec 352.25sec 37956 7473 289270
htl 5.41sec 361.78sec -- 771 12512
str 7.02sec 361.73sec -- 771 10845

test30/test_30.20_5_0.1_3_2.2_2_2_1.1.4 nlp wc
45 lines 2216 bytes
head (1,3,2) body (2,2,2,1)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.03sec 5.89sec 24942 177 4153
htl 2.50sec 357.36sec -- 453 7017
str 2.93sec 360.89sec -- 455 6166

test30/test_30.20_5_0.1_3_2.2_2_2_2.1.8 nlp wc
45 lines 2508 bytes
head (1,3,2) body (2,2,2,2)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.16sec 1.77sec 8093 178 5240
htl 2.28sec 360.67sec -- 455 7298
str 3.00sec 363.14sec -- 459 6392

test30/test_30.20_5_0.1_3_2.2_2_2_3.2.1 nlp wc
45 lines 2829 bytes
head (1,3,2) body (2,2,2,3)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.12sec 0.13sec 458 180 6567
htl 2.37sec 360.82sec -- 462 7661
str 3.35sec 358.94sec -- 462 6572

test30/test_30.20_5_0.1_3_2.2_2_2_4.2.3 nlp wc
45 lines 3101 bytes
head (1,3,2) body (2,2,2,4)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.35sec 0.14sec 360 181 7720
htl 2.55sec 359.50sec -- 465 7927
str 3.81sec 355.37sec -- 467 6797

test30/test_30.20_5_0.1_3_2.2_3_2_1.14.0 nlp wc
45 lines 3398 bytes
head (1,3,2) body (2,3,2,1)
estimated blow-up 14.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 13.47sec 45.16sec 46692 957 32420
htl 5.48sec 360.04sec -- 793 12783
str 8.09sec 357.19sec -- 835 11776

test30/test_30.20_5_0.1_3_2.2_3_2_2.152.2 nlp wc
44 lines 4643 bytes
head (1,3,2) body (2,3,2,2)
estimated blow-up 152.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 737.74sec 112.42sec 5055 7436 390347
htl 9.47sec 360.94sec -- 1115 18380
str 14.61sec 356.82sec -- 1165 16624

test30/test_30.20_5_0.1_3_2.2_3_2_3.1510.1 nlp wc
45 lines 5961 bytes
head (1,3,2) body (2,3,2,3)
estimated blow-up 1510.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 63105.38sec 360.26sec -- 64155 4443843
htl 14.89sec 360.46sec -- 1435 23933
str 24.04sec 355.08sec -- 1489 21446

test30/test_30.20_5_0.1_3_2.2_3_3_1.3.2 nlp wc
45 lines 2683 bytes
head (1,3,2) body (2,3,3,1)
estimated blow-up 3.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.60sec 39.88sec 100000 375 9514
htl 4.40sec 333.63sec 100000 721 11021
str 5.65sec 331.49sec 100000 721 9890

test30/test_30.20_5_0.1_3_2.2_3_3_2.10.7 nlp wc
44 lines 3436 bytes
head (1,3,2) body (2,3,3,2)
estimated blow-up 10.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 13.84sec 9.31sec 4119 957 35025
htl 7.56sec 361.80sec -- 961 14859
str 9.57sec 357.05sec -- 961 13323

test30/test_30.20_5_0.1_3_2.2_3_3_3.34.4 nlp wc
45 lines 4052 bytes
head (1,3,2) body (2,3,3,3)
estimated blow-up 34.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 95.96sec 8.04sec 2925 2653 125750
htl 10.99sec 360.69sec -- 1213 18777
str 14.40sec 357.86sec -- 1213 16949

test30/test_30.20_5_0.1_3_2.2_3_3_4.108.0 nlp wc
45 lines 4887 bytes
head (1,3,2) body (2,3,3,4)
estimated blow-up 108.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 824.39sec 144.84sec 7913 7859 462878
htl 15.35sec 357.71sec -- 1459 22967
str 20.57sec 361.81sec -- 1459 20598

test30/test_30.20_5_0.1_3_2.3_3_3_1.1.6 nlp wc
45 lines 2394 bytes
head (1,3,2) body (3,3,3,1)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.08sec 0.22sec 1193 175 4779
htl 2.44sec 360.52sec -- 449 7104
str 3.16sec 360.89sec -- 453 6235

test30/test_30.20_5_0.1_3_2.3_3_3_2.2.1 nlp wc
45 lines 2774 bytes
head (1,3,2) body (3,3,3,2)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.14sec 0.25sec 1188 182 6568
htl 2.69sec 363.18sec -- 463 7646
str 3.36sec 360.09sec -- 465 6607

test30/test_30.20_5_0.1_3_2.3_3_3_3.2.5 nlp wc
43 lines 3057 bytes
head (1,3,2) body (3,3,3,3)
estimated blow-up 2.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.28sec 0.01sec 0 179 7856
htl 2.59sec 0.01sec 0 459 7847
str 3.43sec 0.01sec 0 461 6749

test30/test_30.20_5_0.1_3_2.3_3_3_4.2.7 nlp wc
45 lines 3373 bytes
head (1,3,2) body (3,3,3,4)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.47sec 0.15sec 648 175 8981
htl 2.37sec 363.62sec -- 443 7871
str 3.32sec 362.53sec -- 447 6741

test30/test_30.20_5_0.1_3_3.1_1_1_1.1.2 nlp wc
40 lines 1540 bytes
head (1,3,3) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.05sec 19.52sec 100000 147 2871
htl 1.57sec 81.46sec 100000 345 4964
str 1.91sec 86.86sec 100000 345 4509

test30/test_30.20_5_0.1_3_3.1_1_1_2.1.4 nlp wc
40 lines 1645 bytes
head (1,3,3) body (1,1,1,2)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.80sec 24.76sec 100000 155 3438
htl 1.75sec 364.52sec -- 357 5270
str 1.89sec 360.29sec -- 359 4782

test30/test_30.20_5_0.1_3_3.1_1_1_3.1.6 nlp wc
39 lines 1719 bytes
head (1,3,3) body (1,1,1,3)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.86sec 10.56sec 39995 154 3755
htl 1.58sec 361.28sec -- 344 5165
str 1.91sec 359.74sec -- 348 4717

test30/test_30.20_5_0.1_3_3.1_1_1_4.1.7 nlp wc
40 lines 1864 bytes
head (1,3,3) body (1,1,1,4)
estimated blow-up 1.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.86sec 2.53sec 14045 150 4223
htl 1.81sec 361.35sec -- 342 5249
str 2.07sec 360.27sec -- 346 4745

test30/test_30.20_5_0.1_3_3.1_2_1_1.5.6 nlp wc
40 lines 2109 bytes
head (1,3,3) body (1,2,1,1)
estimated blow-up 5.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.87sec 32.30sec 100000 390 10057
htl 2.47sec 52.80sec 100000 466 7112
str 3.25sec 56.31sec 100000 498 6827

test30/test_30.20_5_0.1_3_3.1_2_1_2.27.5 nlp wc
40 lines 2817 bytes
head (1,3,3) body (1,2,1,2)
estimated blow-up 27.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 22.20sec 83.78sec 100000 1243 48265
htl 3.36sec 357.79sec -- 579 9364
str 4.97sec 359.71sec -- 625 8845

test30/test_30.20_5_0.1_3_3.1_2_1_3.123.9 nlp wc
40 lines 3544 bytes
head (1,3,3) body (1,2,1,3)
estimated blow-up 123.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 323.53sec 96.55sec 14186 4879 255040
htl 4.42sec 362.28sec -- 692 11628
str 7.11sec 358.00sec -- 744 10637

test30/test_30.20_5_0.1_3_3.1_2_1_4.535.5 nlp wc
40 lines 4375 bytes
head (1,3,3) body (1,2,1,4)
estimated blow-up 535.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5112.17sec 360.50sec -- 19535 1279463
htl 5.95sec 363.33sec -- 826 14372
str 9.73sec 361.65sec -- 884 12817

test30/test_30.20_5_0.1_3_3.1_2_2_1.2.1 nlp wc
40 lines 1638 bytes
head (1,3,3) body (1,2,2,1)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.19sec 24.20sec 100000 226 4404
htl 2.07sec 52.66sec 100000 410 5931
str 2.24sec 47.00sec 100000 410 5409

test30/test_30.20_5_0.1_3_3.1_2_2_2.4.6 nlp wc
40 lines 1948 bytes
head (1,3,3) body (1,2,2,2)
estimated blow-up 4.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.60sec 32.44sec 100000 382 9210
htl 2.51sec 361.15sec -- 471 6871
str 2.60sec 302.54sec 100000 471 6315

test30/test_30.20_5_0.1_3_3.1_2_2_3.9.8 nlp wc
40 lines 2192 bytes
head (1,3,3) body (1,2,2,3)
estimated blow-up 9.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 7.19sec 49.05sec 100000 699 20445
htl 2.97sec 359.46sec -- 533 7961
str 3.35sec 360.76sec -- 533 7241

test30/test_30.20_5_0.1_3_3.1_2_2_4.20.8 nlp wc
40 lines 2440 bytes
head (1,3,3) body (1,2,2,4)
estimated blow-up 20.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 21.90sec 71.62sec 100000 1262 43051
htl 3.48sec 358.53sec -- 583 8847
str 4.25sec 358.58sec -- 583 7967

test30/test_30.20_5_0.1_3_3.1_3_1_1.43.9 nlp wc
40 lines 3070 bytes
head (1,3,3) body (1,3,1,1)
estimated blow-up 43.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 49.67sec 107.24sec 100000 1906 68507
htl 3.86sec 360.52sec -- 613 10279
str 6.30sec 361.64sec -- 655 9279

test30/test_30.20_5_0.1_3_3.1_3_1_2.1280.0 nlp wc
39 lines 4683 bytes
head (1,3,3) body (1,3,1,2)
estimated blow-up 1280.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 27553.88sec 363.15sec -- 42065 2422030
htl 6.32sec 360.37sec -- 855 15286
str 10.75sec 361.54sec -- 907 13185

test30/test_30.20_5_0.1_3_3.1_3_2_1.13.1 nlp wc
40 lines 2467 bytes
head (1,3,3) body (1,3,2,1)
estimated blow-up 13.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 7.61sec 52.65sec 100000 740 20005
htl 2.92sec 152.82sec 100000 510 8181
str 4.08sec 110.13sec 100000 554 7742

test30/test_30.20_5_0.1_3_3.1_3_2_2.142.9 nlp wc
40 lines 3393 bytes
head (1,3,3) body (1,3,2,2)
estimated blow-up 142.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 423.64sec 357.75sec -- 5803 230875
htl 4.38sec 174.80sec 100000 662 11031
str 6.68sec 188.24sec 100000 710 10138

test30/test_30.20_5_0.1_3_3.1_3_2_3.1420.6 nlp wc
40 lines 4442 bytes
head (1,3,3) body (1,3,2,3)
estimated blow-up 1420.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 44230.39sec 361.81sec -- 54432 2847891
htl 6.10sec 362.21sec -- 830 14430
str 10.62sec 361.70sec -- 884 12792

test30/test_30.20_5_0.1_3_3.1_3_3_1.2.8 nlp wc
40 lines 1726 bytes
head (1,3,3) body (1,3,3,1)
estimated blow-up 2.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.76sec 23.09sec 100000 289 5591
htl 2.36sec 94.86sec 100000 423 6130
str 2.59sec 150.03sec 100000 423 5602

test30/test_30.20_5_0.1_3_3.1_3_3_2.9.0 nlp wc
40 lines 2161 bytes
head (1,3,3) body (1,3,3,2)
estimated blow-up 9.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 7.39sec 46.26sec 100000 724 17714
htl 3.07sec 128.41sec 100000 507 7574
str 3.08sec 131.12sec 100000 507 6857

test30/test_30.20_5_0.1_3_3.1_3_3_3.28.1 nlp wc
40 lines 2533 bytes
head (1,3,3) body (1,3,3,3)
estimated blow-up 28.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 62.79sec 104.31sec 100000 2181 66082
htl 3.37sec 210.63sec 100000 592 9052
str 4.42sec 281.83sec 100000 592 8152

test30/test_30.20_5_0.1_3_3.1_3_3_4.87.1 nlp wc
39 lines 2862 bytes
head (1,3,3) body (1,3,3,4)
estimated blow-up 87.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 470.85sec 360.52sec -- 6149 216287
htl 4.54sec 370.35sec -- 677 10458
str 5.65sec 366.17sec -- 677 9408

test30/test_30.20_5_0.1_3_3.2_2_2_1.1.4 nlp wc
39 lines 1611 bytes
head (1,3,3) body (2,2,2,1)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.91sec 22.24sec 100000 149 3241
htl 1.87sec 359.85sec -- 346 5072
str 1.84sec 360.14sec -- 346 4583

test30/test_30.20_5_0.1_3_3.2_2_2_2.1.7 nlp wc
40 lines 1849 bytes
head (1,3,3) body (2,2,2,2)
estimated blow-up 1.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.06sec 1.36sec 5971 153 4111
htl 1.87sec 362.44sec -- 349 5316
str 2.06sec 359.12sec -- 353 4851

test30/test_30.20_5_0.1_3_3.2_2_2_3.2.0 nlp wc
40 lines 2144 bytes
head (1,3,3) body (2,2,2,3)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.96sec 0.22sec 1119 150 4949
htl 1.64sec 361.58sec -- 349 5539
str 2.01sec 360.25sec -- 355 5017

test30/test_30.20_5_0.1_3_3.2_2_2_4.2.2 nlp wc
38 lines 2350 bytes
head (1,3,3) body (2,2,2,4)
estimated blow-up 2.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.21sec 0.03sec 316 149 5681
htl 1.86sec 362.28sec -- 348 5701
str 2.32sec 360.86sec -- 352 5092

test30/test_30.20_5_0.1_3_3.2_3_2_1.13.0 nlp wc
39 lines 2757 bytes
head (1,3,3) body (2,3,2,1)
estimated blow-up 13.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 8.89sec 52.51sec 100000 769 24497
htl 4.41sec 360.55sec -- 691 10831
str 6.07sec 361.76sec -- 721 10057

test30/test_30.20_5_0.1_3_3.2_3_2_2.135.7 nlp wc
40 lines 4092 bytes
head (1,3,3) body (2,3,2,2)
estimated blow-up 135.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 438.63sec 362.17sec -- 5824 295821
htl 7.80sec 361.10sec -- 1007 16442
str 12.46sec 363.82sec -- 1063 15144

test30/test_30.20_5_0.1_3_3.2_3_2_3.1315.1 nlp wc
40 lines 5387 bytes
head (1,3,3) body (2,3,2,3)
estimated blow-up 1315.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 38093.30sec 356.83sec -- 52078 3441376
htl 12.63sec 358.10sec -- 1322 21733
str 21.01sec 359.12sec -- 1378 19764

test30/test_30.20_5_0.1_3_3.2_3_3_1.3.0 nlp wc
39 lines 2086 bytes
head (1,3,3) body (2,3,3,1)
estimated blow-up 3.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.93sec 26.87sec 100000 307 7367
htl 3.39sec 362.15sec -- 611 8940
str 3.91sec 362.15sec -- 611 8238

test30/test_30.20_5_0.1_3_3.2_3_3_2.9.7 nlp wc
40 lines 2828 bytes
head (1,3,3) body (2,3,3,2)
estimated blow-up 9.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 8.28sec 52.95sec 100000 747 25803
htl 6.37sec 361.98sec -- 857 12938
str 7.81sec 361.78sec -- 857 11773

test30/test_30.20_5_0.1_3_3.2_3_3_3.30.5 nlp wc
40 lines 3569 bytes
head (1,3,3) body (2,3,3,3)
estimated blow-up 30.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 62.82sec 8.28sec -- 2134 97996
htl 9.06sec 360.54sec -- 1100 16824
str 11.67sec 360.74sec -- 1100 15272

test30/test_30.20_5_0.1_3_3.2_3_3_4.94.2 nlp wc
38 lines 4201 bytes
head (1,3,3) body (2,3,3,4)
estimated blow-up 94.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 484.99sec 21.77sec 363 6037 342307
htl 13.37sec 353.87sec -- 1351 20685
str 17.31sec 362.19sec -- 1351 18836

test30/test_30.20_5_0.1_3_3.3_3_3_1.1.6 nlp wc
39 lines 1743 bytes
head (1,3,3) body (3,3,3,1)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.93sec 16.36sec 57190 155 3924
htl 1.84sec 362.51sec -- 357 5400
str 2.06sec 360.27sec -- 359 4855

test30/test_30.20_5_0.1_3_3.3_3_3_2.2.0 nlp wc
40 lines 2099 bytes
head (1,3,3) body (3,3,3,2)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.97sec 0.28sec 1211 151 5033
htl 1.76sec 359.43sec -- 344 5515
str 2.11sec 358.22sec -- 348 4932

test30/test_30.20_5_0.1_3_3.3_3_3_3.2.3 nlp wc
39 lines 2501 bytes
head (1,3,3) body (3,3,3,3)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.22sec 0.11sec 414 148 6281
htl 1.77sec 359.54sec -- 342 5754
str 2.32sec 365.41sec -- 350 5163

test30/test_30.20_5_0.1_3_3.3_3_3_4.2.5 nlp wc
39 lines 2837 bytes
head (1,3,3) body (3,3,3,4)
estimated blow-up 2.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.15sec 0.69sec 3675 158 7302
htl 1.89sec 363.81sec -- 359 6256
str 2.52sec 353.64sec -- 361 5462

test30/test_30.20_5_0.2_2_2.1_1_1_1.1.3 nlp wc
38 lines 1039 bytes
head (2,2,2) body (1,1,1,1)
estimated blow-up 1.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.87sec 0.00sec 1 140 2409
htl 1.03sec 0.00sec 1 240 3480
str 1.16sec 0.01sec 1 246 3204

test30/test_30.20_5_0.2_2_2.1_1_1_2.1.6 nlp wc
40 lines 1194 bytes
head (2,2,2) body (1,1,1,2)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.87sec 0.04sec 1 144 2890
htl 1.06sec 0.00sec 1 247 3723
str 1.23sec 0.01sec 1 257 3450

test30/test_30.20_5_0.2_2_2.1_1_1_3.1.8 nlp wc
40 lines 1311 bytes
head (2,2,2) body (1,1,1,3)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.82sec 0.00sec 1 148 3381
htl 1.17sec 0.01sec 1 260 4016
str 1.32sec 4.22sec 1 268 3653

test30/test_30.20_5_0.2_2_2.1_1_1_4.2.0 nlp wc
40 lines 1369 bytes
head (2,2,2) body (1,1,1,4)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.86sec 0.00sec 1 146 3646
htl 1.14sec 0.01sec 1 249 3913
str 1.34sec 1.76sec 1 259 3603

test30/test_30.20_5_0.2_2_2.1_2_1_1.6.3 nlp wc
40 lines 1639 bytes
head (2,2,2) body (1,2,1,1)
estimated blow-up 6.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.48sec 0.02sec 1 376 8491
htl 1.94sec 0.01sec 1 377 5856
str 2.31sec 0.04sec 1 407 5475

test30/test_30.20_5_0.2_2_2.1_2_1_2.31.0 nlp wc
40 lines 2380 bytes
head (2,2,2) body (1,2,1,2)
estimated blow-up 31.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 23.78sec 0.40sec 1 1288 46313
htl 2.69sec 0.03sec 1 493 8114
str 3.73sec 0.09sec 1 535 7498

test30/test_30.20_5_0.2_2_2.1_2_1_3.137.9 nlp wc
40 lines 3145 bytes
head (2,2,2) body (1,2,1,3)
estimated blow-up 137.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 293.73sec 4.58sec 0 4746 235786
htl 3.42sec 18.16sec 0 618 10664
str 5.79sec 36.26sec 0 670 9523

test30/test_30.20_5_0.2_2_2.1_2_1_4.588.3 nlp wc
40 lines 3818 bytes
head (2,2,2) body (1,2,1,4)
estimated blow-up 588.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4632.99sec 221.15sec 1 19276 1193060
htl 4.82sec 14.33sec 1 728 12708
str 7.55sec 98.03sec 1 778 11204

test30/test_30.20_5_0.2_2_2.1_2_2_1.2.2 nlp wc
40 lines 1213 bytes
head (2,2,2) body (1,2,2,1)
estimated blow-up 2.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.00sec 0.00sec 1 234 3979
htl 1.46sec 0.00sec 1 335 4908
str 1.44sec 0.01sec 1 335 4321

test30/test_30.20_5_0.2_2_2.1_2_2_2.5.0 nlp wc
40 lines 1523 bytes
head (2,2,2) body (1,2,2,2)
estimated blow-up 5.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.59sec 0.06sec 0 382 8195
htl 1.72sec 0.03sec 0 374 5611
str 1.86sec 0.20sec 0 374 4908

test30/test_30.20_5_0.2_2_2.1_2_2_3.10.7 nlp wc
40 lines 1732 bytes
head (2,2,2) body (1,2,2,3)
estimated blow-up 10.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 7.01sec 0.10sec 1 692 17900
htl 2.13sec 0.43sec 1 442 6615
str 2.52sec 1.72sec 1 442 5920

test30/test_30.20_5_0.2_2_2.1_2_2_4.22.8 nlp wc
40 lines 2006 bytes
head (2,2,2) body (1,2,2,4)
estimated blow-up 22.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 24.72sec 1.03sec 0 1350 41736
htl 2.64sec 2.83sec 0 505 7657
str 3.07sec 2.89sec 0 505 6856

test30/test_30.20_5_0.2_2_2.1_3_1_1.49.5 nlp wc
40 lines 2650 bytes
head (2,2,2) body (1,3,1,1)
estimated blow-up 49.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 52.04sec 0.83sec 2 1922 61867
htl 2.97sec 0.12sec 2 520 8909
str 4.05sec 0.16sec 2 558 7820

test30/test_30.20_5_0.2_2_2.1_3_1_2.1400.5 nlp wc
40 lines 4188 bytes
head (2,2,2) body (1,3,1,2)
estimated blow-up 1400.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 23280.67sec 362.99sec -- 38896 2134537
htl 5.15sec 55.09sec 4 751 13579
str 8.46sec 65.39sec 4 797 11577

test30/test_30.20_5_0.2_2_2.1_3_2_1.14.7 nlp wc
40 lines 1999 bytes
head (2,2,2) body (1,3,2,1)
estimated blow-up 14.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 7.93sec 0.08sec 0 764 17959
htl 2.14sec 0.01sec 0 416 6782
str 2.81sec 0.01sec 0 450 6167

test30/test_30.20_5_0.2_2_2.1_3_2_2.157.9 nlp wc
40 lines 2881 bytes
head (2,2,2) body (1,3,2,2)
estimated blow-up 157.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 395.33sec 5.20sec 0 5660 203379
htl 3.10sec 0.17sec 0 584 9782
str 4.94sec 0.26sec 0 628 8861

test30/test_30.20_5_0.2_2_2.1_3_2_3.1543.8 nlp wc
40 lines 3997 bytes
head (2,2,2) body (1,3,2,3)
estimated blow-up 1543.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 40625.74sec 362.82sec -- 53540 2608410
htl 4.71sec 0.91sec 1 742 13116
str 8.47sec 1.31sec 1 800 11578

test30/test_30.20_5_0.2_2_2.1_3_3_1.3.0 nlp wc
40 lines 1341 bytes
head (2,2,2) body (1,3,3,1)
estimated blow-up 3.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.60sec 0.01sec 1 296 5033
htl 1.55sec 0.01sec 1 351 5244
str 1.62sec 0.01sec 1 351 4555

test30/test_30.20_5_0.2_2_2.1_3_3_2.9.4 nlp wc
40 lines 1656 bytes
head (2,2,2) body (1,3,3,2)
estimated blow-up 9.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 7.58sec 0.12sec 1 748 15354
htl 2.12sec 0.01sec 1 416 6184
str 2.09sec 0.01sec 1 416 5508

test30/test_30.20_5_0.2_2_2.1_3_3_3.29.5 nlp wc
40 lines 2079 bytes
head (2,2,2) body (1,3,3,3)
estimated blow-up 29.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 56.96sec 1.42sec 0 2116 56163
htl 2.69sec 0.02sec 0 503 7682
str 3.01sec 0.03sec 0 503 6790

test30/test_30.20_5_0.2_2_2.1_3_3_4.91.4 nlp wc
40 lines 2415 bytes
head (2,2,2) body (1,3,3,4)
estimated blow-up 91.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 392.71sec 11.44sec 0 5686 182133
htl 3.38sec 0.08sec 0 582 9096
str 4.06sec 0.11sec 0 582 7999

test30/test_30.20_5_0.2_2_2.2_2_2_1.1.6 nlp wc
38 lines 1131 bytes
head (2,2,2) body (2,2,2,1)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.75sec 0.00sec 0 148 2927
htl 1.22sec 0.00sec 0 257 3869
str 1.27sec 0.25sec 0 259 3451

test30/test_30.20_5_0.2_2_2.2_2_2_2.2.0 nlp wc
40 lines 1449 bytes
head (2,2,2) body (2,2,2,2)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.85sec 0.00sec 1 152 3853
htl 1.10sec 0.00sec 1 258 4072
str 1.35sec 1.87sec 1 260 3596

test30/test_30.20_5_0.2_2_2.2_2_2_3.2.3 nlp wc
40 lines 1687 bytes
head (2,2,2) body (2,2,2,3)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.87sec 0.01sec 1 150 4649
htl 1.25sec 0.01sec 1 268 4465
str 1.55sec 44.79sec 1 274 3944

test30/test_30.20_5_0.2_2_2.2_2_2_4.2.5 nlp wc
40 lines 1977 bytes
head (2,2,2) body (2,2,2,4)
estimated blow-up 2.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.96sec 0.01sec 1 144 5240
htl 1.24sec 0.01sec 1 250 4335
str 1.54sec 5.91sec 1 262 3901

test30/test_30.20_5_0.2_2_2.2_3_2_1.14.2 nlp wc
40 lines 2269 bytes
head (2,2,2) body (2,3,2,1)
estimated blow-up 14.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 8.10sec 0.18sec 0 758 21192
htl 3.39sec 2.01sec 0 593 9241
str 4.85sec 1.74sec 0 625 8566

test30/test_30.20_5_0.2_2_2.2_3_2_2.146.1 nlp wc
40 lines 3561 bytes
head (2,2,2) body (2,3,2,2)
estimated blow-up 146.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 469.14sec 18.39sec 1 6104 280611
htl 6.87sec 79.11sec 1 927 15021
str 10.13sec 91.55sec 1 983 13900

test30/test_30.20_5_0.2_2_2.2_3_2_3.1394.6 nlp wc
40 lines 4946 bytes
head (2,2,2) body (2,3,2,3)
estimated blow-up 1394.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 37546.38sec 359.08sec -- 53540 3421685
htl 11.50sec 360.20sec -- 1259 20864
str 18.81sec 358.59sec -- 1319 18876

test30/test_30.20_5_0.2_2_2.2_3_3_1.3.2 nlp wc
40 lines 1677 bytes
head (2,2,2) body (2,3,3,1)
estimated blow-up 3.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.79sec 0.01sec 0 306 6514
htl 2.74sec 0.02sec 0 515 7501
str 3.04sec 0.02sec 0 515 6790

test30/test_30.20_5_0.2_2_2.2_3_3_2.10.2 nlp wc
40 lines 2402 bytes
head (2,2,2) body (2,3,3,2)
estimated blow-up 10.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 8.12sec 0.28sec 0 764 23816
htl 5.06sec 12.27sec 0 765 11543
str 5.68sec 13.09sec 0 765 10405

test30/test_30.20_5_0.2_2_2.2_3_3_3.31.8 nlp wc
40 lines 2978 bytes
head (2,2,2) body (2,3,3,3)
estimated blow-up 31.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 62.15sec 3.81sec 1 2132 86029
htl 7.56sec 134.55sec 1 989 14868
str 8.90sec 137.32sec 1 989 13673

test30/test_30.20_5_0.2_2_2.2_3_3_4.97.7 nlp wc
40 lines 3745 bytes
head (2,2,2) body (2,3,3,4)
estimated blow-up 97.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 469.13sec 44.07sec 0 6110 319424
htl 11.14sec 360.49sec -- 1247 19105
str 13.90sec 362.27sec -- 1247 17301

test30/test_30.20_5_0.2_2_2.3_3_3_1.1.8 nlp wc
38 lines 1237 bytes
head (2,2,2) body (3,3,3,1)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.80sec 0.00sec 1 138 3139
htl 1.13sec 0.00sec 1 241 3679
str 1.29sec 0.30sec 1 253 3437

test30/test_30.20_5_0.2_2_2.3_3_3_2.2.3 nlp wc
40 lines 1631 bytes
head (2,2,2) body (3,3,3,2)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.83sec 0.01sec 1 146 4457
htl 1.14sec 0.01sec 1 258 4259
str 1.29sec 2.97sec 1 270 3871

test30/test_30.20_5_0.2_2_2.3_3_3_3.2.6 nlp wc
40 lines 2056 bytes
head (2,2,2) body (3,3,3,3)
estimated blow-up 2.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.08sec 0.01sec 1 150 5979
htl 1.25sec 0.01sec 1 262 4725
str 1.72sec 48.96sec 1 268 4089

test30/test_30.20_5_0.2_2_2.3_3_3_4.2.8 nlp wc
40 lines 2408 bytes
head (2,2,2) body (3,3,3,4)
estimated blow-up 2.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.21sec 0.01sec 1 150 6846
htl 1.38sec 0.01sec 1 260 4893
str 1.83sec 25.29sec 1 268 4243

test30/test_30.20_5_0.2_3_2.1_1_1_1.2.6 nlp wc
45 lines 2446 bytes
head (2,3,2) body (1,1,1,1)
estimated blow-up 2.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.34sec 0.09sec 98 355 6463
htl 4.20sec 0.52sec 98 680 10096
str 4.97sec 0.65sec 98 680 9285

test30/test_30.20_5_0.2_3_2.1_1_1_2.3.1 nlp wc
45 lines 2449 bytes
head (2,3,2) body (1,1,1,2)
estimated blow-up 3.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.18sec 0.08sec 69 339 7525
htl 3.82sec 11.90sec 69 645 9565
str 4.68sec 11.42sec 69 647 8816

test30/test_30.20_5_0.2_3_2.1_1_1_3.3.5 nlp wc
43 lines 2563 bytes
head (2,3,2) body (1,1,1,3)
estimated blow-up 3.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.19sec 0.02sec 62 322 8607
htl 3.83sec 74.38sec 62 643 9775
str 4.60sec 75.81sec 62 643 8878

test30/test_30.20_5_0.2_3_2.1_1_1_4.3.9 nlp wc
45 lines 2782 bytes
head (2,3,2) body (1,1,1,4)
estimated blow-up 3.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.60sec 0.02sec 25 353 10618
htl 4.17sec 137.83sec 25 676 10366
str 5.12sec 141.01sec 25 678 9466

test30/test_30.20_5_0.2_3_2.1_2_1_1.12.4 nlp wc
45 lines 3064 bytes
head (2,3,2) body (1,2,1,1)
estimated blow-up 12.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 16.45sec 0.44sec 90 1075 27891
htl 5.58sec 2.57sec 90 792 12288
str 7.09sec 3.22sec 90 824 11489

test30/test_30.20_5_0.2_3_2.1_2_1_2.63.1 nlp wc
45 lines 3640 bytes
head (2,3,2) body (1,2,1,2)
estimated blow-up 63.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 155.80sec 2.78sec 19 3439 129893
htl 6.68sec 19.12sec 19 883 13977
str 9.31sec 31.40sec 19 927 13104

test30/test_30.20_5_0.2_3_2.1_2_1_3.293.7 nlp wc
45 lines 4414 bytes
head (2,3,2) body (1,2,1,3)
estimated blow-up 293.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3115.42sec 28.87sec 42 14840 753854
htl 8.29sec 360.63sec -- 1025 16738
str 12.32sec 357.69sec -- 1071 15272

test30/test_30.20_5_0.2_3_2.1_2_1_4.1304.1 nlp wc
45 lines 5243 bytes
head (2,3,2) body (1,2,1,4)
estimated blow-up 1304.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 36250.28sec 361.15sec -- 52088 3332423
htl 9.50sec 359.84sec -- 1131 19141
str 15.52sec 358.66sec -- 1189 17279

test30/test_30.20_5_0.2_3_2.1_2_2_1.4.7 nlp wc
44 lines 2471 bytes
head (2,3,2) body (1,2,2,1)
estimated blow-up 4.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.91sec 0.02sec 0 520 9858
htl 4.13sec 0.01sec 0 699 10394
str 4.92sec 0.01sec 0 699 9515

test30/test_30.20_5_0.2_3_2.1_2_2_2.10.3 nlp wc
45 lines 2819 bytes
head (2,3,2) body (1,2,2,2)
estimated blow-up 10.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 14.40sec 0.13sec 12 1050 24479
htl 5.39sec 0.50sec 12 790 11871
str 6.46sec 0.59sec 12 790 10861

test30/test_30.20_5_0.2_3_2.1_2_2_3.22.6 nlp wc
44 lines 3074 bytes
head (2,3,2) body (1,2,2,3)
estimated blow-up 22.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 51.58sec 0.30sec 14 1993 57669
htl 6.04sec 3.47sec 14 856 13016
str 7.04sec 3.42sec 14 856 11805

test30/test_30.20_5_0.2_3_2.1_2_2_4.48.7 nlp wc
45 lines 3360 bytes
head (2,3,2) body (1,2,2,4)
estimated blow-up 48.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 194.69sec 1.76sec 24 3954 134748
htl 6.79sec 14.85sec 24 919 14087
str 8.32sec 20.06sec 24 919 12743

test30/test_30.20_5_0.2_3_2.1_3_1_1.101.4 nlp wc
45 lines 4035 bytes
head (2,3,2) body (1,3,1,1)
estimated blow-up 101.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 391.63sec 2.38sec 6 5546 199319
htl 6.96sec 11.16sec 6 926 15294
str 10.30sec 10.38sec 6 972 13838

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