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

Individual tests

test25/test_25.20_5_0.1_1_1.1_1_1_1.1.2 nlp wc
30 lines 592 bytes
head (1,1,1) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.33sec 0.00sec 1 88 1476
htl 0.57sec 0.00sec 1 158 2249
str 0.74sec 0.04sec 1 162 2038

test25/test_25.20_5_0.1_1_1.1_1_1_2.1.3 nlp wc
30 lines 733 bytes
head (1,1,1) body (1,1,1,2)
estimated blow-up 1.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.48sec 0.04sec 1 84 1692
htl 0.66sec 0.03sec 1 148 2265
str 0.88sec 0.06sec 1 164 2180

test25/test_25.20_5_0.1_1_1.1_1_1_3.1.4 nlp wc
30 lines 845 bytes
head (1,1,1) body (1,1,1,3)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.59sec 0.05sec 0 78 1780
htl 0.67sec 0.04sec 0 130 2076
str 0.59sec 0.01sec 0 150 2070

test25/test_25.20_5_0.1_1_1.1_1_1_4.1.5 nlp wc
30 lines 921 bytes
head (1,1,1) body (1,1,1,4)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.63sec 0.04sec 1 80 1999
htl 0.69sec 0.01sec 1 150 2442
str 0.91sec 0.41sec 1 164 2291

test25/test_25.20_5_0.1_1_1.1_2_1_1.4.7 nlp wc
30 lines 1131 bytes
head (1,1,1) body (1,2,1,1)
estimated blow-up 4.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.22sec 0.06sec 0 208 4515
htl 1.33sec 0.04sec 0 263 4133
str 1.75sec 0.01sec 0 289 3779

test25/test_25.20_5_0.1_1_1.1_2_1_2.20.4 nlp wc
30 lines 1801 bytes
head (1,1,1) body (1,2,1,2)
estimated blow-up 20.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 8.82sec 0.17sec 0 672 22822
htl 2.59sec 10.82sec 0 409 6618
str 3.94sec 19.42sec 0 441 6044

test25/test_25.20_5_0.1_1_1.1_2_1_3.85.3 nlp wc
30 lines 2598 bytes
head (1,1,1) body (1,2,1,3)
estimated blow-up 85.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 191.56sec 6.05sec 1 2428 117231
htl 6.61sec 0.44sec 1 518 8932
str 9.51sec 86.31sec 1 564 7942

test25/test_25.20_5_0.1_1_1.1_2_1_4.350.0 nlp wc
30 lines 3331 bytes
head (1,1,1) body (1,2,1,4)
estimated blow-up 350.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2562.50sec 176.95sec 1 9532 575585
htl 8.27sec 25.74sec 1 628 11179
str 14.08sec 223.52sec 1 676 9616

test25/test_25.20_5_0.1_1_1.1_2_2_1.1.8 nlp wc
30 lines 723 bytes
head (1,1,1) body (1,2,2,1)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.54sec 0.08sec 0 122 2069
htl 2.17sec 0.08sec 0 213 3089
str 2.37sec 0.08sec 0 215 2696

test25/test_25.20_5_0.1_1_1.1_2_2_2.3.7 nlp wc
30 lines 1025 bytes
head (1,1,1) body (1,2,2,2)
estimated blow-up 3.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.74sec 0.01sec 1 204 4254
htl 3.00sec 0.08sec 1 284 4208
str 3.07sec 0.40sec 1 284 3630

test25/test_25.20_5_0.1_1_1.1_2_2_3.7.4 nlp wc
30 lines 1247 bytes
head (1,1,1) body (1,2,2,3)
estimated blow-up 7.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.19sec 0.12sec 1 358 8978
htl 3.12sec 2.08sec 1 343 5088
str 3.60sec 4.30sec 1 343 4465

test25/test_25.20_5_0.1_1_1.1_2_2_4.15.0 nlp wc
30 lines 1540 bytes
head (1,1,1) body (1,2,2,4)
estimated blow-up 15.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 14.23sec 0.53sec 1 636 20134
htl 4.27sec 1.44sec 1 391 5978
str 5.12sec 1.94sec 1 391 5168

test25/test_25.20_5_0.1_1_1.1_3_1_1.32.0 nlp wc
30 lines 2126 bytes
head (1,1,1) body (1,3,1,1)
estimated blow-up 32.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 28.30sec 0.37sec 2 920 28994
htl 4.59sec 0.11sec 2 416 7237
str 6.67sec 0.19sec 2 454 6256

test25/test_25.20_5_0.1_1_1.1_3_1_2.821.0 nlp wc
30 lines 3751 bytes
head (1,1,1) body (1,3,1,2)
estimated blow-up 821.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 12694.41sec 322.48sec 2 19598 1040772
htl 8.83sec 4.84sec 2 662 12188
str 15.43sec 11.49sec 2 704 10042

test25/test_25.20_5_0.1_1_1.1_3_2_1.10.2 nlp wc
30 lines 1500 bytes
head (1,1,1) body (1,3,2,1)
estimated blow-up 10.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.52sec 0.02sec 1 398 9175
htl 3.56sec 0.09sec 1 318 5264
str 3.99sec 0.01sec 1 354 4745

test25/test_25.20_5_0.1_1_1.1_3_2_2.97.7 nlp wc
30 lines 2456 bytes
head (1,1,1) body (1,3,2,2)
estimated blow-up 97.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 273.33sec 11.18sec 0 3120 110991
htl 5.19sec 0.58sec 0 470 8109
str 8.75sec 0.93sec 0 516 7229

test25/test_25.20_5_0.1_1_1.1_3_2_3.905.0 nlp wc
30 lines 3520 bytes
head (1,1,1) body (1,3,2,3)
estimated blow-up 905.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 19421.47sec 773.83sec -- 25172 1235533
htl 8.08sec 0.55sec 0 612 11081
str 14.66sec 1.08sec 0 662 9456

test25/test_25.20_5_0.1_1_1.1_3_3_1.2.3 nlp wc
30 lines 838 bytes
head (1,1,1) body (1,3,3,1)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.12sec 0.00sec 1 152 2537
htl 2.17sec 0.00sec 1 230 3432
str 2.50sec 0.00sec 1 230 2936

test25/test_25.20_5_0.1_1_1.1_3_3_2.6.5 nlp wc
30 lines 1241 bytes
head (1,1,1) body (1,3,3,2)
estimated blow-up 6.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.08sec 0.10sec 0 398 8385
htl 3.52sec 0.08sec 0 327 4964
str 3.63sec 0.08sec 0 327 4222

test25/test_25.20_5_0.1_1_1.1_3_3_3.19.1 nlp wc
30 lines 1581 bytes
head (1,1,1) body (1,3,3,3)
estimated blow-up 19.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 34.28sec 1.43sec 0 1092 28290
htl 4.50sec 0.38sec 0 410 6257
str 5.14sec 0.39sec 0 410 5401

test25/test_25.20_5_0.1_1_1.1_3_3_4.56.6 nlp wc
30 lines 1994 bytes
head (1,1,1) body (1,3,3,4)
estimated blow-up 56.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 250.03sec 13.80sec 1 3012 96540
htl 5.35sec 2.27sec 1 475 7454
str 6.66sec 2.95sec 1 475 6417

test25/test_25.20_5_0.1_1_1.2_2_2_1.1.3 nlp wc
30 lines 697 bytes
head (1,1,1) body (2,2,2,1)
estimated blow-up 1.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.53sec 0.08sec 0 80 1546
htl 1.75sec 0.00sec 0 144 2138
str 1.75sec 0.06sec 0 154 2014

test25/test_25.20_5_0.1_1_1.2_2_2_2.1.5 nlp wc
30 lines 975 bytes
head (1,1,1) body (2,2,2,2)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.72sec 0.00sec 1 84 2077
htl 2.06sec 0.09sec 1 148 2444
str 2.08sec 0.23sec 1 164 2310

test25/test_25.20_5_0.1_1_1.2_2_2_3.1.6 nlp wc
30 lines 1260 bytes
head (1,1,1) body (2,2,2,3)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.64sec 0.00sec 1 76 2368
htl 1.49sec 0.00sec 1 116 2198
str 2.24sec 0.08sec 1 140 2158

test25/test_25.20_5_0.1_1_1.2_2_2_4.1.6 nlp wc
30 lines 1454 bytes
head (1,1,1) body (2,2,2,4)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.06sec 0.08sec 1 80 2736
htl 1.68sec 0.09sec 1 138 2643
str 2.27sec 0.10sec 1 160 2514

test25/test_25.20_5_0.1_1_1.2_3_2_1.9.2 nlp wc
30 lines 1764 bytes
head (1,1,1) body (2,3,2,1)
estimated blow-up 9.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.92sec 0.03sec 1 412 11198
htl 5.93sec 3.77sec 1 511 7903
str 7.21sec 10.31sec 1 541 7297

test25/test_25.20_5_0.1_1_1.2_3_2_2.85.6 nlp wc
30 lines 3116 bytes
head (1,1,1) body (2,3,2,2)
estimated blow-up 85.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 306.53sec 19.63sec 1 3248 149428
htl 12.40sec 42.89sec 1 839 13664
str 18.69sec 87.82sec 1 885 12398

test25/test_25.20_5_0.1_1_1.2_3_2_3.782.3 nlp wc
30 lines 4358 bytes
head (1,1,1) body (2,3,2,3)
estimated blow-up 782.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 22763.34sec 773.67sec -- 26630 1648999
htl 21.29sec 576.07sec 1 1150 18884
str 34.55sec 585.22sec 1 1198 16938

test25/test_25.20_5_0.1_1_1.2_3_3_1.2.2 nlp wc
30 lines 1115 bytes
head (1,1,1) body (2,3,3,1)
estimated blow-up 2.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.93sec 0.01sec 1 158 3207
htl 4.57sec 0.28sec 1 405 5702
str 4.42sec 0.39sec 1 405 5155

test25/test_25.20_5_0.1_1_1.2_3_3_2.6.3 nlp wc
30 lines 1892 bytes
head (1,1,1) body (2,3,3,2)
estimated blow-up 6.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.66sec 0.19sec 1 380 11825
htl 8.05sec 73.92sec 1 630 9369
str 9.31sec 80.10sec 1 630 8432

test25/test_25.20_5_0.1_1_1.2_3_3_3.18.6 nlp wc
30 lines 2621 bytes
head (1,1,1) body (2,3,3,3)
estimated blow-up 18.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 40.42sec 1.61sec 1 1126 47332
htl 13.79sec 71.83sec 1 915 13845
str 17.54sec 74.35sec 1 915 12503

test25/test_25.20_5_0.1_1_1.2_3_3_4.55.4 nlp wc
30 lines 3196 bytes
head (1,1,1) body (2,3,3,4)
estimated blow-up 55.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 293.64sec 27.34sec 1 3174 160012
htl 20.88sec 395.16sec 1 1146 17381
str 27.23sec 434.04sec 1 1146 15728

test25/test_25.20_5_0.1_1_1.3_3_3_1.1.4 nlp wc
30 lines 816 bytes
head (1,1,1) body (3,3,3,1)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.53sec 0.07sec 0 80 1758
htl 1.85sec 0.00sec 0 132 2068
str 1.82sec 0.01sec 0 146 1989

test25/test_25.20_5_0.1_1_1.3_3_3_2.1.6 nlp wc
30 lines 1180 bytes
head (1,1,1) body (3,3,3,2)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.65sec 0.04sec 1 80 2379
htl 1.88sec 0.08sec 1 144 2559
str 2.13sec 0.31sec 1 164 2454

test25/test_25.20_5_0.1_1_1.3_3_3_3.1.7 nlp wc
30 lines 1493 bytes
head (1,1,1) body (3,3,3,3)
estimated blow-up 1.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.31sec 0.04sec 1 84 3003
htl 2.41sec 0.00sec 1 148 2902
str 2.43sec 0.11sec 1 166 2694

test25/test_25.20_5_0.1_1_1.3_3_3_4.1.7 nlp wc
30 lines 1877 bytes
head (1,1,1) body (3,3,3,4)
estimated blow-up 1.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.54sec 0.00sec 1 80 3442
htl 2.13sec 0.08sec 1 144 3094
str 2.76sec 0.24sec 1 164 2820

test25/test_25.20_5_0.1_2_1.1_1_1_1.1.2 nlp wc
40 lines 1513 bytes
head (1,2,1) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.80sec 0.08sec 28 143 2713
htl 4.06sec 0.48sec 28 365 5358
str 4.56sec 0.52sec 28 365 4680

test25/test_25.20_5_0.1_2_1.1_1_1_2.1.5 nlp wc
40 lines 1626 bytes
head (1,2,1) body (1,1,1,2)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.17sec 0.03sec 45 150 3253
htl 4.04sec 10.97sec 45 379 5704
str 4.72sec 12.31sec 45 381 5011

test25/test_25.20_5_0.1_2_1.1_1_1_3.1.6 nlp wc
40 lines 1756 bytes
head (1,2,1) body (1,1,1,3)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.30sec 0.01sec 14 138 3536
htl 3.67sec 0.40sec 14 346 5323
str 4.39sec 0.40sec 14 354 4682

test25/test_25.20_5_0.1_2_1.1_1_1_4.1.8 nlp wc
40 lines 1857 bytes
head (1,2,1) body (1,1,1,4)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.13sec 0.05sec 12 139 3925
htl 3.98sec 2.92sec 12 353 5483
str 4.73sec 3.63sec 12 363 4891

test25/test_25.20_5_0.1_2_1.1_2_1_1.5.8 nlp wc
40 lines 2056 bytes
head (1,2,1) body (1,2,1,1)
estimated blow-up 5.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.04sec 0.06sec 8 367 9348
htl 5.53sec 0.19sec 8 477 7375
str 7.71sec 0.24sec 8 505 6820

test25/test_25.20_5_0.1_2_1.1_2_1_2.28.5 nlp wc
40 lines 2846 bytes
head (1,2,1) body (1,2,1,2)
estimated blow-up 28.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 54.07sec 1.05sec 11 1302 50931
htl 7.71sec 12.32sec 11 598 9858
str 11.85sec 20.46sec 11 636 8852

test25/test_25.20_5_0.1_2_1.1_2_1_3.128.0 nlp wc
40 lines 3484 bytes
head (1,2,1) body (1,2,1,3)
estimated blow-up 128.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 692.90sec 13.84sec 11 4935 251547
htl 9.81sec 82.57sec 11 697 11793
str 15.32sec 198.32sec 11 743 10532

test25/test_25.20_5_0.1_2_1.1_2_1_4.551.4 nlp wc
40 lines 4268 bytes
head (1,2,1) body (1,2,1,4)
estimated blow-up 551.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 10914.08sec 489.30sec 3 19525 1240667
htl 12.71sec 196.90sec 3 821 14305
str 21.46sec 254.23sec 3 871 12447

test25/test_25.20_5_0.1_2_1.1_2_2_1.2.1 nlp wc
39 lines 1600 bytes
head (1,2,1) body (1,2,2,1)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.99sec 0.00sec 0 222 4366
htl 4.61sec 0.08sec 0 410 6020
str 5.63sec 0.08sec 0 410 5307

test25/test_25.20_5_0.1_2_1.1_2_2_2.4.7 nlp wc
40 lines 1902 bytes
head (1,2,1) body (1,2,2,2)
estimated blow-up 4.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.83sec 0.11sec 15 372 8891
htl 5.57sec 0.65sec 15 477 7140
str 6.16sec 0.75sec 15 477 6312

test25/test_25.20_5_0.1_2_1.1_2_2_3.10.1 nlp wc
40 lines 2053 bytes
head (1,2,1) body (1,2,2,3)
estimated blow-up 10.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 14.33sec 0.21sec 0 646 18009
htl 6.03sec 0.08sec 0 512 7714
str 6.93sec 0.08sec 0 512 6835

test25/test_25.20_5_0.1_2_1.1_2_2_4.21.4 nlp wc
40 lines 2432 bytes
head (1,2,1) body (1,2,2,4)
estimated blow-up 21.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 50.66sec 1.76sec 12 1295 44637
htl 7.81sec 3.84sec 12 570 8760
str 9.42sec 5.85sec 12 570 7718

test25/test_25.20_5_0.1_2_1.1_3_1_1.45.5 nlp wc
39 lines 2824 bytes
head (1,2,1) body (1,3,1,1)
estimated blow-up 45.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 93.00sec 0.74sec 0 1749 60444
htl 7.66sec 0.01sec 0 586 9684
str 10.96sec 0.08sec 0 610 8395

test25/test_25.20_5_0.1_2_1.1_3_1_2.1316.6 nlp wc
40 lines 4622 bytes
head (1,2,1) body (1,3,1,2)
estimated blow-up 1316.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 51498.62sec 159.95sec 30 37463 2136069
htl 13.67sec 136.54sec 30 852 15330
str 23.17sec 133.37sec 30 896 12908

test25/test_25.20_5_0.1_2_1.1_3_2_1.13.6 nlp wc
40 lines 2460 bytes
head (1,2,1) body (1,3,2,1)
estimated blow-up 13.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 18.62sec 0.24sec 3 767 20755
htl 6.19sec 0.10sec 3 515 8333
str 8.86sec 0.10sec 3 553 7632

test25/test_25.20_5_0.1_2_1.1_3_2_2.147.3 nlp wc
40 lines 3408 bytes
head (1,2,1) body (1,3,2,2)
estimated blow-up 147.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1165.89sec 18.28sec 14 6549 258575
htl 9.47sec 0.25sec 14 677 11449
str 14.72sec 0.40sec 14 719 10162

test25/test_25.20_5_0.1_2_1.1_3_2_3.1458.0 nlp wc
40 lines 4533 bytes
head (1,2,1) body (1,3,2,3)
estimated blow-up 1458.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 90546.52sec 779.23sec -- 51912 2699807
htl 13.39sec 7.73sec 29 847 14971
str 22.88sec 9.95sec 29 895 12880

