next up previous contents
Next: Subseries: 15 variables Up: Subseries: 10 variables Previous: Tables   Contents

Individual tests

test10/test_10.20_5_0.1_1_1.1_1_1_1.1.2 nlp wc
30 lines 537 bytes
head (1,1,1) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.18sec 0.00sec 1 64 969
htl 0.23sec 0.00sec 1 100 1311
str 0.23sec 0.00sec 1 100 1169

test10/test_10.20_5_0.1_1_1.1_1_1_2.1.3 nlp wc
30 lines 668 bytes
head (1,1,1) body (1,1,1,2)
estimated blow-up 1.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.20sec 0.00sec 1 66 1242
htl 0.24sec 0.00sec 1 88 1266
str 0.24sec 0.00sec 1 92 1142

test10/test_10.20_5_0.1_1_1.1_1_1_3.1.4 nlp wc
30 lines 767 bytes
head (1,1,1) body (1,1,1,3)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.21sec 0.00sec 1 70 1481
htl 0.26sec 0.00sec 1 110 1654
str 0.28sec 0.00sec 1 110 1418

test10/test_10.20_5_0.1_1_1.1_1_1_4.1.5 nlp wc
30 lines 845 bytes
head (1,1,1) body (1,1,1,4)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.23sec 0.00sec 1 68 1611
htl 0.26sec 0.00sec 1 102 1629
str 0.29sec 0.00sec 1 102 1378

test10/test_10.20_5_0.1_1_1.1_2_1_1.4.7 nlp wc
30 lines 1047 bytes
head (1,1,1) body (1,2,1,1)
estimated blow-up 4.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.45sec 0.00sec 2 172 3485
htl 0.44sec 0.00sec 2 194 2921
str 0.52sec 0.00sec 2 212 2660

test10/test_10.20_5_0.1_1_1.1_2_1_2.20.4 nlp wc
30 lines 1639 bytes
head (1,1,1) body (1,2,1,2)
estimated blow-up 20.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.96sec 0.03sec 0 598 18528
htl 0.72sec 0.01sec 0 323 4987
str 1.02sec 0.01sec 0 343 4401

test10/test_10.20_5_0.1_1_1.1_2_1_3.85.3 nlp wc
30 lines 2395 bytes
head (1,1,1) body (1,2,1,3)
estimated blow-up 85.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 56.51sec 1.15sec 0 2204 94924
htl 2.85sec 0.10sec 0 417 6948
str 5.15sec 0.06sec 0 437 5831

test10/test_10.20_5_0.1_1_1.1_2_1_4.350.0 nlp wc
30 lines 3150 bytes
head (1,1,1) body (1,2,1,4)
estimated blow-up 350.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2932.86sec 118.58sec 1 9502 511313
htl 6.90sec 0.09sec 1 482 8314
str 11.74sec 0.09sec 1 502 6852

test10/test_10.20_5_0.1_1_1.1_2_2_1.1.8 nlp wc
30 lines 655 bytes
head (1,1,1) body (1,2,2,1)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.76sec 0.00sec 1 102 1550
htl 1.73sec 0.04sec 1 161 2150
str 2.18sec 0.03sec 1 161 1885

test10/test_10.20_5_0.1_1_1.1_2_2_2.3.7 nlp wc
30 lines 923 bytes
head (1,1,1) body (1,2,2,2)
estimated blow-up 3.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.42sec 0.01sec 1 184 3491
htl 2.56sec 0.08sec 1 209 2889
str 2.76sec 0.00sec 1 209 2525

test10/test_10.20_5_0.1_1_1.1_2_2_3.7.4 nlp wc
30 lines 1122 bytes
head (1,1,1) body (1,2,2,3)
estimated blow-up 7.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.80sec 0.02sec 1 318 7255
htl 2.47sec 0.00sec 1 256 3573
str 3.22sec 0.08sec 1 256 3123

test10/test_10.20_5_0.1_1_1.1_2_2_4.15.0 nlp wc
30 lines 1368 bytes
head (1,1,1) body (1,2,2,4)
estimated blow-up 15.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 11.28sec 0.11sec 0 560 15577
htl 3.34sec 0.04sec 0 298 4289
str 3.69sec 0.08sec 0 298 3679

test10/test_10.20_5_0.1_1_1.1_3_1_1.32.0 nlp wc
30 lines 1965 bytes
head (1,1,1) body (1,3,1,1)
estimated blow-up 32.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 23.34sec 0.12sec 2 824 23887
htl 3.57sec 0.01sec 2 329 5499
str 5.33sec 0.02sec 2 349 4511

test10/test_10.20_5_0.1_1_1.1_3_1_2.821.0 nlp wc
30 lines 3399 bytes
head (1,1,1) body (1,3,1,2)
estimated blow-up 821.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 7557.79sec 36.53sec 2 15676 733794
htl 6.77sec 0.10sec 2 515 9125
str 12.95sec 0.09sec 2 535 7292

test10/test_10.20_5_0.1_1_1.1_3_2_1.10.2 nlp wc
30 lines 1386 bytes
head (1,1,1) body (1,3,2,1)
estimated blow-up 10.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.36sec 0.03sec 1 322 6941
htl 3.02sec 0.00sec 1 260 4110
str 4.14sec 0.00sec 1 280 3534

test10/test_10.20_5_0.1_1_1.1_3_2_2.97.7 nlp wc
30 lines 2297 bytes
head (1,1,1) body (1,3,2,2)
estimated blow-up 97.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 253.58sec 3.14sec 1 2990 96220
htl 5.05sec 0.01sec 1 420 6924
str 8.11sec 0.08sec 1 440 5755

test10/test_10.20_5_0.1_1_1.1_3_2_3.905.0 nlp wc
30 lines 3235 bytes
head (1,1,1) body (1,3,2,3)
estimated blow-up 905.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 14953.07sec 360.44sec 0 22346 939939
htl 7.11sec 0.06sec 0 552 9558
str 13.31sec 0.09sec 0 572 7724

test10/test_10.20_5_0.1_1_1.1_3_3_1.2.3 nlp wc
30 lines 767 bytes
head (1,1,1) body (1,3,3,1)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.23sec 0.08sec 1 124 1903
htl 2.13sec 0.07sec 1 175 2415
str 2.26sec 0.00sec 1 175 2082

test10/test_10.20_5_0.1_1_1.1_3_3_2.6.5 nlp wc
30 lines 1141 bytes
head (1,1,1) body (1,3,3,2)
estimated blow-up 6.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.50sec 0.09sec 1 362 7004
htl 2.78sec 0.00sec 1 258 3692
str 3.32sec 0.00sec 1 258 3165

test10/test_10.20_5_0.1_1_1.1_3_3_3.19.1 nlp wc
30 lines 1435 bytes
head (1,1,1) body (1,3,3,3)
estimated blow-up 19.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 29.32sec 0.12sec 1 998 23269
htl 3.45sec 0.08sec 1 338 4849
str 4.48sec 0.08sec 1 338 4172

test10/test_10.20_5_0.1_1_1.1_3_3_4.56.6 nlp wc
30 lines 1793 bytes
head (1,1,1) body (1,3,3,4)
estimated blow-up 56.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 201.50sec 5.67sec 0 2676 75365
htl 4.42sec 0.10sec 0 408 5990
str 6.08sec 0.08sec 0 408 5136

test10/test_10.20_5_0.1_1_1.2_2_2_1.1.3 nlp wc
30 lines 643 bytes
head (1,1,1) body (2,2,2,1)
estimated blow-up 1.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.66sec 0.03sec 0 68 1228
htl 1.58sec 0.08sec 0 102 1431
str 1.57sec 0.09sec 0 104 1289

test10/test_10.20_5_0.1_1_1.2_2_2_2.1.5 nlp wc
30 lines 860 bytes
head (1,1,1) body (2,2,2,2)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.43sec 0.03sec 0 70 1580
htl 1.74sec 0.09sec 0 104 1626
str 1.82sec 0.06sec 0 106 1417

test10/test_10.20_5_0.1_1_1.2_2_2_3.1.6 nlp wc
30 lines 1119 bytes
head (1,1,1) body (2,2,2,3)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.45sec 0.00sec 1 66 1860
htl 1.63sec 0.00sec 1 82 1492
str 1.90sec 0.07sec 1 88 1305

test10/test_10.20_5_0.1_1_1.2_2_2_4.1.6 nlp wc
30 lines 1303 bytes
head (1,1,1) body (2,2,2,4)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.54sec 0.08sec 1 68 2142
htl 2.38sec 0.00sec 1 102 1890
str 2.14sec 0.08sec 1 104 1584

test10/test_10.20_5_0.1_1_1.2_3_2_1.9.2 nlp wc
30 lines 1611 bytes
head (1,1,1) body (2,3,2,1)
estimated blow-up 9.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.24sec 0.08sec 1 362 9184
htl 4.94sec 0.01sec 1 417 6125
str 6.89sec 0.10sec 1 437 5569

test10/test_10.20_5_0.1_1_1.2_3_2_2.85.6 nlp wc
30 lines 2834 bytes
head (1,1,1) body (2,3,2,2)
estimated blow-up 85.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 254.20sec 1.09sec 0 2930 119743
htl 10.42sec 0.03sec 0 710 11091
str 16.15sec 0.07sec 0 730 9709

test10/test_10.20_5_0.1_1_1.2_3_2_3.782.3 nlp wc
30 lines 3990 bytes
head (1,1,1) body (2,3,2,3)
estimated blow-up 782.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 16984.98sec 75.51sec 1 23142 1223723
htl 17.46sec 0.03sec 1 974 15510
str 30.31sec 0.03sec 1 994 13512

test10/test_10.20_5_0.1_1_1.2_3_3_1.2.2 nlp wc
30 lines 1019 bytes
head (1,1,1) body (2,3,3,1)
estimated blow-up 2.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.43sec 0.00sec 1 148 2769
htl 3.97sec 0.08sec 1 348 4631
str 4.00sec 0.08sec 1 348 4168

test10/test_10.20_5_0.1_1_1.2_3_3_2.6.3 nlp wc
30 lines 1695 bytes
head (1,1,1) body (2,3,3,2)
estimated blow-up 6.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.95sec 0.02sec 0 370 10154
htl 6.84sec 0.09sec 0 552 7771
str 8.32sec 0.08sec 0 552 7048

test10/test_10.20_5_0.1_1_1.2_3_3_3.18.6 nlp wc
30 lines 2285 bytes
head (1,1,1) body (2,3,3,3)
estimated blow-up 18.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 31.62sec 0.78sec 0 984 35636
htl 11.17sec 0.11sec 0 747 10717
str 14.57sec 0.02sec 0 747 9769

test10/test_10.20_5_0.1_1_1.2_3_3_4.55.4 nlp wc
30 lines 2871 bytes
head (1,1,1) body (2,3,3,4)
estimated blow-up 55.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 244.13sec 4.01sec 0 2894 123970
htl 16.03sec 0.02sec 0 906 13217
str 22.28sec 0.10sec 0 906 12026

test10/test_10.20_5_0.1_1_1.3_3_3_1.1.4 nlp wc
30 lines 751 bytes
head (1,1,1) body (3,3,3,1)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.44sec 0.07sec 1 68 1401
htl 1.54sec 0.09sec 1 102 1521
str 1.92sec 0.06sec 1 104 1334

test10/test_10.20_5_0.1_1_1.3_3_3_2.1.6 nlp wc
30 lines 1072 bytes
head (1,1,1) body (3,3,3,2)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.58sec 0.09sec 1 68 1893
htl 1.81sec 0.08sec 1 102 1772
str 1.91sec 0.00sec 1 104 1500

test10/test_10.20_5_0.1_1_1.3_3_3_3.1.7 nlp wc
30 lines 1364 bytes
head (1,1,1) body (3,3,3,3)
estimated blow-up 1.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.86sec 0.08sec 1 68 2308
htl 1.90sec 0.00sec 1 90 1815
str 2.07sec 0.03sec 1 94 1549

test10/test_10.20_5_0.1_1_1.3_3_3_4.1.7 nlp wc
30 lines 1699 bytes
head (1,1,1) body (3,3,3,4)
estimated blow-up 1.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.07sec 0.08sec 1 70 2633
htl 2.04sec 0.00sec 1 110 2232
str 1.94sec 0.08sec 1 110 1798

test10/test_10.20_5_0.1_2_1.1_1_1_1.1.2 nlp wc
39 lines 1391 bytes
head (1,2,1) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.11sec 0.07sec 0 113 1979
htl 3.25sec 0.06sec 0 282 3870
str 3.48sec 0.08sec 0 282 3426

test10/test_10.20_5_0.1_2_1.1_1_1_2.1.5 nlp wc
40 lines 1463 bytes
head (1,2,1) body (1,1,1,2)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.77sec 0.08sec 4 120 2450
htl 3.13sec 0.01sec 4 293 4136
str 4.02sec 0.01sec 4 293 3658

test10/test_10.20_5_0.1_2_1.1_1_1_3.1.6 nlp wc
39 lines 1578 bytes
head (1,2,1) body (1,1,1,3)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.89sec 0.11sec 0 117 2822
htl 3.58sec 0.08sec 0 279 4035
str 3.97sec 0.08sec 0 279 3523

test10/test_10.20_5_0.1_2_1.1_1_1_4.1.8 nlp wc
40 lines 1648 bytes
head (1,2,1) body (1,1,1,4)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.01sec 0.00sec 4 118 3071
htl 3.68sec 0.09sec 4 280 4111
str 4.19sec 0.01sec 4 280 3603

test10/test_10.20_5_0.1_2_1.1_2_1_1.5.8 nlp wc
40 lines 1906 bytes
head (1,2,1) body (1,2,1,1)
estimated blow-up 5.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.22sec 0.01sec 0 305 7284
htl 4.55sec 0.01sec 0 383 5566
str 6.37sec 0.01sec 0 397 5001

test10/test_10.20_5_0.1_2_1.1_2_1_2.28.5 nlp wc
40 lines 2582 bytes
head (1,2,1) body (1,2,1,2)
estimated blow-up 28.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 41.95sec 0.11sec 0 1120 40010
htl 6.18sec 0.09sec 0 458 7171
str 9.31sec 0.05sec 0 478 6314

test10/test_10.20_5_0.1_2_1.1_2_1_3.128.0 nlp wc
39 lines 3222 bytes
head (1,2,1) body (1,2,1,3)
estimated blow-up 128.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 689.13sec 1.24sec 0 4899 218185
htl 8.42sec 0.09sec 0 551 8946
str 13.52sec 0.09sec 0 571 7694

test10/test_10.20_5_0.1_2_1.1_2_1_4.551.4 nlp wc
39 lines 3884 bytes
head (1,2,1) body (1,2,1,4)
estimated blow-up 551.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 9232.24sec 6.20sec 0 18214 996595
htl 10.02sec 0.01sec 0 654 11052
str 17.20sec 0.08sec 0 674 9224

test10/test_10.20_5_0.1_2_1.1_2_2_1.2.1 nlp wc
39 lines 1460 bytes
head (1,2,1) body (1,2,2,1)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.50sec 0.08sec 0 179 3246
htl 4.06sec 0.02sec 0 322 4455
str 4.48sec 0.06sec 0 322 3916

test10/test_10.20_5_0.1_2_1.1_2_2_2.4.7 nlp wc
40 lines 1684 bytes
head (1,2,1) body (1,2,2,2)
estimated blow-up 4.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.73sec 0.07sec 0 322 6994
htl 4.15sec 0.08sec 0 346 4806
str 5.34sec 0.05sec 0 346 4242

test10/test_10.20_5_0.1_2_1.1_2_2_3.10.1 nlp wc
40 lines 1865 bytes
head (1,2,1) body (1,2,2,3)
estimated blow-up 10.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 13.08sec 0.02sec 0 613 15433
htl 4.64sec 0.06sec 0 404 5662
str 6.23sec 0.09sec 0 404 5083

test10/test_10.20_5_0.1_2_1.1_2_2_4.21.4 nlp wc
40 lines 2208 bytes
head (1,2,1) body (1,2,2,4)
estimated blow-up 21.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 42.42sec 0.75sec 1 1157 35315
htl 5.79sec 0.08sec 1 432 6226
str 7.70sec 0.09sec 1 432 5539

test10/test_10.20_5_0.1_2_1.1_3_1_1.45.5 nlp wc
38 lines 2622 bytes
head (1,2,1) body (1,3,1,1)
estimated blow-up 45.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 87.13sec 0.27sec 0 1685 53842
htl 6.53sec 0.05sec 0 486 7707
str 10.03sec 0.06sec 0 500 6551

test10/test_10.20_5_0.1_2_1.1_3_1_2.1316.6 nlp wc
39 lines 4204 bytes
head (1,2,1) body (1,3,1,2)
estimated blow-up 1316.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 35490.43sec 13.95sec 0 32918 1593403
htl 10.96sec 0.09sec 0 714 12192
str 20.13sec 0.01sec 0 732 10066

test10/test_10.20_5_0.1_2_1.1_3_2_1.13.6 nlp wc
38 lines 2169 bytes
head (1,2,1) body (1,3,2,1)
estimated blow-up 13.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 14.35sec 0.01sec 0 627 15596
htl 5.55sec 0.08sec 0 429 6513
str 7.65sec 0.09sec 0 449 5803

test10/test_10.20_5_0.1_2_1.1_3_2_2.147.3 nlp wc
40 lines 3022 bytes
head (1,2,1) body (1,3,2,2)
estimated blow-up 147.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 848.74sec 1.09sec 0 5549 193404
htl 7.71sec 0.01sec 0 589 9463
str 12.83sec 0.02sec 0 609 8101

test10/test_10.20_5_0.1_2_1.1_3_2_3.1458.0 nlp wc
40 lines 4156 bytes
head (1,2,1) body (1,3,2,3)
estimated blow-up 1458.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 56696.85sec 33.76sec 0 42795 1952845
htl 11.87sec 0.02sec 0 762 12850
str 21.50sec 0.06sec 0 782 10690

test10/test_10.20_5_0.1_2_1.1_3_3_1.2.9 nlp wc
40 lines 1563 bytes
head (1,2,1) body (1,3,3,1)
estimated blow-up 2.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.62sec 0.00sec 0 227 4111
htl 4.11sec 0.08sec 0 344 4831
str 4.91sec 0.07sec 0 344 4236

test10/test_10.20_5_0.1_2_1.1_3_3_2.9.1 nlp wc
40 lines 1955 bytes
head (1,2,1) body (1,3,3,2)
estimated blow-up 9.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 15.17sec 0.02sec 0 677 15131
htl 5.14sec 0.01sec 0 413 5869
str 6.78sec 0.04sec 0 413 5162

test10/test_10.20_5_0.1_2_1.1_3_3_3.28.5 nlp wc
38 lines 2205 bytes
head (1,2,1) body (1,3,3,3)
estimated blow-up 28.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 101.24sec 0.08sec 0 1857 49095
htl 6.76sec 0.01sec 0 529 7612
str 9.04sec 0.01sec 0 529 6764

test10/test_10.20_5_0.1_2_1.1_3_3_4.88.4 nlp wc
38 lines 2565 bytes
head (1,2,1) body (1,3,3,4)
estimated blow-up 88.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 779.33sec 0.75sec 0 5355 167580
htl 7.76sec 0.01sec 0 578 8561
str 10.60sec 0.01sec 0 578 7515

test10/test_10.20_5_0.1_2_1.2_2_2_1.1.5 nlp wc
39 lines 1476 bytes
head (1,2,1) body (2,2,2,1)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.98sec 0.00sec 0 114 2452
htl 3.44sec 0.12sec 0 284 4002
str 4.08sec 0.08sec 0 284 3515

test10/test_10.20_5_0.1_2_1.2_2_2_2.1.8 nlp wc
39 lines 1622 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.08sec 0 116 2940
htl 2.90sec 0.08sec 0 255 3770
str 3.67sec 0.00sec 0 255 3283

test10/test_10.20_5_0.1_2_1.2_2_2_3.2.1 nlp wc
40 lines 1952 bytes
head (1,2,1) body (2,2,2,3)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.97sec 0.08sec 8 118 3817
htl 3.46sec 0.01sec 8 285 4388
str 4.03sec 0.09sec 8 285 3789

test10/test_10.20_5_0.1_2_1.2_2_2_4.2.3 nlp wc
40 lines 2121 bytes
head (1,2,1) body (2,2,2,4)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.50sec 0.08sec 6 117 4296
htl 3.23sec 0.01sec 6 256 4143
str 4.62sec 0.09sec 6 256 3503

test10/test_10.20_5_0.1_2_1.2_3_2_1.13.3 nlp wc
39 lines 2448 bytes
head (1,2,1) body (2,3,2,1)
estimated blow-up 13.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 17.98sec 0.04sec 0 717 20167
htl 7.81sec 0.01sec 0 599 9004
str 11.71sec 0.10sec 0 619 8099

test10/test_10.20_5_0.1_2_1.2_3_2_2.138.9 nlp wc
39 lines 3604 bytes
head (1,2,1) body (2,3,2,2)
estimated blow-up 138.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 856.29sec 1.59sec 0 5501 235565
htl 14.33sec 0.05sec 0 874 13633
str 23.57sec 0.02sec 0 894 12016