test25/test_25.20_5_0.1_2_1.1_3_3_1.2.9 nlp wc
40 lines 1732 bytes
head (1,2,1) body (1,3,3,1)
estimated blow-up 2.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.42sec 0.05sec 0 273 5410
htl 4.99sec 0.01sec 0 436 6501
str 5.38sec 0.01sec 0 436 5729

test25/test_25.20_5_0.1_2_1.1_3_3_2.9.1 nlp wc
40 lines 2125 bytes
head (1,2,1) body (1,3,3,2)
estimated blow-up 9.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 18.45sec 0.22sec 0 763 18633
htl 6.37sec 0.09sec 0 519 7885
str 7.25sec 0.09sec 0 519 6927

test25/test_25.20_5_0.1_2_1.1_3_3_3.28.5 nlp wc
40 lines 2505 bytes
head (1,2,1) body (1,3,3,3)
estimated blow-up 28.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 170.17sec 4.32sec 7 2129 62777
htl 7.45sec 0.26sec 7 611 9425
str 9.73sec 0.19sec 7 611 8297

test25/test_25.20_5_0.1_2_1.1_3_3_4.88.4 nlp wc
39 lines 2832 bytes
head (1,2,1) body (1,3,3,4)
estimated blow-up 88.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 973.60sec 30.21sec 0 6030 211854
htl 9.04sec 0.05sec 0 663 10415
str 11.60sec 0.04sec 0 663 9106

test25/test_25.20_5_0.1_2_1.2_2_2_1.1.5 nlp wc
39 lines 1589 bytes
head (1,2,1) body (2,2,2,1)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.95sec 0.08sec 0 140 3149
htl 3.96sec 0.04sec 0 348 5220
str 4.49sec 0.01sec 0 354 4592

test25/test_25.20_5_0.1_2_1.2_2_2_2.1.8 nlp wc
40 lines 1830 bytes
head (1,2,1) body (2,2,2,2)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.12sec 0.01sec 15 147 3945
htl 4.09sec 71.44sec 15 361 5651
str 4.70sec 74.12sec 15 363 4888

test25/test_25.20_5_0.1_2_1.2_2_2_3.2.1 nlp wc
40 lines 2190 bytes
head (1,2,1) body (2,2,2,3)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.65sec 0.01sec 16 147 4917
htl 4.45sec 61.62sec 16 370 5978
str 4.81sec 69.38sec 16 374 5170

test25/test_25.20_5_0.1_2_1.2_2_2_4.2.3 nlp wc
40 lines 2420 bytes
head (1,2,1) body (2,2,2,4)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.21sec 0.04sec 16 143 5681
htl 4.16sec 15.74sec 16 366 6115
str 5.74sec 15.57sec 16 374 5313

test25/test_25.20_5_0.1_2_1.2_3_2_1.13.3 nlp wc
40 lines 2689 bytes
head (1,2,1) body (2,3,2,1)
estimated blow-up 13.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 19.07sec 0.40sec 9 756 23206
htl 9.35sec 1.22sec 9 682 10714
str 12.53sec 1.76sec 9 718 9947

test25/test_25.20_5_0.1_2_1.2_3_2_2.138.9 nlp wc
40 lines 3990 bytes
head (1,2,1) body (2,3,2,2)
estimated blow-up 138.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1083.78sec 51.59sec 20 6181 301816
htl 17.26sec 158.23sec 20 1022 16611
str 26.53sec 183.21sec 20 1064 15016

test25/test_25.20_5_0.1_2_1.2_3_2_3.1339.8 nlp wc
40 lines 5343 bytes
head (1,2,1) body (2,3,2,3)
estimated blow-up 1339.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 95917.59sec 773.76sec -- 54826 3684127
htl 29.08sec 774.72sec -- 1359 22429
str 47.35sec 676.51sec 8 1407 20000

test25/test_25.20_5_0.1_2_1.2_3_3_1.3.1 nlp wc
40 lines 2012 bytes
head (1,2,1) body (2,3,3,1)
estimated blow-up 3.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.37sec 0.02sec 16 302 6969
htl 7.71sec 0.24sec 16 617 9074
str 9.09sec 0.40sec 16 617 8210

test25/test_25.20_5_0.1_2_1.2_3_3_2.9.9 nlp wc
40 lines 2817 bytes
head (1,2,1) body (2,3,3,2)
estimated blow-up 9.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 19.89sec 0.40sec 28 784 26877
htl 13.55sec 24.93sec 28 884 13398
str 16.81sec 26.03sec 28 884 12046

test25/test_25.20_5_0.1_2_1.2_3_3_3.30.9 nlp wc
40 lines 3432 bytes
head (1,2,1) body (2,3,3,3)
estimated blow-up 30.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 132.41sec 6.50sec 4 2089 92616
htl 19.76sec 114.49sec 4 1099 16785
str 25.41sec 117.47sec 4 1099 15204

test25/test_25.20_5_0.1_2_1.2_3_3_4.95.3 nlp wc
40 lines 4134 bytes
head (1,2,1) body (2,3,3,4)
estimated blow-up 95.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1142.07sec 36.25sec 12 6353 340046
htl 29.03sec 378.56sec 12 1366 20889
str 37.73sec 377.62sec 12 1366 19008

test25/test_25.20_5_0.1_2_1.3_3_3_1.1.6 nlp wc
39 lines 1757 bytes
head (1,2,1) body (3,3,3,1)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.28sec 0.08sec 0 144 3717
htl 4.09sec 0.01sec 0 367 5643
str 4.72sec 0.04sec 0 369 4899

test25/test_25.20_5_0.1_2_1.3_3_3_2.2.1 nlp wc
40 lines 2101 bytes
head (1,2,1) body (3,3,3,2)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.59sec 0.01sec 2 143 4831
htl 3.80sec 57.75sec 2 351 5742
str 4.73sec 66.80sec 2 355 4937

test25/test_25.20_5_0.1_2_1.3_3_3_3.2.4 nlp wc
40 lines 2529 bytes
head (1,2,1) body (3,3,3,3)
estimated blow-up 2.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.84sec 0.09sec 32 145 6232
htl 4.46sec 33.52sec 32 362 6223
str 5.21sec 38.23sec 32 368 5297

test25/test_25.20_5_0.1_2_1.3_3_3_4.2.6 nlp wc
40 lines 2774 bytes
head (1,2,1) body (3,3,3,4)
estimated blow-up 2.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.00sec 0.01sec 32 146 7070
htl 3.81sec 69.08sec 32 352 6306
str 5.73sec 69.63sec 32 356 5323

test25/test_25.20_5_0.1_2_2.1_1_1_1.1.2 nlp wc
34 lines 1058 bytes
head (1,2,2) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.89sec 4.27sec 11244 123 2213
htl 3.20sec 115.55sec 11244 292 4079
str 3.35sec 115.47sec 11244 292 3698

test25/test_25.20_5_0.1_2_2.1_1_1_2.1.4 nlp wc
35 lines 1197 bytes
head (1,2,2) body (1,1,1,2)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.58sec 0.54sec 921 117 2436
htl 2.83sec 77.75sec 921 271 3874
str 2.84sec 77.90sec 921 275 3579

test25/test_25.20_5_0.1_2_2.1_1_1_3.1.5 nlp wc
35 lines 1308 bytes
head (1,2,2) body (1,1,1,3)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.82sec 0.09sec 145 114 2740
htl 2.97sec 52.65sec 145 271 3997
str 3.30sec 52.65sec 145 275 3640

test25/test_25.20_5_0.1_2_2.1_1_1_4.1.6 nlp wc
35 lines 1364 bytes
head (1,2,2) body (1,1,1,4)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.95sec 0.07sec 308 121 3153
htl 2.80sec 773.29sec -- 275 4218
str 3.34sec 774.41sec -- 275 3719

test25/test_25.20_5_0.1_2_2.1_2_1_1.5.3 nlp wc
35 lines 1696 bytes
head (1,2,2) body (1,2,1,1)
estimated blow-up 5.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.47sec 2.28sec 3202 298 7348
htl 4.22sec 63.86sec 3202 398 6042
str 5.47sec 127.96sec 3202 430 5794

test25/test_25.20_5_0.1_2_2.1_2_1_2.24.8 nlp wc
35 lines 2319 bytes
head (1,2,2) body (1,2,1,2)
estimated blow-up 24.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 33.03sec 8.80sec 2065 1022 37001
htl 5.96sec 445.61sec 2065 520 8201
str 8.42sec 774.26sec -- 550 7544

test25/test_25.20_5_0.1_2_2.1_2_1_3.108.3 nlp wc
35 lines 3104 bytes
head (1,2,2) body (1,2,1,3)
estimated blow-up 108.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 398.35sec 19.52sec 1031 3697 186643
htl 8.27sec 773.36sec -- 613 10335
str 13.09sec 773.42sec -- 657 9255

test25/test_25.20_5_0.1_2_2.1_2_1_4.457.5 nlp wc
35 lines 3615 bytes
head (1,2,2) body (1,2,1,4)
estimated blow-up 457.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4451.82sec 160.73sec 335 12291 753630
htl 10.35sec 773.27sec -- 721 12166
str 16.44sec 773.76sec -- 765 10897

test25/test_25.20_5_0.1_2_2.1_2_2_1.2.0 nlp wc
35 lines 1176 bytes
head (1,2,2) body (1,2,2,1)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.57sec 1.25sec 3549 168 3092
htl 3.61sec 5.21sec 3549 319 4531
str 3.19sec 9.14sec 3549 319 4025

test25/test_25.20_5_0.1_2_2.1_2_2_2.4.3 nlp wc
35 lines 1510 bytes
head (1,2,2) body (1,2,2,2)
estimated blow-up 4.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.89sec 1.61sec 2175 290 6640
htl 4.47sec 13.55sec 2175 394 5659
str 4.40sec 65.22sec 2175 394 5138

test25/test_25.20_5_0.1_2_2.1_2_2_3.9.0 nlp wc
35 lines 1746 bytes
head (1,2,2) body (1,2,2,3)
estimated blow-up 9.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 10.01sec 2.41sec 2164 528 14454
htl 5.57sec 322.32sec 2164 470 6865
str 6.06sec 627.85sec 2164 470 6240

test25/test_25.20_5_0.1_2_2.1_2_2_4.18.6 nlp wc
35 lines 2042 bytes
head (1,2,2) body (1,2,2,4)
estimated blow-up 18.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 29.87sec 2.91sec 1435 969 33200
htl 6.07sec 389.41sec 1435 503 7575
str 7.22sec 738.96sec 1435 503 6773

test25/test_25.20_5_0.1_2_2.1_3_1_1.39.3 nlp wc
35 lines 2540 bytes
head (1,2,2) body (1,3,1,1)
estimated blow-up 39.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 52.20sec 6.19sec 2255 1279 43690
htl 6.61sec 358.80sec 2255 515 8565
str 9.19sec 419.60sec 2255 547 7567

test25/test_25.20_5_0.1_2_2.1_3_1_2.1084.2 nlp wc
35 lines 4207 bytes
head (1,2,2) body (1,3,1,2)
estimated blow-up 1084.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 27073.87sec 385.01sec 1421 30808 1704576
htl 11.84sec 774.53sec -- 777 13819
str 19.83sec 774.36sec -- 819 11710

test25/test_25.20_5_0.1_2_2.1_3_2_1.12.1 nlp wc
35 lines 1965 bytes
head (1,2,2) body (1,3,2,1)
estimated blow-up 12.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 11.63sec 61.70sec 64953 585 14655
htl 5.21sec 110.73sec 64953 443 6873
str 6.71sec 124.75sec 64953 475 6432

test25/test_25.20_5_0.1_2_2.1_3_2_2.124.6 nlp wc
35 lines 3018 bytes
head (1,2,2) body (1,3,2,2)
estimated blow-up 124.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 617.34sec 500.66sec 34888 4711 181846
htl 8.06sec 256.41sec 34888 610 10293
str 12.74sec 414.87sec 34888 660 9327

test25/test_25.20_5_0.1_2_2.1_3_2_3.1200.7 nlp wc
35 lines 3968 bytes
head (1,2,2) body (1,3,2,3)
estimated blow-up 1200.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 42024.23sec 774.44sec -- 37189 1900245
htl 11.02sec 652.32sec 4109 760 13182
str 19.31sec 775.14sec -- 806 11471

test25/test_25.20_5_0.1_2_2.1_3_3_1.2.7 nlp wc
34 lines 1247 bytes
head (1,2,2) body (1,3,3,1)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.84sec 1.78sec 4622 217 3911
htl 3.74sec 9.41sec 4622 341 4776
str 3.57sec 9.66sec 4622 341 4324

test25/test_25.20_5_0.1_2_2.1_3_3_2.8.1 nlp wc
35 lines 1729 bytes
head (1,2,2) body (1,3,3,2)
estimated blow-up 8.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 11.43sec 9.25sec 13924 587 13642
htl 4.77sec 37.04sec 13924 440 6443
str 5.41sec 46.98sec 13924 440 5822

test25/test_25.20_5_0.1_2_2.1_3_3_3.24.6 nlp wc
35 lines 2078 bytes
head (1,2,2) body (1,3,3,3)
estimated blow-up 24.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 66.93sec 99.40sec 48160 1519 42588
htl 6.53sec 232.18sec 48160 520 7785
str 7.29sec 219.14sec 48160 520 6988

test25/test_25.20_5_0.1_2_2.1_3_3_4.74.8 nlp wc
35 lines 2367 bytes
head (1,2,2) body (1,3,3,4)
estimated blow-up 74.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 575.22sec 438.82sec 37276 4597 151773
htl 7.44sec 320.24sec 37276 589 8967
str 9.11sec 294.85sec 37276 589 8008

test25/test_25.20_5_0.1_2_2.2_2_2_1.1.4 nlp wc
35 lines 1138 bytes
head (1,2,2) body (2,2,2,1)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.48sec 0.04sec 424 117 2408
htl 2.86sec 116.31sec 424 268 3867
str 2.94sec 116.06sec 424 270 3514

test25/test_25.20_5_0.1_2_2.2_2_2_2.1.6 nlp wc
35 lines 1418 bytes
head (1,2,2) body (2,2,2,2)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.82sec 0.04sec 447 123 3104
htl 3.14sec 773.22sec -- 286 4351
str 3.44sec 774.26sec -- 288 3896

test25/test_25.20_5_0.1_2_2.2_2_2_3.1.8 nlp wc
34 lines 1722 bytes
head (1,2,2) body (2,2,2,3)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.08sec 0.08sec 30 119 3769
htl 2.96sec 184.39sec 30 282 4473
str 3.58sec 184.16sec 30 286 3994

test25/test_25.20_5_0.1_2_2.2_2_2_4.2.0 nlp wc
35 lines 1959 bytes
head (1,2,2) body (2,2,2,4)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.96sec 0.02sec 135 116 4284
htl 3.03sec 33.74sec 135 270 4533
str 3.54sec 133.89sec 135 276 4043

test25/test_25.20_5_0.1_2_2.2_3_2_1.11.5 nlp wc
35 lines 2163 bytes
head (1,2,2) body (2,3,2,1)
estimated blow-up 11.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 12.22sec 3.50sec 2002 586 16743
htl 7.69sec 532.18sec 2002 609 9183
str 9.66sec 557.72sec 2002 637 8673

test25/test_25.20_5_0.1_2_2.2_3_2_2.114.4 nlp wc
35 lines 3621 bytes
head (1,2,2) body (2,3,2,2)
estimated blow-up 114.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 561.29sec 29.75sec 535 4438 213314
htl 14.94sec 776.79sec -- 920 14884
str 22.57sec 847.40sec -- 962 13493

test25/test_25.20_5_0.1_2_2.2_3_2_3.1077.6 nlp wc
35 lines 4965 bytes
head (1,2,2) body (2,3,2,3)
estimated blow-up 1077.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 54055.59sec 773.51sec -- 39433 2555719
htl 24.98sec 778.90sec -- 1255 20705
str 41.85sec 779.16sec -- 1305 18578

test25/test_25.20_5_0.1_2_2.2_3_3_1.2.7 nlp wc
35 lines 1611 bytes
head (1,2,2) body (2,3,3,1)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.16sec 7.00sec 13950 235 5222
htl 6.02sec 207.39sec 13950 531 7552
str 6.78sec 206.83sec 13950 531 6974

test25/test_25.20_5_0.1_2_2.2_3_3_2.8.3 nlp wc
34 lines 2246 bytes
head (1,2,2) body (2,3,3,2)
estimated blow-up 8.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 12.44sec 1.13sec 421 582 18083
htl 11.01sec 386.64sec 421 766 11148
str 12.10sec 382.83sec 421 766 10314

test25/test_25.20_5_0.1_2_2.2_3_3_3.25.4 nlp wc
34 lines 2988 bytes
head (1,2,2) body (2,3,3,3)
estimated blow-up 25.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 88.59sec 2.95sec 88 1682 71415
htl 17.96sec 773.95sec -- 1037 15460
str 22.04sec 774.38sec -- 1037 14195

test25/test_25.20_5_0.1_2_2.2_3_3_4.77.1 nlp wc
35 lines 3751 bytes
head (1,2,2) body (2,3,3,4)
estimated blow-up 77.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 668.47sec 50.11sec 93 4836 257156
htl 26.34sec 774.45sec -- 1294 19620
str 34.18sec 773.45sec -- 1294 17887

test25/test_25.20_5_0.1_2_2.3_3_3_1.1.5 nlp wc
35 lines 1265 bytes
head (1,2,2) body (3,3,3,1)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.89sec 0.04sec 279 118 2777
htl 2.63sec 157.89sec 279 275 4084
str 2.97sec 165.84sec 279 279 3704

test25/test_25.20_5_0.1_2_2.3_3_3_2.1.8 nlp wc
35 lines 1686 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.01sec 72 116 3712
htl 3.13sec 139.90sec 72 270 4306
str 3.41sec 141.82sec 72 278 3915

test25/test_25.20_5_0.1_2_2.3_3_3_3.2.0 nlp wc
34 lines 2016 bytes
head (1,2,2) body (3,3,3,3)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.98sec 0.09sec 81 118 4493
htl 3.16sec 77.12sec 81 274 4612
str 3.74sec 78.39sec 81 280 4106

test25/test_25.20_5_0.1_2_2.3_3_3_4.2.2 nlp wc
33 lines 2365 bytes
head (1,2,2) body (3,3,3,4)
estimated blow-up 2.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.94sec 0.01sec 18 120 5419
htl 2.86sec 294.61sec 18 280 4978
str 4.32sec 294.46sec 18 284 4350

test25/test_25.20_5_0.1_3_1.1_1_1_1.1.3 nlp wc
55 lines 2579 bytes
head (1,3,1) body (1,1,1,1)
estimated blow-up 1.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.97sec 0.04sec 0 204 4163
htl 6.87sec 0.11sec 0 528 8151
str 8.83sec 0.05sec 0 530 7054

test25/test_25.20_5_0.1_3_1.1_1_1_2.1.5 nlp wc
55 lines 2886 bytes
head (1,3,1) body (1,1,1,2)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.20sec 0.03sec 76 217 5287
htl 7.32sec 2.14sec 76 560 8856
str 9.18sec 2.41sec 76 562 7670

test25/test_25.20_5_0.1_3_1.1_1_1_3.1.8 nlp wc
53 lines 3026 bytes
head (1,3,1) body (1,1,1,3)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.36sec 0.08sec 3 212 5889
htl 7.24sec 0.88sec 3 558 8937
str 9.92sec 1.05sec 3 564 7769

test25/test_25.20_5_0.1_3_1.1_1_1_4.2.0 nlp wc
55 lines 3164 bytes
head (1,3,1) body (1,1,1,4)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.98sec 0.06sec 31 217 6708
htl 7.47sec 12.71sec 31 569 9244
str 10.48sec 16.13sec 31 571 7939

test25/test_25.20_5_0.1_3_1.1_2_1_1.6.4 nlp wc
55 lines 3325 bytes
head (1,3,1) body (1,2,1,1)
estimated blow-up 6.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 13.60sec 0.18sec 18 627 16883
htl 9.59sec 0.42sec 18 687 11043
str 13.25sec 0.53sec 18 713 9908

test25/test_25.20_5_0.1_3_1.1_2_1_2.34.2 nlp wc
55 lines 3972 bytes
head (1,3,1) body (1,2,1,2)
estimated blow-up 34.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 128.46sec 0.79sec 3 2068 82612
htl 12.30sec 14.00sec 3 781 12990
str 18.67sec 25.03sec 3 819 11503

test25/test_25.20_5_0.1_3_1.1_2_1_3.162.4 nlp wc
55 lines 4815 bytes
head (1,3,1) body (1,2,1,3)
estimated blow-up 162.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1956.79sec 17.14sec 82 8389 445774
htl 15.43sec 26.52sec 82 901 15490
str 25.72sec 31.94sec 82 949 13543

test25/test_25.20_5_0.1_3_1.1_2_1_4.729.4 nlp wc
55 lines 5330 bytes
head (1,3,1) body (1,2,1,4)
estimated blow-up 729.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 26503.35sec 454.92sec 27 31027 1921227
htl 18.24sec 175.39sec 27 1004 17277
str 31.61sec 196.44sec 27 1052 15162

test25/test_25.20_5_0.1_3_1.1_2_2_1.2.3 nlp wc
53 lines 2887 bytes
head (1,3,1) body (1,2,2,1)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.22sec 0.08sec 0 346 7253
htl 8.27sec 0.01sec 0 626 9771
str 10.60sec 0.09sec 0 626 8508

test25/test_25.20_5_0.1_3_1.1_2_2_2.5.2 nlp wc
53 lines 3165 bytes
head (1,3,1) body (1,2,2,2)
estimated blow-up 5.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 12.99sec 0.03sec 3 611 15677
htl 9.56sec 0.03sec 3 679 10707
str 12.83sec 0.03sec 3 679 9286

test25/test_25.20_5_0.1_3_1.1_2_2_3.11.7 nlp wc
55 lines 3409 bytes
head (1,3,1) body (1,2,2,3)
estimated blow-up 11.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 41.80sec 0.50sec 48 1171 35092
htl 10.75sec 0.86sec 48 744 11739
str 14.86sec 0.88sec 48 744 10272

test25/test_25.20_5_0.1_3_1.1_2_2_4.25.8 nlp wc
55 lines 3703 bytes
head (1,3,1) body (1,2,2,4)
estimated blow-up 25.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 142.81sec 0.88sec 19 2218 82798
htl 12.83sec 1.58sec 19 796 12746
str 16.97sec 1.73sec 19 796 11031

test25/test_25.20_5_0.1_3_1.1_3_1_1.55.4 nlp wc
55 lines 4231 bytes
head (1,3,1) body (1,3,1,1)
estimated blow-up 55.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 292.93sec 1.77sec 24 3172 117377
htl 13.43sec 1.59sec 24 825 13979
str 20.90sec 1.78sec 24 857 12106

test25/test_25.20_5_0.1_3_1.1_3_1_2.1771.2 nlp wc
55 lines 6035 bytes
head (1,3,1) body (1,3,1,2)
estimated blow-up 1771.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 164431.55sec 772.90sec -- 70391 4084718
htl 21.08sec 27.88sec 27 1084 19483
str 37.92sec 34.74sec 27 1128 16284

test25/test_25.20_5_0.1_3_1.1_3_2_1.15.7 nlp wc
55 lines 3578 bytes
head (1,3,1) body (1,3,2,1)
estimated blow-up 15.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 45.10sec 0.52sec 0 1233 34124
htl 11.11sec 0.05sec 0 731 11925
str 14.94sec 0.01sec 0 757 10532

test25/test_25.20_5_0.1_3_1.1_3_2_2.187.1 nlp wc
55 lines 4597 bytes
head (1,3,1) body (1,3,2,2)
estimated blow-up 187.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2968.87sec 5.84sec 3 10151 412949
htl 15.04sec 0.22sec 3 885 15020
str 24.75sec 0.19sec 3 925 13135

test25/test_25.20_5_0.1_3_1.1_3_2_3.1963.9 nlp wc
55 lines 5582 bytes
head (1,3,1) body (1,3,2,3)
estimated blow-up 1963.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 232845.75sec 773.63sec -- 87889 4656387
htl 18.76sec 0.88sec 11 1039 18200
str 33.53sec 1.17sec 11 1089 15696

test25/test_25.20_5_0.1_3_1.1_3_3_1.3.2 nlp wc
55 lines 2986 bytes
head (1,3,1) body (1,3,3,1)
estimated blow-up 3.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 7.83sec 0.09sec 0 468 9714
htl 8.97sec 0.01sec 0 648 10139
str 11.86sec 0.09sec 0 648 8778

test25/test_25.20_5_0.1_3_1.1_3_3_2.10.6 nlp wc
55 lines 3425 bytes
head (1,3,1) body (1,3,3,2)
estimated blow-up 10.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 50.26sec 0.11sec 1 1312 34262
htl 11.19sec 0.02sec 1 746 11879
str 14.17sec 0.09sec 1 746 10283

test25/test_25.20_5_0.1_3_1.1_3_3_3.35.1 nlp wc
55 lines 3701 bytes
head (1,3,1) body (1,3,3,3)
estimated blow-up 35.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 318.59sec 6.06sec 0 3403 104830
htl 12.19sec 0.02sec 0 790 12638
str 16.86sec 0.10sec 0 790 10972

test25/test_25.20_5_0.1_3_1.1_3_3_4.113.3 nlp wc
53 lines 4078 bytes
head (1,3,1) body (1,3,3,4)
estimated blow-up 113.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2879.19sec 11.77sec 3 10053 365807
htl 14.68sec 0.05sec 3 890 14340
str 20.34sec 0.22sec 3 890 12453

test25/test_25.20_5_0.1_3_1.2_2_2_1.1.5 nlp wc
55 lines 2852 bytes
head (1,3,1) body (2,2,2,1)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.10sec 0.01sec 0 213 5021
htl 7.21sec 0.42sec 0 571 8967
str 10.21sec 0.53sec 0 575 7781

test25/test_25.20_5_0.1_3_1.2_2_2_2.2.0 nlp wc
53 lines 3030 bytes
head (1,3,1) body (2,2,2,2)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.28sec 0.01sec 19 216 6304
htl 7.44sec 13.24sec 19 567 9106
str 10.28sec 14.40sec 19 569 7871

test25/test_25.20_5_0.1_3_1.2_2_2_3.2.4 nlp wc
55 lines 3409 bytes
head (1,3,1) body (2,2,2,3)
estimated blow-up 2.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.77sec 0.09sec 21 219 8070
htl 7.88sec 49.17sec 21 563 9252
str 10.51sec 55.82sec 21 565 7985

test25/test_25.20_5_0.1_3_1.2_2_2_4.2.7 nlp wc
55 lines 3580 bytes
head (1,3,1) body (2,2,2,4)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.73sec 0.02sec 13 208 8944
htl 7.02sec 15.79sec 13 544 9195
str 10.27sec 17.43sec 13 550 7867

test25/test_25.20_5_0.1_3_1.2_3_2_1.16.3 nlp wc
55 lines 3979 bytes
head (1,3,1) body (2,3,2,1)
estimated blow-up 16.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 51.76sec 0.66sec 46 1307 43188
htl 15.14sec 1.55sec 46 903 14681
str 22.13sec 1.78sec 46 939 13211

test25/test_25.20_5_0.1_3_1.2_3_2_2.187.4 nlp wc
55 lines 5304 bytes
head (1,3,1) body (2,3,2,2)
estimated blow-up 187.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3102.67sec 13.52sec 49 10624 543118
htl 24.19sec 37.11sec 49 1233 20470
str 40.13sec 36.26sec 49 1277 18109

test25/test_25.20_5_0.1_3_1.2_3_2_3.1912.2 nlp wc
53 lines 6533 bytes
head (1,3,1) body (2,3,2,3)
estimated blow-up 1912.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 265204.34sec 773.56sec -- 89182 6052086
htl 36.45sec 162.47sec 19 1523 25551
str 60.50sec 137.81sec 19 1573 22578

test25/test_25.20_5_0.1_3_1.2_3_3_1.3.6 nlp wc
53 lines 3264 bytes
head (1,3,1) body (2,3,3,1)
estimated blow-up 3.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 8.80sec 0.02sec 5 489 12501
htl 12.82sec 0.16sec 5 810 12592
str 16.90sec 0.17sec 5 810 11071

test25/test_25.20_5_0.1_3_1.2_3_3_2.12.7 nlp wc
53 lines 4010 bytes
head (1,3,1) body (2,3,3,2)
estimated blow-up 12.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 48.60sec 1.09sec 14 1258 45246
htl 19.11sec 6.99sec 14 1048 16384
str 25.31sec 8.05sec 14 1048 14507

test25/test_25.20_5_0.1_3_1.2_3_3_3.41.9 nlp wc
55 lines 4684 bytes
head (1,3,1) body (2,3,3,3)
estimated blow-up 41.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 383.87sec 5.63sec 39 3655 166585
htl 28.20sec 73.13sec 39 1314 20485
str 38.03sec 71.65sec 39 1314 18328

test25/test_25.20_5_0.1_3_1.2_3_3_4.134.6 nlp wc
51 lines 5267 bytes
head (1,3,1) body (2,3,3,4)
estimated blow-up 134.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3396.57sec 68.49sec 15 10824 598539
htl 37.76sec 57.36sec 15 1538 23946
str 52.29sec 60.57sec 15 1538 21570

test25/test_25.20_5_0.1_3_1.3_3_3_1.1.8 nlp wc
53 lines 3001 bytes
head (1,3,1) body (3,3,3,1)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.32sec 0.09sec 46 223 6095
htl 8.13sec 15.02sec 46 595 9527
str 10.84sec 17.80sec 46 595 8191

test25/test_25.20_5_0.1_3_1.3_3_3_2.2.4 nlp wc
55 lines 3370 bytes
head (1,3,1) body (3,3,3,2)
estimated blow-up 2.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.40sec 0.02sec 41 221 7954
htl 7.97sec 101.78sec 41 585 9694
str 10.69sec 111.36sec 41 585 8272

test25/test_25.20_5_0.1_3_1.3_3_3_3.2.9 nlp wc
55 lines 3779 bytes
head (1,3,1) body (3,3,3,3)
estimated blow-up 2.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.99sec 0.06sec 75 225 10107
htl 7.89sec 110.38sec 75 591 10074
str 11.77sec 126.97sec 75 591 8540

test25/test_25.20_5_0.1_3_1.3_3_3_4.3.3 nlp wc
53 lines 3932 bytes
head (1,3,1) body (3,3,3,4)
estimated blow-up 3.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.12sec 0.02sec 12 211 10864
htl 7.43sec 32.12sec 12 538 9381
str 10.14sec 36.61sec 12 540 7940

test25/test_25.20_5_0.1_3_2.1_1_1_1.1.2 nlp wc
45 lines 2166 bytes
head (1,3,2) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.31sec 11.85sec 25780 171 3614
htl 5.44sec 118.50sec 25780 443 6758
str 6.54sec 116.57sec 25780 443 5874

test25/test_25.20_5_0.1_3_2.1_1_1_2.1.4 nlp wc
44 lines 2250 bytes
head (1,3,2) body (1,1,1,2)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.42sec 2.24sec 4444 167 3987
htl 5.03sec 59.21sec 4444 427 6606
str 6.57sec 63.31sec 4444 429 5755

test25/test_25.20_5_0.1_3_2.1_1_1_3.1.6 nlp wc
45 lines 2346 bytes
head (1,3,2) body (1,1,1,3)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.65sec 1.48sec 2990 168 4564
htl 5.37sec 435.01sec 2990 432 6763
str 6.80sec 460.12sec 2990 434 5885

test25/test_25.20_5_0.1_3_2.1_1_1_4.1.8 nlp wc
45 lines 2432 bytes
head (1,3,2) body (1,1,1,4)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.97sec 1.22sec 2561 171 5112
htl 5.05sec 773.66sec -- 440 7001
str 6.51sec 774.24sec -- 440 6041

test25/test_25.20_5_0.1_3_2.1_2_1_1.5.8 nlp wc
45 lines 2692 bytes
head (1,3,2) body (1,2,1,1)
estimated blow-up 5.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 8.09sec 26.37sec 24688 453 12628
htl 7.46sec 188.06sec 24688 555 8823
str 10.28sec 218.65sec 24688 583 8039

test25/test_25.20_5_0.1_3_2.1_2_1_2.29.3 nlp wc
45 lines 3500 bytes
head (1,3,2) body (1,2,1,2)
estimated blow-up 29.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 83.81sec 96.53sec 25352 1640 68144
htl 9.48sec 774.02sec -- 681 11364
str 15.24sec 773.30sec -- 721 10179

test25/test_25.20_5_0.1_3_2.1_2_1_3.135.2 nlp wc
45 lines 4116 bytes
head (1,3,2) body (1,2,1,3)
estimated blow-up 135.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1067.01sec 146.12sec 4407 6106 329219
htl 11.82sec 773.52sec -- 776 13178
str 19.13sec 774.24sec -- 818 11634

test25/test_25.20_5_0.1_3_2.1_2_1_4.594.6 nlp wc
44 lines 4793 bytes
head (1,3,2) body (1,2,1,4)
estimated blow-up 594.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 17305.67sec 635.58sec 668 23433 1519449
htl 14.62sec 772.25sec -- 892 15386
str 25.47sec 771.72sec -- 938 13470

test25/test_25.20_5_0.1_3_2.1_2_2_1.2.1 nlp wc
45 lines 2261 bytes
head (1,3,2) body (1,2,2,1)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.46sec 15.76sec 27393 258 5517
htl 6.50sec 59.82sec 27393 494 7466
str 7.48sec 58.10sec 27393 494 6587

test25/test_25.20_5_0.1_3_2.1_2_2_2.4.7 nlp wc
44 lines 2561 bytes
head (1,3,2) body (1,2,2,2)
estimated blow-up 4.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 8.38sec 42.03sec 48534 466 12300
htl 7.12sec 105.33sec 48534 549 8448
str 8.80sec 110.11sec 48534 549 7405

test25/test_25.20_5_0.1_3_2.1_2_2_3.10.4 nlp wc
45 lines 2857 bytes
head (1,3,2) body (1,2,2,3)
estimated blow-up 10.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 22.12sec 15.22sec 12075 836 26703
htl 8.20sec 246.37sec 12075 611 9601
str 10.68sec 245.25sec 12075 611 8377

test25/test_25.20_5_0.1_3_2.1_2_2_4.22.3 nlp wc
45 lines 3118 bytes
head (1,3,2) body (1,2,2,4)
estimated blow-up 22.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 77.98sec 48.04sec 15536 1617 61209
htl 9.43sec 376.20sec 15536 676 10684
str 12.46sec 361.92sec 15536 676 9303

test25/test_25.20_5_0.1_3_2.1_3_1_1.47.1 nlp wc
45 lines 3632 bytes
head (1,3,2) body (1,3,1,1)
estimated blow-up 47.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 141.86sec 204.81sec 37832 2169 82195
htl 10.07sec 636.26sec 37832 687 11631
str 14.85sec 722.98sec 37832 717 10162

test25/test_25.20_5_0.1_3_2.1_3_1_2.1431.3 nlp wc
45 lines 5140 bytes
head (1,3,2) body (1,3,1,2)
estimated blow-up 1431.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 50988.77sec 772.74sec -- 40715 2364926
htl 15.13sec 643.54sec 1897 888 15880
str 26.75sec 774.31sec -- 930 13460

test25/test_25.20_5_0.1_3_2.1_3_2_1.13.8 nlp wc
45 lines 3025 bytes
head (1,3,2) body (1,3,2,1)
estimated blow-up 13.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 25.98sec 33.15sec 23317 905 26319
htl 8.18sec 51.22sec 23317 590 9669
str 11.46sec 64.79sec 23317 634 8870

test25/test_25.20_5_0.1_3_2.1_3_2_2.156.1 nlp wc
45 lines 3997 bytes
head (1,3,2) body (1,3,2,2)
estimated blow-up 156.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1462.17sec 455.26sec 16803 7252 299379
htl 11.72sec 71.88sec 16803 748 12758
str 18.99sec 89.01sec 16803 794 11282