test10/test_10.20_5_0.1_2_1.2_3_2_3.1339.8 nlp wc
38 lines 4809 bytes
head (1,2,1) body (2,3,2,3)
estimated blow-up 1339.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 59460.48sec 63.64sec 0 44345 2557624
htl 24.00sec 0.11sec 0 1176 18781
str 40.45sec 0.02sec 0 1196 16310

test10/test_10.20_5_0.1_2_1.2_3_3_1.3.1 nlp wc
40 lines 1839 bytes
head (1,2,1) body (2,3,3,1)
estimated blow-up 3.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.02sec 0.12sec 1 266 5720
htl 6.22sec 0.01sec 1 521 7218
str 8.08sec 0.01sec 1 521 6574

test10/test_10.20_5_0.1_2_1.2_3_3_2.9.9 nlp wc
40 lines 2516 bytes
head (1,2,1) body (2,3,3,2)
estimated blow-up 9.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 17.97sec 0.08sec 0 718 22374
htl 11.59sec 0.09sec 0 772 11170
str 15.33sec 0.10sec 0 772 10052

test10/test_10.20_5_0.1_2_1.2_3_3_3.30.9 nlp wc
40 lines 3037 bytes
head (1,2,1) body (2,3,3,3)
estimated blow-up 30.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 104.36sec 0.41sec 1 1823 71136
htl 15.50sec 0.11sec 1 906 13219
str 20.87sec 0.11sec 1 906 12064

test10/test_10.20_5_0.1_2_1.2_3_3_4.95.3 nlp wc
40 lines 3664 bytes
head (1,2,1) body (2,3,3,4)
estimated blow-up 95.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 913.57sec 20.42sec 1 5679 255328
htl 21.73sec 0.11sec 1 1075 15790
str 30.01sec 0.07sec 1 1075 14470

test10/test_10.20_5_0.1_2_1.3_3_3_1.1.6 nlp wc
38 lines 1594 bytes
head (1,2,1) body (3,3,3,1)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.04sec 0.08sec 0 118 2915
htl 3.29sec 0.09sec 0 294 4251
str 4.07sec 0.08sec 0 294 3719

test10/test_10.20_5_0.1_2_1.3_3_3_2.2.1 nlp wc
39 lines 1834 bytes
head (1,2,1) body (3,3,3,2)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.98sec 0.00sec 0 114 3670
htl 3.12sec 0.08sec 0 258 4017
str 4.13sec 0.00sec 0 258 3445

test10/test_10.20_5_0.1_2_1.3_3_3_3.2.4 nlp wc
40 lines 2279 bytes
head (1,2,1) body (3,3,3,3)
estimated blow-up 2.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.64sec 0.10sec 4 117 4787
htl 3.35sec 0.08sec 4 284 4628
str 4.79sec 0.05sec 4 284 3909

test10/test_10.20_5_0.1_2_1.3_3_3_4.2.6 nlp wc
40 lines 2584 bytes
head (1,2,1) body (3,3,3,4)
estimated blow-up 2.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.81sec 0.01sec 4 118 5594
htl 3.62sec 0.01sec 4 269 4611
str 4.89sec 0.09sec 4 269 3877

test10/test_10.20_5_0.1_2_2.1_1_1_1.1.2 nlp wc
34 lines 943 bytes
head (1,2,2) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.21sec 0.00sec 50 89 1438
htl 2.45sec 0.09sec 50 199 2537
str 2.59sec 0.01sec 50 199 2386

test10/test_10.20_5_0.1_2_2.1_1_1_2.1.4 nlp wc
35 lines 1051 bytes
head (1,2,2) body (1,1,1,2)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.57sec 0.08sec 50 90 1751
htl 2.34sec 0.02sec 50 207 2728
str 2.94sec 0.06sec 50 207 2540

test10/test_10.20_5_0.1_2_2.1_1_1_3.1.5 nlp wc
34 lines 1153 bytes
head (1,2,2) body (1,1,1,3)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.37sec 0.01sec 60 92 2061
htl 2.58sec 0.02sec 60 209 2852
str 2.77sec 0.10sec 60 209 2618

test10/test_10.20_5_0.1_2_2.1_1_1_4.1.6 nlp wc
34 lines 1171 bytes
head (1,2,2) body (1,1,1,4)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.57sec 0.06sec 14 85 2117
htl 2.18sec 0.01sec 14 191 2727
str 2.63sec 0.09sec 14 191 2471

test10/test_10.20_5_0.1_2_2.1_2_1_1.5.3 nlp wc
35 lines 1528 bytes
head (1,2,2) body (1,2,1,1)
estimated blow-up 5.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.94sec 0.13sec 74 246 5593
htl 3.77sec 0.03sec 74 291 4205
str 4.22sec 0.03sec 74 311 3900

test10/test_10.20_5_0.1_2_2.1_2_1_2.24.8 nlp wc
34 lines 2098 bytes
head (1,2,2) body (1,2,1,2)
estimated blow-up 24.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 27.05sec 0.24sec 73 886 28725
htl 4.91sec 0.12sec 73 401 6026
str 6.83sec 0.20sec 73 421 5461

test10/test_10.20_5_0.1_2_2.1_2_1_3.108.3 nlp wc
34 lines 2822 bytes
head (1,2,2) body (1,2,1,3)
estimated blow-up 108.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 314.25sec 1.24sec 24 3250 145074
htl 6.45sec 0.13sec 24 497 8100
str 10.64sec 0.07sec 24 517 6907

test10/test_10.20_5_0.1_2_2.1_2_1_4.457.5 nlp wc
34 lines 3283 bytes
head (1,2,2) body (1,2,1,4)
estimated blow-up 457.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3283.77sec 9.63sec 28 10530 560481
htl 7.45sec 0.05sec 28 548 8937
str 13.12sec 0.21sec 28 568 7737

test10/test_10.20_5_0.1_2_2.1_2_2_1.2.0 nlp wc
35 lines 1057 bytes
head (1,2,2) body (1,2,2,1)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.89sec 0.08sec 24 138 2306
htl 2.85sec 0.09sec 24 238 3119
str 3.16sec 0.09sec 24 238 2846

test10/test_10.20_5_0.1_2_2.1_2_2_2.4.3 nlp wc
35 lines 1335 bytes
head (1,2,2) body (1,2,2,2)
estimated blow-up 4.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.54sec 0.01sec 27 252 5256
htl 3.61sec 0.01sec 27 295 3969
str 3.86sec 0.02sec 27 295 3593

test10/test_10.20_5_0.1_2_2.1_2_2_3.9.0 nlp wc
34 lines 1583 bytes
head (1,2,2) body (1,2,2,3)
estimated blow-up 9.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 9.24sec 0.11sec 58 487 12002
htl 4.42sec 0.03sec 58 360 4840
str 5.27sec 0.10sec 58 360 4441

test10/test_10.20_5_0.1_2_2.1_2_2_4.18.6 nlp wc
35 lines 1820 bytes
head (1,2,2) body (1,2,2,4)
estimated blow-up 18.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 26.14sec 0.43sec 33 895 27252
htl 4.99sec 0.11sec 33 406 5688
str 6.12sec 0.03sec 33 406 5147

test10/test_10.20_5_0.1_2_2.1_3_1_1.39.3 nlp wc
35 lines 2265 bytes
head (1,2,2) body (1,3,1,1)
estimated blow-up 39.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 37.86sec 0.39sec 71 1065 32816
htl 4.84sec 0.17sec 71 394 6161
str 7.18sec 0.05sec 71 412 5371

test10/test_10.20_5_0.1_2_2.1_3_1_2.1084.2 nlp wc
35 lines 3848 bytes
head (1,2,2) body (1,3,1,2)
estimated blow-up 1084.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 21403.72sec 37.97sec 91 26543 1294515
htl 9.86sec 0.42sec 91 647 11005
str 17.80sec 0.40sec 91 667 9141

test10/test_10.20_5_0.1_2_2.1_3_2_1.12.1 nlp wc
35 lines 1819 bytes
head (1,2,2) body (1,3,2,1)
estimated blow-up 12.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 9.99sec 0.07sec 81 509 11734
htl 4.38sec 0.11sec 81 365 5366
str 6.06sec 0.04sec 81 385 4877

test10/test_10.20_5_0.1_2_2.1_3_2_2.124.6 nlp wc
35 lines 2750 bytes
head (1,2,2) body (1,3,2,2)
estimated blow-up 124.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 491.17sec 2.43sec 78 4186 143774
htl 6.41sec 0.09sec 78 515 8286
str 11.10sec 0.08sec 78 535 7085

test10/test_10.20_5_0.1_2_2.1_3_2_3.1200.7 nlp wc
34 lines 3684 bytes
head (1,2,2) body (1,3,2,3)
estimated blow-up 1200.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 25310.08sec 40.44sec 57 30786 1362461
htl 9.43sec 0.22sec 57 668 11127
str 16.66sec 0.06sec 57 688 9314

test10/test_10.20_5_0.1_2_2.1_3_3_1.2.7 nlp wc
34 lines 1102 bytes
head (1,2,2) body (1,3,3,1)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.60sec 0.04sec 30 165 2639
htl 2.96sec 0.01sec 30 275 3540
str 3.29sec 0.01sec 30 275 3294

test10/test_10.20_5_0.1_2_2.1_3_3_2.8.1 nlp wc
35 lines 1565 bytes
head (1,2,2) body (1,3,3,2)
estimated blow-up 8.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 9.46sec 0.10sec 57 491 10402
htl 4.26sec 0.10sec 57 362 4956
str 4.95sec 0.10sec 57 362 4462

test10/test_10.20_5_0.1_2_2.1_3_3_3.24.6 nlp wc
35 lines 1832 bytes
head (1,2,2) body (1,3,3,3)
estimated blow-up 24.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 54.68sec 0.39sec 36 1363 34429
htl 5.35sec 0.10sec 36 436 6062
str 5.92sec 0.02sec 36 436 5469

test10/test_10.20_5_0.1_2_2.1_3_3_4.74.8 nlp wc
34 lines 2123 bytes
head (1,2,2) body (1,3,3,4)
estimated blow-up 74.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 397.99sec 1.77sec 47 3812 112281
htl 6.18sec 0.10sec 47 507 7258
str 7.74sec 0.10sec 47 507 6489

test10/test_10.20_5_0.1_2_2.2_2_2_1.1.4 nlp wc
34 lines 992 bytes
head (1,2,2) body (2,2,2,1)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.65sec 0.00sec 20 89 1691
htl 2.41sec 0.09sec 20 186 2470
str 2.39sec 0.04sec 20 186 2289

test10/test_10.20_5_0.1_2_2.2_2_2_2.1.6 nlp wc
35 lines 1296 bytes
head (1,2,2) body (2,2,2,2)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.66sec 0.02sec 214 94 2297
htl 2.90sec 0.04sec 214 211 2970
str 2.97sec 0.13sec 214 211 2730

test10/test_10.20_5_0.1_2_2.2_2_2_3.1.8 nlp wc
34 lines 1537 bytes
head (1,2,2) body (2,2,2,3)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.77sec 0.08sec 25 92 2851
htl 2.73sec 0.02sec 25 202 3053
str 2.75sec 0.10sec 25 202 2722

test10/test_10.20_5_0.1_2_2.2_2_2_4.2.0 nlp wc
34 lines 1762 bytes
head (1,2,2) body (2,2,2,4)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.83sec 0.08sec 12 91 3160
htl 2.77sec 0.02sec 12 215 3302
str 3.33sec 0.09sec 12 215 2963

test10/test_10.20_5_0.1_2_2.2_3_2_1.11.5 nlp wc
35 lines 1926 bytes
head (1,2,2) body (2,3,2,1)
estimated blow-up 11.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 10.16sec 0.04sec 42 514 13664
htl 6.09sec 0.22sec 42 494 7102
str 7.85sec 0.14sec 42 512 6595

test10/test_10.20_5_0.1_2_2.2_3_2_2.114.4 nlp wc
34 lines 3216 bytes
head (1,2,2) body (2,3,2,2)
estimated blow-up 114.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 403.75sec 8.76sec 28 3733 157199
htl 12.11sec 0.24sec 28 770 12001
str 18.85sec 0.22sec 28 790 10637

test10/test_10.20_5_0.1_2_2.2_3_2_3.1077.6 nlp wc
34 lines 4546 bytes
head (1,2,2) body (2,3,2,3)
estimated blow-up 1077.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 38332.67sec 79.49sec 6 34296 1928707
htl 20.30sec 0.40sec 6 1069 17090
str 34.99sec 0.29sec 6 1089 14937

test10/test_10.20_5_0.1_2_2.2_3_3_1.2.7 nlp wc
34 lines 1416 bytes
head (1,2,2) body (2,3,3,1)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.93sec 0.09sec 47 199 4014
htl 5.11sec 0.12sec 47 442 5816
str 6.12sec 0.10sec 47 442 5428

test10/test_10.20_5_0.1_2_2.2_3_3_2.8.3 nlp wc
34 lines 2006 bytes
head (1,2,2) body (2,3,3,2)
estimated blow-up 8.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 10.80sec 0.04sec 39 528 14836
htl 8.99sec 0.05sec 39 634 8695
str 10.60sec 0.21sec 39 634 8143

test10/test_10.20_5_0.1_2_2.2_3_3_3.25.4 nlp wc
34 lines 2655 bytes
head (1,2,2) body (2,3,3,3)
estimated blow-up 25.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 77.14sec 0.57sec 24 1573 57628
htl 14.78sec 0.22sec 24 856 12147
str 19.17sec 0.21sec 24 856 11241

test10/test_10.20_5_0.1_2_2.2_3_3_4.77.1 nlp wc
35 lines 3378 bytes
head (1,2,2) body (2,3,3,4)
estimated blow-up 77.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 582.50sec 4.66sec 35 4489 204736
htl 20.03sec 0.41sec 35 1030 14956
str 27.08sec 0.41sec 35 1030 13789

test10/test_10.20_5_0.1_2_2.3_3_3_1.1.5 nlp wc
35 lines 1120 bytes
head (1,2,2) body (3,3,3,1)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.54sec 0.01sec 107 92 2059
htl 2.13sec 0.06sec 107 200 2771
str 2.40sec 0.10sec 107 200 2528

test10/test_10.20_5_0.1_2_2.3_3_3_2.1.8 nlp wc
35 lines 1514 bytes
head (1,2,2) body (3,3,3,2)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.88sec 0.00sec 11 90 2831
htl 2.50sec 0.10sec 11 193 2936
str 3.08sec 0.02sec 11 193 2623

test10/test_10.20_5_0.1_2_2.3_3_3_3.2.0 nlp wc
34 lines 1802 bytes
head (1,2,2) body (3,3,3,3)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.25sec 0.09sec 25 93 3421
htl 2.75sec 0.09sec 25 199 3189
str 3.34sec 0.09sec 25 199 2815

test10/test_10.20_5_0.1_2_2.3_3_3_4.2.2 nlp wc
34 lines 2139 bytes
head (1,2,2) body (3,3,3,4)
estimated blow-up 2.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.17sec 0.03sec 30 93 3874
htl 2.79sec 0.09sec 30 206 3424
str 3.36sec 0.10sec 30 206 3019

test10/test_10.20_5_0.1_3_1.1_1_1_1.1.3 nlp wc
51 lines 2251 bytes
head (1,3,1) body (1,1,1,1)
estimated blow-up 1.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.60sec 0.08sec 0 165 3114
htl 5.49sec 0.08sec 0 396 5708
str 6.88sec 0.08sec 0 398 4992

test10/test_10.20_5_0.1_3_1.1_1_1_2.1.5 nlp wc
55 lines 2531 bytes
head (1,3,1) body (1,1,1,2)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.83sec 0.00sec 0 180 4029
htl 6.01sec 0.08sec 0 438 6453
str 8.02sec 0.01sec 0 438 5573

test10/test_10.20_5_0.1_3_1.1_1_1_3.1.8 nlp wc
51 lines 2674 bytes
head (1,3,1) body (1,1,1,3)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.84sec 0.08sec 0 175 4655
htl 6.18sec 0.01sec 0 446 6648
str 8.31sec 0.01sec 0 446 5781

test10/test_10.20_5_0.1_3_1.1_1_1_4.2.0 nlp wc
55 lines 2850 bytes
head (1,3,1) body (1,1,1,4)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.77sec 0.01sec 1 181 5301
htl 6.62sec 0.09sec 1 452 6852
str 8.92sec 0.09sec 1 452 5912

test10/test_10.20_5_0.1_3_1.1_2_1_1.6.4 nlp wc
55 lines 3044 bytes
head (1,3,1) body (1,2,1,1)
estimated blow-up 6.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 11.74sec 0.05sec 0 559 13947
htl 7.99sec 0.01sec 0 550 8232
str 11.99sec 0.01sec 0 568 7454

test10/test_10.20_5_0.1_3_1.1_2_1_2.34.2 nlp wc
55 lines 3718 bytes
head (1,3,1) body (1,2,1,2)
estimated blow-up 34.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 119.59sec 0.23sec 1 1973 72155
htl 10.52sec 0.09sec 1 641 10083
str 16.82sec 0.09sec 1 661 8890

test10/test_10.20_5_0.1_3_1.1_2_1_3.162.4 nlp wc
55 lines 4469 bytes
head (1,3,1) body (1,2,1,3)
estimated blow-up 162.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1989.26sec 2.28sec 1 8416 396553
htl 12.40sec 0.09sec 1 739 12131
str 22.14sec 0.07sec 1 759 10382

test10/test_10.20_5_0.1_3_1.1_2_1_4.729.4 nlp wc
55 lines 4806 bytes
head (1,3,1) body (1,2,1,4)
estimated blow-up 729.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 18814.94sec 11.97sec 4 25041 1330398
htl 13.31sec 0.07sec 4 761 12596
str 24.12sec 0.03sec 4 781 10803

test10/test_10.20_5_0.1_3_1.1_2_2_1.2.3 nlp wc
55 lines 2669 bytes
head (1,3,1) body (1,2,2,1)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.50sec 0.00sec 0 284 5638
htl 6.61sec 0.01sec 0 493 7105
str 8.76sec 0.01sec 0 493 6293

test10/test_10.20_5_0.1_3_1.1_2_2_2.5.2 nlp wc
53 lines 2766 bytes
head (1,3,1) body (1,2,2,2)
estimated blow-up 5.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 10.40sec 0.04sec 0 523 12009
htl 7.96sec 0.01sec 0 530 7726
str 10.29sec 0.01sec 0 530 6849

test10/test_10.20_5_0.1_3_1.1_2_2_3.11.7 nlp wc
55 lines 3104 bytes
head (1,3,1) body (1,2,2,3)
estimated blow-up 11.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 36.32sec 0.03sec 0 1069 29350
htl 8.94sec 0.04sec 0 602 8880
str 12.99sec 0.04sec 0 602 7849

test10/test_10.20_5_0.1_3_1.1_2_2_4.25.8 nlp wc
55 lines 3317 bytes
head (1,3,1) body (1,2,2,4)
estimated blow-up 25.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 116.85sec 0.21sec 0 1990 65622
htl 9.20sec 0.01sec 0 622 9362
str 13.42sec 0.01sec 0 622 8186

test10/test_10.20_5_0.1_3_1.1_3_1_1.55.4 nlp wc
55 lines 3793 bytes
head (1,3,1) body (1,3,1,1)
estimated blow-up 55.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 175.26sec 0.20sec 0 2425 80814
htl 10.23sec 0.02sec 0 647 10369
str 16.53sec 0.02sec 0 661 8892

test10/test_10.20_5_0.1_3_1.1_3_1_2.1771.2 nlp wc
55 lines 5583 bytes
head (1,3,1) body (1,3,1,2)
estimated blow-up 1771.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 129106.38sec 15.91sec 1 62748 3107488
htl 16.39sec 0.11sec 1 870 15036
str 33.06sec 0.10sec 1 890 12414

test10/test_10.20_5_0.1_3_1.1_3_2_1.15.7 nlp wc
55 lines 3210 bytes
head (1,3,1) body (1,3,2,1)
estimated blow-up 15.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 36.68sec 0.11sec 0 1071 26970
htl 8.79sec 0.01sec 0 598 9152
str 13.11sec 0.09sec 0 616 8138

test10/test_10.20_5_0.1_3_1.1_3_2_2.187.1 nlp wc
55 lines 4143 bytes
head (1,3,1) body (1,3,2,2)
estimated blow-up 187.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2044.04sec 1.66sec 0 8534 309458
htl 12.04sec 0.07sec 0 741 11979
str 20.78sec 0.01sec 0 761 10307

test10/test_10.20_5_0.1_3_1.1_3_2_3.1963.9 nlp wc
55 lines 5035 bytes
head (1,3,1) body (1,3,2,3)
estimated blow-up 1963.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 171460.62sec 50.26sec 0 70371 3233773
htl 15.55sec 0.03sec 0 892 14953
str 29.07sec 0.02sec 0 912 12569