test25/test_25.20_5_0.1_3_2.1_3_2_3.1590.6 nlp wc
45 lines 5059 bytes
head (1,3,2) body (1,3,2,3)
estimated blow-up 1590.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 116048.87sec 773.64sec -- 61391 3357547
htl 15.73sec 773.47sec -- 910 16016
str 28.28sec 773.34sec -- 960 13848

test25/test_25.20_5_0.1_3_2.1_3_3_1.3.0 nlp wc
45 lines 2360 bytes
head (1,3,2) body (1,3,3,1)
estimated blow-up 3.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.49sec 35.37sec 60786 358 7715
htl 6.82sec 73.88sec 60786 527 8010
str 8.75sec 78.46sec 60786 527 7073

test25/test_25.20_5_0.1_3_2.1_3_3_2.9.5 nlp wc
45 lines 2735 bytes
head (1,3,2) body (1,3,3,2)
estimated blow-up 9.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 24.70sec 42.74sec 30307 893 23805
htl 7.92sec 54.49sec 30307 593 9206
str 10.01sec 55.86sec 30307 593 8064

test25/test_25.20_5_0.1_3_2.1_3_3_3.30.5 nlp wc
45 lines 3178 bytes
head (1,3,2) body (1,3,3,3)
estimated blow-up 30.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 173.62sec 229.61sec 53904 2475 81301
htl 9.71sec 193.62sec 53904 675 10724
str 12.76sec 188.98sec 53904 675 9310

test25/test_25.20_5_0.1_3_2.1_3_3_4.96.1 nlp wc
45 lines 3544 bytes
head (1,3,2) body (1,3,3,4)
estimated blow-up 96.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1448.67sec 538.04sec 23647 7334 279843
htl 11.61sec 186.74sec 23647 749 12064
str 15.46sec 178.03sec 23647 749 10452

test25/test_25.20_5_0.1_3_2.2_2_2_1.1.4 nlp wc
45 lines 2223 bytes
head (1,3,2) body (2,2,2,1)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.35sec 3.46sec 7146 167 3953
htl 5.66sec 100.74sec 7146 432 6628
str 6.46sec 106.37sec 7146 436 5827

test25/test_25.20_5_0.1_3_2.2_2_2_2.1.8 nlp wc
45 lines 2510 bytes
head (1,3,2) body (2,2,2,2)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.49sec 1.49sec 3078 173 5101
htl 5.59sec 773.33sec -- 446 7099
str 6.48sec 773.34sec -- 446 6139

test25/test_25.20_5_0.1_3_2.2_2_2_3.2.1 nlp wc
45 lines 2799 bytes
head (1,3,2) body (2,2,2,3)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.65sec 0.05sec 330 173 6358
htl 5.72sec 774.10sec -- 445 7330
str 7.29sec 774.74sec -- 445 6265

test25/test_25.20_5_0.1_3_2.2_2_2_4.2.3 nlp wc
44 lines 3055 bytes
head (1,3,2) body (2,2,2,4)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.22sec 0.03sec 120 170 7247
htl 5.46sec 609.19sec 120 442 7446
str 7.58sec 689.94sec 120 444 6359

test25/test_25.20_5_0.1_3_2.2_3_2_1.14.0 nlp wc
45 lines 3373 bytes
head (1,3,2) body (2,3,2,1)
estimated blow-up 14.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 30.30sec 15.99sec 5824 964 32872
htl 11.96sec 106.33sec 5824 776 12441
str 17.61sec 116.93sec 5824 814 11419

test25/test_25.20_5_0.1_3_2.2_3_2_2.152.2 nlp wc
44 lines 4576 bytes
head (1,3,2) body (2,3,2,2)
estimated blow-up 152.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1487.26sec 170.95sec 3890 7247 373224
htl 20.07sec 774.11sec -- 1086 17811
str 32.29sec 773.49sec -- 1128 16013

test25/test_25.20_5_0.1_3_2.2_3_2_3.1510.1 nlp wc
45 lines 5976 bytes
head (1,3,2) body (2,3,2,3)
estimated blow-up 1510.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 140167.62sec 803.39sec -- 64956 4494581
htl 33.19sec 815.86sec -- 1421 23608
str 58.51sec 811.53sec -- 1465 20927

test25/test_25.20_5_0.1_3_2.2_3_3_1.3.2 nlp wc
45 lines 2635 bytes
head (1,3,2) body (2,3,3,1)
estimated blow-up 3.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.66sec 31.15sec 28262 368 9299
htl 10.16sec 270.37sec 28262 694 10492
str 12.72sec 269.40sec 28262 694 9430

test25/test_25.20_5_0.1_3_2.2_3_3_2.10.7 nlp wc
44 lines 3389 bytes
head (1,3,2) body (2,3,3,2)
estimated blow-up 10.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 30.92sec 8.93sec 2839 937 34008
htl 16.13sec 754.54sec 2839 933 14348
str 21.35sec 765.21sec 2839 933 12880

test25/test_25.20_5_0.1_3_2.2_3_3_3.34.4 nlp wc
45 lines 4007 bytes
head (1,3,2) body (2,3,3,3)
estimated blow-up 34.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 208.38sec 17.37sec 3237 2596 121104
htl 24.00sec 809.08sec -- 1169 17995
str 31.45sec 811.87sec -- 1169 16258

test25/test_25.20_5_0.1_3_2.2_3_3_4.108.0 nlp wc
45 lines 4824 bytes
head (1,3,2) body (2,3,3,4)
estimated blow-up 108.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1760.77sec 153.18sec 4493 7635 442917
htl 33.10sec 809.53sec -- 1433 22375
str 46.84sec 813.51sec -- 1433 20046

test25/test_25.20_5_0.1_3_2.3_3_3_1.1.6 nlp wc
45 lines 2379 bytes
head (1,3,2) body (3,3,3,1)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.45sec 1.51sec 3336 167 4572
htl 5.24sec 190.26sec 3336 431 6766
str 6.45sec 195.11sec 3336 435 5904

test25/test_25.20_5_0.1_3_2.3_3_3_2.2.1 nlp wc
45 lines 2729 bytes
head (1,3,2) body (3,3,3,2)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.52sec 0.84sec 1404 172 6278
htl 5.31sec 809.62sec -- 437 7189
str 7.30sec 813.94sec -- 437 6143

test25/test_25.20_5_0.1_3_2.3_3_3_3.2.5 nlp wc
45 lines 3050 bytes
head (1,3,2) body (3,3,3,3)
estimated blow-up 2.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.03sec 0.14sec 343 167 7332
htl 5.46sec 799.10sec 343 428 7277
str 6.98sec 810.80sec -- 430 6222

test25/test_25.20_5_0.1_3_2.3_3_3_4.2.7 nlp wc
45 lines 3344 bytes
head (1,3,2) body (3,3,3,4)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.20sec 0.05sec 54 165 8683
htl 5.77sec 263.36sec 54 426 7492
str 7.79sec 301.43sec 54 430 6414

test25/test_25.20_5_0.1_3_3.1_1_1_1.1.2 nlp wc
39 lines 1496 bytes
head (1,3,3) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.50sec 20.80sec 48105 138 2664
htl 4.01sec 451.14sec 48105 327 4621
str 4.30sec 457.03sec 48105 327 4227

test25/test_25.20_5_0.1_3_3.1_1_1_2.1.4 nlp wc
40 lines 1627 bytes
head (1,3,3) body (1,1,1,2)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.68sec 50.13sec 100000 147 3251
htl 3.77sec 811.56sec -- 337 4916
str 4.61sec 812.15sec -- 337 4457

test25/test_25.20_5_0.1_3_3.1_1_1_3.1.6 nlp wc
40 lines 1710 bytes
head (1,3,3) body (1,1,1,3)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.10sec 15.99sec 22728 145 3534
htl 3.77sec 810.94sec -- 328 4853
str 4.04sec 810.12sec -- 330 4439

test25/test_25.20_5_0.1_3_3.1_1_1_4.1.7 nlp wc
40 lines 1843 bytes
head (1,3,3) body (1,1,1,4)
estimated blow-up 1.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.89sec 2.69sec 3671 141 3948
htl 3.96sec 808.87sec -- 323 4900
str 4.56sec 810.53sec -- 325 4427

test25/test_25.20_5_0.1_3_3.1_2_1_1.5.6 nlp wc
40 lines 2093 bytes
head (1,3,3) body (1,2,1,1)
estimated blow-up 5.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.38sec 67.07sec 100000 374 9652
htl 5.60sec 232.39sec 100000 449 6786
str 7.35sec 528.95sec 100000 479 6485

test25/test_25.20_5_0.1_3_3.1_2_1_2.27.5 nlp wc
40 lines 2821 bytes
head (1,3,3) body (1,2,1,2)
estimated blow-up 27.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 52.45sec 232.68sec 100000 1251 48802
htl 7.48sec 812.56sec -- 562 9059
str 10.65sec 812.22sec -- 604 8458

test25/test_25.20_5_0.1_3_3.1_2_1_3.123.9 nlp wc
40 lines 3500 bytes
head (1,3,3) body (1,2,1,3)
estimated blow-up 123.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 657.82sec 179.72sec 12601 4677 237673
htl 9.64sec 814.08sec -- 667 11128
str 14.96sec 813.29sec -- 711 10064

test25/test_25.20_5_0.1_3_3.1_2_1_4.535.5 nlp wc
40 lines 4362 bytes
head (1,3,3) body (1,2,1,4)
estimated blow-up 535.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 12560.49sec 811.59sec -- 20037 1305245
htl 13.10sec 810.42sec -- 808 14019
str 22.64sec 810.76sec -- 856 12289

test25/test_25.20_5_0.1_3_3.1_2_2_1.2.1 nlp wc
40 lines 1630 bytes
head (1,3,3) body (1,2,2,1)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.80sec 48.63sec 100000 217 4187
htl 4.56sec 105.07sec 100000 396 5636
str 5.00sec 114.64sec 100000 396 5148

test25/test_25.20_5_0.1_3_3.1_2_2_2.4.6 nlp wc
40 lines 1930 bytes
head (1,3,3) body (1,2,2,2)
estimated blow-up 4.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.74sec 72.64sec 100000 378 9038
htl 5.78sec 268.81sec 100000 452 6498
str 6.48sec 136.62sec 100000 452 5989

test25/test_25.20_5_0.1_3_3.1_2_2_3.9.8 nlp wc
40 lines 2193 bytes
head (1,3,3) body (1,2,2,3)
estimated blow-up 9.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 16.84sec 132.37sec 100000 699 20410
htl 6.47sec 740.66sec 100000 516 7620
str 7.49sec 554.78sec 100000 516 6952

test25/test_25.20_5_0.1_3_3.1_2_2_4.20.8 nlp wc
40 lines 2423 bytes
head (1,3,3) body (1,2,2,4)
estimated blow-up 20.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 51.19sec 184.93sec 100000 1269 43238
htl 7.34sec 809.60sec -- 560 8391
str 9.28sec 810.64sec -- 560 7586

test25/test_25.20_5_0.1_3_3.1_3_1_1.43.9 nlp wc
40 lines 3026 bytes
head (1,3,3) body (1,3,1,1)
estimated blow-up 43.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 106.14sec 263.33sec 100000 1833 64703
htl 8.04sec 442.52sec 100000 582 9644
str 12.64sec 450.69sec 100000 618 8656

test25/test_25.20_5_0.1_3_3.1_3_1_2.1280.0 nlp wc
39 lines 4582 bytes
head (1,3,3) body (1,3,1,2)
estimated blow-up 1280.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 52294.16sec 812.27sec -- 39119 2217179
htl 13.85sec 812.47sec -- 818 14513
str 24.42sec 816.18sec -- 866 12481

test25/test_25.20_5_0.1_3_3.1_3_2_1.13.1 nlp wc
40 lines 2445 bytes
head (1,3,3) body (1,3,2,1)
estimated blow-up 13.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 20.30sec 107.87sec 100000 744 19954
htl 6.06sec 206.73sec 100000 497 7874
str 8.99sec 187.72sec 100000 539 7439

test25/test_25.20_5_0.1_3_3.1_3_2_2.142.9 nlp wc
40 lines 3373 bytes
head (1,3,3) body (1,3,2,2)
estimated blow-up 142.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1123.64sec 814.19sec -- 6187 243617
htl 9.89sec 275.09sec 100000 655 10847
str 16.30sec 414.54sec 100000 703 9948

test25/test_25.20_5_0.1_3_3.1_3_2_3.1420.6 nlp wc
40 lines 4396 bytes
head (1,3,3) body (1,3,2,3)
estimated blow-up 1420.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 84329.41sec 922.03sec -- 48832 2521654
htl 14.98sec 929.86sec -- 803 13882
str 26.70sec 923.47sec -- 849 12156

test25/test_25.20_5_0.1_3_3.1_3_3_1.2.8 nlp wc
40 lines 1701 bytes
head (1,3,3) body (1,3,3,1)
estimated blow-up 2.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.25sec 61.85sec 100000 282 5416
htl 5.25sec 132.74sec 100000 404 5782
str 6.31sec 134.89sec 100000 404 5272

test25/test_25.20_5_0.1_3_3.1_3_3_2.9.0 nlp wc
40 lines 2144 bytes
head (1,3,3) body (1,3,3,2)
estimated blow-up 9.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 19.67sec 98.85sec 100000 719 17501
htl 6.78sec 513.95sec 100000 480 7042
str 7.86sec 495.08sec 100000 480 6400

test25/test_25.20_5_0.1_3_3.1_3_3_3.28.1 nlp wc
40 lines 2501 bytes
head (1,3,3) body (1,3,3,3)
estimated blow-up 28.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 146.09sec 261.89sec 100000 2047 60776
htl 8.67sec 284.20sec 100000 564 8530
str 10.17sec 245.40sec 100000 564 7676

test25/test_25.20_5_0.1_3_3.1_3_3_4.87.1 nlp wc
38 lines 2818 bytes
head (1,3,3) body (1,3,3,4)
estimated blow-up 87.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1193.91sec 951.15sec -- 6039 210029
htl 11.14sec 654.18sec 100000 651 9936
str 14.06sec 606.85sec 100000 651 8942

test25/test_25.20_5_0.1_3_3.2_2_2_1.1.4 nlp wc
39 lines 1594 bytes
head (1,3,3) body (2,2,2,1)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.02sec 33.73sec 66685 141 3025
htl 3.90sec 930.55sec -- 328 4751
str 4.85sec 933.20sec -- 328 4317

test25/test_25.20_5_0.1_3_3.2_2_2_2.1.7 nlp wc
40 lines 1837 bytes
head (1,3,3) body (2,2,2,2)
estimated blow-up 1.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.04sec 1.69sec 2329 143 3892
htl 4.33sec 929.07sec -- 330 4978
str 5.06sec 926.74sec -- 332 4540

test25/test_25.20_5_0.1_3_3.2_2_2_3.2.0 nlp wc
40 lines 2115 bytes
head (1,3,3) body (2,2,2,3)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.47sec 0.11sec 501 140 4616
htl 4.44sec 921.45sec -- 326 5109
str 5.50sec 931.98sec -- 330 4636

test25/test_25.20_5_0.1_3_3.2_2_2_4.2.2 nlp wc
38 lines 2326 bytes
head (1,3,3) body (2,2,2,4)
estimated blow-up 2.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.20sec 0.08sec 316 143 5430
htl 4.62sec 932.43sec -- 330 5364
str 5.21sec 931.01sec -- 332 4784

test25/test_25.20_5_0.1_3_3.2_3_2_1.13.0 nlp wc
39 lines 2687 bytes
head (1,3,3) body (2,3,2,1)
estimated blow-up 13.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 20.62sec 135.85sec 100000 721 22657
htl 10.03sec 929.31sec -- 651 10096
str 14.43sec 927.08sec -- 683 9456

test25/test_25.20_5_0.1_3_3.2_3_2_2.135.7 nlp wc
40 lines 4084 bytes
head (1,3,3) body (2,3,2,2)
estimated blow-up 135.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1159.78sec 628.13sec 13131 5847 288041
htl 19.90sec 930.93sec -- 987 15977
str 30.95sec 931.66sec -- 1037 14638

test25/test_25.20_5_0.1_3_3.2_3_2_3.1315.1 nlp wc
40 lines 5327 bytes
head (1,3,3) body (2,3,2,3)
estimated blow-up 1315.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 84462.08sec 813.41sec -- 50458 3243929
htl 29.98sec 817.28sec -- 1287 21052
str 48.43sec 812.82sec -- 1335 19017

test25/test_25.20_5_0.1_3_3.2_3_3_1.3.0 nlp wc
40 lines 2070 bytes
head (1,3,3) body (2,3,3,1)
estimated blow-up 3.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.94sec 72.52sec 100000 293 6976
htl 7.77sec 480.82sec 100000 576 8326
str 8.98sec 483.10sec 100000 576 7691

test25/test_25.20_5_0.1_3_3.2_3_3_2.9.7 nlp wc
40 lines 2805 bytes
head (1,3,3) body (2,3,3,2)
estimated blow-up 9.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 20.24sec 144.06sec 100000 751 25797
htl 13.94sec 814.20sec -- 840 12577
str 17.87sec 816.74sec -- 840 11456

test25/test_25.20_5_0.1_3_3.2_3_3_3.30.5 nlp wc
40 lines 3513 bytes
head (1,3,3) body (2,3,3,3)
estimated blow-up 30.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 128.16sec 34.15sec 10397 1982 89559
htl 21.09sec 816.11sec -- 1058 16057
str 25.95sec 815.43sec -- 1058 14592

test25/test_25.20_5_0.1_3_3.2_3_3_4.94.2 nlp wc
40 lines 4172 bytes
head (1,3,3) body (2,3,3,4)
estimated blow-up 94.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1073.04sec 43.40sec 1092 5924 325610
htl 30.05sec 812.12sec -- 1308 19913
str 39.46sec 815.99sec -- 1308 18092