test10/test_10.20_5_0.1_3_1.1_3_3_1.3.2 nlp wc
55 lines 2724 bytes
head (1,3,1) body (1,3,3,1)
estimated blow-up 3.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.33sec 0.08sec 0 366 7065
htl 7.76sec 0.08sec 0 528 7692
str 10.25sec 0.09sec 0 528 6762

test10/test_10.20_5_0.1_3_1.1_3_3_2.10.6 nlp wc
55 lines 3138 bytes
head (1,3,1) body (1,3,3,2)
estimated blow-up 10.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 42.14sec 0.08sec 0 1183 28453
htl 9.09sec 0.15sec 0 588 8653
str 12.57sec 0.06sec 0 588 7620

test10/test_10.20_5_0.1_3_1.1_3_3_3.35.1 nlp wc
55 lines 3339 bytes
head (1,3,1) body (1,3,3,3)
estimated blow-up 35.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 249.19sec 0.40sec 0 2982 82374
htl 10.39sec 0.09sec 0 672 10082
str 14.95sec 0.08sec 0 672 8855

test10/test_10.20_5_0.1_3_1.1_3_3_4.113.3 nlp wc
53 lines 3571 bytes
head (1,3,1) body (1,3,3,4)
estimated blow-up 113.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2070.72sec 1.42sec 0 8697 276850
htl 12.23sec 0.09sec 0 749 11331
str 17.52sec 0.09sec 0 749 9918

test10/test_10.20_5_0.1_3_1.2_2_2_1.1.5 nlp wc
55 lines 2482 bytes
head (1,3,1) body (2,2,2,1)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.79sec 0.09sec 0 175 3798
htl 5.57sec 0.01sec 0 429 6325
str 7.56sec 0.08sec 0 429 5438

test10/test_10.20_5_0.1_3_1.2_2_2_2.2.0 nlp wc
53 lines 2767 bytes
head (1,3,1) body (2,2,2,2)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.20sec 0.08sec 1 181 4975
htl 5.87sec 0.08sec 1 424 6332
str 8.43sec 0.01sec 1 424 5513

test10/test_10.20_5_0.1_3_1.2_2_2_3.2.4 nlp wc
53 lines 3047 bytes
head (1,3,1) body (2,2,2,3)
estimated blow-up 2.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.52sec 0.01sec 0 181 6244
htl 5.96sec 0.10sec 0 447 6875
str 9.19sec 0.08sec 0 447 5914

test10/test_10.20_5_0.1_3_1.2_2_2_4.2.7 nlp wc
53 lines 3148 bytes
head (1,3,1) body (2,2,2,4)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.40sec 0.10sec 3 175 6915
htl 5.51sec 0.01sec 3 425 6700
str 8.32sec 0.05sec 3 425 5713

test10/test_10.20_5_0.1_3_1.2_3_2_1.16.3 nlp wc
55 lines 3667 bytes
head (1,3,1) body (2,3,2,1)
estimated blow-up 16.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 50.10sec 0.09sec 0 1260 38640
htl 13.17sec 0.09sec 0 790 12198
str 20.50sec 0.09sec 0 808 10840

test10/test_10.20_5_0.1_3_1.2_3_2_2.187.4 nlp wc
55 lines 4788 bytes
head (1,3,1) body (2,3,2,2)
estimated blow-up 187.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2609.90sec 2.11sec 1 9472 427649
htl 20.88sec 0.02sec 1 1043 16623
str 35.29sec 0.10sec 1 1063 14495

test10/test_10.20_5_0.1_3_1.2_3_2_3.1912.2 nlp wc
53 lines 5917 bytes
head (1,3,1) body (2,3,2,3)
estimated blow-up 1912.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 163595.09sec 47.95sec 1 72650 4156718
htl 29.28sec 0.10sec 1 1281 20748
str 52.12sec 0.07sec 1 1301 17984

test10/test_10.20_5_0.1_3_1.2_3_3_1.3.6 nlp wc
53 lines 2917 bytes
head (1,3,1) body (2,3,3,1)
estimated blow-up 3.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 7.52sec 0.01sec 0 432 10223
htl 10.44sec 0.01sec 0 692 10169
str 14.70sec 0.01sec 0 692 9004

test10/test_10.20_5_0.1_3_1.2_3_3_2.12.7 nlp wc
49 lines 3509 bytes
head (1,3,1) body (2,3,3,2)
estimated blow-up 12.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 40.38sec 0.04sec 0 1120 36093
htl 14.62sec 0.07sec 0 858 12683
str 20.75sec 0.01sec 0 858 11369

test10/test_10.20_5_0.1_3_1.2_3_3_3.41.9 nlp wc
55 lines 4210 bytes
head (1,3,1) body (2,3,3,3)
estimated blow-up 41.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 321.51sec 0.57sec 3 3326 131767
htl 22.70sec 0.08sec 3 1104 16414
str 32.84sec 0.07sec 3 1104 14830

test10/test_10.20_5_0.1_3_1.2_3_3_4.134.6 nlp wc
51 lines 4634 bytes
head (1,3,1) body (2,3,3,4)
estimated blow-up 134.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2869.65sec 3.79sec 4 9914 455831
htl 28.57sec 0.11sec 4 1232 18356
str 42.26sec 0.03sec 4 1232 16651

test10/test_10.20_5_0.1_3_1.3_3_3_1.1.8 nlp wc
53 lines 2729 bytes
head (1,3,1) body (3,3,3,1)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.52sec 0.09sec 0 184 4776
htl 6.28sec 0.01sec 0 473 7015
str 9.15sec 0.04sec 0 473 6127

test10/test_10.20_5_0.1_3_1.3_3_3_2.2.4 nlp wc
55 lines 3070 bytes
head (1,3,1) body (3,3,3,2)
estimated blow-up 2.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.27sec 0.05sec 4 184 6310
htl 6.35sec 0.09sec 4 454 7019
str 9.24sec 0.09sec 4 454 6046

test10/test_10.20_5_0.1_3_1.3_3_3_3.2.9 nlp wc
55 lines 3373 bytes
head (1,3,1) body (3,3,3,3)
estimated blow-up 2.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.68sec 0.01sec 9 183 7643
htl 6.85sec 0.07sec 9 449 7142
str 9.55sec 0.05sec 9 449 6113

test10/test_10.20_5_0.1_3_1.3_3_3_4.3.3 nlp wc
53 lines 3523 bytes
head (1,3,1) body (3,3,3,4)
estimated blow-up 3.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.71sec 0.01sec 0 176 8511
htl 5.90sec 0.07sec 0 411 6785
str 8.70sec 0.04sec 0 411 5706

test10/test_10.20_5_0.1_3_2.1_1_1_1.1.2 nlp wc
43 lines 1943 bytes
head (1,3,2) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.98sec 0.00sec 0 130 2556
htl 4.61sec 0.01sec 0 344 4887
str 5.58sec 0.08sec 0 344 4302

test10/test_10.20_5_0.1_3_2.1_1_1_2.1.4 nlp wc
44 lines 2008 bytes
head (1,3,2) body (1,1,1,2)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.17sec 0.08sec 24 132 2913
htl 4.66sec 0.01sec 24 351 5051
str 5.57sec 0.09sec 24 351 4458

test10/test_10.20_5_0.1_3_2.1_1_1_3.1.6 nlp wc
45 lines 2112 bytes
head (1,3,2) body (1,1,1,3)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.07sec 0.02sec 72 133 3400
htl 4.45sec 0.16sec 72 349 5132
str 5.65sec 0.04sec 72 349 4488

test10/test_10.20_5_0.1_3_2.1_1_1_4.1.8 nlp wc
44 lines 2136 bytes
head (1,3,2) body (1,1,1,4)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.16sec 0.01sec 27 132 3743
htl 4.25sec 0.02sec 27 346 5142
str 5.73sec 0.10sec 27 346 4481

test10/test_10.20_5_0.1_3_2.1_2_1_1.5.8 nlp wc
45 lines 2501 bytes
head (1,3,2) body (1,2,1,1)
estimated blow-up 5.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 7.05sec 0.10sec 18 382 9875
htl 6.18sec 0.02sec 18 462 6913
str 8.80sec 0.06sec 18 482 6294

test10/test_10.20_5_0.1_3_2.1_2_1_2.29.3 nlp wc
45 lines 3155 bytes
head (1,3,2) body (1,2,1,2)
estimated blow-up 29.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 67.85sec 0.43sec 14 1455 53166
htl 7.62sec 0.03sec 14 555 8764
str 12.35sec 0.03sec 14 575 7681

test10/test_10.20_5_0.1_3_2.1_2_1_3.135.2 nlp wc
43 lines 3696 bytes
head (1,3,2) body (1,2,1,3)
estimated blow-up 135.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 786.29sec 2.77sec 27 5196 245260
htl 9.53sec 0.04sec 27 656 10588
str 16.36sec 0.11sec 27 676 9171

test10/test_10.20_5_0.1_3_2.1_2_1_4.594.6 nlp wc
44 lines 4415 bytes
head (1,3,2) body (1,2,1,4)
estimated blow-up 594.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 16286.22sec 23.95sec 34 23336 1280645
htl 13.17sec 0.19sec 34 766 12619
str 22.88sec 0.24sec 34 786 10766

test10/test_10.20_5_0.1_3_2.1_2_2_1.2.1 nlp wc
44 lines 1997 bytes
head (1,3,2) body (1,2,2,1)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.86sec 0.01sec 3 203 3965
htl 4.96sec 0.01sec 3 389 5488
str 6.35sec 0.09sec 3 389 4831

test10/test_10.20_5_0.1_3_2.1_2_2_2.4.7 nlp wc
44 lines 2291 bytes
head (1,3,2) body (1,2,2,2)
estimated blow-up 4.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 7.32sec 0.08sec 0 397 9646
htl 5.70sec 0.10sec 0 457 6558
str 7.47sec 0.01sec 0 457 5798

test10/test_10.20_5_0.1_3_2.1_2_2_3.10.4 nlp wc
45 lines 2615 bytes
head (1,3,2) body (1,2,2,3)
estimated blow-up 10.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 17.92sec 0.21sec 54 724 21497
htl 7.03sec 0.03sec 54 512 7565
str 9.35sec 0.04sec 54 512 6657

test10/test_10.20_5_0.1_3_2.1_2_2_4.22.3 nlp wc
45 lines 2798 bytes
head (1,3,2) body (1,2,2,4)
estimated blow-up 22.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 71.59sec 0.24sec 5 1520 51443
htl 8.32sec 0.10sec 5 573 8532
str 11.17sec 0.02sec 5 573 7482

test10/test_10.20_5_0.1_3_2.1_3_1_1.47.1 nlp wc
45 lines 3285 bytes
head (1,3,2) body (1,3,1,1)
estimated blow-up 47.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 105.45sec 0.57sec 30 1845 61835
htl 8.46sec 0.04sec 30 587 9373
str 13.41sec 0.04sec 30 607 8160

test10/test_10.20_5_0.1_3_2.1_3_1_2.1431.3 nlp wc
45 lines 4813 bytes
head (1,3,2) body (1,3,1,2)
estimated blow-up 1431.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 49769.43sec 44.87sec 47 40268 2031520
htl 13.45sec 0.32sec 47 792 13641
str 25.07sec 0.19sec 47 812 11245

test10/test_10.20_5_0.1_3_2.1_3_2_1.13.8 nlp wc
45 lines 2705 bytes
head (1,3,2) body (1,3,2,1)
estimated blow-up 13.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 19.45sec 0.02sec 2 719 18654
htl 6.28sec 0.10sec 2 490 7557
str 9.79sec 0.05sec 2 510 6692

test10/test_10.20_5_0.1_3_2.1_3_2_2.156.1 nlp wc
45 lines 3635 bytes
head (1,3,2) body (1,3,2,2)
estimated blow-up 156.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1040.29sec 2.20sec 0 6111 225590
htl 9.59sec 0.10sec 0 652 10633
str 16.35sec 0.09sec 0 672 9072

test10/test_10.20_5_0.1_3_2.1_3_2_3.1590.6 nlp wc
43 lines 4648 bytes
head (1,3,2) body (1,3,2,3)
estimated blow-up 1590.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 98885.86sec 27.89sec 1 56330 2733637
htl 13.44sec 0.03sec 1 807 13618
str 24.93sec 0.10sec 1 827 11325

test10/test_10.20_5_0.1_3_2.1_3_3_1.3.0 nlp wc
44 lines 2130 bytes
head (1,3,2) body (1,3,3,1)
estimated blow-up 3.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.45sec 0.09sec 0 265 5269
htl 5.66sec 0.01sec 0 432 6105
str 7.55sec 0.01sec 0 432 5397

test10/test_10.20_5_0.1_3_2.1_3_3_2.9.5 nlp wc
45 lines 2486 bytes
head (1,3,2) body (1,3,3,2)
estimated blow-up 9.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 20.50sec 0.11sec 3 771 18738
htl 6.92sec 0.09sec 3 503 7283
str 9.13sec 0.04sec 3 503 6423

test10/test_10.20_5_0.1_3_2.1_3_3_3.30.5 nlp wc
45 lines 2893 bytes
head (1,3,2) body (1,3,3,3)
estimated blow-up 30.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 146.11sec 0.55sec 8 2242 65657
htl 8.46sec 0.09sec 8 592 8854
str 11.61sec 0.06sec 8 592 7744

test10/test_10.20_5_0.1_3_2.1_3_3_4.96.1 nlp wc
45 lines 3167 bytes
head (1,3,2) body (1,3,3,4)
estimated blow-up 96.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1030.14sec 1.99sec 3 6148 205909
htl 9.65sec 0.09sec 3 639 9672
str 13.67sec 0.05sec 3 639 8422

test10/test_10.20_5_0.1_3_2.2_2_2_1.1.4 nlp wc
45 lines 1965 bytes
head (1,3,2) body (2,2,2,1)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.21sec 0.09sec 9 130 2861
htl 4.22sec 0.01sec 9 326 4662
str 5.29sec 0.05sec 9 326 4101

test10/test_10.20_5_0.1_3_2.2_2_2_2.1.8 nlp wc
45 lines 2208 bytes
head (1,3,2) body (2,2,2,2)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.49sec 0.09sec 47 134 3848
htl 4.48sec 0.11sec 47 350 5248
str 5.74sec 0.11sec 47 350 4585

test10/test_10.20_5_0.1_3_2.2_2_2_3.2.1 nlp wc
45 lines 2526 bytes
head (1,3,2) body (2,2,2,3)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.77sec 0.09sec 59 138 4767
htl 4.82sec 0.03sec 59 364 5615
str 6.72sec 0.11sec 59 364 4851

test10/test_10.20_5_0.1_3_2.2_2_2_4.2.3 nlp wc
44 lines 2777 bytes
head (1,3,2) body (2,2,2,4)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.91sec 0.01sec 36 138 5618
htl 4.92sec 0.03sec 36 364 5766
str 7.01sec 0.10sec 36 364 4952

test10/test_10.20_5_0.1_3_2.2_3_2_1.14.0 nlp wc
45 lines 3109 bytes
head (1,3,2) body (2,3,2,1)
estimated blow-up 14.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 25.84sec 0.08sec 3 875 27037
htl 10.31sec 0.02sec 3 684 10447
str 15.47sec 0.03sec 3 704 9400

test10/test_10.20_5_0.1_3_2.2_3_2_2.152.2 nlp wc
43 lines 4132 bytes
head (1,3,2) body (2,3,2,2)
estimated blow-up 152.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1273.24sec 3.29sec 15 6709 299631
htl 17.33sec 0.25sec 15 950 14933
str 28.19sec 0.22sec 15 970 13181

test10/test_10.20_5_0.1_3_2.2_3_2_3.1510.1 nlp wc
45 lines 5359 bytes
head (1,3,2) body (2,3,2,3)
estimated blow-up 1510.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 92471.72sec 106.66sec 118 50828 2986745
htl 26.48sec 0.93sec 118 1227 19732
str 45.73sec 0.90sec 118 1247 17155

test10/test_10.20_5_0.1_3_2.2_3_3_1.3.2 nlp wc
45 lines 2385 bytes
head (1,3,2) body (2,3,3,1)
estimated blow-up 3.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.72sec 0.05sec 13 316 7377
htl 8.34sec 0.10sec 13 579 8220
str 10.83sec 0.02sec 13 579 7457

test10/test_10.20_5_0.1_3_2.2_3_3_2.10.7 nlp wc
43 lines 2891 bytes
head (1,3,2) body (2,3,3,2)
estimated blow-up 10.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 21.91sec 0.21sec 17 793 25493
htl 11.81sec 0.03sec 17 769 11222
str 16.60sec 0.03sec 17 769 10175

test10/test_10.20_5_0.1_3_2.2_3_3_3.34.4 nlp wc
45 lines 3577 bytes
head (1,3,2) body (2,3,3,3)
estimated blow-up 34.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 180.98sec 1.26sec 43 2443 98353
htl 18.33sec 0.27sec 43 976 14367
str 25.54sec 0.39sec 43 976 13095

test10/test_10.20_5_0.1_3_2.2_3_3_4.108.0 nlp wc
45 lines 4354 bytes
head (1,3,2) body (2,3,3,4)
estimated blow-up 108.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1475.47sec 4.47sec 40 7249 355776
htl 27.12sec 0.25sec 40 1208 18030
str 37.94sec 0.38sec 40 1208 16318

test10/test_10.20_5_0.1_3_2.3_3_3_1.1.6 nlp wc
44 lines 2124 bytes
head (1,3,2) body (3,3,3,1)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.61sec 0.01sec 41 135 3497
htl 4.38sec 0.10sec 41 355 5212
str 5.56sec 0.02sec 41 355 4575

test10/test_10.20_5_0.1_3_2.3_3_3_2.2.1 nlp wc
45 lines 2440 bytes
head (1,3,2) body (3,3,3,2)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.49sec 0.09sec 40 133 4721
htl 4.46sec 0.10sec 40 349 5387
str 5.85sec 0.03sec 40 349 4657

test10/test_10.20_5_0.1_3_2.3_3_3_3.2.5 nlp wc
42 lines 2722 bytes
head (1,3,2) body (3,3,3,3)
estimated blow-up 2.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.49sec 0.03sec 0 132 5437
htl 4.64sec 0.10sec 0 348 5519
str 6.41sec 0.08sec 0 348 4757

test10/test_10.20_5_0.1_3_2.3_3_3_4.2.7 nlp wc
45 lines 3008 bytes
head (1,3,2) body (3,3,3,4)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.17sec 0.01sec 2 131 6226
htl 4.78sec 0.05sec 2 345 5665
str 6.59sec 0.08sec 2 345 4852

test10/test_10.20_5_0.1_3_3.1_1_1_1.1.2 nlp wc
39 lines 1379 bytes
head (1,3,3) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.48sec 0.11sec 202 99 1760
htl 3.24sec 0.11sec 202 255 3296
str 3.53sec 0.13sec 202 255 3133

test10/test_10.20_5_0.1_3_3.1_1_1_2.1.4 nlp wc
40 lines 1474 bytes
head (1,3,3) body (1,1,1,2)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.82sec 0.03sec 210 110 2286
htl 3.41sec 0.05sec 210 255 3388
str 3.49sec 0.19sec 210 255 3198

test10/test_10.20_5_0.1_3_3.1_1_1_3.1.6 nlp wc
38 lines 1522 bytes
head (1,3,3) body (1,1,1,3)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.51sec 0.02sec 182 111 2616
htl 3.65sec 0.12sec 182 257 3484
str 3.64sec 0.04sec 182 257 3289

test10/test_10.20_5_0.1_3_3.1_1_1_4.1.7 nlp wc
40 lines 1654 bytes
head (1,3,3) body (1,1,1,4)
estimated blow-up 1.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.93sec 0.10sec 162 108 2903
htl 3.51sec 0.12sec 162 242 3407
str 3.71sec 0.20sec 162 242 3152

test10/test_10.20_5_0.1_3_3.1_2_1_1.5.6 nlp wc
40 lines 1949 bytes
head (1,3,3) body (1,2,1,1)
estimated blow-up 5.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.06sec 0.23sec 253 314 7624
htl 4.66sec 0.23sec 253 370 5242
str 6.25sec 0.38sec 253 388 4903

test10/test_10.20_5_0.1_3_3.1_2_1_2.27.5 nlp wc
38 lines 2532 bytes
head (1,3,3) body (1,2,1,2)
estimated blow-up 27.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 41.46sec 0.62sec 207 1118 38729
htl 6.03sec 0.24sec 207 469 7110
str 9.30sec 0.39sec 207 489 6435

test10/test_10.20_5_0.1_3_3.1_2_1_3.123.9 nlp wc
40 lines 3167 bytes
head (1,3,3) body (1,2,1,3)
estimated blow-up 123.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 488.84sec 13.04sec 152 4099 182760
htl 7.70sec 0.55sec 152 541 8534
str 11.79sec 0.56sec 152 561 7515

test10/test_10.20_5_0.1_3_3.1_2_1_4.535.5 nlp wc
40 lines 3973 bytes
head (1,3,3) body (1,2,1,4)
estimated blow-up 535.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 8072.47sec 27.86sec 144 17059 920131
htl 10.47sec 0.84sec 144 690 11465
str 18.23sec 0.74sec 144 710 9649