test25/test_25.20_5_0.1_3_3.3_3_3_1.1.6 nlp wc
39 lines 1710 bytes
head (1,3,3) body (3,3,3,1)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.75sec 5.83sec 13628 142 3609
htl 3.62sec 810.70sec 13628 324 4834
str 4.22sec 807.87sec 13628 328 4416

test25/test_25.20_5_0.1_3_3.3_3_3_2.2.0 nlp wc
40 lines 2088 bytes
head (1,3,3) body (3,3,3,2)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.26sec 0.62sec 1367 145 4822
htl 4.08sec 820.45sec -- 329 5216
str 4.71sec 814.61sec -- 329 4640

test25/test_25.20_5_0.1_3_3.3_3_3_3.2.3 nlp wc
39 lines 2474 bytes
head (1,3,3) body (3,3,3,3)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.32sec 0.08sec 164 140 5957
htl 3.85sec 816.39sec -- 325 5414
str 4.99sec 813.99sec -- 329 4825

test25/test_25.20_5_0.1_3_3.3_3_3_4.2.5 nlp wc
39 lines 2773 bytes
head (1,3,3) body (3,3,3,4)
estimated blow-up 2.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.48sec 0.46sec 966 144 6670
htl 3.60sec 819.27sec -- 326 5669
str 5.02sec 820.34sec -- 326 4938

test25/test_25.20_5_0.2_2_2.1_1_1_1.1.3 nlp wc
38 lines 1017 bytes
head (2,2,2) body (1,1,1,1)
estimated blow-up 1.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.51sec 0.00sec 0 132 2257
htl 2.25sec 0.00sec 0 218 3134
str 2.14sec 0.01sec 0 220 2837

test25/test_25.20_5_0.2_2_2.1_1_1_2.1.6 nlp wc
40 lines 1182 bytes
head (2,2,2) body (1,1,1,2)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.51sec 0.00sec 0 136 2723
htl 1.82sec 0.00sec 0 233 3460
str 2.42sec 0.05sec 0 239 3173

test25/test_25.20_5_0.2_2_2.1_1_1_3.1.8 nlp wc
38 lines 1276 bytes
head (2,2,2) body (1,1,1,3)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.82sec 0.00sec 1 144 3277
htl 2.39sec 0.01sec 1 248 3814
str 2.56sec 5.80sec 1 248 3355

test25/test_25.20_5_0.2_2_2.1_1_1_4.2.0 nlp wc
40 lines 1344 bytes
head (2,2,2) body (1,1,1,4)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.73sec 0.00sec 1 140 3462
htl 2.25sec 0.01sec 1 237 3678
str 2.71sec 0.48sec 1 243 3352

test25/test_25.20_5_0.2_2_2.1_2_1_1.6.3 nlp wc
40 lines 1618 bytes
head (2,2,2) body (1,2,1,1)
estimated blow-up 6.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.73sec 0.01sec 1 368 8226
htl 3.78sec 0.01sec 1 360 5533
str 4.85sec 0.01sec 1 386 5107

test25/test_25.20_5_0.2_2_2.1_2_1_2.31.0 nlp wc
40 lines 2347 bytes
head (2,2,2) body (1,2,1,2)
estimated blow-up 31.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 50.27sec 0.57sec 0 1250 44630
htl 5.49sec 0.80sec 0 477 7786
str 8.40sec 1.55sec 0 517 7195

test25/test_25.20_5_0.2_2_2.1_2_1_3.137.9 nlp wc
40 lines 3138 bytes
head (2,2,2) body (1,2,1,3)
estimated blow-up 137.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 675.83sec 9.24sec 0 4736 235278
htl 7.34sec 7.80sec 0 586 10100
str 12.31sec 20.44sec 0 630 8869

test25/test_25.20_5_0.2_2_2.1_2_1_4.588.3 nlp wc
40 lines 3786 bytes
head (2,2,2) body (1,2,1,4)
estimated blow-up 588.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 10722.10sec 348.87sec 1 19272 1163529
htl 10.40sec 5.10sec 1 703 12173
str 17.25sec 10.71sec 1 753 10763

test25/test_25.20_5_0.2_2_2.1_2_2_1.2.2 nlp wc
40 lines 1195 bytes
head (2,2,2) body (1,2,2,1)
estimated blow-up 2.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.26sec 0.00sec 1 218 3665
htl 3.06sec 0.01sec 1 310 4479
str 3.56sec 0.01sec 1 310 3965

test25/test_25.20_5_0.2_2_2.1_2_2_2.5.0 nlp wc
40 lines 1506 bytes
head (2,2,2) body (1,2,2,2)
estimated blow-up 5.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.97sec 0.03sec 1 376 8071
htl 4.05sec 0.01sec 1 356 5269
str 4.32sec 0.01sec 1 356 4605

test25/test_25.20_5_0.2_2_2.1_2_2_3.10.7 nlp wc
40 lines 1720 bytes
head (2,2,2) body (1,2,2,3)
estimated blow-up 10.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 15.32sec 0.04sec 1 686 17728
htl 4.56sec 0.04sec 1 427 6310
str 5.37sec 0.04sec 1 427 5658

test25/test_25.20_5_0.2_2_2.1_2_2_4.22.8 nlp wc
40 lines 1993 bytes
head (2,2,2) body (1,2,2,4)
estimated blow-up 22.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 53.53sec 1.26sec 0 1316 40308
htl 5.97sec 0.30sec 0 486 7302
str 6.73sec 0.45sec 0 486 6537

test25/test_25.20_5_0.2_2_2.1_3_1_1.49.5 nlp wc
40 lines 2614 bytes
head (2,2,2) body (1,3,1,1)
estimated blow-up 49.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 101.76sec 0.23sec 0 1782 57054
htl 5.79sec 0.14sec 0 491 8318
str 8.84sec 0.16sec 0 525 7278

test25/test_25.20_5_0.2_2_2.1_3_1_2.1400.5 nlp wc
40 lines 4141 bytes
head (2,2,2) body (1,3,1,2)
estimated blow-up 1400.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 52628.15sec 671.51sec 0 38502 2071849
htl 11.03sec 22.65sec 0 743 13370
str 18.85sec 25.51sec 0 787 11334

test25/test_25.20_5_0.2_2_2.1_3_2_1.14.7 nlp wc
40 lines 1992 bytes
head (2,2,2) body (1,3,2,1)
estimated blow-up 14.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 18.66sec 0.09sec 0 754 17551
htl 4.63sec 0.05sec 0 406 6525
str 6.19sec 0.01sec 0 438 5936

test25/test_25.20_5_0.2_2_2.1_3_2_2.157.9 nlp wc
40 lines 2858 bytes
head (2,2,2) body (1,3,2,2)
estimated blow-up 157.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 921.32sec 6.44sec 1 5648 200309
htl 7.32sec 0.02sec 1 557 9264
str 11.30sec 0.02sec 1 597 8329

test25/test_25.20_5_0.2_2_2.1_3_2_3.1543.8 nlp wc
40 lines 3958 bytes
head (2,2,2) body (1,3,2,3)
estimated blow-up 1543.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 86117.01sec 706.28sec 1 49572 2400854
htl 11.65sec 0.32sec 1 726 12771
str 19.41sec 0.39sec 1 776 11111

test25/test_25.20_5_0.2_2_2.1_3_3_1.3.0 nlp wc
40 lines 1313 bytes
head (2,2,2) body (1,3,3,1)
estimated blow-up 3.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.95sec 0.01sec 1 286 4796
htl 3.59sec 0.04sec 1 329 4837
str 3.72sec 0.01sec 1 329 4225

test25/test_25.20_5_0.2_2_2.1_3_3_2.9.4 nlp wc
40 lines 1606 bytes
head (2,2,2) body (1,3,3,2)
estimated blow-up 9.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 17.28sec 0.13sec 1 726 14524
htl 6.01sec 0.06sec 1 400 5869
str 5.49sec 0.01sec 1 400 5207

test25/test_25.20_5_0.2_2_2.1_3_3_3.29.5 nlp wc
40 lines 2028 bytes
head (2,2,2) body (1,3,3,3)
estimated blow-up 29.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 124.22sec 2.76sec 1 2024 52850
htl 5.88sec 0.01sec 1 483 7268
str 6.77sec 0.01sec 1 483 6429

test25/test_25.20_5_0.2_2_2.1_3_3_4.91.4 nlp wc
40 lines 2363 bytes
head (2,2,2) body (1,3,3,4)
estimated blow-up 91.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 909.41sec 27.63sec 0 5624 175913
htl 7.10sec 0.02sec 0 561 8653
str 8.56sec 0.05sec 0 561 7610

test25/test_25.20_5_0.2_2_2.2_2_2_1.1.6 nlp wc
38 lines 1096 bytes
head (2,2,2) body (2,2,2,1)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.48sec 0.07sec 1 136 2687
htl 2.20sec 0.01sec 1 236 3499
str 2.49sec 0.02sec 1 238 3145

test25/test_25.20_5_0.2_2_2.2_2_2_2.2.0 nlp wc
40 lines 1437 bytes
head (2,2,2) body (2,2,2,2)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.75sec 0.07sec 1 150 3808
htl 2.63sec 0.01sec 1 256 4026
str 2.90sec 0.93sec 1 256 3518

test25/test_25.20_5_0.2_2_2.2_2_2_3.2.3 nlp wc
40 lines 1646 bytes
head (2,2,2) body (2,2,2,3)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.99sec 0.01sec 1 138 4262
htl 2.44sec 0.08sec 1 241 3966
str 2.97sec 3.13sec 1 247 3542

test25/test_25.20_5_0.2_2_2.2_2_2_4.2.5 nlp wc
40 lines 1945 bytes
head (2,2,2) body (2,2,2,4)
estimated blow-up 2.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.03sec 0.01sec 1 136 4954
htl 2.54sec 0.06sec 1 236 4079
str 3.42sec 0.28sec 1 246 3663

test25/test_25.20_5_0.2_2_2.2_3_2_1.14.2 nlp wc
40 lines 2248 bytes
head (2,2,2) body (2,3,2,1)
estimated blow-up 14.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 19.27sec 0.10sec 1 750 20847
htl 7.53sec 0.57sec 1 581 8972
str 10.33sec 0.78sec 1 615 8376

test25/test_25.20_5_0.2_2_2.2_3_2_2.146.1 nlp wc
40 lines 3528 bytes
head (2,2,2) body (2,3,2,2)
estimated blow-up 146.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1099.87sec 45.22sec 0 6098 275697
htl 14.82sec 3.72sec 0 891 14372
str 22.87sec 5.02sec 0 937 13193

test25/test_25.20_5_0.2_2_2.2_3_2_3.1394.6 nlp wc
38 lines 4866 bytes
head (2,2,2) body (2,3,2,3)
estimated blow-up 1394.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 79438.75sec 814.10sec -- 51584 3267442
htl 25.55sec 91.82sec 0 1214 20043
str 42.83sec 82.07sec 0 1262 17939

test25/test_25.20_5_0.2_2_2.2_3_3_1.3.2 nlp wc
40 lines 1645 bytes
head (2,2,2) body (2,3,3,1)
estimated blow-up 3.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.87sec 0.01sec 0 298 6267
htl 5.53sec 0.01sec 0 499 7198
str 6.32sec 0.05sec 0 499 6532

test25/test_25.20_5_0.2_2_2.2_3_3_2.10.2 nlp wc
40 lines 2347 bytes
head (2,2,2) body (2,3,3,2)
estimated blow-up 10.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 19.60sec 0.49sec 1 756 23320
htl 10.92sec 4.42sec 1 742 11063
str 12.99sec 4.52sec 1 742 9960

test25/test_25.20_5_0.2_2_2.2_3_3_3.31.8 nlp wc
40 lines 2912 bytes
head (2,2,2) body (2,3,3,3)
estimated blow-up 31.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 142.65sec 4.03sec 1 2132 83294
htl 17.34sec 12.63sec 1 959 14312
str 20.99sec 13.19sec 1 959 13175

test25/test_25.20_5_0.2_2_2.2_3_3_4.97.7 nlp wc
40 lines 3681 bytes
head (2,2,2) body (2,3,3,4)
estimated blow-up 97.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1155.49sec 88.34sec 1 6216 317923
htl 25.90sec 28.03sec 1 1222 18548
str 33.04sec 27.53sec 1 1222 16838

test25/test_25.20_5_0.2_2_2.3_3_3_1.1.8 nlp wc
38 lines 1187 bytes
head (2,2,2) body (3,3,3,1)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.67sec 0.00sec 1 122 2777
htl 2.11sec 0.08sec 1 210 3160
str 2.35sec 0.03sec 1 224 3026

test25/test_25.20_5_0.2_2_2.3_3_3_2.2.3 nlp wc
38 lines 1606 bytes
head (2,2,2) body (3,3,3,2)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.01sec 0.01sec 1 134 4186
htl 2.54sec 0.01sec 1 231 3793
str 2.64sec 1.35sec 1 241 3456

test25/test_25.20_5_0.2_2_2.3_3_3_3.2.6 nlp wc
40 lines 2045 bytes
head (2,2,2) body (3,3,3,3)
estimated blow-up 2.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.98sec 0.01sec 1 142 5709
htl 2.51sec 0.01sec 1 242 4346
str 3.43sec 1.75sec 1 248 3788

test25/test_25.20_5_0.2_2_2.3_3_3_4.2.8 nlp wc
40 lines 2394 bytes
head (2,2,2) body (3,3,3,4)
estimated blow-up 2.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.36sec 0.01sec 1 140 6448
htl 2.70sec 0.01sec 1 238 4458
str 3.70sec 6.92sec 1 244 3872

test25/test_25.20_5_0.2_3_2.1_1_1_1.2.6 nlp wc
45 lines 2419 bytes
head (2,3,2) body (1,1,1,1)
estimated blow-up 2.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.79sec 0.02sec 16 341 6119
htl 9.14sec 0.08sec 16 641 9399
str 10.84sec 0.07sec 16 641 8637

test25/test_25.20_5_0.2_3_2.1_1_1_2.3.1 nlp wc
45 lines 2426 bytes
head (2,3,2) body (1,1,1,2)
estimated blow-up 3.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.27sec 0.01sec 10 325 7208
htl 9.11sec 6.56sec 10 621 9168
str 10.44sec 6.43sec 10 621 8401

test25/test_25.20_5_0.2_3_2.1_1_1_3.3.5 nlp wc
42 lines 2513 bytes
head (2,3,2) body (1,1,1,3)
estimated blow-up 3.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.69sec 0.02sec 3 311 8255
htl 10.59sec 5.47sec 3 614 9223
str 11.80sec 6.60sec 3 614 8376

test25/test_25.20_5_0.2_3_2.1_1_1_4.3.9 nlp wc
45 lines 2745 bytes
head (2,3,2) body (1,1,1,4)
estimated blow-up 3.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.49sec 0.04sec 46 341 10245
htl 9.43sec 33.16sec 46 637 9685
str 11.32sec 34.76sec 46 637 8809

test25/test_25.20_5_0.2_3_2.1_2_1_1.12.4 nlp wc
45 lines 3041 bytes
head (2,3,2) body (1,2,1,1)
estimated blow-up 12.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 36.28sec 0.06sec 5 1064 27357
htl 12.38sec 0.18sec 5 770 11863
str 16.93sec 0.20sec 5 806 11203

test25/test_25.20_5_0.2_3_2.1_2_1_2.63.1 nlp wc
44 lines 3588 bytes
head (2,3,2) body (1,2,1,2)
estimated blow-up 63.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 365.32sec 1.36sec 1 3428 128119
htl 14.11sec 8.71sec 1 864 13605
str 22.55sec 8.75sec 1 900 12571

test25/test_25.20_5_0.2_3_2.1_2_1_3.293.7 nlp wc
45 lines 4360 bytes
head (2,3,2) body (1,2,1,3)
estimated blow-up 293.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6351.78sec 66.54sec 15 14189 705986
htl 18.41sec 58.95sec 15 982 15945
str 29.01sec 52.95sec 15 1022 14450

test25/test_25.20_5_0.2_3_2.1_2_1_4.1304.1 nlp wc
44 lines 5151 bytes
head (2,3,2) body (1,2,1,4)
estimated blow-up 1304.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 79235.80sec 811.83sec -- 50791 3198743
htl 20.59sec 25.31sec 28 1079 18161
str 35.42sec 72.44sec 28 1129 16272

test25/test_25.20_5_0.2_3_2.1_2_2_1.4.7 nlp wc
43 lines 2403 bytes
head (2,3,2) body (1,2,2,1)
estimated blow-up 4.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 9.25sec 0.01sec 0 500 9287
htl 9.61sec 0.02sec 0 675 9939
str 11.24sec 0.01sec 0 675 9097

test25/test_25.20_5_0.2_3_2.1_2_2_2.10.3 nlp wc
45 lines 2809 bytes
head (2,3,2) body (1,2,2,2)
estimated blow-up 10.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 33.45sec 0.17sec 7 1051 24187
htl 11.95sec 0.10sec 7 769 11438
str 14.81sec 0.11sec 7 769 10456

test25/test_25.20_5_0.2_3_2.1_2_2_3.22.6 nlp wc
44 lines 3039 bytes
head (2,3,2) body (1,2,2,3)
estimated blow-up 22.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 108.07sec 0.60sec 0 1891 54342
htl 13.31sec 0.05sec 0 817 12313
str 16.25sec 0.07sec 0 817 11153

test25/test_25.20_5_0.2_3_2.1_2_2_4.48.7 nlp wc
45 lines 3253 bytes
head (2,3,2) body (1,2,2,4)
estimated blow-up 48.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 371.50sec 4.36sec 15 3542 119329
htl 14.12sec 2.22sec 15 863 13094
str 18.25sec 3.57sec 15 863 11895

test25/test_25.20_5_0.2_3_2.1_3_1_1.101.4 nlp wc
45 lines 3986 bytes
head (2,3,2) body (1,3,1,1)
estimated blow-up 101.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 850.68sec 3.97sec 40 5416 192281
htl 15.27sec 2.55sec 40 899 14754
str 23.92sec 2.88sec 40 943 13315