test10/test_10.20_5_0.1_3_3.1_2_2_1.2.1 nlp wc
40 lines 1467 bytes
head (1,3,3) body (1,2,2,1)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.33sec 0.10sec 214 157 2757
htl 3.94sec 0.04sec 214 290 3792
str 4.29sec 0.12sec 214 290 3555

test10/test_10.20_5_0.1_3_3.1_2_2_2.4.6 nlp wc
39 lines 1680 bytes
head (1,3,3) body (1,2,2,2)
estimated blow-up 4.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.61sec 0.04sec 156 299 6446
htl 4.63sec 0.10sec 156 348 4593
str 5.03sec 0.21sec 156 348 4267

test10/test_10.20_5_0.1_3_3.1_2_2_3.9.8 nlp wc
40 lines 1943 bytes
head (1,3,3) body (1,2,2,3)
estimated blow-up 9.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 12.32sec 0.40sec 232 583 15036
htl 5.24sec 0.23sec 232 409 5568
str 5.81sec 0.24sec 232 409 5130

test10/test_10.20_5_0.1_3_3.1_2_2_4.20.8 nlp wc
40 lines 2192 bytes
head (1,3,3) body (1,2,2,4)
estimated blow-up 20.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 37.05sec 0.74sec 285 1076 32568
htl 6.11sec 0.39sec 285 456 6331
str 7.29sec 0.40sec 285 456 5796

test10/test_10.20_5_0.1_3_3.1_3_1_1.43.9 nlp wc
40 lines 2778 bytes
head (1,3,3) body (1,3,1,1)
estimated blow-up 43.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 83.67sec 1.25sec 295 1632 51955
htl 6.70sec 0.42sec 295 494 7733
str 10.59sec 0.57sec 295 514 6810

test10/test_10.20_5_0.1_3_3.1_3_1_2.1280.0 nlp wc
38 lines 4200 bytes
head (1,3,3) body (1,3,1,2)
estimated blow-up 1280.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 38087.04sec 53.17sec 62 35340 1748033
htl 11.04sec 0.58sec 62 705 11974
str 19.69sec 0.51sec 62 725 9931

test10/test_10.20_5_0.1_3_3.1_3_2_1.13.1 nlp wc
40 lines 2215 bytes
head (1,3,3) body (1,3,2,1)
estimated blow-up 13.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 13.49sec 0.10sec 169 580 14256
htl 5.18sec 0.08sec 169 403 6018
str 7.05sec 0.19sec 169 423 5424

test10/test_10.20_5_0.1_3_3.1_3_2_2.142.9 nlp wc
40 lines 3114 bytes
head (1,3,3) body (1,3,2,2)
estimated blow-up 142.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 806.13sec 7.80sec 347 5385 188700
htl 8.09sec 0.44sec 347 570 8958
str 12.84sec 0.69sec 347 590 7869

test10/test_10.20_5_0.1_3_3.1_3_2_3.1420.6 nlp wc
40 lines 4071 bytes
head (1,3,3) body (1,3,2,3)
estimated blow-up 1420.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 52653.09sec 142.83sec 350 41583 1899001
htl 11.26sec 0.94sec 350 721 11874
str 19.61sec 0.92sec 350 741 10020

test10/test_10.20_5_0.1_3_3.1_3_3_1.2.8 nlp wc
38 lines 1507 bytes
head (1,3,3) body (1,3,3,1)
estimated blow-up 2.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.84sec 0.10sec 139 197 3396
htl 4.30sec 0.03sec 139 323 4240
str 4.46sec 0.03sec 139 323 3946

test10/test_10.20_5_0.1_3_3.1_3_3_2.9.0 nlp wc
40 lines 1901 bytes
head (1,3,3) body (1,3,3,2)
estimated blow-up 9.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 12.18sec 0.22sec 181 577 12492
htl 5.15sec 0.20sec 181 397 5419
str 6.33sec 0.05sec 181 397 4907

test10/test_10.20_5_0.1_3_3.1_3_3_3.28.1 nlp wc
40 lines 2295 bytes
head (1,3,3) body (1,3,3,3)
estimated blow-up 28.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 107.30sec 1.22sec 290 1919 52069
htl 6.42sec 0.26sec 290 489 6879
str 8.38sec 0.40sec 290 489 6223

test10/test_10.20_5_0.1_3_3.1_3_3_4.87.1 nlp wc
38 lines 2498 bytes
head (1,3,3) body (1,3,3,4)
estimated blow-up 87.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 652.18sec 3.47sec 115 4887 147662
htl 7.88sec 0.22sec 115 554 7901
str 9.95sec 0.23sec 115 554 7141

test10/test_10.20_5_0.1_3_3.2_2_2_1.1.4 nlp wc
39 lines 1385 bytes
head (1,3,3) body (2,2,2,1)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.95sec 0.09sec 184 104 2090
htl 3.14sec 0.11sec 184 242 3211
str 3.56sec 0.04sec 184 242 3024

test10/test_10.20_5_0.1_3_3.2_2_2_2.1.7 nlp wc
39 lines 1597 bytes
head (1,3,3) body (2,2,2,2)
estimated blow-up 1.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.97sec 0.02sec 161 108 2755
htl 2.96sec 0.05sec 161 242 3367
str 3.33sec 0.05sec 161 242 3150

test10/test_10.20_5_0.1_3_3.2_2_2_3.2.0 nlp wc
40 lines 1863 bytes
head (1,3,3) body (2,2,2,3)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.99sec 0.10sec 142 108 3431
htl 3.51sec 0.05sec 142 249 3644
str 3.95sec 0.21sec 142 249 3340

test10/test_10.20_5_0.1_3_3.2_2_2_4.2.2 nlp wc
36 lines 2076 bytes
head (1,3,3) body (2,2,2,4)
estimated blow-up 2.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.25sec 0.01sec 24 109 3982
htl 3.52sec 0.12sec 24 255 3815
str 4.25sec 0.12sec 24 255 3499

test10/test_10.20_5_0.1_3_3.2_3_2_1.13.0 nlp wc
39 lines 2365 bytes
head (1,3,3) body (2,3,2,1)
estimated blow-up 13.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 13.59sec 0.40sec 234 591 16600
htl 7.28sec 0.42sec 234 537 7786
str 10.35sec 0.57sec 234 555 7226

test10/test_10.20_5_0.1_3_3.2_3_2_2.135.7 nlp wc
40 lines 3602 bytes
head (1,3,3) body (2,3,2,2)
estimated blow-up 135.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 596.87sec 4.18sec 169 4522 193562
htl 13.48sec 0.75sec 169 807 12470
str 21.44sec 0.75sec 169 827 11107

test10/test_10.20_5_0.1_3_3.2_3_2_3.1315.1 nlp wc
39 lines 4807 bytes
head (1,3,3) body (2,3,2,3)
estimated blow-up 1315.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 49114.07sec 68.13sec 55 42279 2303299
htl 22.40sec 1.14sec 55 1088 17193
str 36.79sec 1.04sec 55 1108 15159

test10/test_10.20_5_0.1_3_3.2_3_3_1.3.0 nlp wc
39 lines 1818 bytes
head (1,3,3) body (2,3,3,1)
estimated blow-up 3.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.82sec 0.04sec 215 243 5226
htl 6.43sec 0.20sec 215 482 6446
str 7.60sec 0.15sec 215 482 6008

test10/test_10.20_5_0.1_3_3.2_3_3_2.9.7 nlp wc
39 lines 2489 bytes
head (1,3,3) body (2,3,3,2)
estimated blow-up 9.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 15.81sec 0.41sec 264 656 20055
htl 10.80sec 0.60sec 264 711 9983
str 14.19sec 0.47sec 264 711 9206

test10/test_10.20_5_0.1_3_3.2_3_3_3.30.5 nlp wc
40 lines 3167 bytes
head (1,3,3) body (2,3,3,3)
estimated blow-up 30.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 110.19sec 1.48sec 280 1880 73516
htl 14.63sec 0.87sec 280 854 12258
str 20.52sec 1.01sec 280 854 11316

test10/test_10.20_5_0.1_3_3.2_3_3_4.94.2 nlp wc
38 lines 3676 bytes
head (1,3,3) body (2,3,3,4)
estimated blow-up 94.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 743.33sec 3.30sec 69 5074 236569
htl 21.34sec 0.45sec 69 1052 15229
str 28.66sec 0.58sec 69 1052 14030

test10/test_10.20_5_0.1_3_3.3_3_3_1.1.6 nlp wc
39 lines 1550 bytes
head (1,3,3) body (3,3,3,1)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.04sec 0.02sec 180 108 2603
htl 3.31sec 0.08sec 180 251 3430
str 3.79sec 0.05sec 180 251 3207

test10/test_10.20_5_0.1_3_3.3_3_3_2.2.0 nlp wc
39 lines 1876 bytes
head (1,3,3) body (3,3,3,2)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.41sec 0.02sec 145 110 3572
htl 3.03sec 0.22sec 145 244 3599
str 3.98sec 0.22sec 145 244 3294

test10/test_10.20_5_0.1_3_3.3_3_3_3.2.3 nlp wc
39 lines 2247 bytes
head (1,3,3) body (3,3,3,3)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.18sec 0.09sec 56 109 4350
htl 3.62sec 0.11sec 56 254 3921
str 4.70sec 0.11sec 56 254 3548

test10/test_10.20_5_0.1_3_3.3_3_3_4.2.5 nlp wc
39 lines 2486 bytes
head (1,3,3) body (3,3,3,4)
estimated blow-up 2.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.50sec 0.11sec 280 108 4687
htl 3.42sec 0.23sec 280 250 4006
str 4.65sec 0.23sec 280 250 3597

test10/test_10.20_5_0.2_2_2.1_1_1_1.1.3 nlp wc
38 lines 903 bytes
head (2,2,2) body (1,1,1,1)
estimated blow-up 1.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.60sec 0.00sec 0 98 1510
htl 2.23sec 0.08sec 0 172 2245
str 2.24sec 0.00sec 0 172 2085

test10/test_10.20_5_0.2_2_2.1_1_1_2.1.6 nlp wc
38 lines 1056 bytes
head (2,2,2) body (1,1,1,2)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.45sec 0.00sec 1 110 2056
htl 2.08sec 0.03sec 1 172 2321
str 2.83sec 0.00sec 1 174 2174

test10/test_10.20_5_0.2_2_2.1_1_1_3.1.8 nlp wc
40 lines 1145 bytes
head (2,2,2) body (1,1,1,3)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.11sec 0.00sec 1 114 2396
htl 1.86sec 0.08sec 1 179 2504
str 2.59sec 0.08sec 1 179 2281

test10/test_10.20_5_0.2_2_2.1_1_1_4.2.0 nlp wc
40 lines 1192 bytes
head (2,2,2) body (1,1,1,4)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.70sec 0.00sec 1 108 2503
htl 2.07sec 0.00sec 1 165 2369
str 2.40sec 0.00sec 1 165 2156

test10/test_10.20_5_0.2_2_2.1_2_1_1.6.3 nlp wc
40 lines 1428 bytes
head (2,2,2) body (1,2,1,1)
estimated blow-up 6.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.29sec 0.08sec 1 284 5952
htl 2.96sec 0.00sec 1 261 3835
str 3.77sec 0.08sec 1 279 3485

test10/test_10.20_5_0.2_2_2.1_2_1_2.31.0 nlp wc
38 lines 2103 bytes
head (2,2,2) body (1,2,1,2)
estimated blow-up 31.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 41.48sec 0.22sec 0 1144 37092
htl 4.54sec 0.05sec 0 380 5863
str 6.44sec 0.08sec 0 400 5174

test10/test_10.20_5_0.2_2_2.1_2_1_3.137.9 nlp wc
40 lines 2819 bytes
head (2,2,2) body (1,2,1,3)
estimated blow-up 137.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 466.74sec 1.08sec 0 4034 171078
htl 6.21sec 0.09sec 0 475 7754
str 10.26sec 0.09sec 0 495 6589

test10/test_10.20_5_0.2_2_2.1_2_1_4.588.3 nlp wc
38 lines 3419 bytes
head (2,2,2) body (1,2,1,4)
estimated blow-up 588.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 8497.12sec 17.58sec 1 17318 894725
htl 8.26sec 0.01sec 1 554 9185
str 13.77sec 0.08sec 1 574 7790

test10/test_10.20_5_0.2_2_2.1_2_2_1.2.2 nlp wc
40 lines 1069 bytes
head (2,2,2) body (1,2,2,1)
estimated blow-up 2.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.14sec 0.00sec 1 170 2580
htl 2.76sec 0.00sec 1 223 2947
str 3.03sec 0.03sec 1 223 2678

test10/test_10.20_5_0.2_2_2.1_2_2_2.5.0 nlp wc
40 lines 1315 bytes
head (2,2,2) body (1,2,2,2)
estimated blow-up 5.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.38sec 0.01sec 1 312 5954
htl 3.44sec 0.08sec 1 278 3773
str 3.83sec 0.00sec 1 278 3383

test10/test_10.20_5_0.2_2_2.1_2_2_3.10.7 nlp wc
40 lines 1538 bytes
head (2,2,2) body (1,2,2,3)
estimated blow-up 10.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 11.73sec 0.02sec 1 584 13673
htl 4.02sec 0.09sec 1 323 4464
str 4.38sec 0.01sec 1 323 3989

test10/test_10.20_5_0.2_2_2.1_2_2_4.22.8 nlp wc
40 lines 1767 bytes
head (2,2,2) body (1,2,2,4)
estimated blow-up 22.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 36.35sec 0.23sec 0 1094 29232
htl 4.45sec 0.08sec 0 381 5284
str 5.61sec 0.06sec 0 381 4764

test10/test_10.20_5_0.2_2_2.1_3_1_1.49.5 nlp wc
40 lines 2426 bytes
head (2,2,2) body (1,3,1,1)
estimated blow-up 49.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 86.03sec 0.38sec 0 1686 49995
htl 4.91sec 0.08sec 0 403 6531
str 7.74sec 0.04sec 0 421 5480

test10/test_10.20_5_0.2_2_2.1_3_1_2.1400.5 nlp wc
40 lines 3773 bytes
head (2,2,2) body (1,3,1,2)
estimated blow-up 1400.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 32425.11sec 41.04sec 1 32984 1571976
htl 8.61sec 0.03sec 1 606 10433
str 16.09sec 0.01sec 1 626 8528

test10/test_10.20_5_0.2_2_2.1_3_2_1.14.7 nlp wc
40 lines 1835 bytes
head (2,2,2) body (1,3,2,1)
estimated blow-up 14.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 15.85sec 0.03sec 1 678 14513
htl 3.80sec 0.08sec 1 336 5185
str 5.71sec 0.01sec 1 356 4531

test10/test_10.20_5_0.2_2_2.1_3_2_2.157.9 nlp wc
40 lines 2633 bytes
head (2,2,2) body (1,3,2,2)
estimated blow-up 157.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 597.13sec 3.14sec 1 4662 149374
htl 6.32sec 0.09sec 1 481 7590
str 10.11sec 0.01sec 1 501 6569

test10/test_10.20_5_0.2_2_2.1_3_2_3.1543.8 nlp wc
38 lines 3609 bytes
head (2,2,2) body (1,3,2,3)
estimated blow-up 1543.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 56628.75sec 80.48sec 1 42556 1782264
htl 8.86sec 0.10sec 1 627 10584
str 15.96sec 0.09sec 1 647 8718

test10/test_10.20_5_0.2_2_2.1_3_3_1.3.0 nlp wc
40 lines 1165 bytes
head (2,2,2) body (1,3,3,1)
estimated blow-up 3.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.69sec 0.00sec 1 202 3057
htl 2.94sec 0.00sec 1 252 3419
str 3.52sec 0.00sec 1 252 3057

test10/test_10.20_5_0.2_2_2.1_3_3_2.9.4 nlp wc
38 lines 1459 bytes
head (2,2,2) body (1,3,3,2)
estimated blow-up 9.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 13.60sec 0.10sec 1 636 11840
htl 3.86sec 0.01sec 1 333 4551
str 4.37sec 0.08sec 1 333 4093

test10/test_10.20_5_0.2_2_2.1_3_3_3.29.5 nlp wc
40 lines 1835 bytes
head (2,2,2) body (1,3,3,3)
estimated blow-up 29.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 88.34sec 0.49sec 1 1768 40930
htl 5.05sec 0.08sec 1 399 5651
str 6.00sec 0.10sec 1 399 4932

test10/test_10.20_5_0.2_2_2.1_3_3_4.91.4 nlp wc
38 lines 2128 bytes
head (2,2,2) body (1,3,3,4)
estimated blow-up 91.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 624.76sec 7.57sec 1 4836 134321
htl 6.07sec 0.01sec 1 474 6830
str 7.70sec 0.01sec 1 474 5999

test10/test_10.20_5_0.2_2_2.2_2_2_1.1.6 nlp wc
38 lines 969 bytes
head (2,2,2) body (2,2,2,1)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.86sec 0.09sec 0 104 1917
htl 2.26sec 0.08sec 0 168 2279
str 2.38sec 0.09sec 0 168 2098

test10/test_10.20_5_0.2_2_2.2_2_2_2.2.0 nlp wc
40 lines 1317 bytes
head (2,2,2) body (2,2,2,2)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.54sec 0.11sec 1 120 2904
htl 2.25sec 0.08sec 1 180 2629
str 2.61sec 0.08sec 1 180 2370

test10/test_10.20_5_0.2_2_2.2_2_2_3.2.3 nlp wc
40 lines 1491 bytes
head (2,2,2) body (2,2,2,3)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.67sec 0.08sec 1 110 3214
htl 2.41sec 0.00sec 1 180 2770
str 2.60sec 0.08sec 1 180 2464

test10/test_10.20_5_0.2_2_2.2_2_2_4.2.5 nlp wc
38 lines 1727 bytes
head (2,2,2) body (2,2,2,4)
estimated blow-up 2.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.47sec 0.00sec 1 110 3841
htl 2.33sec 0.00sec 1 175 2844
str 2.52sec 0.00sec 1 175 2491

test10/test_10.20_5_0.2_2_2.2_3_2_1.14.2 nlp wc
40 lines 2071 bytes
head (2,2,2) body (2,3,2,1)
estimated blow-up 14.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 15.49sec 0.11sec 2 672 17086
htl 6.12sec 0.10sec 2 490 7125
str 8.82sec 0.09sec 2 510 6588

test10/test_10.20_5_0.2_2_2.2_3_2_2.146.1 nlp wc
40 lines 3193 bytes
head (2,2,2) body (2,3,2,2)
estimated blow-up 146.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 822.92sec 3.17sec 0 5434 215937
htl 11.55sec 0.02sec 0 758 11717
str 18.06sec 0.09sec 0 778 10360

test10/test_10.20_5_0.2_2_2.2_3_2_3.1394.6 nlp wc
38 lines 4502 bytes
head (2,2,2) body (2,3,2,3)
estimated blow-up 1394.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 56520.21sec 177.83sec 0 45594 2480456
htl 20.00sec 0.10sec 0 1060 16908
str 35.01sec 0.10sec 0 1080 14753

test10/test_10.20_5_0.2_2_2.2_3_3_1.3.2 nlp wc
40 lines 1392 bytes
head (2,2,2) body (2,3,3,1)
estimated blow-up 3.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.63sec 0.01sec 1 240 4607
htl 4.35sec 0.04sec 1 393 5228
str 5.52sec 0.04sec 1 393 4775

test10/test_10.20_5_0.2_2_2.2_3_3_2.10.2 nlp wc
40 lines 2114 bytes
head (2,2,2) body (2,3,3,2)
estimated blow-up 10.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 15.98sec 0.16sec 0 686 19350
htl 8.42sec 0.01sec 0 599 8433
str 10.22sec 0.09sec 0 599 7675

test10/test_10.20_5_0.2_2_2.2_3_3_3.31.8 nlp wc
40 lines 2582 bytes
head (2,2,2) body (2,3,3,3)
estimated blow-up 31.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 104.54sec 1.77sec 0 1876 61611
htl 12.41sec 0.01sec 0 786 11115
str 16.07sec 0.01sec 0 786 10304

test10/test_10.20_5_0.2_2_2.2_3_3_4.97.7 nlp wc
40 lines 3286 bytes
head (2,2,2) body (2,3,3,4)
estimated blow-up 97.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 854.41sec 47.32sec 1 5540 235074
htl 18.48sec 0.02sec 1 984 14224
str 24.66sec 0.10sec 1 984 13044

test10/test_10.20_5_0.2_2_2.3_3_3_1.1.8 nlp wc
38 lines 1113 bytes
head (2,2,2) body (3,3,3,1)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.51sec 0.00sec 1 112 2359
htl 2.44sec 0.04sec 1 182 2535
str 2.29sec 0.08sec 1 182 2320

test10/test_10.20_5_0.2_2_2.3_3_3_2.2.3 nlp wc
38 lines 1439 bytes
head (2,2,2) body (3,3,3,2)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.71sec 0.06sec 0 106 3101
htl 2.24sec 0.08sec 0 171 2629
str 2.67sec 0.00sec 0 171 2334

test10/test_10.20_5_0.2_2_2.3_3_3_3.2.6 nlp wc
40 lines 1824 bytes
head (2,2,2) body (3,3,3,3)
estimated blow-up 2.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.29sec 0.00sec 1 108 4126
htl 2.25sec 0.00sec 1 178 2976
str 2.82sec 0.08sec 1 178 2589

test10/test_10.20_5_0.2_2_2.3_3_3_4.2.8 nlp wc
40 lines 2152 bytes
head (2,2,2) body (3,3,3,4)
estimated blow-up 2.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.11sec 0.07sec 1 112 4775
htl 2.33sec 0.08sec 1 172 3031
str 3.48sec 0.08sec 1 172 2604

test10/test_10.20_5_0.2_3_2.1_1_1_1.2.6 nlp wc
45 lines 2117 bytes
head (2,3,2) body (1,1,1,1)
estimated blow-up 2.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.97sec 0.09sec 0 271 4333
htl 6.61sec 0.01sec 0 486 6623
str 8.57sec 0.01sec 0 486 6147

test10/test_10.20_5_0.2_3_2.1_1_1_2.3.1 nlp wc
44 lines 2190 bytes
head (2,3,2) body (1,1,1,2)
estimated blow-up 3.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.97sec 0.01sec 0 277 5690
htl 6.48sec 0.04sec 0 489 6820
str 8.23sec 0.01sec 0 489 6242

test10/test_10.20_5_0.2_3_2.1_1_1_3.3.5 nlp wc
42 lines 2262 bytes
head (2,3,2) body (1,1,1,3)
estimated blow-up 3.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.36sec 0.01sec 0 258 6264
htl 6.89sec 0.04sec 0 494 6940
str 8.60sec 0.04sec 0 494 6341

test10/test_10.20_5_0.2_3_2.1_1_1_4.3.9 nlp wc
45 lines 2517 bytes
head (2,3,2) body (1,1,1,4)
estimated blow-up 3.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.06sec 0.09sec 1 293 8302
htl 7.30sec 0.01sec 1 521 7472
str 9.78sec 0.09sec 1 521 6817

test10/test_10.20_5_0.2_3_2.1_2_1_1.12.4 nlp wc
44 lines 2697 bytes
head (2,3,2) body (1,2,1,1)
estimated blow-up 12.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 29.76sec 0.02sec 0 963 22602
htl 9.11sec 0.01sec 0 623 9140
str 12.68sec 0.09sec 0 641 8422

test10/test_10.20_5_0.2_3_2.1_2_1_2.63.1 nlp wc
44 lines 3235 bytes
head (2,3,2) body (1,2,1,2)
estimated blow-up 63.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 230.75sec 0.59sec 0 2818 95767
htl 10.46sec 0.09sec 0 682 10356
str 15.98sec 0.09sec 0 702 9383

test10/test_10.20_5_0.2_3_2.1_2_1_3.293.7 nlp wc
44 lines 3966 bytes
head (2,3,2) body (1,2,1,3)
estimated blow-up 293.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4950.67sec 8.87sec 3 13127 579369
htl 13.65sec 0.03sec 3 806 12618
str 22.33sec 0.02sec 3 824 11172

test10/test_10.20_5_0.2_3_2.1_2_1_4.1304.1 nlp wc
43 lines 4675 bytes
head (2,3,2) body (1,2,1,4)
estimated blow-up 1304.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 66337.02sec 64.74sec 2 44992 2379135
htl 16.42sec 0.02sec 2 902 14644
str 28.13sec 0.02sec 2 922 12746

test10/test_10.20_5_0.2_3_2.1_2_2_1.4.7 nlp wc
44 lines 2142 bytes
head (2,3,2) body (1,2,2,1)
estimated blow-up 4.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.92sec 0.01sec 0 413 6892
htl 7.85sec 0.01sec 0 531 7352
str 9.20sec 0.09sec 0 531 6742

test10/test_10.20_5_0.2_3_2.1_2_2_2.10.3 nlp wc
45 lines 2493 bytes
head (2,3,2) body (1,2,2,2)
estimated blow-up 10.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 25.79sec 0.02sec 0 905 18807
htl 9.10sec 0.08sec 0 612 8615
str 11.66sec 0.04sec 0 612 7884

test10/test_10.20_5_0.2_3_2.1_2_2_3.22.6 nlp wc
44 lines 2663 bytes
head (2,3,2) body (1,2,2,3)
estimated blow-up 22.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 77.31sec 0.06sec 0 1621 41496
htl 10.11sec 0.07sec 0 639 9152
str 13.34sec 0.01sec 0 639 8309

test10/test_10.20_5_0.2_3_2.1_2_2_4.48.7 nlp wc
44 lines 2932 bytes
head (2,3,2) body (1,2,2,4)
estimated blow-up 48.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 303.06sec 1.17sec 0 3288 96267
htl 10.96sec 0.09sec 0 714 10294
str 15.20sec 0.09sec 0 714 9365

test10/test_10.20_5_0.2_3_2.1_3_1_1.101.4 nlp wc
45 lines 3628 bytes
head (2,3,2) body (1,3,1,1)
estimated blow-up 101.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 688.98sec 0.75sec 0 4961 160748
htl 11.98sec 0.01sec 0 733 11595
str 18.66sec 0.07sec 0 753 10119

test10/test_10.20_5_0.2_3_2.1_3_1_2.3150.5 nlp wc
45 lines 5101 bytes
head (2,3,2) body (1,3,1,2)
estimated blow-up 3150.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 325173.73sec 162.99sec 0 93744 4528970
htl 21.83sec 0.08sec 0 938 15496
str 38.82sec 0.02sec 0 958 13269

test10/test_10.20_5_0.2_3_2.1_3_2_1.29.7 nlp wc
45 lines 2862 bytes
head (2,3,2) body (1,3,2,1)
estimated blow-up 29.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 86.64sec 0.09sec 0 1597 37181
htl 11.10sec 0.01sec 0 640 9517
str 16.27sec 0.04sec 0 660 8703

test10/test_10.20_5_0.2_3_2.1_3_2_2.340.0 nlp wc
45 lines 3899 bytes
head (2,3,2) body (1,3,2,2)
estimated blow-up 340.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5979.42sec 9.47sec 0 13531 470221
htl 16.23sec 0.03sec 0 767 12150
str 24.98sec 0.02sec 0 787 10645

test10/test_10.20_5_0.1_1_1.1_1_1_1.1.2 nlp wc
30 lines 537 bytes
head (1,1,1) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.54sec 0.00sec 1 64 969
htl 0.50sec 0.00sec 1 100 1311
str 0.65sec 0.00sec 1 100 1169

test10/test_10.20_5_0.1_1_1.1_1_1_2.1.3 nlp wc
30 lines 668 bytes
head (1,1,1) body (1,1,1,2)
estimated blow-up 1.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.57sec 0.00sec 1 66 1242
htl 0.65sec 0.00sec 1 88 1266
str 0.58sec 0.00sec 1 92 1142

test10/test_10.20_5_0.1_1_1.1_1_1_3.1.4 nlp wc
30 lines 767 bytes
head (1,1,1) body (1,1,1,3)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.56sec 0.00sec 1 70 1481
htl 0.72sec 0.00sec 1 110 1654
str 0.71sec 0.00sec 1 110 1418

test10/test_10.20_5_0.1_1_1.1_1_1_4.1.5 nlp wc
30 lines 845 bytes
head (1,1,1) body (1,1,1,4)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.68sec 0.00sec 1 68 1611
htl 0.60sec 0.00sec 1 102 1629
str 0.67sec 0.03sec 1 102 1378

test10/test_10.20_5_0.1_1_1.1_2_1_1.4.7 nlp wc
30 lines 1047 bytes
head (1,1,1) body (1,2,1,1)
estimated blow-up 4.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.92sec 0.00sec 2 172 3485
htl 0.94sec 0.00sec 2 194 2921
str 1.15sec 0.00sec 2 212 2660

test10/test_10.20_5_0.1_1_1.1_2_1_2.20.4 nlp wc
30 lines 1639 bytes
head (1,1,1) body (1,2,1,2)
estimated blow-up 20.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.03sec 0.03sec 0 598 18528
htl 1.94sec 0.01sec 0 323 4987
str 2.36sec 0.01sec 0 343 4401

test10/test_10.20_5_0.1_1_1.1_2_1_3.85.3 nlp wc
30 lines 2395 bytes
head (1,1,1) body (1,2,1,3)
estimated blow-up 85.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 82.83sec 1.00sec 0 2204 94924
htl 2.53sec 0.02sec 0 417 6948
str 4.12sec 0.02sec 0 437 5831

test10/test_10.20_5_0.1_1_1.1_2_1_4.350.0 nlp wc
30 lines 3150 bytes
head (1,1,1) body (1,2,1,4)
estimated blow-up 350.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1447.43sec 67.29sec 1 9502 511313
htl 3.30sec 0.02sec 1 482 8314
str 6.40sec 0.02sec 1 502 6852

test10/test_10.20_5_0.1_1_1.1_2_2_1.1.8 nlp wc
30 lines 655 bytes
head (1,1,1) body (1,2,2,1)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.84sec 0.00sec 1 102 1550
htl 0.95sec 0.00sec 1 161 2150
str 1.03sec 0.00sec 1 161 1885

test10/test_10.20_5_0.1_1_1.1_2_2_2.3.7 nlp wc
30 lines 923 bytes
head (1,1,1) body (1,2,2,2)
estimated blow-up 3.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.16sec 0.00sec 1 184 3491
htl 1.26sec 0.00sec 1 209 2889
str 1.38sec 0.00sec 1 209 2525

test10/test_10.20_5_0.1_1_1.1_2_2_3.7.4 nlp wc
30 lines 1122 bytes
head (1,1,1) body (1,2,2,3)
estimated blow-up 7.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.61sec 0.02sec 1 318 7255
htl 1.53sec 0.00sec 1 256 3573
str 1.90sec 0.00sec 1 256 3123

test10/test_10.20_5_0.1_1_1.1_2_2_4.15.0 nlp wc
30 lines 1368 bytes
head (1,1,1) body (1,2,2,4)
estimated blow-up 15.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.39sec 0.03sec 0 560 15577
htl 1.80sec 0.01sec 0 298 4289
str 2.24sec 0.00sec 0 298 3679

test10/test_10.20_5_0.1_1_1.1_3_1_1.32.0 nlp wc
30 lines 1965 bytes
head (1,1,1) body (1,3,1,1)
estimated blow-up 32.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 13.62sec 0.04sec 2 824 23887
htl 2.15sec 0.01sec 2 329 5499
str 3.05sec 0.01sec 2 349 4511

test10/test_10.20_5_0.1_1_1.1_3_1_2.821.0 nlp wc
30 lines 3399 bytes
head (1,1,1) body (1,3,1,2)
estimated blow-up 821.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3861.53sec 19.81sec 2 15676 733794
htl 3.66sec 0.02sec 2 515 9125
str 6.74sec 0.02sec 2 535 7292

test10/test_10.20_5_0.1_1_1.1_3_2_1.10.2 nlp wc
30 lines 1386 bytes
head (1,1,1) body (1,3,2,1)
estimated blow-up 10.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.60sec 0.05sec 1 322 6941
htl 1.50sec 0.00sec 1 260 4110
str 1.99sec 0.04sec 1 280 3534

test10/test_10.20_5_0.1_1_1.1_3_2_2.97.7 nlp wc
30 lines 2297 bytes
head (1,1,1) body (1,3,2,2)
estimated blow-up 97.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 134.33sec 1.72sec 1 2990 96220
htl 2.38sec 0.01sec 1 420 6924
str 4.19sec 0.01sec 1 440 5755

test10/test_10.20_5_0.1_1_1.1_3_2_3.905.0 nlp wc
30 lines 3235 bytes
head (1,1,1) body (1,3,2,3)
estimated blow-up 905.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 7811.13sec 193.51sec 0 22346 939939
htl 3.78sec 0.06sec 0 552 9558
str 7.25sec 0.01sec 0 572 7724

test10/test_10.20_5_0.1_1_1.1_3_3_1.2.3 nlp wc
30 lines 767 bytes
head (1,1,1) body (1,3,3,1)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.00sec 0.00sec 1 124 1903
htl 1.24sec 0.00sec 1 175 2415
str 1.15sec 0.04sec 1 175 2082

test10/test_10.20_5_0.1_1_1.1_3_3_2.6.5 nlp wc
30 lines 1141 bytes
head (1,1,1) body (1,3,3,2)
estimated blow-up 6.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.94sec 0.01sec 1 362 7004
htl 1.41sec 0.00sec 1 258 3692
str 1.96sec 0.00sec 1 258 3165

test10/test_10.20_5_0.1_1_1.1_3_3_3.19.1 nlp wc
30 lines 1435 bytes
head (1,1,1) body (1,3,3,3)
estimated blow-up 19.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 15.46sec 0.12sec 1 998 23269
htl 2.06sec 0.00sec 1 338 4849
str 2.16sec 0.00sec 1 338 4172

test10/test_10.20_5_0.1_1_1.1_3_3_4.56.6 nlp wc
30 lines 1793 bytes
head (1,1,1) body (1,3,3,4)
estimated blow-up 56.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 105.76sec 3.16sec 0 2676 75365
htl 2.71sec 0.01sec 0 408 5990
str 3.11sec 0.01sec 0 408 5136

test10/test_10.20_5_0.1_1_1.2_2_2_1.1.3 nlp wc
30 lines 643 bytes
head (1,1,1) body (2,2,2,1)
estimated blow-up 1.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.83sec 0.00sec 0 68 1228
htl 0.71sec 0.00sec 0 102 1431
str 0.96sec 0.00sec 0 104 1289

test10/test_10.20_5_0.1_1_1.2_2_2_2.1.5 nlp wc
30 lines 860 bytes
head (1,1,1) body (2,2,2,2)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.78sec 0.00sec 0 70 1580
htl 0.78sec 0.00sec 0 104 1626
str 0.81sec 0.00sec 0 106 1417

test10/test_10.20_5_0.1_1_1.2_2_2_3.1.6 nlp wc
30 lines 1119 bytes
head (1,1,1) body (2,2,2,3)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.76sec 0.00sec 1 66 1860
htl 0.93sec 0.00sec 1 82 1492
str 0.82sec 0.00sec 1 88 1305

test10/test_10.20_5_0.1_1_1.2_2_2_4.1.6 nlp wc
30 lines 1303 bytes
head (1,1,1) body (2,2,2,4)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.80sec 0.00sec 1 68 2142
htl 0.96sec 0.00sec 1 102 1890
str 1.20sec 0.00sec 1 104 1584

test10/test_10.20_5_0.1_1_1.2_3_2_1.9.2 nlp wc
30 lines 1611 bytes
head (1,1,1) body (2,3,2,1)
estimated blow-up 9.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.22sec 0.01sec 1 362 9184
htl 2.48sec 0.01sec 1 417 6125
str 3.36sec 0.01sec 1 437 5569

test10/test_10.20_5_0.1_1_1.2_3_2_2.85.6 nlp wc
30 lines 2834 bytes
head (1,1,1) body (2,3,2,2)
estimated blow-up 85.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 134.09sec 0.63sec 0 2930 119743
htl 5.51sec 0.02sec 0 710 11091
str 8.36sec 0.02sec 0 730 9709

test10/test_10.20_5_0.1_1_1.2_3_2_3.782.3 nlp wc
30 lines 3990 bytes
head (1,1,1) body (2,3,2,3)
estimated blow-up 782.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 9738.43sec 40.30sec 1 23142 1223723
htl 9.31sec 0.03sec 1 974 15510
str 15.83sec 0.03sec 1 994 13512

test10/test_10.20_5_0.1_1_1.2_3_3_1.2.2 nlp wc
30 lines 1019 bytes
head (1,1,1) body (2,3,3,1)
estimated blow-up 2.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.08sec 0.00sec 1 148 2769
htl 1.90sec 0.05sec 1 348 4631
str 2.44sec 0.00sec 1 348 4168

test10/test_10.20_5_0.1_1_1.2_3_3_2.6.3 nlp wc
30 lines 1695 bytes
head (1,1,1) body (2,3,3,2)
estimated blow-up 6.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.38sec 0.02sec 0 370 10154
htl 3.68sec 0.01sec 0 552 7771
str 4.58sec 0.01sec 0 552 7048

test10/test_10.20_5_0.1_1_1.2_3_3_3.18.6 nlp wc
30 lines 2285 bytes
head (1,1,1) body (2,3,3,3)
estimated blow-up 18.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 16.48sec 0.50sec 0 984 35636
htl 5.60sec 0.02sec 0 747 10717
str 7.75sec 0.04sec 0 747 9769

test10/test_10.20_5_0.1_1_1.2_3_3_4.55.4 nlp wc
30 lines 2871 bytes
head (1,1,1) body (2,3,3,4)
estimated blow-up 55.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 129.26sec 2.12sec 0 2894 123970
htl 8.67sec 0.02sec 0 906 13217
str 11.43sec 0.02sec 0 906 12026

test10/test_10.20_5_0.1_1_1.3_3_3_1.1.4 nlp wc
30 lines 751 bytes
head (1,1,1) body (3,3,3,1)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.76sec 0.00sec 1 68 1401
htl 1.03sec 0.00sec 1 102 1521
str 1.07sec 0.00sec 1 104 1334

test10/test_10.20_5_0.1_1_1.3_3_3_2.1.6 nlp wc
30 lines 1072 bytes
head (1,1,1) body (3,3,3,2)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.88sec 0.00sec 1 68 1893
htl 0.89sec 0.00sec 1 102 1772
str 0.82sec 0.00sec 1 104 1500

test10/test_10.20_5_0.1_1_1.3_3_3_3.1.7 nlp wc
30 lines 1364 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 68 2308
htl 0.77sec 0.00sec 1 90 1815
str 1.12sec 0.04sec 1 94 1549

test10/test_10.20_5_0.1_1_1.3_3_3_4.1.7 nlp wc
30 lines 1699 bytes
head (1,1,1) body (3,3,3,4)
estimated blow-up 1.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.86sec 0.04sec 1 70 2633
htl 0.94sec 0.00sec 1 110 2232
str 1.09sec 0.00sec 1 110 1798

test10/test_10.20_5_0.1_2_1.1_1_1_1.1.2 nlp wc
39 lines 1391 bytes
head (1,2,1) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.78sec 0.00sec 0 113 1979
htl 1.79sec 0.00sec 0 282 3870
str 1.96sec 0.01sec 0 282 3426

test10/test_10.20_5_0.1_2_1.1_1_1_2.1.5 nlp wc
40 lines 1463 bytes
head (1,2,1) body (1,1,1,2)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.84sec 0.00sec 4 120 2450
htl 1.84sec 0.01sec 4 293 4136
str 2.25sec 0.01sec 4 293 3658

test10/test_10.20_5_0.1_2_1.1_1_1_3.1.6 nlp wc
39 lines 1578 bytes
head (1,2,1) body (1,1,1,3)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.95sec 0.04sec 0 117 2822
htl 1.83sec 0.00sec 0 279 4035
str 2.23sec 0.00sec 0 279 3523

test10/test_10.20_5_0.1_2_1.1_1_1_4.1.8 nlp wc
40 lines 1648 bytes
head (1,2,1) body (1,1,1,4)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.06sec 0.00sec 4 118 3071
htl 1.97sec 0.04sec 4 280 4111
str 2.21sec 0.01sec 4 280 3603

test10/test_10.20_5_0.1_2_1.1_2_1_1.5.8 nlp wc
40 lines 1906 bytes
head (1,2,1) body (1,2,1,1)
estimated blow-up 5.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.63sec 0.01sec 0 305 7284
htl 2.36sec 0.01sec 0 383 5566
str 3.42sec 0.01sec 0 397 5001

test10/test_10.20_5_0.1_2_1.1_2_1_2.28.5 nlp wc
40 lines 2582 bytes
head (1,2,1) body (1,2,1,2)
estimated blow-up 28.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 22.22sec 0.04sec 0 1120 40010
htl 3.26sec 0.01sec 0 458 7171
str 4.98sec 0.01sec 0 478 6314

test10/test_10.20_5_0.1_2_1.1_2_1_3.128.0 nlp wc
39 lines 3222 bytes
head (1,2,1) body (1,2,1,3)
estimated blow-up 128.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 363.39sec 0.64sec 0 4899 218185
htl 4.52sec 0.01sec 0 551 8946
str 7.33sec 0.01sec 0 571 7694

test10/test_10.20_5_0.1_2_1.1_2_1_4.551.4 nlp wc
39 lines 3884 bytes
head (1,2,1) body (1,2,1,4)
estimated blow-up 551.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4909.53sec 3.31sec 0 18214 996595
htl 5.49sec 0.01sec 0 654 11052
str 8.88sec 0.01sec 0 674 9224