test25/test_25.20_5_0.1_1_1.1_1_1_1.1.2 nlp wc
30 lines 592 bytes
head (1,1,1) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.65sec 0.00sec 1 88 1476
htl 0.99sec 0.00sec 1 158 2249
str 1.00sec 0.01sec 1 162 2038

test25/test_25.20_5_0.1_1_1.1_1_1_2.1.3 nlp wc
30 lines 733 bytes
head (1,1,1) body (1,1,1,2)
estimated blow-up 1.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.69sec 0.00sec 1 84 1692
htl 1.03sec 0.00sec 1 148 2265
str 1.05sec 0.01sec 1 164 2180

test25/test_25.20_5_0.1_1_1.1_1_1_3.1.4 nlp wc
30 lines 845 bytes
head (1,1,1) body (1,1,1,3)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.79sec 0.00sec 0 78 1780
htl 0.97sec 0.00sec 0 130 2076
str 1.05sec 0.01sec 0 150 2070

test25/test_25.20_5_0.1_1_1.1_1_1_4.1.5 nlp wc
30 lines 921 bytes
head (1,1,1) body (1,1,1,4)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.72sec 0.00sec 1 80 1999
htl 0.97sec 0.00sec 1 150 2442
str 0.97sec 0.36sec 1 164 2291

test25/test_25.20_5_0.1_1_1.1_2_1_1.4.7 nlp wc
30 lines 1131 bytes
head (1,1,1) body (1,2,1,1)
estimated blow-up 4.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.37sec 0.01sec 0 208 4515
htl 1.42sec 0.04sec 0 263 4133
str 1.60sec 0.01sec 0 289 3779

test25/test_25.20_5_0.1_1_1.1_2_1_2.20.4 nlp wc
30 lines 1801 bytes
head (1,1,1) body (1,2,1,2)
estimated blow-up 20.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 8.17sec 0.22sec 0 672 22822
htl 2.26sec 8.44sec 0 409 6618
str 3.08sec 11.34sec 0 441 6044

test25/test_25.20_5_0.1_1_1.1_2_1_3.85.3 nlp wc
30 lines 2598 bytes
head (1,1,1) body (1,2,1,3)
estimated blow-up 85.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 96.92sec 3.29sec 1 2428 117231
htl 3.35sec 0.24sec 1 518 8932
str 5.41sec 46.72sec 1 564 7942

test25/test_25.20_5_0.1_1_1.1_2_1_4.350.0 nlp wc
30 lines 3331 bytes
head (1,1,1) body (1,2,1,4)
estimated blow-up 350.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1378.28sec 100.21sec 1 9532 575585
htl 4.53sec 14.54sec 1 628 11179
str 8.04sec 120.89sec 1 676 9616

test25/test_25.20_5_0.1_1_1.1_2_2_1.1.8 nlp wc
30 lines 723 bytes
head (1,1,1) body (1,2,2,1)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.75sec 0.00sec 0 122 2069
htl 1.01sec 0.00sec 0 213 3089
str 1.12sec 0.00sec 0 215 2696

test25/test_25.20_5_0.1_1_1.1_2_2_2.3.7 nlp wc
30 lines 1025 bytes
head (1,1,1) body (1,2,2,2)
estimated blow-up 3.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.22sec 0.01sec 1 204 4254
htl 1.56sec 0.03sec 1 284 4208
str 1.45sec 0.23sec 1 284 3630

test25/test_25.20_5_0.1_1_1.1_2_2_3.7.4 nlp wc
30 lines 1247 bytes
head (1,1,1) body (1,2,2,3)
estimated blow-up 7.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.71sec 0.04sec 1 358 8978
htl 1.87sec 1.19sec 1 343 5088
str 1.98sec 2.38sec 1 343 4465

test25/test_25.20_5_0.1_1_1.1_2_2_4.15.0 nlp wc
30 lines 1540 bytes
head (1,1,1) body (1,2,2,4)
estimated blow-up 15.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 7.28sec 0.28sec 1 636 20134
htl 2.18sec 0.81sec 1 391 5978
str 2.69sec 1.11sec 1 391 5168

test25/test_25.20_5_0.1_1_1.1_3_1_1.32.0 nlp wc
30 lines 2126 bytes
head (1,1,1) body (1,3,1,1)
estimated blow-up 32.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 14.63sec 0.22sec 2 920 28994
htl 2.59sec 0.03sec 2 416 7237
str 3.61sec 0.05sec 2 454 6256

test25/test_25.20_5_0.1_1_1.1_3_1_2.821.0 nlp wc
30 lines 3751 bytes
head (1,1,1) body (1,3,1,2)
estimated blow-up 821.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6256.51sec 182.94sec 2 19598 1040772
htl 5.06sec 2.71sec 2 662 12188
str 8.41sec 6.59sec 2 704 10042

test25/test_25.20_5_0.1_1_1.1_3_2_1.10.2 nlp wc
30 lines 1500 bytes
head (1,1,1) body (1,3,2,1)
estimated blow-up 10.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.62sec 0.02sec 1 398 9175
htl 1.66sec 0.01sec 1 318 5264
str 2.19sec 0.01sec 1 354 4745

test25/test_25.20_5_0.1_1_1.1_3_2_2.97.7 nlp wc
30 lines 2456 bytes
head (1,1,1) body (1,3,2,2)
estimated blow-up 97.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 147.27sec 6.15sec 0 3120 110991
htl 2.87sec 0.35sec 0 470 8109
str 4.54sec 0.47sec 0 516 7229

test25/test_25.20_5_0.1_1_1.1_3_2_3.905.0 nlp wc
30 lines 3520 bytes
head (1,1,1) body (1,3,2,3)
estimated blow-up 905.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 10120.40sec 414.26sec -- 25172 1235533
htl 4.14sec 0.28sec 0 612 11081
str 7.59sec 0.58sec 0 662 9456

test25/test_25.20_5_0.1_1_1.1_3_3_1.2.3 nlp wc
30 lines 838 bytes
head (1,1,1) body (1,3,3,1)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.87sec 0.00sec 1 152 2537
htl 1.18sec 0.00sec 1 230 3432
str 1.20sec 0.00sec 1 230 2936

test25/test_25.20_5_0.1_1_1.1_3_3_2.6.5 nlp wc
30 lines 1241 bytes
head (1,1,1) body (1,3,3,2)
estimated blow-up 6.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.16sec 0.07sec 0 398 8385
htl 2.02sec 0.05sec 0 327 4964
str 1.78sec 0.00sec 0 327 4222

test25/test_25.20_5_0.1_1_1.1_3_3_3.19.1 nlp wc
30 lines 1581 bytes
head (1,1,1) body (1,3,3,3)
estimated blow-up 19.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 18.11sec 0.76sec 0 1092 28290
htl 2.33sec 0.17sec 0 410 6257
str 2.71sec 0.19sec 0 410 5401

test25/test_25.20_5_0.1_1_1.1_3_3_4.56.6 nlp wc
30 lines 1994 bytes
head (1,1,1) body (1,3,3,4)
estimated blow-up 56.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 132.35sec 7.51sec 1 3012 96540
htl 3.15sec 1.19sec 1 475 7454
str 3.49sec 1.49sec 1 475 6417

test25/test_25.20_5_0.1_1_1.2_2_2_1.1.3 nlp wc
30 lines 697 bytes
head (1,1,1) body (2,2,2,1)
estimated blow-up 1.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.72sec 0.00sec 0 80 1546
htl 0.94sec 0.00sec 0 144 2138
str 0.87sec 0.01sec 0 154 2014

test25/test_25.20_5_0.1_1_1.2_2_2_2.1.5 nlp wc
30 lines 975 bytes
head (1,1,1) body (2,2,2,2)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.00sec 0.00sec 1 84 2077
htl 1.12sec 0.04sec 1 148 2444
str 1.25sec 0.09sec 1 164 2310

test25/test_25.20_5_0.1_1_1.2_2_2_3.1.6 nlp wc
30 lines 1260 bytes
head (1,1,1) body (2,2,2,3)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.93sec 0.00sec 1 76 2368
htl 1.03sec 0.00sec 1 116 2198
str 1.20sec 0.01sec 1 140 2158

test25/test_25.20_5_0.1_1_1.2_2_2_4.1.6 nlp wc
30 lines 1454 bytes
head (1,1,1) body (2,2,2,4)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.96sec 0.00sec 1 80 2736
htl 1.06sec 0.00sec 1 138 2643
str 1.26sec 0.02sec 1 160 2514

test25/test_25.20_5_0.1_1_1.2_3_2_1.9.2 nlp wc
30 lines 1764 bytes
head (1,1,1) body (2,3,2,1)
estimated blow-up 9.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.67sec 0.03sec 1 412 11198
htl 2.97sec 2.11sec 1 511 7903
str 3.88sec 5.59sec 1 541 7297

test25/test_25.20_5_0.1_1_1.2_3_2_2.85.6 nlp wc
30 lines 3116 bytes
head (1,1,1) body (2,3,2,2)
estimated blow-up 85.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 163.39sec 10.27sec 1 3248 149428
htl 6.53sec 22.96sec 1 839 13664
str 9.66sec 46.96sec 1 885 12398

test25/test_25.20_5_0.1_1_1.2_3_2_3.782.3 nlp wc
30 lines 4358 bytes
head (1,1,1) body (2,3,2,3)
estimated blow-up 782.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 11560.14sec 412.17sec -- 26630 1648999
htl 11.21sec 307.50sec 1 1150 18884
str 18.06sec 311.88sec 1 1198 16938

test25/test_25.20_5_0.1_1_1.2_3_3_1.2.2 nlp wc
30 lines 1115 bytes
head (1,1,1) body (2,3,3,1)
estimated blow-up 2.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.04sec 0.01sec 1 158 3207
htl 2.16sec 0.13sec 1 405 5702
str 2.33sec 0.26sec 1 405 5155

test25/test_25.20_5_0.1_1_1.2_3_3_2.6.3 nlp wc
30 lines 1892 bytes
head (1,1,1) body (2,3,3,2)
estimated blow-up 6.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.51sec 0.16sec 1 380 11825
htl 4.44sec 39.63sec 1 630 9369
str 5.01sec 42.81sec 1 630 8432

test25/test_25.20_5_0.1_1_1.2_3_3_3.18.6 nlp wc
30 lines 2621 bytes
head (1,1,1) body (2,3,3,3)
estimated blow-up 18.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 21.74sec 0.94sec 1 1126 47332
htl 7.53sec 38.15sec 1 915 13845
str 9.23sec 39.21sec 1 915 12503

test25/test_25.20_5_0.1_1_1.2_3_3_4.55.4 nlp wc
30 lines 3196 bytes
head (1,1,1) body (2,3,3,4)
estimated blow-up 55.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 154.79sec 14.60sec 1 3174 160012
htl 10.91sec 211.21sec 1 1146 17381
str 14.18sec 232.11sec 1 1146 15728

test25/test_25.20_5_0.1_1_1.3_3_3_1.1.4 nlp wc
30 lines 816 bytes
head (1,1,1) body (3,3,3,1)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.75sec 0.00sec 0 80 1758
htl 0.87sec 0.04sec 0 132 2068
str 0.82sec 0.01sec 0 146 1989

test25/test_25.20_5_0.1_1_1.3_3_3_2.1.6 nlp wc
30 lines 1180 bytes
head (1,1,1) body (3,3,3,2)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.77sec 0.00sec 1 80 2379
htl 1.02sec 0.00sec 1 144 2559
str 1.24sec 0.11sec 1 164 2454

test25/test_25.20_5_0.1_1_1.3_3_3_3.1.7 nlp wc
30 lines 1493 bytes
head (1,1,1) body (3,3,3,3)
estimated blow-up 1.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.84sec 0.00sec 1 84 3003
htl 0.99sec 0.00sec 1 148 2902
str 1.09sec 0.12sec 1 166 2694

test25/test_25.20_5_0.1_1_1.3_3_3_4.1.7 nlp wc
30 lines 1877 bytes
head (1,1,1) body (3,3,3,4)
estimated blow-up 1.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.02sec 0.00sec 1 80 3442
htl 1.19sec 0.00sec 1 144 3094
str 1.33sec 0.22sec 1 164 2820

test25/test_25.20_5_0.1_2_1.1_1_1_1.1.2 nlp wc
40 lines 1513 bytes
head (1,2,1) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.04sec 0.01sec 28 143 2713
htl 2.16sec 0.32sec 28 365 5358
str 2.32sec 0.32sec 28 365 4680

test25/test_25.20_5_0.1_2_1.1_1_1_2.1.5 nlp wc
40 lines 1626 bytes
head (1,2,1) body (1,1,1,2)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.07sec 0.02sec 45 150 3253
htl 2.04sec 5.72sec 45 379 5704
str 2.24sec 6.56sec 45 381 5011

test25/test_25.20_5_0.1_2_1.1_1_1_3.1.6 nlp wc
40 lines 1756 bytes
head (1,2,1) body (1,1,1,3)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.97sec 0.01sec 14 138 3536
htl 1.97sec 0.18sec 14 346 5323
str 2.42sec 0.21sec 14 354 4682

test25/test_25.20_5_0.1_2_1.1_1_1_4.1.8 nlp wc
40 lines 1857 bytes
head (1,2,1) body (1,1,1,4)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.04sec 0.01sec 12 139 3925
htl 1.96sec 1.61sec 12 353 5483
str 2.60sec 1.97sec 12 363 4891

test25/test_25.20_5_0.1_2_1.1_2_1_1.5.8 nlp wc
40 lines 2056 bytes
head (1,2,1) body (1,2,1,1)
estimated blow-up 5.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.00sec 0.02sec 8 367 9348
htl 3.03sec 0.16sec 8 477 7375
str 3.73sec 0.22sec 8 505 6820

test25/test_25.20_5_0.1_2_1.1_2_1_2.28.5 nlp wc
40 lines 2846 bytes
head (1,2,1) body (1,2,1,2)
estimated blow-up 28.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 28.58sec 0.60sec 11 1302 50931
htl 4.06sec 6.65sec 11 598 9858
str 6.07sec 10.90sec 11 636 8852

test25/test_25.20_5_0.1_2_1.1_2_1_3.128.0 nlp wc
40 lines 3484 bytes
head (1,2,1) body (1,2,1,3)
estimated blow-up 128.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 364.31sec 7.39sec 11 4935 251547
htl 5.30sec 43.76sec 11 697 11793
str 8.42sec 105.28sec 11 743 10532

test25/test_25.20_5_0.1_2_1.1_2_1_4.551.4 nlp wc
40 lines 4268 bytes
head (1,2,1) body (1,2,1,4)
estimated blow-up 551.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6055.41sec 263.34sec 3 19525 1240667
htl 6.46sec 105.89sec 3 821 14305
str 11.38sec 136.58sec 3 871 12447

test25/test_25.20_5_0.1_2_1.1_2_2_1.2.1 nlp wc
39 lines 1600 bytes
head (1,2,1) body (1,2,2,1)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.54sec 0.00sec 0 222 4366
htl 2.78sec 0.01sec 0 410 6020
str 2.81sec 0.01sec 0 410 5307

test25/test_25.20_5_0.1_2_1.1_2_2_2.4.7 nlp wc
40 lines 1902 bytes
head (1,2,1) body (1,2,2,2)
estimated blow-up 4.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.28sec 0.03sec 15 372 8891
htl 2.90sec 0.36sec 15 477 7140
str 3.40sec 0.42sec 15 477 6312

test25/test_25.20_5_0.1_2_1.1_2_2_3.10.1 nlp wc
40 lines 2053 bytes
head (1,2,1) body (1,2,2,3)
estimated blow-up 10.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 7.33sec 0.09sec 0 646 18009
htl 3.17sec 0.01sec 0 512 7714
str 3.63sec 0.01sec 0 512 6835

test25/test_25.20_5_0.1_2_1.1_2_2_4.21.4 nlp wc
40 lines 2432 bytes
head (1,2,1) body (1,2,2,4)
estimated blow-up 21.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 26.88sec 0.95sec 12 1295 44637
htl 3.84sec 2.01sec 12 570 8760
str 4.99sec 3.09sec 12 570 7718

test25/test_25.20_5_0.1_2_1.1_3_1_1.45.5 nlp wc
39 lines 2824 bytes
head (1,2,1) body (1,3,1,1)
estimated blow-up 45.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 50.59sec 0.38sec 0 1749 60444
htl 4.07sec 0.01sec 0 586 9684
str 5.82sec 0.01sec 0 610 8395

test25/test_25.20_5_0.1_2_1.1_3_1_2.1316.6 nlp wc
40 lines 4622 bytes
head (1,2,1) body (1,3,1,2)
estimated blow-up 1316.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 26430.52sec 85.38sec 30 37463 2136069
htl 7.07sec 73.10sec 30 852 15330
str 11.82sec 71.45sec 30 896 12908

test25/test_25.20_5_0.1_2_1.1_3_2_1.13.6 nlp wc
40 lines 2460 bytes
head (1,2,1) body (1,3,2,1)
estimated blow-up 13.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 10.06sec 0.16sec 3 767 20755
htl 3.37sec 0.03sec 3 515 8333
str 4.68sec 0.07sec 3 553 7632

test25/test_25.20_5_0.1_2_1.1_3_2_2.147.3 nlp wc
40 lines 3408 bytes
head (1,2,1) body (1,3,2,2)
estimated blow-up 147.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 618.29sec 9.77sec 14 6549 258575
htl 5.13sec 0.14sec 14 677 11449
str 7.85sec 0.25sec 14 719 10162

test25/test_25.20_5_0.1_2_1.1_3_2_3.1458.0 nlp wc
40 lines 4533 bytes
head (1,2,1) body (1,3,2,3)
estimated blow-up 1458.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 49352.08sec 431.05sec -- 51912 2699807
htl 7.06sec 4.14sec 29 847 14971
str 12.32sec 5.26sec 29 895 12880

test25/test_25.20_5_0.1_2_1.1_3_3_1.2.9 nlp wc
40 lines 1732 bytes
head (1,2,1) body (1,3,3,1)
estimated blow-up 2.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.97sec 0.01sec 0 273 5410
htl 2.49sec 0.01sec 0 436 6501
str 2.87sec 0.05sec 0 436 5729