test10/test_10.20_5_0.1_2_1.1_2_2_1.2.1 nlp wc
39 lines 1460 bytes
head (1,2,1) body (1,2,2,1)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.08sec 0.00sec 0 179 3246
htl 2.12sec 0.00sec 0 322 4455
str 2.59sec 0.00sec 0 322 3916

test10/test_10.20_5_0.1_2_1.1_2_2_2.4.7 nlp wc
40 lines 1684 bytes
head (1,2,1) body (1,2,2,2)
estimated blow-up 4.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.51sec 0.01sec 0 322 6994
htl 2.15sec 0.00sec 0 346 4806
str 2.72sec 0.00sec 0 346 4242

test10/test_10.20_5_0.1_2_1.1_2_2_3.10.1 nlp wc
40 lines 1865 bytes
head (1,2,1) body (1,2,2,3)
estimated blow-up 10.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.84sec 0.02sec 0 613 15433
htl 2.49sec 0.01sec 0 404 5662
str 3.08sec 0.01sec 0 404 5083

test10/test_10.20_5_0.1_2_1.1_2_2_4.21.4 nlp wc
40 lines 2208 bytes
head (1,2,1) body (1,2,2,4)
estimated blow-up 21.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 22.58sec 0.51sec 1 1157 35315
htl 3.11sec 0.01sec 1 432 6226
str 3.84sec 0.01sec 1 432 5539

test10/test_10.20_5_0.1_2_1.1_3_1_1.45.5 nlp wc
38 lines 2622 bytes
head (1,2,1) body (1,3,1,1)
estimated blow-up 45.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 46.09sec 0.14sec 0 1685 53842
htl 3.36sec 0.01sec 0 486 7707
str 5.15sec 0.01sec 0 500 6551

test10/test_10.20_5_0.1_2_1.1_3_1_2.1316.6 nlp wc
39 lines 4204 bytes
head (1,2,1) body (1,3,1,2)
estimated blow-up 1316.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 18897.74sec 7.49sec 0 32918 1593403
htl 5.62sec 0.01sec 0 714 12192
str 10.82sec 0.01sec 0 732 10066

test10/test_10.20_5_0.1_2_1.1_3_2_1.13.6 nlp wc
38 lines 2169 bytes
head (1,2,1) body (1,3,2,1)
estimated blow-up 13.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 7.37sec 0.01sec 0 627 15596
htl 2.71sec 0.01sec 0 429 6513
str 3.85sec 0.01sec 0 449 5803

test10/test_10.20_5_0.1_2_1.1_3_2_2.147.3 nlp wc
40 lines 3022 bytes
head (1,2,1) body (1,3,2,2)
estimated blow-up 147.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 453.32sec 0.59sec 0 5549 193404
htl 4.15sec 0.01sec 0 589 9463
str 6.40sec 0.01sec 0 609 8101

test10/test_10.20_5_0.1_2_1.1_3_2_3.1458.0 nlp wc
40 lines 4156 bytes
head (1,2,1) body (1,3,2,3)
estimated blow-up 1458.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 31277.96sec 17.99sec 0 42795 1952845
htl 5.90sec 0.02sec 0 762 12850
str 11.24sec 0.02sec 0 782 10690

test10/test_10.20_5_0.1_2_1.1_3_3_1.2.9 nlp wc
40 lines 1563 bytes
head (1,2,1) body (1,3,3,1)
estimated blow-up 2.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.71sec 0.00sec 0 227 4111
htl 2.11sec 0.00sec 0 344 4831
str 2.52sec 0.00sec 0 344 4236

test10/test_10.20_5_0.1_2_1.1_3_3_2.9.1 nlp wc
40 lines 1955 bytes
head (1,2,1) body (1,3,3,2)
estimated blow-up 9.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 8.22sec 0.02sec 0 677 15131
htl 2.77sec 0.01sec 0 413 5869
str 3.52sec 0.01sec 0 413 5162

test10/test_10.20_5_0.1_2_1.1_3_3_3.28.5 nlp wc
38 lines 2205 bytes
head (1,2,1) body (1,3,3,3)
estimated blow-up 28.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 53.85sec 0.13sec 0 1857 49095
htl 3.69sec 0.01sec 0 529 7612
str 4.80sec 0.01sec 0 529 6764

test10/test_10.20_5_0.1_2_1.1_3_3_4.88.4 nlp wc
38 lines 2565 bytes
head (1,2,1) body (1,3,3,4)
estimated blow-up 88.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 412.11sec 0.43sec 0 5355 167580
htl 4.31sec 0.01sec 0 578 8561
str 5.42sec 0.01sec 0 578 7515

test10/test_10.20_5_0.1_2_1.2_2_2_1.1.5 nlp wc
39 lines 1476 bytes
head (1,2,1) body (2,2,2,1)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.93sec 0.00sec 0 114 2452
htl 2.11sec 0.00sec 0 284 4002
str 2.22sec 0.00sec 0 284 3515

test10/test_10.20_5_0.1_2_1.2_2_2_2.1.8 nlp wc
39 lines 1622 bytes
head (1,2,1) body (2,2,2,2)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.04sec 0.00sec 0 116 2940
htl 1.50sec 0.00sec 0 255 3770
str 1.88sec 0.00sec 0 255 3283

test10/test_10.20_5_0.1_2_1.2_2_2_3.2.1 nlp wc
40 lines 1952 bytes
head (1,2,1) body (2,2,2,3)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.12sec 0.01sec 8 118 3817
htl 1.68sec 0.01sec 8 285 4388
str 2.34sec 0.01sec 8 285 3789

test10/test_10.20_5_0.1_2_1.2_2_2_4.2.3 nlp wc
40 lines 2121 bytes
head (1,2,1) body (2,2,2,4)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.30sec 0.00sec 6 117 4296
htl 1.52sec 0.01sec 6 256 4143
str 2.14sec 0.01sec 6 256 3503

test10/test_10.20_5_0.1_2_1.2_3_2_1.13.3 nlp wc
39 lines 2448 bytes
head (1,2,1) body (2,3,2,1)
estimated blow-up 13.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 9.57sec 0.02sec 0 717 20167
htl 4.13sec 0.01sec 0 599 9004
str 6.12sec 0.05sec 0 619 8099

test10/test_10.20_5_0.1_2_1.2_3_2_2.138.9 nlp wc
39 lines 3604 bytes
head (1,2,1) body (2,3,2,2)
estimated blow-up 138.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 455.49sec 0.89sec 0 5501 235565
htl 7.63sec 0.02sec 0 874 13633
str 12.23sec 0.01sec 0 894 12016

test10/test_10.20_5_0.1_2_1.2_3_2_3.1339.8 nlp wc
38 lines 4809 bytes
head (1,2,1) body (2,3,2,3)
estimated blow-up 1339.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 30551.20sec 34.21sec 0 44345 2557624
htl 12.95sec 0.02sec 0 1176 18781
str 21.46sec 0.02sec 0 1196 16310

test10/test_10.20_5_0.1_2_1.2_3_3_1.3.1 nlp wc
40 lines 1839 bytes
head (1,2,1) body (2,3,3,1)
estimated blow-up 3.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.14sec 0.00sec 1 266 5720
htl 3.50sec 0.01sec 1 521 7218
str 4.24sec 0.01sec 1 521 6574

test10/test_10.20_5_0.1_2_1.2_3_3_2.9.9 nlp wc
40 lines 2516 bytes
head (1,2,1) body (2,3,3,2)
estimated blow-up 9.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 9.50sec 0.02sec 0 718 22374
htl 5.91sec 0.01sec 0 772 11170
str 8.09sec 0.01sec 0 772 10052

test10/test_10.20_5_0.1_2_1.2_3_3_3.30.9 nlp wc
40 lines 3037 bytes
head (1,2,1) body (2,3,3,3)
estimated blow-up 30.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 54.67sec 0.25sec 1 1823 71136
htl 8.15sec 0.02sec 1 906 13219
str 11.09sec 0.02sec 1 906 12064

test10/test_10.20_5_0.1_2_1.2_3_3_4.95.3 nlp wc
40 lines 3664 bytes
head (1,2,1) body (2,3,3,4)
estimated blow-up 95.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 487.05sec 11.03sec 1 5679 255328
htl 11.53sec 0.04sec 1 1075 15790
str 15.71sec 0.03sec 1 1075 14470

test10/test_10.20_5_0.1_2_1.3_3_3_1.1.6 nlp wc
38 lines 1594 bytes
head (1,2,1) body (3,3,3,1)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.04sec 0.00sec 0 118 2915
htl 1.72sec 0.00sec 0 294 4251
str 2.24sec 0.00sec 0 294 3719

test10/test_10.20_5_0.1_2_1.3_3_3_2.2.1 nlp wc
39 lines 1834 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.00sec 0 114 3670
htl 1.53sec 0.00sec 0 258 4017
str 2.16sec 0.00sec 0 258 3445

test10/test_10.20_5_0.1_2_1.3_3_3_3.2.4 nlp wc
40 lines 2279 bytes
head (1,2,1) body (3,3,3,3)
estimated blow-up 2.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.32sec 0.01sec 4 117 4787
htl 1.97sec 0.01sec 4 284 4628
str 2.42sec 0.01sec 4 284 3909

test10/test_10.20_5_0.1_2_1.3_3_3_4.2.6 nlp wc
40 lines 2584 bytes
head (1,2,1) body (3,3,3,4)
estimated blow-up 2.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.40sec 0.01sec 4 118 5594
htl 1.92sec 0.01sec 4 269 4611
str 2.75sec 0.01sec 4 269 3877

test10/test_10.20_5_0.1_2_2.1_1_1_1.1.2 nlp wc
34 lines 943 bytes
head (1,2,2) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.77sec 0.00sec 50 89 1438
htl 1.18sec 0.01sec 50 199 2537
str 1.39sec 0.01sec 50 199 2386

test10/test_10.20_5_0.1_2_2.1_1_1_2.1.4 nlp wc
35 lines 1051 bytes
head (1,2,2) body (1,1,1,2)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.87sec 0.01sec 50 90 1751
htl 1.26sec 0.02sec 50 207 2728
str 1.34sec 0.02sec 50 207 2540

test10/test_10.20_5_0.1_2_2.1_1_1_3.1.5 nlp wc
34 lines 1153 bytes
head (1,2,2) body (1,1,1,3)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.07sec 0.01sec 60 92 2061
htl 1.28sec 0.02sec 60 209 2852
str 1.52sec 0.02sec 60 209 2618

test10/test_10.20_5_0.1_2_2.1_1_1_4.1.6 nlp wc
34 lines 1171 bytes
head (1,2,2) body (1,1,1,4)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.75sec 0.00sec 14 85 2117
htl 1.18sec 0.01sec 14 191 2727
str 1.22sec 0.01sec 14 191 2471

test10/test_10.20_5_0.1_2_2.1_2_1_1.5.3 nlp wc
35 lines 1528 bytes
head (1,2,2) body (1,2,1,1)
estimated blow-up 5.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.93sec 0.02sec 74 246 5593
htl 1.87sec 0.03sec 74 291 4205
str 2.16sec 0.03sec 74 311 3900

test10/test_10.20_5_0.1_2_2.1_2_1_2.24.8 nlp wc
34 lines 2098 bytes
head (1,2,2) body (1,2,1,2)
estimated blow-up 24.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 13.96sec 0.17sec 73 886 28725
htl 2.54sec 0.10sec 73 401 6026
str 3.94sec 0.13sec 73 421 5461

test10/test_10.20_5_0.1_2_2.1_2_1_3.108.3 nlp wc
34 lines 2822 bytes
head (1,2,2) body (1,2,1,3)
estimated blow-up 108.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 168.68sec 0.74sec 24 3250 145074
htl 3.53sec 0.04sec 24 497 8100
str 5.60sec 0.04sec 24 517 6907

test10/test_10.20_5_0.1_2_2.1_2_1_4.457.5 nlp wc
34 lines 3283 bytes
head (1,2,2) body (1,2,1,4)
estimated blow-up 457.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1772.93sec 5.22sec 28 10530 560481
htl 4.28sec 0.13sec 28 548 8937
str 6.70sec 0.14sec 28 568 7737

test10/test_10.20_5_0.1_2_2.1_2_2_1.2.0 nlp wc
35 lines 1057 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.00sec 24 138 2306
htl 1.25sec 0.01sec 24 238 3119
str 1.52sec 0.01sec 24 238 2846

test10/test_10.20_5_0.1_2_2.1_2_2_2.4.3 nlp wc
35 lines 1335 bytes
head (1,2,2) body (1,2,2,2)
estimated blow-up 4.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.86sec 0.01sec 27 252 5256
htl 1.78sec 0.01sec 27 295 3969
str 2.13sec 0.01sec 27 295 3593

test10/test_10.20_5_0.1_2_2.1_2_2_3.9.0 nlp wc
34 lines 1583 bytes
head (1,2,2) body (1,2,2,3)
estimated blow-up 9.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.73sec 0.03sec 58 487 12002
htl 2.29sec 0.03sec 58 360 4840
str 2.52sec 0.03sec 58 360 4441

test10/test_10.20_5_0.1_2_2.1_2_2_4.18.6 nlp wc
35 lines 1820 bytes
head (1,2,2) body (1,2,2,4)
estimated blow-up 18.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 13.55sec 0.22sec 33 895 27252
htl 2.55sec 0.08sec 33 406 5688
str 3.21sec 0.03sec 33 406 5147

test10/test_10.20_5_0.1_2_2.1_3_1_1.39.3 nlp wc
35 lines 2265 bytes
head (1,2,2) body (1,3,1,1)
estimated blow-up 39.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 19.69sec 0.17sec 71 1065 32816
htl 2.61sec 0.10sec 71 394 6161
str 3.78sec 0.14sec 71 412 5371

test10/test_10.20_5_0.1_2_2.1_3_1_2.1084.2 nlp wc
35 lines 3848 bytes
head (1,2,2) body (1,3,1,2)
estimated blow-up 1084.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 12464.03sec 20.65sec 91 26543 1294515
htl 5.14sec 0.28sec 91 647 11005
str 9.23sec 0.20sec 91 667 9141

test10/test_10.20_5_0.1_2_2.1_3_2_1.12.1 nlp wc
35 lines 1819 bytes
head (1,2,2) body (1,3,2,1)
estimated blow-up 12.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.40sec 0.04sec 81 509 11734
htl 2.17sec 0.08sec 81 365 5366
str 3.01sec 0.04sec 81 385 4877

test10/test_10.20_5_0.1_2_2.1_3_2_2.124.6 nlp wc
35 lines 2750 bytes
head (1,2,2) body (1,3,2,2)
estimated blow-up 124.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 289.22sec 1.29sec 78 4186 143774
htl 3.59sec 0.05sec 78 515 8286
str 5.52sec 0.13sec 78 535 7085

test10/test_10.20_5_0.1_2_2.1_3_2_3.1200.7 nlp wc
34 lines 3684 bytes
head (1,2,2) body (1,3,2,3)
estimated blow-up 1200.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 15167.63sec 21.37sec 57 30786 1362461
htl 4.93sec 0.06sec 57 668 11127
str 8.89sec 0.06sec 57 688 9314

test10/test_10.20_5_0.1_2_2.1_3_3_1.2.7 nlp wc
34 lines 1102 bytes
head (1,2,2) body (1,3,3,1)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.14sec 0.00sec 30 165 2639
htl 1.65sec 0.01sec 30 275 3540
str 1.83sec 0.01sec 30 275 3294

test10/test_10.20_5_0.1_2_2.1_3_3_2.8.1 nlp wc
35 lines 1565 bytes
head (1,2,2) body (1,3,3,2)
estimated blow-up 8.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.72sec 0.08sec 57 491 10402
htl 2.14sec 0.02sec 57 362 4956
str 2.58sec 0.02sec 57 362 4462

test10/test_10.20_5_0.1_2_2.1_3_3_3.24.6 nlp wc
35 lines 1832 bytes
head (1,2,2) body (1,3,3,3)
estimated blow-up 24.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 28.68sec 0.23sec 36 1363 34429
htl 2.77sec 0.02sec 36 436 6062
str 3.25sec 0.02sec 36 436 5469

test10/test_10.20_5_0.1_2_2.1_3_3_4.74.8 nlp wc
34 lines 2123 bytes
head (1,2,2) body (1,3,3,4)
estimated blow-up 74.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 210.50sec 1.06sec 47 3812 112281
htl 3.44sec 0.03sec 47 507 7258
str 4.16sec 0.03sec 47 507 6489

test10/test_10.20_5_0.1_2_2.2_2_2_1.1.4 nlp wc
34 lines 992 bytes
head (1,2,2) body (2,2,2,1)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.81sec 0.00sec 20 89 1691
htl 1.38sec 0.01sec 20 186 2470
str 1.17sec 0.01sec 20 186 2289

test10/test_10.20_5_0.1_2_2.2_2_2_2.1.6 nlp wc
35 lines 1296 bytes
head (1,2,2) body (2,2,2,2)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.98sec 0.06sec 214 94 2297
htl 1.20sec 0.04sec 214 211 2970
str 1.43sec 0.04sec 214 211 2730

test10/test_10.20_5_0.1_2_2.2_2_2_3.1.8 nlp wc
34 lines 1537 bytes
head (1,2,2) body (2,2,2,3)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.95sec 0.00sec 25 92 2851
htl 1.44sec 0.01sec 25 202 3053
str 1.53sec 0.01sec 25 202 2722

test10/test_10.20_5_0.1_2_2.2_2_2_4.2.0 nlp wc
34 lines 1762 bytes
head (1,2,2) body (2,2,2,4)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.04sec 0.00sec 12 91 3160
htl 1.52sec 0.01sec 12 215 3302
str 1.72sec 0.01sec 12 215 2963

test10/test_10.20_5_0.1_2_2.2_3_2_1.11.5 nlp wc
35 lines 1926 bytes
head (1,2,2) body (2,3,2,1)
estimated blow-up 11.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.71sec 0.04sec 42 514 13664
htl 3.15sec 0.14sec 42 494 7102
str 4.25sec 0.15sec 42 512 6595

test10/test_10.20_5_0.1_2_2.2_3_2_2.114.4 nlp wc
34 lines 3216 bytes
head (1,2,2) body (2,3,2,2)
estimated blow-up 114.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 215.09sec 4.68sec 28 3733 157199
htl 6.22sec 0.15sec 28 770 12001
str 10.19sec 0.12sec 28 790 10637

test10/test_10.20_5_0.1_2_2.2_3_2_3.1077.6 nlp wc
34 lines 4546 bytes
head (1,2,2) body (2,3,2,3)
estimated blow-up 1077.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 22479.89sec 44.24sec 6 34296 1928707
htl 10.70sec 0.24sec 6 1069 17090
str 18.42sec 0.19sec 6 1089 14937

test10/test_10.20_5_0.1_2_2.2_3_3_1.2.7 nlp wc
34 lines 1416 bytes
head (1,2,2) body (2,3,3,1)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.42sec 0.01sec 47 199 4014
htl 2.75sec 0.03sec 47 442 5816
str 3.16sec 0.03sec 47 442 5428

test10/test_10.20_5_0.1_2_2.2_3_3_2.8.3 nlp wc
34 lines 2006 bytes
head (1,2,2) body (2,3,3,2)
estimated blow-up 8.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.76sec 0.07sec 39 528 14836
htl 4.89sec 0.13sec 39 634 8695
str 5.47sec 0.05sec 39 634 8143

test10/test_10.20_5_0.1_2_2.2_3_3_3.25.4 nlp wc
34 lines 2655 bytes
head (1,2,2) body (2,3,3,3)
estimated blow-up 25.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 40.75sec 0.28sec 24 1573 57628
htl 7.95sec 0.14sec 24 856 12147
str 10.02sec 0.14sec 24 856 11241

test10/test_10.20_5_0.1_2_2.2_3_3_4.77.1 nlp wc
35 lines 3378 bytes
head (1,2,2) body (2,3,3,4)
estimated blow-up 77.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 312.22sec 2.46sec 35 4489 204736
htl 11.22sec 0.26sec 35 1030 14956
str 14.78sec 0.19sec 35 1030 13789

test10/test_10.20_5_0.1_2_2.3_3_3_1.1.5 nlp wc
35 lines 1120 bytes
head (1,2,2) body (3,3,3,1)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.77sec 0.01sec 107 92 2059
htl 1.24sec 0.07sec 107 200 2771
str 1.35sec 0.03sec 107 200 2528

test10/test_10.20_5_0.1_2_2.3_3_3_2.1.8 nlp wc
35 lines 1514 bytes
head (1,2,2) body (3,3,3,2)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.85sec 0.00sec 11 90 2831
htl 1.48sec 0.02sec 11 193 2936
str 1.70sec 0.02sec 11 193 2623

test10/test_10.20_5_0.1_2_2.3_3_3_3.2.0 nlp wc
34 lines 1802 bytes
head (1,2,2) body (3,3,3,3)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.06sec 0.00sec 25 93 3421
htl 1.33sec 0.01sec 25 199 3189
str 1.91sec 0.01sec 25 199 2815

test10/test_10.20_5_0.1_2_2.3_3_3_4.2.2 nlp wc
34 lines 2139 bytes
head (1,2,2) body (3,3,3,4)
estimated blow-up 2.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.35sec 0.01sec 30 93 3874
htl 1.51sec 0.02sec 30 206 3424
str 1.92sec 0.02sec 30 206 3019

test10/test_10.20_5_0.1_3_1.1_1_1_1.1.3 nlp wc
51 lines 2251 bytes
head (1,3,1) body (1,1,1,1)
estimated blow-up 1.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.31sec 0.00sec 0 165 3114
htl 2.53sec 0.01sec 0 396 5708
str 3.86sec 0.01sec 0 398 4992

test10/test_10.20_5_0.1_3_1.1_1_1_2.1.5 nlp wc
55 lines 2531 bytes
head (1,3,1) body (1,1,1,2)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.45sec 0.00sec 0 180 4029
htl 2.77sec 0.01sec 0 438 6453
str 4.05sec 0.01sec 0 438 5573

test10/test_10.20_5_0.1_3_1.1_1_1_3.1.8 nlp wc
51 lines 2674 bytes
head (1,3,1) body (1,1,1,3)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.57sec 0.00sec 0 175 4655
htl 3.20sec 0.01sec 0 446 6648
str 4.32sec 0.01sec 0 446 5781

test10/test_10.20_5_0.1_3_1.1_1_1_4.2.0 nlp wc
55 lines 2850 bytes
head (1,3,1) body (1,1,1,4)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.51sec 0.00sec 1 181 5301
htl 3.16sec 0.01sec 1 452 6852
str 4.43sec 0.01sec 1 452 5912

test10/test_10.20_5_0.1_3_1.1_2_1_1.6.4 nlp wc
55 lines 3044 bytes
head (1,3,1) body (1,2,1,1)
estimated blow-up 6.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.49sec 0.01sec 0 559 13947
htl 4.32sec 0.01sec 0 550 8232
str 6.34sec 0.01sec 0 568 7454

test10/test_10.20_5_0.1_3_1.1_2_1_2.34.2 nlp wc
55 lines 3718 bytes
head (1,3,1) body (1,2,1,2)
estimated blow-up 34.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 68.39sec 0.22sec 1 1973 72155
htl 5.30sec 0.01sec 1 641 10083
str 8.90sec 0.05sec 1 661 8890

test10/test_10.20_5_0.1_3_1.1_2_1_3.162.4 nlp wc
55 lines 4469 bytes
head (1,3,1) body (1,2,1,3)
estimated blow-up 162.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1170.20sec 1.31sec 1 8416 396553
htl 6.47sec 0.02sec 1 739 12131
str 11.73sec 0.02sec 1 759 10382

test10/test_10.20_5_0.1_3_1.1_2_1_4.729.4 nlp wc
55 lines 4806 bytes
head (1,3,1) body (1,2,1,4)
estimated blow-up 729.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 10733.39sec 6.33sec 4 25041 1330398
htl 7.42sec 0.04sec 4 761 12596
str 13.11sec 0.03sec 4 781 10803

test10/test_10.20_5_0.1_3_1.1_2_2_1.2.3 nlp wc
55 lines 2669 bytes
head (1,3,1) body (1,2,2,1)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.50sec 0.00sec 0 284 5638
htl 3.68sec 0.01sec 0 493 7105
str 4.89sec 0.01sec 0 493 6293

test10/test_10.20_5_0.1_3_1.1_2_2_2.5.2 nlp wc
53 lines 2766 bytes
head (1,3,1) body (1,2,2,2)
estimated blow-up 5.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.24sec 0.01sec 0 523 12009
htl 4.20sec 0.01sec 0 530 7726
str 5.35sec 0.01sec 0 530 6849

test10/test_10.20_5_0.1_3_1.1_2_2_3.11.7 nlp wc
55 lines 3104 bytes
head (1,3,1) body (1,2,2,3)
estimated blow-up 11.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 19.19sec 0.03sec 0 1069 29350
htl 4.67sec 0.01sec 0 602 8880
str 6.79sec 0.01sec 0 602 7849

test10/test_10.20_5_0.1_3_1.1_2_2_4.25.8 nlp wc
55 lines 3317 bytes
head (1,3,1) body (1,2,2,4)
estimated blow-up 25.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 62.06sec 0.11sec 0 1990 65622
htl 5.00sec 0.01sec 0 622 9362
str 7.23sec 0.01sec 0 622 8186

test10/test_10.20_5_0.1_3_1.1_3_1_1.55.4 nlp wc
55 lines 3793 bytes
head (1,3,1) body (1,3,1,1)
estimated blow-up 55.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 97.19sec 0.16sec 0 2425 80814
htl 5.16sec 0.01sec 0 647 10369
str 8.88sec 0.01sec 0 661 8892

test10/test_10.20_5_0.1_3_1.1_3_1_2.1771.2 nlp wc
55 lines 5583 bytes
head (1,3,1) body (1,3,1,2)
estimated blow-up 1771.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 69496.97sec 8.62sec 1 62748 3107488
htl 8.90sec 0.03sec 1 870 15036
str 18.20sec 0.02sec 1 890 12414

test10/test_10.20_5_0.1_3_1.1_3_2_1.15.7 nlp wc
55 lines 3210 bytes
head (1,3,1) body (1,3,2,1)
estimated blow-up 15.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 19.28sec 0.07sec 0 1071 26970
htl 4.89sec 0.01sec 0 598 9152
str 6.92sec 0.01sec 0 616 8138

test10/test_10.20_5_0.1_3_1.1_3_2_2.187.1 nlp wc
55 lines 4143 bytes
head (1,3,1) body (1,3,2,2)
estimated blow-up 187.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1144.90sec 0.96sec 0 8534 309458
htl 6.45sec 0.01sec 0 741 11979
str 10.89sec 0.01sec 0 761 10307

test10/test_10.20_5_0.1_3_1.1_3_2_3.1963.9 nlp wc
55 lines 5035 bytes
head (1,3,1) body (1,3,2,3)
estimated blow-up 1963.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 89793.12sec 24.29sec 0 70371 3233773
htl 7.34sec 0.02sec 0 892 14953
str 13.00sec 0.02sec 0 912 12569

test10/test_10.20_5_0.1_3_1.1_3_3_1.3.2 nlp wc
55 lines 2724 bytes
head (1,3,1) body (1,3,3,1)
estimated blow-up 3.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.77sec 0.01sec 0 366 7065
htl 3.28sec 0.01sec 0 528 7692
str 4.52sec 0.01sec 0 528 6762

test10/test_10.20_5_0.1_3_1.1_3_3_2.10.6 nlp wc
55 lines 3138 bytes
head (1,3,1) body (1,3,3,2)
estimated blow-up 10.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 19.33sec 0.03sec 0 1183 28453
htl 4.23sec 0.01sec 0 588 8653
str 5.90sec 0.01sec 0 588 7620

test10/test_10.20_5_0.1_3_1.1_3_3_3.35.1 nlp wc
55 lines 3339 bytes
head (1,3,1) body (1,3,3,3)
estimated blow-up 35.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 115.60sec 0.16sec 0 2982 82374
htl 4.74sec 0.01sec 0 672 10082
str 6.88sec 0.01sec 0 672 8855

test10/test_10.20_5_0.1_3_1.1_3_3_4.113.3 nlp wc
53 lines 3571 bytes
head (1,3,1) body (1,3,3,4)
estimated blow-up 113.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 967.12sec 0.70sec 0 8697 276850
htl 5.43sec 0.01sec 0 749 11331
str 7.83sec 0.01sec 0 749 9918

test10/test_10.20_5_0.1_3_1.2_2_2_1.1.5 nlp wc
55 lines 2482 bytes
head (1,3,1) body (2,2,2,1)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.05sec 0.00sec 0 175 3798
htl 2.38sec 0.01sec 0 429 6325
str 3.39sec 0.01sec 0 429 5438

test10/test_10.20_5_0.1_3_1.2_2_2_2.2.0 nlp wc
53 lines 2767 bytes
head (1,3,1) body (2,2,2,2)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.39sec 0.00sec 1 181 4975
htl 2.71sec 0.01sec 1 424 6332
str 3.72sec 0.01sec 1 424 5513

test10/test_10.20_5_0.1_3_1.2_2_2_3.2.4 nlp wc
53 lines 3047 bytes
head (1,3,1) body (2,2,2,3)
estimated blow-up 2.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.34sec 0.00sec 0 181 6244
htl 2.77sec 0.01sec 0 447 6875
str 3.88sec 0.01sec 0 447 5914

test10/test_10.20_5_0.1_3_1.2_2_2_4.2.7 nlp wc
53 lines 3148 bytes
head (1,3,1) body (2,2,2,4)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.63sec 0.01sec 3 175 6915
htl 2.41sec 0.04sec 3 425 6700
str 3.94sec 0.01sec 3 425 5713

test10/test_10.20_5_0.1_3_1.2_3_2_1.16.3 nlp wc
55 lines 3667 bytes
head (1,3,1) body (2,3,2,1)
estimated blow-up 16.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 22.73sec 0.04sec 0 1260 38640
htl 5.92sec 0.01sec 0 790 12198
str 9.38sec 0.01sec 0 808 10840

test10/test_10.20_5_0.1_3_1.2_3_2_2.187.4 nlp wc
55 lines 4788 bytes
head (1,3,1) body (2,3,2,2)
estimated blow-up 187.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1206.65sec 1.01sec 1 9472 427649
htl 9.58sec 0.02sec 1 1043 16623
str 15.84sec 0.02sec 1 1063 14495

test10/test_10.20_5_0.1_3_1.2_3_2_3.1912.2 nlp wc
53 lines 5917 bytes
head (1,3,1) body (2,3,2,3)
estimated blow-up 1912.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 70470.57sec 22.71sec 1 72650 4156718
htl 13.25sec 0.03sec 1 1281 20748
str 23.45sec 0.03sec 1 1301 17984

test10/test_10.20_5_0.1_3_1.2_3_3_1.3.6 nlp wc
53 lines 2917 bytes
head (1,3,1) body (2,3,3,1)
estimated blow-up 3.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.40sec 0.01sec 0 432 10223
htl 4.71sec 0.01sec 0 692 10169
str 6.77sec 0.01sec 0 692 9004

test10/test_10.20_5_0.1_3_1.2_3_3_2.12.7 nlp wc
49 lines 3509 bytes
head (1,3,1) body (2,3,3,2)
estimated blow-up 12.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 18.20sec 0.04sec 0 1120 36093
htl 6.92sec 0.01sec 0 858 12683
str 9.32sec 0.01sec 0 858 11369

test10/test_10.20_5_0.1_3_1.2_3_3_3.41.9 nlp wc
55 lines 4210 bytes
head (1,3,1) body (2,3,3,3)
estimated blow-up 41.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 147.64sec 0.26sec 3 3326 131767
htl 10.45sec 0.03sec 3 1104 16414
str 14.83sec 0.03sec 3 1104 14830

test10/test_10.20_5_0.1_3_1.2_3_3_4.134.6 nlp wc
51 lines 4634 bytes
head (1,3,1) body (2,3,3,4)
estimated blow-up 134.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1329.13sec 1.69sec 4 9914 455831
htl 13.21sec 0.03sec 4 1232 18356
str 19.00sec 0.03sec 4 1232 16651

test10/test_10.20_5_0.1_3_1.3_3_3_1.1.8 nlp wc
53 lines 2729 bytes
head (1,3,1) body (3,3,3,1)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.29sec 0.00sec 0 184 4776
htl 2.93sec 0.01sec 0 473 7015
str 4.03sec 0.01sec 0 473 6127

test10/test_10.20_5_0.1_3_1.3_3_3_2.2.4 nlp wc
55 lines 3070 bytes
head (1,3,1) body (3,3,3,2)
estimated blow-up 2.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.31sec 0.01sec 4 184 6310
htl 2.82sec 0.01sec 4 454 7019
str 4.15sec 0.01sec 4 454 6046

test10/test_10.20_5_0.1_3_1.3_3_3_3.2.9 nlp wc
55 lines 3373 bytes
head (1,3,1) body (3,3,3,3)
estimated blow-up 2.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.60sec 0.01sec 9 183 7643
htl 2.82sec 0.02sec 9 449 7142
str 4.41sec 0.02sec 9 449 6113

test10/test_10.20_5_0.1_3_1.3_3_3_4.3.3 nlp wc
53 lines 3523 bytes
head (1,3,1) body (3,3,3,4)
estimated blow-up 3.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.58sec 0.01sec 0 176 8511
htl 2.46sec 0.01sec 0 411 6785
str 3.90sec 0.01sec 0 411 5706

test10/test_10.20_5_0.1_3_2.1_1_1_1.1.2 nlp wc
43 lines 1943 bytes
head (1,3,2) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.84sec 0.00sec 0 130 2556
htl 1.94sec 0.00sec 0 344 4887
str 2.36sec 0.00sec 0 344 4302

test10/test_10.20_5_0.1_3_2.1_1_1_2.1.4 nlp wc
44 lines 2008 bytes
head (1,3,2) body (1,1,1,2)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.97sec 0.01sec 24 132 2913
htl 2.06sec 0.01sec 24 351 5051
str 2.46sec 0.01sec 24 351 4458

test10/test_10.20_5_0.1_3_2.1_1_1_3.1.6 nlp wc
45 lines 2112 bytes
head (1,3,2) body (1,1,1,3)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.04sec 0.05sec 72 133 3400
htl 1.84sec 0.03sec 72 349 5132
str 2.39sec 0.04sec 72 349 4488

test10/test_10.20_5_0.1_3_2.1_1_1_4.1.8 nlp wc
44 lines 2136 bytes
head (1,3,2) body (1,1,1,4)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.98sec 0.01sec 27 132 3743
htl 1.90sec 0.02sec 27 346 5142
str 2.44sec 0.02sec 27 346 4481

test10/test_10.20_5_0.1_3_2.1_2_1_1.5.8 nlp wc
45 lines 2501 bytes
head (1,3,2) body (1,2,1,1)
estimated blow-up 5.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.32sec 0.02sec 18 382 9875
htl 2.92sec 0.02sec 18 462 6913
str 3.98sec 0.03sec 18 482 6294

test10/test_10.20_5_0.1_3_2.1_2_1_2.29.3 nlp wc
45 lines 3155 bytes
head (1,3,2) body (1,2,1,2)
estimated blow-up 29.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 31.10sec 0.16sec 14 1455 53166
htl 3.68sec 0.03sec 14 555 8764
str 5.70sec 0.03sec 14 575 7681

test10/test_10.20_5_0.1_3_2.1_2_1_3.135.2 nlp wc
43 lines 3696 bytes
head (1,3,2) body (1,2,1,3)
estimated blow-up 135.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 362.17sec 1.26sec 27 5196 245260
htl 4.62sec 0.04sec 27 656 10588
str 7.64sec 0.10sec 27 676 9171

test10/test_10.20_5_0.1_3_2.1_2_1_4.594.6 nlp wc
44 lines 4415 bytes
head (1,3,2) body (1,2,1,4)
estimated blow-up 594.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 7523.86sec 11.30sec 34 23336 1280645
htl 5.92sec 0.07sec 34 766 12619
str 10.38sec 0.15sec 34 786 10766

test10/test_10.20_5_0.1_3_2.1_2_2_1.2.1 nlp wc
44 lines 1997 bytes
head (1,3,2) body (1,2,2,1)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.30sec 0.01sec 3 203 3965
htl 2.21sec 0.01sec 3 389 5488
str 2.85sec 0.01sec 3 389 4831

test10/test_10.20_5_0.1_3_2.1_2_2_2.4.7 nlp wc
44 lines 2291 bytes
head (1,3,2) body (1,2,2,2)
estimated blow-up 4.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.98sec 0.01sec 0 397 9646
htl 2.81sec 0.01sec 0 457 6558
str 3.49sec 0.01sec 0 457 5798

test10/test_10.20_5_0.1_3_2.1_2_2_3.10.4 nlp wc
45 lines 2615 bytes
head (1,3,2) body (1,2,2,3)
estimated blow-up 10.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 8.17sec 0.11sec 54 724 21497
htl 3.11sec 0.03sec 54 512 7565
str 4.19sec 0.04sec 54 512 6657

test10/test_10.20_5_0.1_3_2.1_2_2_4.22.3 nlp wc
45 lines 2798 bytes
head (1,3,2) body (1,2,2,4)
estimated blow-up 22.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 32.87sec 0.12sec 5 1520 51443
htl 3.98sec 0.06sec 5 573 8532
str 5.20sec 0.02sec 5 573 7482

test10/test_10.20_5_0.1_3_2.1_3_1_1.47.1 nlp wc
45 lines 3285 bytes
head (1,3,2) body (1,3,1,1)
estimated blow-up 47.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 48.98sec 0.30sec 30 1845 61835
htl 3.74sec 0.04sec 30 587 9373
str 6.06sec 0.05sec 30 607 8160

test10/test_10.20_5_0.1_3_2.1_3_1_2.1431.3 nlp wc
45 lines 4813 bytes
head (1,3,2) body (1,3,1,2)
estimated blow-up 1431.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 22962.72sec 21.09sec 47 40268 2031520
htl 6.19sec 0.16sec 47 792 13641
str 11.59sec 0.14sec 47 812 11245

test10/test_10.20_5_0.1_3_2.1_3_2_1.13.8 nlp wc
45 lines 2705 bytes
head (1,3,2) body (1,3,2,1)
estimated blow-up 13.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 8.86sec 0.02sec 2 719 18654
htl 3.13sec 0.01sec 2 490 7557
str 4.62sec 0.01sec 2 510 6692

test10/test_10.20_5_0.1_3_2.1_3_2_2.156.1 nlp wc
45 lines 3635 bytes
head (1,3,2) body (1,3,2,2)
estimated blow-up 156.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 481.45sec 1.19sec 0 6111 225590
htl 4.36sec 0.02sec 0 652 10633
str 7.38sec 0.02sec 0 672 9072

test10/test_10.20_5_0.1_3_2.1_3_2_3.1590.6 nlp wc
43 lines 4648 bytes
head (1,3,2) body (1,3,2,3)
estimated blow-up 1590.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 44401.83sec 12.93sec 1 56330 2733637
htl 6.00sec 0.03sec 1 807 13618
str 11.23sec 0.03sec 1 827 11325

test10/test_10.20_5_0.1_3_2.1_3_3_1.3.0 nlp wc
44 lines 2130 bytes
head (1,3,2) body (1,3,3,1)
estimated blow-up 3.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.88sec 0.00sec 0 265 5269
htl 2.44sec 0.01sec 0 432 6105
str 3.39sec 0.01sec 0 432 5397

test10/test_10.20_5_0.1_3_2.1_3_3_2.9.5 nlp wc
45 lines 2486 bytes
head (1,3,2) body (1,3,3,2)
estimated blow-up 9.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 8.79sec 0.03sec 3 771 18738
htl 3.44sec 0.01sec 3 503 7283
str 3.96sec 0.01sec 3 503 6423

test10/test_10.20_5_0.1_3_2.1_3_3_3.30.5 nlp wc
45 lines 2893 bytes
head (1,3,2) body (1,3,3,3)
estimated blow-up 30.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 67.29sec 0.26sec 8 2242 65657
htl 3.82sec 0.02sec 8 592 8854
str 5.41sec 0.02sec 8 592 7744

test10/test_10.20_5_0.1_3_2.1_3_3_4.96.1 nlp wc
45 lines 3167 bytes
head (1,3,2) body (1,3,3,4)
estimated blow-up 96.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 478.25sec 0.92sec 3 6148 205909
htl 4.32sec 0.02sec 3 639 9672
str 6.12sec 0.02sec 3 639 8422

test10/test_10.20_5_0.1_3_2.2_2_2_1.1.4 nlp wc
45 lines 1965 bytes
head (1,3,2) body (2,2,2,1)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.87sec 0.00sec 9 130 2861
htl 1.75sec 0.01sec 9 326 4662
str 2.45sec 0.01sec 9 326 4101

test10/test_10.20_5_0.1_3_2.2_2_2_2.1.8 nlp wc
45 lines 2208 bytes
head (1,3,2) body (2,2,2,2)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.10sec 0.01sec 47 134 3848
htl 1.82sec 0.03sec 47 350 5248
str 2.75sec 0.04sec 47 350 4585

test10/test_10.20_5_0.1_3_2.2_2_2_3.2.1 nlp wc
45 lines 2526 bytes
head (1,3,2) body (2,2,2,3)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.13sec 0.01sec 59 138 4767
htl 2.29sec 0.03sec 59 364 5615
str 2.69sec 0.03sec 59 364 4851

test10/test_10.20_5_0.1_3_2.2_2_2_4.2.3 nlp wc
44 lines 2777 bytes
head (1,3,2) body (2,2,2,4)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.24sec 0.01sec 36 138 5618
htl 2.26sec 0.03sec 36 364 5766
str 3.15sec 0.03sec 36 364 4952

test10/test_10.20_5_0.1_3_2.2_3_2_1.14.0 nlp wc
45 lines 3109 bytes
head (1,3,2) body (2,3,2,1)
estimated blow-up 14.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 12.16sec 0.04sec 3 875 27037
htl 4.77sec 0.02sec 3 684 10447
str 7.10sec 0.02sec 3 704 9400