test25/test_25.20_5_0.1_2_1.1_3_3_2.9.1 nlp wc
40 lines 2125 bytes
head (1,2,1) body (1,3,3,2)
estimated blow-up 9.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 9.82sec 0.11sec 0 763 18633
htl 3.50sec 0.01sec 0 519 7885
str 3.95sec 0.01sec 0 519 6927

test25/test_25.20_5_0.1_2_1.1_3_3_3.28.5 nlp wc
40 lines 2505 bytes
head (1,2,1) body (1,3,3,3)
estimated blow-up 28.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 69.66sec 2.28sec 7 2129 62777
htl 3.99sec 0.14sec 7 611 9425
str 5.13sec 0.16sec 7 611 8297

test25/test_25.20_5_0.1_2_1.1_3_3_4.88.4 nlp wc
39 lines 2832 bytes
head (1,2,1) body (1,3,3,4)
estimated blow-up 88.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 521.28sec 16.43sec 0 6030 211854
htl 4.63sec 0.01sec 0 663 10415
str 6.02sec 0.01sec 0 663 9106

test25/test_25.20_5_0.1_2_1.2_2_2_1.1.5 nlp wc
39 lines 1589 bytes
head (1,2,1) body (2,2,2,1)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.10sec 0.00sec 0 140 3149
htl 2.05sec 0.01sec 0 348 5220
str 2.42sec 0.01sec 0 354 4592

test25/test_25.20_5_0.1_2_1.2_2_2_2.1.8 nlp wc
40 lines 1830 bytes
head (1,2,1) body (2,2,2,2)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.28sec 0.00sec 15 147 3945
htl 2.05sec 39.68sec 15 361 5651
str 2.53sec 40.83sec 15 363 4888

test25/test_25.20_5_0.1_2_1.2_2_2_3.2.1 nlp wc
40 lines 2190 bytes
head (1,2,1) body (2,2,2,3)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.15sec 0.01sec 16 147 4917
htl 2.16sec 33.79sec 16 370 5978
str 2.93sec 37.78sec 16 374 5170

test25/test_25.20_5_0.1_2_1.2_2_2_4.2.3 nlp wc
40 lines 2420 bytes
head (1,2,1) body (2,2,2,4)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.40sec 0.01sec 16 143 5681
htl 2.49sec 8.90sec 16 366 6115
str 2.88sec 8.52sec 16 374 5313

test25/test_25.20_5_0.1_2_1.2_3_2_1.13.3 nlp wc
40 lines 2689 bytes
head (1,2,1) body (2,3,2,1)
estimated blow-up 13.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 10.06sec 0.21sec 9 756 23206
htl 4.88sec 0.66sec 9 682 10714
str 6.60sec 0.92sec 9 718 9947

test25/test_25.20_5_0.1_2_1.2_3_2_2.138.9 nlp wc
40 lines 3990 bytes
head (1,2,1) body (2,3,2,2)
estimated blow-up 138.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 604.90sec 28.46sec 20 6181 301816
htl 9.20sec 85.08sec 20 1022 16611
str 13.99sec 98.45sec 20 1064 15016

test25/test_25.20_5_0.1_2_1.2_3_2_3.1339.8 nlp wc
40 lines 5343 bytes
head (1,2,1) body (2,3,2,3)
estimated blow-up 1339.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 54409.63sec 431.26sec -- 54826 3684127
htl 15.59sec 431.24sec -- 1359 22429
str 24.97sec 379.36sec 8 1407 20000

test25/test_25.20_5_0.1_2_1.2_3_3_1.3.1 nlp wc
40 lines 2012 bytes
head (1,2,1) body (2,3,3,1)
estimated blow-up 3.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.48sec 0.02sec 16 302 6969
htl 4.07sec 0.23sec 16 617 9074
str 4.59sec 0.25sec 16 617 8210

test25/test_25.20_5_0.1_2_1.2_3_3_2.9.9 nlp wc
40 lines 2817 bytes
head (1,2,1) body (2,3,3,2)
estimated blow-up 9.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 10.96sec 0.22sec 28 784 26877
htl 7.26sec 13.39sec 28 884 13398
str 8.99sec 13.85sec 28 884 12046

test25/test_25.20_5_0.1_2_1.2_3_3_3.30.9 nlp wc
40 lines 3432 bytes
head (1,2,1) body (2,3,3,3)
estimated blow-up 30.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 70.64sec 3.50sec 4 2089 92616
htl 10.50sec 61.92sec 4 1099 16785
str 13.41sec 63.76sec 4 1099 15204

test25/test_25.20_5_0.1_2_1.2_3_3_4.95.3 nlp wc
40 lines 4134 bytes
head (1,2,1) body (2,3,3,4)
estimated blow-up 95.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 613.79sec 19.66sec 12 6353 340046
htl 15.31sec 205.54sec 12 1366 20889
str 19.63sec 202.46sec 12 1366 19008

test25/test_25.20_5_0.1_2_1.3_3_3_1.1.6 nlp wc
39 lines 1757 bytes
head (1,2,1) body (3,3,3,1)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.10sec 0.00sec 0 144 3717
htl 2.21sec 0.01sec 0 367 5643
str 2.40sec 0.01sec 0 369 4899

test25/test_25.20_5_0.1_2_1.3_3_3_2.2.1 nlp wc
40 lines 2101 bytes
head (1,2,1) body (3,3,3,2)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.17sec 0.01sec 2 143 4831
htl 2.20sec 30.89sec 2 351 5742
str 2.34sec 35.62sec 2 355 4937

test25/test_25.20_5_0.1_2_1.3_3_3_3.2.4 nlp wc
40 lines 2529 bytes
head (1,2,1) body (3,3,3,3)
estimated blow-up 2.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.37sec 0.01sec 32 145 6232
htl 2.04sec 18.17sec 32 362 6223
str 2.89sec 20.63sec 32 368 5297

test25/test_25.20_5_0.1_2_1.3_3_3_4.2.6 nlp wc
40 lines 2774 bytes
head (1,2,1) body (3,3,3,4)
estimated blow-up 2.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.51sec 0.01sec 32 146 7070
htl 2.27sec 37.50sec 32 352 6306
str 3.02sec 37.19sec 32 356 5323

test25/test_25.20_5_0.1_2_2.1_1_1_1.1.2 nlp wc
34 lines 1058 bytes
head (1,2,2) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.99sec 2.30sec 11244 123 2213
htl 1.59sec 62.38sec 11244 292 4079
str 1.61sec 62.11sec 11244 292 3698

test25/test_25.20_5_0.1_2_2.1_1_1_2.1.4 nlp wc
35 lines 1197 bytes
head (1,2,2) body (1,1,1,2)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.27sec 0.27sec 921 117 2436
htl 1.52sec 41.51sec 921 271 3874
str 1.54sec 41.70sec 921 275 3579

test25/test_25.20_5_0.1_2_2.1_1_1_3.1.5 nlp wc
35 lines 1308 bytes
head (1,2,2) body (1,1,1,3)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.79sec 0.02sec 145 114 2740
htl 1.52sec 28.13sec 145 271 3997
str 1.65sec 28.22sec 145 275 3640

test25/test_25.20_5_0.1_2_2.1_1_1_4.1.6 nlp wc
35 lines 1364 bytes
head (1,2,2) body (1,1,1,4)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.03sec 0.03sec 308 121 3153
htl 1.54sec 414.02sec -- 275 4218
str 1.66sec 414.45sec -- 275 3719

test25/test_25.20_5_0.1_2_2.1_2_1_1.5.3 nlp wc
35 lines 1696 bytes
head (1,2,2) body (1,2,1,1)
estimated blow-up 5.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.29sec 1.27sec 3202 298 7348
htl 2.34sec 34.13sec 3202 398 6042
str 2.87sec 68.85sec 3202 430 5794

test25/test_25.20_5_0.1_2_2.1_2_1_2.24.8 nlp wc
35 lines 2319 bytes
head (1,2,2) body (1,2,1,2)
estimated blow-up 24.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 17.46sec 4.62sec 2065 1022 37001
htl 3.57sec 238.52sec 2065 520 8201
str 4.63sec 422.39sec -- 550 7544

test25/test_25.20_5_0.1_2_2.1_2_1_3.108.3 nlp wc
35 lines 3104 bytes
head (1,2,2) body (1,2,1,3)
estimated blow-up 108.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 219.70sec 10.77sec 1031 3697 186643
htl 4.39sec 415.77sec -- 613 10335
str 6.96sec 414.84sec -- 657 9255

test25/test_25.20_5_0.1_2_2.1_2_1_4.457.5 nlp wc
35 lines 3615 bytes
head (1,2,2) body (1,2,1,4)
estimated blow-up 457.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2371.61sec 85.94sec 335 12291 753630
htl 5.45sec 413.90sec -- 721 12166
str 8.59sec 414.32sec -- 765 10897

test25/test_25.20_5_0.1_2_2.1_2_2_1.2.0 nlp wc
35 lines 1176 bytes
head (1,2,2) body (1,2,2,1)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.13sec 0.72sec 3549 168 3092
htl 1.70sec 2.78sec 3549 319 4531
str 2.02sec 4.92sec 3549 319 4025

test25/test_25.20_5_0.1_2_2.1_2_2_2.4.3 nlp wc
35 lines 1510 bytes
head (1,2,2) body (1,2,2,2)
estimated blow-up 4.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.30sec 0.88sec 2175 290 6640
htl 2.56sec 7.52sec 2175 394 5659
str 2.50sec 35.50sec 2175 394 5138

test25/test_25.20_5_0.1_2_2.1_2_2_3.9.0 nlp wc
35 lines 1746 bytes
head (1,2,2) body (1,2,2,3)
estimated blow-up 9.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.29sec 1.37sec 2164 528 14454
htl 2.93sec 174.93sec 2164 470 6865
str 3.27sec 336.76sec 2164 470 6240

test25/test_25.20_5_0.1_2_2.1_2_2_4.18.6 nlp wc
35 lines 2042 bytes
head (1,2,2) body (1,2,2,4)
estimated blow-up 18.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 15.40sec 1.63sec 1435 969 33200
htl 3.25sec 209.27sec 1435 503 7575
str 3.68sec 400.12sec 1435 503 6773

test25/test_25.20_5_0.1_2_2.1_3_1_1.39.3 nlp wc
35 lines 2540 bytes
head (1,2,2) body (1,3,1,1)
estimated blow-up 39.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 27.80sec 3.29sec 2255 1279 43690
htl 3.30sec 194.83sec 2255 515 8565
str 4.95sec 223.58sec 2255 547 7567

test25/test_25.20_5_0.1_2_2.1_3_1_2.1084.2 nlp wc
35 lines 4207 bytes
head (1,2,2) body (1,3,1,2)
estimated blow-up 1084.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 14518.20sec 211.63sec 1421 30808 1704576
htl 6.05sec 416.93sec -- 777 13819
str 10.71sec 431.59sec -- 819 11710

test25/test_25.20_5_0.1_2_2.1_3_2_1.12.1 nlp wc
35 lines 1965 bytes
head (1,2,2) body (1,3,2,1)
estimated blow-up 12.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.16sec 33.35sec 64953 585 14655
htl 2.73sec 60.46sec 64953 443 6873
str 3.56sec 66.63sec 64953 475 6432

test25/test_25.20_5_0.1_2_2.1_3_2_2.124.6 nlp wc
35 lines 3018 bytes
head (1,2,2) body (1,3,2,2)
estimated blow-up 124.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 326.91sec 273.40sec 34888 4711 181846
htl 4.39sec 137.11sec 34888 610 10293
str 7.16sec 221.46sec 34888 660 9327

test25/test_25.20_5_0.1_2_2.1_3_2_3.1200.7 nlp wc
35 lines 3968 bytes
head (1,2,2) body (1,3,2,3)
estimated blow-up 1200.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 22506.08sec 414.15sec -- 37189 1900245
htl 5.84sec 356.01sec 4109 760 13182
str 10.81sec 427.90sec -- 806 11471

test25/test_25.20_5_0.1_2_2.1_3_3_1.2.7 nlp wc
34 lines 1247 bytes
head (1,2,2) body (1,3,3,1)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.48sec 0.95sec 4622 217 3911
htl 2.05sec 5.46sec 4622 341 4776
str 2.06sec 5.39sec 4622 341 4324

test25/test_25.20_5_0.1_2_2.1_3_3_2.8.1 nlp wc
35 lines 1729 bytes
head (1,2,2) body (1,3,3,2)
estimated blow-up 8.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.31sec 5.25sec 13924 587 13642
htl 2.82sec 20.88sec 13924 440 6443
str 2.87sec 26.62sec 13924 440 5822

test25/test_25.20_5_0.1_2_2.1_3_3_3.24.6 nlp wc
35 lines 2078 bytes
head (1,2,2) body (1,3,3,3)
estimated blow-up 24.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 36.81sec 54.02sec 48160 1519 42588
htl 3.51sec 124.79sec 48160 520 7785
str 3.70sec 116.65sec 48160 520 6988

test25/test_25.20_5_0.1_2_2.1_3_3_4.74.8 nlp wc
35 lines 2367 bytes
head (1,2,2) body (1,3,3,4)
estimated blow-up 74.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 321.01sec 243.13sec 37276 4597 151773
htl 4.11sec 174.15sec 37276 589 8967
str 4.71sec 158.82sec 37276 589 8008

test25/test_25.20_5_0.1_2_2.2_2_2_1.1.4 nlp wc
35 lines 1138 bytes
head (1,2,2) body (2,2,2,1)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.10sec 0.12sec 424 117 2408
htl 1.48sec 62.07sec 424 268 3867
str 1.59sec 63.33sec 424 270 3514

test25/test_25.20_5_0.1_2_2.2_2_2_2.1.6 nlp wc
35 lines 1418 bytes
head (1,2,2) body (2,2,2,2)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.96sec 0.04sec 447 123 3104
htl 1.74sec 415.43sec -- 286 4351
str 1.84sec 414.44sec -- 288 3896

test25/test_25.20_5_0.1_2_2.2_2_2_3.1.8 nlp wc
34 lines 1722 bytes
head (1,2,2) body (2,2,2,3)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.98sec 0.01sec 30 119 3769
htl 1.44sec 97.55sec 30 282 4473
str 1.89sec 98.62sec 30 286 3994

test25/test_25.20_5_0.1_2_2.2_2_2_4.2.0 nlp wc
35 lines 1959 bytes
head (1,2,2) body (2,2,2,4)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.13sec 0.02sec 135 116 4284
htl 1.45sec 18.47sec 135 270 4533
str 2.13sec 72.85sec 135 276 4043

test25/test_25.20_5_0.1_2_2.2_3_2_1.11.5 nlp wc
35 lines 2163 bytes
head (1,2,2) body (2,3,2,1)
estimated blow-up 11.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.70sec 1.78sec 2002 586 16743
htl 4.24sec 286.84sec 2002 609 9183
str 5.20sec 299.08sec 2002 637 8673

test25/test_25.20_5_0.1_2_2.2_3_2_2.114.4 nlp wc
35 lines 3621 bytes
head (1,2,2) body (2,3,2,2)
estimated blow-up 114.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 299.44sec 15.77sec 535 4438 213314
htl 8.24sec 414.40sec -- 920 14884
str 12.41sec 424.66sec -- 962 13493

test25/test_25.20_5_0.1_2_2.2_3_2_3.1077.6 nlp wc
35 lines 4965 bytes
head (1,2,2) body (2,3,2,3)
estimated blow-up 1077.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 29305.63sec 414.03sec -- 39433 2555719
htl 13.26sec 414.91sec -- 1255 20705
str 22.34sec 414.01sec -- 1305 18578

test25/test_25.20_5_0.1_2_2.2_3_3_1.2.7 nlp wc
35 lines 1611 bytes
head (1,2,2) body (2,3,3,1)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.69sec 3.79sec 13950 235 5222
htl 3.30sec 110.34sec 13950 531 7552
str 3.71sec 111.19sec 13950 531 6974

test25/test_25.20_5_0.1_2_2.2_3_3_2.8.3 nlp wc
34 lines 2246 bytes
head (1,2,2) body (2,3,3,2)
estimated blow-up 8.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.62sec 0.71sec 421 582 18083
htl 5.79sec 206.98sec 421 766 11148
str 6.62sec 206.32sec 421 766 10314

test25/test_25.20_5_0.1_2_2.2_3_3_3.25.4 nlp wc
34 lines 2988 bytes
head (1,2,2) body (2,3,3,3)
estimated blow-up 25.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 47.60sec 1.58sec 88 1682 71415
htl 9.33sec 414.80sec -- 1037 15460
str 11.71sec 414.26sec -- 1037 14195

test25/test_25.20_5_0.1_2_2.2_3_3_4.77.1 nlp wc
35 lines 3751 bytes
head (1,2,2) body (2,3,3,4)
estimated blow-up 77.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 359.01sec 26.68sec 93 4836 257156
htl 13.88sec 414.36sec -- 1294 19620
str 17.96sec 414.67sec -- 1294 17887

test25/test_25.20_5_0.1_2_2.3_3_3_1.1.5 nlp wc
35 lines 1265 bytes
head (1,2,2) body (3,3,3,1)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.93sec 0.04sec 279 118 2777
htl 1.76sec 85.85sec 279 275 4084
str 1.62sec 89.11sec 279 279 3704

test25/test_25.20_5_0.1_2_2.3_3_3_2.1.8 nlp wc
35 lines 1686 bytes
head (1,2,2) body (3,3,3,2)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.96sec 0.01sec 72 116 3712
htl 1.53sec 75.23sec 72 270 4306
str 1.79sec 75.97sec 72 278 3915

test25/test_25.20_5_0.1_2_2.3_3_3_3.2.0 nlp wc
34 lines 2016 bytes
head (1,2,2) body (3,3,3,3)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.03sec 0.01sec 81 118 4493
htl 1.68sec 41.29sec 81 274 4612
str 2.03sec 42.47sec 81 280 4106

test25/test_25.20_5_0.1_2_2.3_3_3_4.2.2 nlp wc
33 lines 2365 bytes
head (1,2,2) body (3,3,3,4)
estimated blow-up 2.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.13sec 0.05sec 18 120 5419
htl 1.67sec 158.18sec 18 280 4978
str 2.27sec 158.35sec 18 284 4350

test25/test_25.20_5_0.1_3_1.1_1_1_1.1.3 nlp wc
55 lines 2579 bytes
head (1,3,1) body (1,1,1,1)
estimated blow-up 1.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.60sec 0.01sec 0 204 4163
htl 3.62sec 0.03sec 0 528 8151
str 4.70sec 0.02sec 0 530 7054

test25/test_25.20_5_0.1_3_1.1_1_1_2.1.5 nlp wc
55 lines 2886 bytes
head (1,3,1) body (1,1,1,2)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.59sec 0.06sec 76 217 5287
htl 3.78sec 1.14sec 76 560 8856
str 5.19sec 1.33sec 76 562 7670

test25/test_25.20_5_0.1_3_1.1_1_1_3.1.8 nlp wc
53 lines 3026 bytes
head (1,3,1) body (1,1,1,3)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.59sec 0.01sec 3 212 5889
htl 3.97sec 0.50sec 3 558 8937
str 5.14sec 0.56sec 3 564 7769

test25/test_25.20_5_0.1_3_1.1_1_1_4.2.0 nlp wc
55 lines 3164 bytes
head (1,3,1) body (1,1,1,4)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.65sec 0.02sec 31 217 6708
htl 4.06sec 6.78sec 31 569 9244
str 5.52sec 8.67sec 31 571 7939

test25/test_25.20_5_0.1_3_1.1_2_1_1.6.4 nlp wc
55 lines 3325 bytes
head (1,3,1) body (1,2,1,1)
estimated blow-up 6.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 7.23sec 0.12sec 18 627 16883
htl 5.21sec 0.22sec 18 687 11043
str 7.02sec 0.27sec 18 713 9908

test25/test_25.20_5_0.1_3_1.1_2_1_2.34.2 nlp wc
55 lines 3972 bytes
head (1,3,1) body (1,2,1,2)
estimated blow-up 34.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 69.80sec 0.46sec 3 2068 82612
htl 6.44sec 7.71sec 3 781 12990
str 9.91sec 13.74sec 3 819 11503

test25/test_25.20_5_0.1_3_1.1_2_1_3.162.4 nlp wc
55 lines 4815 bytes
head (1,3,1) body (1,2,1,3)
estimated blow-up 162.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1048.76sec 9.14sec 82 8389 445774
htl 8.05sec 14.29sec 82 901 15490
str 13.67sec 17.16sec 82 949 13543

test25/test_25.20_5_0.1_3_1.1_2_1_4.729.4 nlp wc
55 lines 5330 bytes
head (1,3,1) body (1,2,1,4)
estimated blow-up 729.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 14398.37sec 242.37sec 27 31027 1921227
htl 9.87sec 93.49sec 27 1004 17277
str 16.35sec 106.21sec 27 1052 15162

test25/test_25.20_5_0.1_3_1.1_2_2_1.2.3 nlp wc
53 lines 2887 bytes
head (1,3,1) body (1,2,2,1)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.51sec 0.01sec 0 346 7253
htl 4.44sec 0.01sec 0 626 9771
str 5.43sec 0.01sec 0 626 8508

test25/test_25.20_5_0.1_3_1.1_2_2_2.5.2 nlp wc
53 lines 3165 bytes
head (1,3,1) body (1,2,2,2)
estimated blow-up 5.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.60sec 0.03sec 3 611 15677
htl 5.16sec 0.09sec 3 679 10707
str 6.87sec 0.03sec 3 679 9286

test25/test_25.20_5_0.1_3_1.1_2_2_3.11.7 nlp wc
55 lines 3409 bytes
head (1,3,1) body (1,2,2,3)
estimated blow-up 11.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 21.97sec 0.25sec 48 1171 35092
htl 5.81sec 0.52sec 48 744 11739
str 7.89sec 0.47sec 48 744 10272

test25/test_25.20_5_0.1_3_1.1_2_2_4.25.8 nlp wc
55 lines 3703 bytes
head (1,3,1) body (1,2,2,4)
estimated blow-up 25.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 75.53sec 0.49sec 19 2218 82798
htl 6.64sec 0.86sec 19 796 12746
str 9.08sec 0.99sec 19 796 11031

test25/test_25.20_5_0.1_3_1.1_3_1_1.55.4 nlp wc
55 lines 4231 bytes
head (1,3,1) body (1,3,1,1)
estimated blow-up 55.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 153.80sec 1.04sec 24 3172 117377
htl 7.37sec 1.02sec 24 825 13979
str 11.06sec 0.97sec 24 857 12106

test25/test_25.20_5_0.1_3_1.1_3_1_2.1771.2 nlp wc
55 lines 6035 bytes
head (1,3,1) body (1,3,1,2)
estimated blow-up 1771.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 71596.36sec 361.94sec -- 70391 4084718
htl 9.26sec 12.93sec 27 1084 19483
str 17.36sec 15.95sec 27 1128 16284

test25/test_25.20_5_0.1_3_1.1_3_2_1.15.7 nlp wc
55 lines 3578 bytes
head (1,3,1) body (1,3,2,1)
estimated blow-up 15.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 20.83sec 0.25sec 0 1233 34124
htl 4.85sec 0.01sec 0 731 11925
str 6.93sec 0.01sec 0 757 10532

test25/test_25.20_5_0.1_3_1.1_3_2_2.187.1 nlp wc
55 lines 4597 bytes
head (1,3,1) body (1,3,2,2)
estimated blow-up 187.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1375.24sec 2.67sec 3 10151 412949
htl 6.61sec 0.11sec 3 885 15020
str 11.24sec 0.06sec 3 925 13135

test25/test_25.20_5_0.1_3_1.1_3_2_3.1963.9 nlp wc
55 lines 5582 bytes
head (1,3,1) body (1,3,2,3)
estimated blow-up 1963.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 106575.74sec 357.45sec -- 87889 4656387
htl 8.68sec 0.48sec 11 1039 18200
str 15.19sec 0.53sec 11 1089 15696

test25/test_25.20_5_0.1_3_1.1_3_3_1.3.2 nlp wc
55 lines 2986 bytes
head (1,3,1) body (1,3,3,1)
estimated blow-up 3.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.71sec 0.01sec 0 468 9714
htl 3.97sec 0.01sec 0 648 10139
str 5.26sec 0.01sec 0 648 8778

test25/test_25.20_5_0.1_3_1.1_3_3_2.10.6 nlp wc
55 lines 3425 bytes
head (1,3,1) body (1,3,3,2)
estimated blow-up 10.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 23.77sec 0.11sec 1 1312 34262
htl 5.31sec 0.02sec 1 746 11879
str 6.70sec 0.02sec 1 746 10283

test25/test_25.20_5_0.1_3_1.1_3_3_3.35.1 nlp wc
55 lines 3701 bytes
head (1,3,1) body (1,3,3,3)
estimated blow-up 35.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 150.63sec 2.92sec 0 3403 104830
htl 5.52sec 0.06sec 0 790 12638
str 7.24sec 0.03sec 0 790 10972

test25/test_25.20_5_0.1_3_1.1_3_3_4.113.3 nlp wc
53 lines 4078 bytes
head (1,3,1) body (1,3,3,4)
estimated blow-up 113.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1338.65sec 5.44sec 3 10053 365807
htl 6.65sec 0.08sec 3 890 14340
str 9.09sec 0.09sec 3 890 12453

test25/test_25.20_5_0.1_3_1.2_2_2_1.1.5 nlp wc
55 lines 2852 bytes
head (1,3,1) body (2,2,2,1)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.21sec 0.01sec 0 213 5021
htl 3.39sec 0.20sec 0 571 8967
str 4.54sec 0.29sec 0 575 7781

test25/test_25.20_5_0.1_3_1.2_2_2_2.2.0 nlp wc
53 lines 3030 bytes
head (1,3,1) body (2,2,2,2)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.38sec 0.01sec 19 216 6304
htl 3.20sec 5.98sec 19 567 9106
str 4.68sec 6.62sec 19 569 7871

test25/test_25.20_5_0.1_3_1.2_2_2_3.2.4 nlp wc
55 lines 3409 bytes
head (1,3,1) body (2,2,2,3)
estimated blow-up 2.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.73sec 0.02sec 21 219 8070
htl 3.31sec 23.33sec 21 563 9252
str 4.78sec 26.04sec 21 565 7985

test25/test_25.20_5_0.1_3_1.2_2_2_4.2.7 nlp wc
55 lines 3580 bytes
head (1,3,1) body (2,2,2,4)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.54sec 0.02sec 13 208 8944
htl 3.21sec 7.42sec 13 544 9195
str 4.75sec 8.17sec 13 550 7867

test25/test_25.20_5_0.1_3_1.2_3_2_1.16.3 nlp wc
55 lines 3979 bytes
head (1,3,1) body (2,3,2,1)
estimated blow-up 16.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 23.33sec 0.36sec 46 1307 43188
htl 6.86sec 0.73sec 46 903 14681
str 10.32sec 0.83sec 46 939 13211

test25/test_25.20_5_0.1_3_1.2_3_2_2.187.4 nlp wc
55 lines 5304 bytes
head (1,3,1) body (2,3,2,2)
estimated blow-up 187.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1447.14sec 6.29sec 49 10624 543118
htl 11.17sec 17.16sec 49 1233 20470
str 18.09sec 16.80sec 49 1277 18109

test25/test_25.20_5_0.1_3_1.2_3_2_3.1912.2 nlp wc
53 lines 6533 bytes
head (1,3,1) body (2,3,2,3)
estimated blow-up 1912.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 121029.11sec 363.33sec -- 89182 6052086
htl 17.01sec 75.86sec 19 1523 25551
str 28.77sec 64.48sec 19 1573 22578

test25/test_25.20_5_0.1_3_1.2_3_3_1.3.6 nlp wc
53 lines 3264 bytes
head (1,3,1) body (2,3,3,1)
estimated blow-up 3.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.94sec 0.02sec 5 489 12501
htl 5.79sec 0.07sec 5 810 12592
str 7.25sec 0.13sec 5 810 11071

test25/test_25.20_5_0.1_3_1.2_3_3_2.12.7 nlp wc
53 lines 4010 bytes
head (1,3,1) body (2,3,3,2)
estimated blow-up 12.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 22.42sec 0.48sec 14 1258 45246
htl 8.68sec 3.19sec 14 1048 16384
str 11.71sec 3.89sec 14 1048 14507

test25/test_25.20_5_0.1_3_1.2_3_3_3.41.9 nlp wc
55 lines 4684 bytes
head (1,3,1) body (2,3,3,3)
estimated blow-up 41.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 178.01sec 2.84sec 39 3655 166585
htl 12.74sec 34.54sec 39 1314 20485
str 17.36sec 33.64sec 39 1314 18328

test25/test_25.20_5_0.1_3_1.2_3_3_4.134.6 nlp wc
51 lines 5267 bytes
head (1,3,1) body (2,3,3,4)
estimated blow-up 134.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1569.81sec 31.93sec 15 10824 598539
htl 17.11sec 26.56sec 15 1538 23946
str 24.29sec 28.10sec 15 1538 21570

test25/test_25.20_5_0.1_3_1.3_3_3_1.1.8 nlp wc
53 lines 3001 bytes
head (1,3,1) body (3,3,3,1)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.44sec 0.01sec 46 223 6095
htl 3.36sec 6.96sec 46 595 9527
str 4.69sec 8.20sec 46 595 8191

test25/test_25.20_5_0.1_3_1.3_3_3_2.2.4 nlp wc
55 lines 3370 bytes
head (1,3,1) body (3,3,3,2)
estimated blow-up 2.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.51sec 0.06sec 41 221 7954
htl 3.50sec 47.57sec 41 585 9694
str 4.62sec 52.41sec 41 585 8272

test25/test_25.20_5_0.1_3_1.3_3_3_3.2.9 nlp wc
55 lines 3779 bytes
head (1,3,1) body (3,3,3,3)
estimated blow-up 2.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.75sec 0.02sec 75 225 10107
htl 3.48sec 51.61sec 75 591 10074
str 5.06sec 59.94sec 75 591 8540

test25/test_25.20_5_0.1_3_1.3_3_3_4.3.3 nlp wc
53 lines 3932 bytes
head (1,3,1) body (3,3,3,4)
estimated blow-up 3.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.85sec 0.02sec 12 211 10864
htl 3.37sec 14.97sec 12 538 9381
str 4.74sec 17.11sec 12 540 7940

test25/test_25.20_5_0.1_3_2.1_1_1_1.1.2 nlp wc
45 lines 2166 bytes
head (1,3,2) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.04sec 5.51sec 25780 171 3614
htl 2.44sec 54.61sec 25780 443 6758
str 2.98sec 54.98sec 25780 443 5874

test25/test_25.20_5_0.1_3_2.1_1_1_2.1.4 nlp wc
44 lines 2250 bytes
head (1,3,2) body (1,1,1,2)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.02sec 1.01sec 4444 167 3987
htl 2.32sec 28.03sec 4444 427 6606
str 3.09sec 30.00sec 4444 429 5755

test25/test_25.20_5_0.1_3_2.1_1_1_3.1.6 nlp wc
45 lines 2346 bytes
head (1,3,2) body (1,1,1,3)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.09sec 0.76sec 2990 168 4564
htl 2.17sec 204.24sec 2990 432 6763
str 2.97sec 215.28sec 2990 434 5885

test25/test_25.20_5_0.1_3_2.1_1_1_4.1.8 nlp wc
45 lines 2432 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.61sec 2561 171 5112
htl 2.63sec 359.63sec -- 440 7001
str 3.09sec 358.16sec -- 440 6041

test25/test_25.20_5_0.1_3_2.1_2_1_1.5.8 nlp wc
45 lines 2692 bytes
head (1,3,2) body (1,2,1,1)
estimated blow-up 5.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.49sec 12.40sec 24688 453 12628
htl 3.25sec 88.35sec 24688 555 8823
str 4.61sec 102.23sec 24688 583 8039

test25/test_25.20_5_0.1_3_2.1_2_1_2.29.3 nlp wc
45 lines 3500 bytes
head (1,3,2) body (1,2,1,2)
estimated blow-up 29.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 38.72sec 44.73sec 25352 1640 68144
htl 4.44sec 357.46sec -- 681 11364
str 6.88sec 357.98sec -- 721 10179

test25/test_25.20_5_0.1_3_2.1_2_1_3.135.2 nlp wc
45 lines 4116 bytes
head (1,3,2) body (1,2,1,3)
estimated blow-up 135.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 497.86sec 68.91sec 4407 6106 329219
htl 5.30sec 360.76sec -- 776 13178
str 8.22sec 360.40sec -- 818 11634

test25/test_25.20_5_0.1_3_2.1_2_1_4.594.6 nlp wc
44 lines 4793 bytes
head (1,3,2) body (1,2,1,4)
estimated blow-up 594.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 8049.32sec 296.72sec 668 23433 1519449
htl 7.14sec 357.58sec -- 892 15386
str 11.51sec 359.76sec -- 938 13470

test25/test_25.20_5_0.1_3_2.1_2_2_1.2.1 nlp wc
45 lines 2261 bytes
head (1,3,2) body (1,2,2,1)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.43sec 7.49sec 27393 258 5517
htl 2.85sec 28.27sec 27393 494 7466
str 3.29sec 27.21sec 27393 494 6587

test25/test_25.20_5_0.1_3_2.1_2_2_2.4.7 nlp wc
44 lines 2561 bytes
head (1,3,2) body (1,2,2,2)
estimated blow-up 4.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.59sec 19.64sec 48534 466 12300
htl 3.17sec 49.22sec 48534 549 8448
str 4.01sec 51.68sec 48534 549 7405

test25/test_25.20_5_0.1_3_2.1_2_2_3.10.4 nlp wc
45 lines 2857 bytes
head (1,3,2) body (1,2,2,3)
estimated blow-up 10.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 10.56sec 7.21sec 12075 836 26703
htl 3.78sec 118.89sec 12075 611 9601
str 4.80sec 116.15sec 12075 611 8377

test25/test_25.20_5_0.1_3_2.1_2_2_4.22.3 nlp wc
45 lines 3118 bytes
head (1,3,2) body (1,2,2,4)
estimated blow-up 22.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 35.95sec 22.11sec 15536 1617 61209
htl 4.37sec 176.36sec 15536 676 10684
str 6.00sec 170.29sec 15536 676 9303

test25/test_25.20_5_0.1_3_2.1_3_1_1.47.1 nlp wc
45 lines 3632 bytes
head (1,3,2) body (1,3,1,1)
estimated blow-up 47.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 65.36sec 95.34sec 37832 2169 82195
htl 4.47sec 298.79sec 37832 687 11631
str 6.53sec 341.72sec 37832 717 10162

test25/test_25.20_5_0.1_3_2.1_3_1_2.1431.3 nlp wc
45 lines 5140 bytes
head (1,3,2) body (1,3,1,2)
estimated blow-up 1431.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 23565.67sec 356.17sec -- 40715 2364926
htl 6.92sec 298.27sec 1897 888 15880
str 12.36sec 359.14sec -- 930 13460

test25/test_25.20_5_0.1_3_2.1_3_2_1.13.8 nlp wc
45 lines 3025 bytes
head (1,3,2) body (1,3,2,1)
estimated blow-up 13.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 12.18sec 15.73sec 23317 905 26319
htl 3.43sec 23.43sec 23317 590 9669
str 5.24sec 30.39sec 23317 634 8870

test25/test_25.20_5_0.1_3_2.1_3_2_2.156.1 nlp wc
45 lines 3997 bytes
head (1,3,2) body (1,3,2,2)
estimated blow-up 156.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 685.78sec 208.24sec 16803 7252 299379
htl 5.13sec 33.86sec 16803 748 12758
str 8.57sec 41.28sec 16803 794 11282

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