test10/test_10.20_5_0.1_3_2.2_3_2_2.152.2 nlp wc
43 lines 4132 bytes
head (1,3,2) body (2,3,2,2)
estimated blow-up 152.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 594.80sec 1.56sec 15 6709 299631
htl 7.99sec 0.13sec 15 950 14933
str 13.10sec 0.06sec 15 970 13181

test10/test_10.20_5_0.1_3_2.2_3_2_3.1510.1 nlp wc
45 lines 5359 bytes
head (1,3,2) body (2,3,2,3)
estimated blow-up 1510.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 40583.52sec 50.45sec 118 50828 2986745
htl 11.77sec 0.52sec 118 1227 19732
str 20.90sec 0.41sec 118 1247 17155

test10/test_10.20_5_0.1_3_2.2_3_3_1.3.2 nlp wc
45 lines 2385 bytes
head (1,3,2) body (2,3,3,1)
estimated blow-up 3.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.29sec 0.02sec 13 316 7377
htl 3.50sec 0.02sec 13 579 8220
str 4.87sec 0.02sec 13 579 7457

test10/test_10.20_5_0.1_3_2.2_3_3_2.10.7 nlp wc
43 lines 2891 bytes
head (1,3,2) body (2,3,3,2)
estimated blow-up 10.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 10.38sec 0.05sec 17 793 25493
htl 5.56sec 0.03sec 17 769 11222
str 7.56sec 0.03sec 17 769 10175

test10/test_10.20_5_0.1_3_2.2_3_3_3.34.4 nlp wc
45 lines 3577 bytes
head (1,3,2) body (2,3,3,3)
estimated blow-up 34.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 83.06sec 0.56sec 43 2443 98353
htl 8.70sec 0.16sec 43 976 14367
str 11.70sec 0.19sec 43 976 13095

test10/test_10.20_5_0.1_3_2.2_3_3_4.108.0 nlp wc
45 lines 4354 bytes
head (1,3,2) body (2,3,3,4)
estimated blow-up 108.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 684.11sec 2.09sec 40 7249 355776
htl 12.55sec 0.17sec 40 1208 18030
str 18.18sec 0.15sec 40 1208 16318

test10/test_10.20_5_0.1_3_2.3_3_3_1.1.6 nlp wc
44 lines 2124 bytes
head (1,3,2) body (3,3,3,1)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.86sec 0.01sec 41 135 3497
htl 2.13sec 0.02sec 41 355 5212
str 2.53sec 0.02sec 41 355 4575

test10/test_10.20_5_0.1_3_2.3_3_3_2.2.1 nlp wc
45 lines 2440 bytes
head (1,3,2) body (3,3,3,2)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.08sec 0.01sec 40 133 4721
htl 1.96sec 0.03sec 40 349 5387
str 2.75sec 0.03sec 40 349 4657

test10/test_10.20_5_0.1_3_2.3_3_3_3.2.5 nlp wc
42 lines 2722 bytes
head (1,3,2) body (3,3,3,3)
estimated blow-up 2.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.12sec 0.00sec 0 132 5437
htl 2.02sec 0.01sec 0 348 5519
str 3.15sec 0.01sec 0 348 4757

test10/test_10.20_5_0.1_3_2.3_3_3_4.2.7 nlp wc
45 lines 3008 bytes
head (1,3,2) body (3,3,3,4)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.18sec 0.03sec 2 131 6226
htl 2.09sec 0.01sec 2 345 5665
str 2.99sec 0.01sec 2 345 4852

test10/test_10.20_5_0.1_3_3.1_1_1_1.1.2 nlp wc
39 lines 1379 bytes
head (1,3,3) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.71sec 0.02sec 202 99 1760
htl 1.45sec 0.04sec 202 255 3296
str 1.66sec 0.09sec 202 255 3133

test10/test_10.20_5_0.1_3_3.1_1_1_2.1.4 nlp wc
40 lines 1474 bytes
head (1,3,3) body (1,1,1,2)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.67sec 0.02sec 210 110 2286
htl 1.43sec 0.10sec 210 255 3388
str 1.59sec 0.13sec 210 255 3198

test10/test_10.20_5_0.1_3_3.1_1_1_3.1.6 nlp wc
38 lines 1522 bytes
head (1,3,3) body (1,1,1,3)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.98sec 0.02sec 182 111 2616
htl 1.42sec 0.07sec 182 257 3484
str 1.69sec 0.04sec 182 257 3289

test10/test_10.20_5_0.1_3_3.1_1_1_4.1.7 nlp wc
40 lines 1654 bytes
head (1,3,3) body (1,1,1,4)
estimated blow-up 1.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.79sec 0.02sec 162 108 2903
htl 1.38sec 0.04sec 162 242 3407
str 1.64sec 0.12sec 162 242 3152

test10/test_10.20_5_0.1_3_3.1_2_1_1.5.6 nlp wc
40 lines 1949 bytes
head (1,3,3) body (1,2,1,1)
estimated blow-up 5.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.52sec 0.14sec 253 314 7624
htl 1.99sec 0.07sec 253 370 5242
str 2.87sec 0.17sec 253 388 4903

test10/test_10.20_5_0.1_3_3.1_2_1_2.27.5 nlp wc
38 lines 2532 bytes
head (1,3,3) body (1,2,1,2)
estimated blow-up 27.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 19.94sec 0.33sec 207 1118 38729
htl 2.97sec 0.08sec 207 469 7110
str 4.25sec 0.17sec 207 489 6435

test10/test_10.20_5_0.1_3_3.1_2_1_3.123.9 nlp wc
40 lines 3167 bytes
head (1,3,3) body (1,2,1,3)
estimated blow-up 123.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 224.81sec 6.02sec 152 4099 182760
htl 3.54sec 0.29sec 152 541 8534
str 5.53sec 0.19sec 152 561 7515

test10/test_10.20_5_0.1_3_3.1_2_1_4.535.5 nlp wc
40 lines 3973 bytes
head (1,3,3) body (1,2,1,4)
estimated blow-up 535.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3743.22sec 12.81sec 144 17059 920131
htl 4.89sec 0.40sec 144 690 11465
str 8.12sec 0.34sec 144 710 9649

test10/test_10.20_5_0.1_3_3.1_2_2_1.2.1 nlp wc
40 lines 1467 bytes
head (1,3,3) body (1,2,2,1)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.95sec 0.02sec 214 157 2757
htl 1.67sec 0.04sec 214 290 3792
str 1.85sec 0.04sec 214 290 3555

test10/test_10.20_5_0.1_3_3.1_2_2_2.4.6 nlp wc
39 lines 1680 bytes
head (1,3,3) body (1,2,2,2)
estimated blow-up 4.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.05sec 0.11sec 156 299 6446
htl 1.95sec 0.05sec 156 348 4593
str 2.21sec 0.05sec 156 348 4267

test10/test_10.20_5_0.1_3_3.1_2_2_3.9.8 nlp wc
40 lines 1943 bytes
head (1,3,3) body (1,2,2,3)
estimated blow-up 9.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.53sec 0.14sec 232 583 15036
htl 2.21sec 0.15sec 232 409 5568
str 2.79sec 0.08sec 232 409 5130

test10/test_10.20_5_0.1_3_3.1_2_2_4.20.8 nlp wc
40 lines 2192 bytes
head (1,3,3) body (1,2,2,4)
estimated blow-up 20.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 16.96sec 0.30sec 285 1076 32568
htl 2.80sec 0.21sec 285 456 6331
str 3.42sec 0.21sec 285 456 5796

test10/test_10.20_5_0.1_3_3.1_3_1_1.43.9 nlp wc
40 lines 2778 bytes
head (1,3,3) body (1,3,1,1)
estimated blow-up 43.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 38.83sec 0.56sec 295 1632 51955
htl 3.01sec 0.15sec 295 494 7733
str 4.86sec 0.26sec 295 514 6810

test10/test_10.20_5_0.1_3_3.1_3_1_2.1280.0 nlp wc
38 lines 4200 bytes
head (1,3,3) body (1,3,1,2)
estimated blow-up 1280.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 17628.36sec 25.04sec 62 35340 1748033
htl 4.90sec 0.29sec 62 705 11974
str 8.96sec 0.25sec 62 725 9931

test10/test_10.20_5_0.1_3_3.1_3_2_1.13.1 nlp wc
40 lines 2215 bytes
head (1,3,3) body (1,3,2,1)
estimated blow-up 13.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.16sec 0.07sec 169 580 14256
htl 2.19sec 0.06sec 169 403 6018
str 3.19sec 0.07sec 169 423 5424

test10/test_10.20_5_0.1_3_3.1_3_2_2.142.9 nlp wc
40 lines 3114 bytes
head (1,3,3) body (1,3,2,2)
estimated blow-up 142.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 374.73sec 3.52sec 347 5385 188700
htl 3.67sec 0.31sec 347 570 8958
str 5.91sec 0.31sec 347 590 7869

test10/test_10.20_5_0.1_3_3.1_3_2_3.1420.6 nlp wc
40 lines 4071 bytes
head (1,3,3) body (1,3,2,3)
estimated blow-up 1420.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 24223.01sec 66.41sec 350 41583 1899001
htl 5.31sec 0.41sec 350 721 11874
str 9.07sec 0.48sec 350 741 10020

test10/test_10.20_5_0.1_3_3.1_3_3_1.2.8 nlp wc
38 lines 1507 bytes
head (1,3,3) body (1,3,3,1)
estimated blow-up 2.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.42sec 0.05sec 139 197 3396
htl 1.82sec 0.06sec 139 323 4240
str 1.95sec 0.03sec 139 323 3946

test10/test_10.20_5_0.1_3_3.1_3_3_2.9.0 nlp wc
40 lines 1901 bytes
head (1,3,3) body (1,3,3,2)
estimated blow-up 9.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.55sec 0.14sec 181 577 12492
htl 2.22sec 0.09sec 181 397 5419
str 2.66sec 0.05sec 181 397 4907

test10/test_10.20_5_0.1_3_3.1_3_3_3.28.1 nlp wc
40 lines 2295 bytes
head (1,3,3) body (1,3,3,3)
estimated blow-up 28.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 50.79sec 0.66sec 290 1919 52069
htl 2.99sec 0.15sec 290 489 6879
str 3.89sec 0.17sec 290 489 6223

test10/test_10.20_5_0.1_3_3.1_3_3_4.87.1 nlp wc
38 lines 2498 bytes
head (1,3,3) body (1,3,3,4)
estimated blow-up 87.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 300.17sec 1.52sec 115 4887 147662
htl 3.70sec 0.06sec 115 554 7901
str 4.38sec 0.06sec 115 554 7141

test10/test_10.20_5_0.1_3_3.2_2_2_1.1.4 nlp wc
39 lines 1385 bytes
head (1,3,3) body (2,2,2,1)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.75sec 0.02sec 184 104 2090
htl 1.30sec 0.07sec 184 242 3211
str 1.40sec 0.04sec 184 242 3024

test10/test_10.20_5_0.1_3_3.2_2_2_2.1.7 nlp wc
39 lines 1597 bytes
head (1,3,3) body (2,2,2,2)
estimated blow-up 1.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.82sec 0.02sec 161 108 2755
htl 1.33sec 0.05sec 161 242 3367
str 1.66sec 0.08sec 161 242 3150

test10/test_10.20_5_0.1_3_3.2_2_2_3.2.0 nlp wc
40 lines 1863 bytes
head (1,3,3) body (2,2,2,3)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.93sec 0.02sec 142 108 3431
htl 1.39sec 0.08sec 142 249 3644
str 1.69sec 0.13sec 142 249 3340

test10/test_10.20_5_0.1_3_3.2_2_2_4.2.2 nlp wc
36 lines 2076 bytes
head (1,3,3) body (2,2,2,4)
estimated blow-up 2.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.98sec 0.01sec 24 109 3982
htl 1.37sec 0.03sec 24 255 3815
str 1.67sec 0.03sec 24 255 3499

test10/test_10.20_5_0.1_3_3.2_3_2_1.13.0 nlp wc
39 lines 2365 bytes
head (1,3,3) body (2,3,2,1)
estimated blow-up 13.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.12sec 0.27sec 234 591 16600
htl 3.23sec 0.15sec 234 537 7786
str 4.60sec 0.23sec 234 555 7226

test10/test_10.20_5_0.1_3_3.2_3_2_2.135.7 nlp wc
40 lines 3602 bytes
head (1,3,3) body (2,3,2,2)
estimated blow-up 135.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 276.69sec 2.00sec 169 4522 193562
htl 6.15sec 0.33sec 169 807 12470
str 9.89sec 0.33sec 169 827 11107

test10/test_10.20_5_0.1_3_3.2_3_2_3.1315.1 nlp wc
39 lines 4807 bytes
head (1,3,3) body (2,3,2,3)
estimated blow-up 1315.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 22711.91sec 31.42sec 55 42279 2303299
htl 10.17sec 0.61sec 55 1088 17193
str 16.66sec 0.58sec 55 1108 15159

test10/test_10.20_5_0.1_3_3.2_3_3_1.3.0 nlp wc
39 lines 1818 bytes
head (1,3,3) body (2,3,3,1)
estimated blow-up 3.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.45sec 0.04sec 215 243 5226
htl 2.86sec 0.18sec 215 482 6446
str 3.43sec 0.19sec 215 482 6008

test10/test_10.20_5_0.1_3_3.2_3_3_2.9.7 nlp wc
39 lines 2489 bytes
head (1,3,3) body (2,3,3,2)
estimated blow-up 9.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 7.04sec 0.18sec 264 656 20055
htl 5.09sec 0.23sec 264 711 9983
str 6.41sec 0.34sec 264 711 9206

test10/test_10.20_5_0.1_3_3.2_3_3_3.30.5 nlp wc
40 lines 3167 bytes
head (1,3,3) body (2,3,3,3)
estimated blow-up 30.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 51.48sec 0.74sec 280 1880 73516
htl 6.80sec 0.44sec 280 854 12258
str 9.36sec 0.42sec 280 854 11316

test10/test_10.20_5_0.1_3_3.2_3_3_4.94.2 nlp wc
38 lines 3676 bytes
head (1,3,3) body (2,3,3,4)
estimated blow-up 94.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 342.52sec 1.47sec 69 5074 236569
htl 9.78sec 0.31sec 69 1052 15229
str 13.31sec 0.25sec 69 1052 14030

test10/test_10.20_5_0.1_3_3.3_3_3_1.1.6 nlp wc
39 lines 1550 bytes
head (1,3,3) body (3,3,3,1)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.73sec 0.02sec 180 108 2603
htl 1.32sec 0.04sec 180 251 3430
str 1.71sec 0.04sec 180 251 3207

test10/test_10.20_5_0.1_3_3.3_3_3_2.2.0 nlp wc
39 lines 1876 bytes
head (1,3,3) body (3,3,3,2)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.83sec 0.02sec 145 110 3572
htl 1.41sec 0.12sec 145 244 3599
str 1.72sec 0.13sec 145 244 3294

test10/test_10.20_5_0.1_3_3.3_3_3_3.2.3 nlp wc
39 lines 2247 bytes
head (1,3,3) body (3,3,3,3)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.11sec 0.01sec 56 109 4350
htl 1.67sec 0.04sec 56 254 3921
str 1.83sec 0.04sec 56 254 3548

test10/test_10.20_5_0.1_3_3.3_3_3_4.2.5 nlp wc
39 lines 2486 bytes
head (1,3,3) body (3,3,3,4)
estimated blow-up 2.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.95sec 0.03sec 280 108 4687
htl 1.36sec 0.07sec 280 250 4006
str 2.20sec 0.15sec 280 250 3597

test10/test_10.20_5_0.2_2_2.1_1_1_1.1.3 nlp wc
38 lines 903 bytes
head (2,2,2) body (1,1,1,1)
estimated blow-up 1.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.67sec 0.00sec 0 98 1510
htl 0.91sec 0.00sec 0 172 2245
str 0.99sec 0.00sec 0 172 2085

test10/test_10.20_5_0.2_2_2.1_1_1_2.1.6 nlp wc
38 lines 1056 bytes
head (2,2,2) body (1,1,1,2)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.68sec 0.00sec 1 110 2056
htl 0.77sec 0.00sec 1 172 2321
str 1.13sec 0.00sec 1 174 2174

test10/test_10.20_5_0.2_2_2.1_1_1_3.1.8 nlp wc
40 lines 1145 bytes
head (2,2,2) body (1,1,1,3)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.79sec 0.00sec 1 114 2396
htl 0.92sec 0.00sec 1 179 2504
str 1.09sec 0.00sec 1 179 2281

test10/test_10.20_5_0.2_2_2.1_1_1_4.2.0 nlp wc
40 lines 1192 bytes
head (2,2,2) body (1,1,1,4)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.79sec 0.00sec 1 108 2503
htl 0.80sec 0.00sec 1 165 2369
str 0.88sec 0.00sec 1 165 2156

test10/test_10.20_5_0.2_2_2.1_2_1_1.6.3 nlp wc
40 lines 1428 bytes
head (2,2,2) body (1,2,1,1)
estimated blow-up 6.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.80sec 0.01sec 1 284 5952
htl 1.35sec 0.00sec 1 261 3835
str 1.77sec 0.00sec 1 279 3485

test10/test_10.20_5_0.2_2_2.1_2_1_2.31.0 nlp wc
38 lines 2103 bytes
head (2,2,2) body (1,2,1,2)
estimated blow-up 31.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 18.99sec 0.13sec 0 1144 37092
htl 1.99sec 0.01sec 0 380 5863
str 2.92sec 0.01sec 0 400 5174

test10/test_10.20_5_0.2_2_2.1_2_1_3.137.9 nlp wc
40 lines 2819 bytes
head (2,2,2) body (1,2,1,3)
estimated blow-up 137.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 219.76sec 0.54sec 0 4034 171078
htl 2.66sec 0.01sec 0 475 7754
str 4.43sec 0.01sec 0 495 6589

test10/test_10.20_5_0.2_2_2.1_2_1_4.588.3 nlp wc
38 lines 3419 bytes
head (2,2,2) body (1,2,1,4)
estimated blow-up 588.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3921.36sec 7.81sec 1 17318 894725
htl 3.34sec 0.01sec 1 554 9185
str 6.13sec 0.01sec 1 574 7790

test10/test_10.20_5_0.2_2_2.1_2_2_1.2.2 nlp wc
40 lines 1069 bytes
head (2,2,2) body (1,2,2,1)
estimated blow-up 2.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.88sec 0.00sec 1 170 2580
htl 1.01sec 0.00sec 1 223 2947
str 1.43sec 0.00sec 1 223 2678

test10/test_10.20_5_0.2_2_2.1_2_2_2.5.0 nlp wc
40 lines 1315 bytes
head (2,2,2) body (1,2,2,2)
estimated blow-up 5.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.92sec 0.01sec 1 312 5954
htl 1.35sec 0.00sec 1 278 3773
str 1.54sec 0.00sec 1 278 3383

test10/test_10.20_5_0.2_2_2.1_2_2_3.10.7 nlp wc
40 lines 1538 bytes
head (2,2,2) body (1,2,2,3)
estimated blow-up 10.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.25sec 0.02sec 1 584 13673
htl 1.66sec 0.00sec 1 323 4464
str 1.84sec 0.00sec 1 323 3989

test10/test_10.20_5_0.2_2_2.1_2_2_4.22.8 nlp wc
40 lines 1767 bytes
head (2,2,2) body (1,2,2,4)
estimated blow-up 22.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 15.85sec 0.11sec 0 1094 29232
htl 1.90sec 0.01sec 0 381 5284
str 2.20sec 0.01sec 0 381 4764

test10/test_10.20_5_0.2_2_2.1_3_1_1.49.5 nlp wc
40 lines 2426 bytes
head (2,2,2) body (1,3,1,1)
estimated blow-up 49.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 39.39sec 0.16sec 0 1686 49995
htl 2.36sec 0.01sec 0 403 6531
str 3.65sec 0.03sec 0 421 5480

test10/test_10.20_5_0.2_2_2.1_3_1_2.1400.5 nlp wc
40 lines 3773 bytes
head (2,2,2) body (1,3,1,2)
estimated blow-up 1400.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 14987.18sec 19.31sec 1 32984 1571976
htl 4.00sec 0.01sec 1 606 10433
str 7.43sec 0.01sec 1 626 8528

test10/test_10.20_5_0.2_2_2.1_3_2_1.14.7 nlp wc
40 lines 1835 bytes
head (2,2,2) body (1,3,2,1)
estimated blow-up 14.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 7.41sec 0.02sec 1 678 14513
htl 1.83sec 0.00sec 1 336 5185
str 2.45sec 0.00sec 1 356 4531

test10/test_10.20_5_0.2_2_2.1_3_2_2.157.9 nlp wc
40 lines 2633 bytes
head (2,2,2) body (1,3,2,2)
estimated blow-up 157.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 274.52sec 1.55sec 1 4662 149374
htl 2.66sec 0.01sec 1 481 7590
str 4.05sec 0.01sec 1 501 6569

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