next up previous contents
Next: About this document ... Up: Subseries: 50 variables Previous: Tables   Contents

Individual tests

test50/test_50.20_5_0.1_1_1.1_1_1_1.1.2 nlp wc
30 lines 608 bytes
head (1,1,1) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.08sec 0.00sec 1 96 1668
htl 1.61sec 0.01sec 1 184 2687
str 1.57sec 0.21sec 1 190 2439

test50/test_50.20_5_0.1_1_1.1_1_1_2.1.3 nlp wc
30 lines 762 bytes
head (1,1,1) body (1,1,1,2)
estimated blow-up 1.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.16sec 0.00sec 1 94 1940
htl 1.86sec 0.01sec 1 182 2830
str 1.78sec 0.54sec 1 208 2824

test50/test_50.20_5_0.1_1_1.1_1_1_3.1.4 nlp wc
30 lines 867 bytes
head (1,1,1) body (1,1,1,3)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.44sec 0.00sec 1 86 1982
htl 1.87sec 0.08sec 1 156 2508
str 1.78sec 0.32sec 1 188 2632

test50/test_50.20_5_0.1_1_1.1_1_1_4.1.5 nlp wc
30 lines 958 bytes
head (1,1,1) body (1,1,1,4)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.14sec 0.08sec 1 86 2185
htl 1.89sec 0.05sec 1 168 2774
str 1.87sec 3.59sec 1 206 2953

test50/test_50.20_5_0.1_1_1.1_2_1_1.4.7 nlp wc
30 lines 1185 bytes
head (1,1,1) body (1,2,1,1)
estimated blow-up 4.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.83sec 0.05sec 1 238 5290
htl 2.85sec 0.08sec 1 315 5115
str 3.60sec 0.01sec 1 351 4832

test50/test_50.20_5_0.1_1_1.1_2_1_2.20.4 nlp wc
30 lines 1839 bytes
head (1,1,1) body (1,2,1,2)
estimated blow-up 20.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 15.70sec 0.62sec 2 698 24025
htl 5.28sec 789.04sec -- 468 7799
str 6.08sec 776.11sec -- 512 7319

test50/test_50.20_5_0.1_1_1.1_2_1_3.85.3 nlp wc
30 lines 2681 bytes
head (1,1,1) body (1,2,1,3)
estimated blow-up 85.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 203.77sec 12.86sec 1 2652 131763
htl 7.01sec 10.28sec 1 588 10344
str 10.76sec 774.19sec -- 660 9663

test50/test_50.20_5_0.1_1_1.1_2_1_4.350.0 nlp wc
30 lines 3425 bytes
head (1,1,1) body (1,2,1,4)
estimated blow-up 350.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2825.30sec 267.25sec 1 9570 614211
htl 9.56sec 320.44sec 1 700 12671
str 14.74sec 772.77sec -- 780 11545

test50/test_50.20_5_0.1_1_1.1_2_2_1.1.8 nlp wc
30 lines 746 bytes
head (1,1,1) body (1,2,2,1)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.65sec 0.08sec 0 132 2301
htl 2.55sec 0.08sec 0 260 3896
str 2.11sec 0.09sec 0 260 3346

test50/test_50.20_5_0.1_1_1.1_2_2_2.3.7 nlp wc
30 lines 1045 bytes
head (1,1,1) body (1,2,2,2)
estimated blow-up 3.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.51sec 0.02sec 1 212 4506
htl 3.55sec 0.74sec 1 320 4897
str 3.02sec 15.24sec 1 320 4228

test50/test_50.20_5_0.1_1_1.1_2_2_3.7.4 nlp wc
30 lines 1280 bytes
head (1,1,1) body (1,2,2,3)
estimated blow-up 7.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.73sec 0.05sec 1 364 9438
htl 4.05sec 67.08sec 1 396 6112
str 4.37sec 772.46sec -- 398 5434

test50/test_50.20_5_0.1_1_1.1_2_2_4.15.0 nlp wc
30 lines 1597 bytes
head (1,1,1) body (1,2,2,4)
estimated blow-up 15.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 14.82sec 0.60sec 1 674 21957
htl 4.85sec 15.18sec 1 458 7272
str 5.16sec 96.53sec 1 458 6331

test50/test_50.20_5_0.1_1_1.1_3_1_1.32.0 nlp wc
30 lines 2216 bytes
head (1,1,1) body (1,3,1,1)
estimated blow-up 32.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 32.01sec 0.43sec 1 1014 33160
htl 5.78sec 0.10sec 1 482 8570
str 7.11sec 0.21sec 1 534 7663

test50/test_50.20_5_0.1_1_1.1_3_1_2.821.0 nlp wc
30 lines 3823 bytes
head (1,1,1) body (1,3,1,2)
estimated blow-up 821.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 11408.70sec 568.32sec 2 19632 1094240
htl 9.95sec 603.57sec 2 734 13658
str 16.41sec 773.90sec -- 800 11824

test50/test_50.20_5_0.1_1_1.1_3_2_1.10.2 nlp wc
30 lines 1541 bytes
head (1,1,1) body (1,3,2,1)
estimated blow-up 10.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.89sec 0.11sec 1 434 10205
htl 3.81sec 0.06sec 1 374 6335
str 5.10sec 0.20sec 1 426 6041

test50/test_50.20_5_0.1_1_1.1_3_2_2.97.7 nlp wc
30 lines 2510 bytes
head (1,1,1) body (1,3,2,2)
estimated blow-up 97.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 273.62sec 13.34sec 1 3150 115194
htl 6.32sec 1.42sec 1 522 9182
str 9.51sec 2.31sec 1 588 8581

test50/test_50.20_5_0.1_1_1.1_3_2_3.905.0 nlp wc
30 lines 3619 bytes
head (1,1,1) body (1,3,2,3)
estimated blow-up 905.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 26834.35sec 777.43sec -- 28446 1449438
htl 9.53sec 75.71sec 0 684 12605
str 15.96sec 348.57sec 0 768 11472

test50/test_50.20_5_0.1_1_1.1_3_3_1.2.3 nlp wc
30 lines 858 bytes
head (1,1,1) body (1,3,3,1)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.84sec 0.01sec 1 170 2904
htl 3.36sec 0.04sec 1 284 4359
str 2.53sec 0.01sec 1 284 3711

test50/test_50.20_5_0.1_1_1.1_3_3_2.6.5 nlp wc
30 lines 1272 bytes
head (1,1,1) body (1,3,3,2)
estimated blow-up 6.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.15sec 0.05sec 1 406 8787
htl 3.78sec 0.08sec 1 369 5791
str 4.01sec 0.22sec 1 369 4939

test50/test_50.20_5_0.1_1_1.1_3_3_3.19.1 nlp wc
30 lines 1626 bytes
head (1,1,1) body (1,3,3,3)
estimated blow-up 19.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 35.57sec 2.06sec 0 1120 29952
htl 5.41sec 136.40sec 0 467 7363
str 5.06sec 378.14sec 0 467 6447

test50/test_50.20_5_0.1_1_1.1_3_3_4.56.6 nlp wc
30 lines 2044 bytes
head (1,1,1) body (1,3,3,4)
estimated blow-up 56.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 267.49sec 20.69sec 1 3124 104072
htl 6.23sec 279.76sec 1 535 8686
str 7.52sec 773.64sec -- 535 7515

test50/test_50.20_5_0.1_1_1.2_2_2_1.1.3 nlp wc
30 lines 709 bytes
head (1,1,1) body (2,2,2,1)
estimated blow-up 1.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.44sec 0.03sec 0 90 1763
htl 2.23sec 0.00sec 0 172 2591
str 1.83sec 1.60sec 0 186 2471

test50/test_50.20_5_0.1_1_1.2_2_2_2.1.5 nlp wc
30 lines 1012 bytes
head (1,1,1) body (2,2,2,2)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.44sec 0.04sec 1 94 2343
htl 2.00sec 0.00sec 1 182 3020
str 2.58sec 3.10sec 1 214 3061

test50/test_50.20_5_0.1_1_1.2_2_2_3.1.6 nlp wc
30 lines 1297 bytes
head (1,1,1) body (2,2,2,3)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.86sec 0.00sec 1 88 2717
htl 2.04sec 0.04sec 1 152 2827
str 2.27sec 1.28sec 1 194 2981

test50/test_50.20_5_0.1_1_1.2_2_2_4.1.6 nlp wc
30 lines 1508 bytes
head (1,1,1) body (2,2,2,4)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.04sec 0.07sec 1 90 3105
htl 2.19sec 0.04sec 1 172 3274
str 2.47sec 2.95sec 1 218 3423

test50/test_50.20_5_0.1_1_1.2_3_2_1.9.2 nlp wc
30 lines 1806 bytes
head (1,1,1) body (2,3,2,1)
estimated blow-up 9.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 7.24sec 0.08sec 1 432 11917
htl 6.55sec 155.24sec 1 556 8784
str 8.05sec 773.22sec -- 594 8244

test50/test_50.20_5_0.1_1_1.2_3_2_2.85.6 nlp wc
30 lines 3176 bytes
head (1,1,1) body (2,3,2,2)
estimated blow-up 85.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 307.69sec 25.02sec 1 3280 154980
htl 13.75sec 773.53sec -- 910 15054
str 19.28sec 773.82sec -- 974 14008

test50/test_50.20_5_0.1_1_1.2_3_2_3.782.3 nlp wc
30 lines 4464 bytes
head (1,1,1) body (2,3,2,3)
estimated blow-up 782.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 23463.38sec 775.75sec -- 27156 1768441
htl 24.29sec 777.36sec -- 1231 20534
str 35.82sec 773.48sec -- 1305 18937

test50/test_50.20_5_0.1_1_1.2_3_3_1.2.2 nlp wc
30 lines 1163 bytes
head (1,1,1) body (2,3,3,1)
estimated blow-up 2.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.16sec 0.09sec 1 168 3484
htl 5.01sec 0.10sec 1 454 6612
str 4.96sec 0.72sec 1 454 5978

test50/test_50.20_5_0.1_1_1.2_3_3_2.6.3 nlp wc
30 lines 1944 bytes
head (1,1,1) body (2,3,3,2)
estimated blow-up 6.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.69sec 0.24sec 1 398 12658
htl 9.42sec 773.03sec -- 713 10883
str 9.79sec 773.95sec -- 713 9806

test50/test_50.20_5_0.1_1_1.2_3_3_3.18.6 nlp wc
30 lines 2719 bytes
head (1,1,1) body (2,3,3,3)
estimated blow-up 18.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 40.68sec 2.87sec 1 1136 49848
htl 16.02sec 773.39sec -- 1002 15588
str 18.34sec 774.04sec -- 1002 14055

test50/test_50.20_5_0.1_1_1.2_3_3_4.55.4 nlp wc
30 lines 3323 bytes
head (1,1,1) body (2,3,3,4)
estimated blow-up 55.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 303.91sec 29.13sec 0 3242 171813
htl 23.96sec 773.79sec -- 1245 19276
str 28.47sec 772.30sec -- 1245 17471

test50/test_50.20_5_0.1_1_1.3_3_3_1.1.4 nlp wc
30 lines 850 bytes
head (1,1,1) body (3,3,3,1)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.49sec 0.04sec 1 90 2016
htl 2.12sec 0.03sec 1 166 2634
str 2.25sec 1.43sec 1 192 2657

test50/test_50.20_5_0.1_1_1.3_3_3_2.1.6 nlp wc
30 lines 1220 bytes
head (1,1,1) body (3,3,3,2)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.67sec 0.09sec 1 90 2670
htl 1.99sec 0.00sec 1 166 2981
str 2.58sec 2.96sec 1 214 3247

test50/test_50.20_5_0.1_1_1.3_3_3_3.1.7 nlp wc
30 lines 1548 bytes
head (1,1,1) body (3,3,3,3)
estimated blow-up 1.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.87sec 0.09sec 1 94 3325
htl 2.32sec 0.08sec 1 176 3425
str 2.71sec 12.38sec 1 218 3514

test50/test_50.20_5_0.1_1_1.3_3_3_4.1.7 nlp wc
30 lines 1954 bytes
head (1,1,1) body (3,3,3,4)
estimated blow-up 1.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.14sec 0.01sec 1 90 3898
htl 2.01sec 0.08sec 1 178 3759
str 3.26sec 12.54sec 1 230 3881

test50/test_50.20_5_0.1_2_1.1_1_1_1.1.2 nlp wc
40 lines 1549 bytes
head (1,2,1) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.25sec 0.04sec 288 161 3127
htl 4.34sec 132.78sec 288 402 6045
str 4.92sec 129.78sec 288 404 5339

test50/test_50.20_5_0.1_2_1.1_1_1_2.1.5 nlp wc
40 lines 1672 bytes
head (1,2,1) body (1,1,1,2)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.21sec 0.02sec 80 172 3769
htl 4.86sec 773.46sec -- 422 6531
str 5.12sec 777.71sec -- 432 5909

test50/test_50.20_5_0.1_2_1.1_1_1_3.1.6 nlp wc
40 lines 1808 bytes
head (1,2,1) body (1,1,1,3)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.43sec 0.01sec 48 159 4078
htl 4.44sec 395.83sec 48 394 6228
str 4.99sec 399.74sec 48 410 5646

test50/test_50.20_5_0.1_2_1.1_1_1_4.1.8 nlp wc
40 lines 1907 bytes
head (1,2,1) body (1,1,1,4)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.17sec 0.08sec 32 158 4421
htl 4.78sec 773.50sec -- 393 6251
str 5.13sec 774.77sec -- 413 5773

test50/test_50.20_5_0.1_2_1.1_2_1_1.5.8 nlp wc
40 lines 2136 bytes
head (1,2,1) body (1,2,1,1)
estimated blow-up 5.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.92sec 0.24sec 119 412 10599
htl 5.95sec 114.58sec 119 535 8544
str 8.08sec 120.96sec 119 567 7896

test50/test_50.20_5_0.1_2_1.1_2_1_2.28.5 nlp wc
40 lines 2922 bytes
head (1,2,1) body (1,2,1,2)
estimated blow-up 28.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 55.11sec 1.79sec 122 1337 53799
htl 8.67sec 783.82sec -- 659 11152
str 12.39sec 778.59sec -- 715 10306

test50/test_50.20_5_0.1_2_1.1_2_1_3.128.0 nlp wc
40 lines 3576 bytes
head (1,2,1) body (1,2,1,3)
estimated blow-up 128.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 751.66sec 46.17sec 40 5167 271245
htl 11.78sec 775.36sec -- 793 13650
str 16.69sec 773.88sec -- 863 12632

test50/test_50.20_5_0.1_2_1.1_2_1_4.551.4 nlp wc
40 lines 4384 bytes
head (1,2,1) body (1,2,1,4)
estimated blow-up 551.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 12153.35sec 773.40sec -- 20339 1369531
htl 14.37sec 771.86sec -- 913 16164
str 23.04sec 773.57sec -- 1001 14823

test50/test_50.20_5_0.1_2_1.1_2_2_1.2.1 nlp wc
39 lines 1676 bytes
head (1,2,1) body (1,2,2,1)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.01sec 0.01sec 0 241 4869
htl 5.56sec 0.08sec 0 481 7335
str 6.15sec 0.09sec 0 481 6478

test50/test_50.20_5_0.1_2_1.1_2_2_2.4.7 nlp wc
40 lines 1947 bytes
head (1,2,1) body (1,2,2,2)
estimated blow-up 4.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.85sec 0.24sec 166 390 9419
htl 6.33sec 773.22sec -- 535 8289
str 6.29sec 776.35sec -- 535 7343

test50/test_50.20_5_0.1_2_1.1_2_2_3.10.1 nlp wc
40 lines 2163 bytes
head (1,2,1) body (1,2,2,3)
estimated blow-up 10.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 16.28sec 0.76sec 43 711 20391
htl 7.34sec 773.38sec -- 582 9012
str 8.21sec 772.87sec -- 582 8004

test50/test_50.20_5_0.1_2_1.1_2_2_4.21.4 nlp wc
40 lines 2500 bytes
head (1,2,1) body (1,2,2,4)
estimated blow-up 21.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 53.94sec 3.13sec 105 1347 47865
htl 8.78sec 773.14sec -- 660 10504
str 9.79sec 773.36sec -- 660 9271

test50/test_50.20_5_0.1_2_1.1_3_1_1.45.5 nlp wc
40 lines 3003 bytes
head (1,2,1) body (1,3,1,1)
estimated blow-up 45.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 98.83sec 2.95sec 292 1828 65449
htl 9.26sec 676.12sec 292 692 11744
str 12.37sec 773.73sec -- 730 10456

test50/test_50.20_5_0.1_2_1.1_3_1_2.1316.6 nlp wc
40 lines 4784 bytes
head (1,2,1) body (1,3,1,2)
estimated blow-up 1316.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 58760.78sec 773.63sec -- 42879 2545455
htl 14.96sec 773.32sec -- 940 17176
str 24.02sec 773.39sec -- 1004 14902

test50/test_50.20_5_0.1_2_1.1_3_2_1.13.6 nlp wc
40 lines 2512 bytes
head (1,2,1) body (1,3,2,1)
estimated blow-up 13.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 20.48sec 0.82sec 217 818 22390
htl 7.38sec 11.71sec 217 591 9828
str 9.81sec 13.99sec 217 641 9167

test50/test_50.20_5_0.1_2_1.1_3_2_2.147.3 nlp wc
40 lines 3474 bytes
head (1,2,1) body (1,3,2,2)
estimated blow-up 147.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1175.26sec 42.05sec 244 6589 267225
htl 10.84sec 773.36sec -- 763 13147
str 16.39sec 773.32sec -- 829 12131

test50/test_50.20_5_0.1_2_1.1_3_2_3.1458.0 nlp wc
40 lines 4621 bytes
head (1,2,1) body (1,3,2,3)
estimated blow-up 1458.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 93723.86sec 773.45sec -- 53576 2885635
htl 14.88sec 773.33sec -- 932 16725
str 25.02sec 773.33sec -- 1012 14999

test50/test_50.20_5_0.1_2_1.1_3_3_1.2.9 nlp wc
40 lines 1804 bytes
head (1,2,1) body (1,3,3,1)
estimated blow-up 2.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.06sec 0.93sec 1088 311 6305
htl 6.01sec 10.11sec 1088 503 7781
str 5.64sec 9.64sec 1088 503 6862

test50/test_50.20_5_0.1_2_1.1_3_3_2.9.1 nlp wc
40 lines 2196 bytes
head (1,2,1) body (1,3,3,2)
estimated blow-up 9.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 18.52sec 0.43sec 4 778 19568
htl 7.36sec 0.42sec 4 580 9153
str 8.05sec 0.58sec 4 580 8056

test50/test_50.20_5_0.1_2_1.1_3_3_3.28.5 nlp wc
40 lines 2569 bytes
head (1,2,1) body (1,3,3,3)
estimated blow-up 28.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 137.52sec 8.22sec 314 2211 67121
htl 8.89sec 773.65sec -- 673 10695
str 10.02sec 773.90sec -- 673 9434

test50/test_50.20_5_0.1_2_1.1_3_3_4.88.4 nlp wc
39 lines 2923 bytes
head (1,2,1) body (1,3,3,4)
estimated blow-up 88.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1093.11sec 47.03sec 0 6382 231927
htl 10.51sec 0.01sec 0 757 12290
str 12.33sec 0.01sec 0 757 10772

test50/test_50.20_5_0.1_2_1.2_2_2_1.1.5 nlp wc
39 lines 1623 bytes
head (1,2,1) body (2,2,2,1)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.15sec 0.00sec 0 157 3553
htl 4.30sec 0.09sec 0 383 5865
str 4.60sec 0.01sec 0 393 5273

test50/test_50.20_5_0.1_2_1.2_2_2_2.1.8 nlp wc
40 lines 1877 bytes
head (1,2,1) body (2,2,2,2)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.14sec 0.01sec 24 169 4532
htl 4.41sec 773.39sec -- 407 6528
str 4.87sec 773.12sec -- 417 5835

test50/test_50.20_5_0.1_2_1.2_2_2_3.2.1 nlp wc
40 lines 2253 bytes
head (1,2,1) body (2,2,2,3)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.73sec 0.07sec 24 169 5601
htl 4.67sec 773.05sec -- 419 6938
str 5.53sec 773.14sec -- 443 6403

test50/test_50.20_5_0.1_2_1.2_2_2_4.2.3 nlp wc
40 lines 2504 bytes
head (1,2,1) body (2,2,2,4)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.35sec 0.02sec 32 164 6393
htl 4.63sec 773.29sec -- 408 6990
str 5.56sec 773.30sec -- 436 6448

test50/test_50.20_5_0.1_2_1.2_3_2_1.13.3 nlp wc
40 lines 2783 bytes
head (1,2,1) body (2,3,2,1)
estimated blow-up 13.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 20.27sec 0.70sec 72 800 25219
htl 10.72sec 772.75sec -- 763 12264
str 14.03sec 772.93sec -- 803 11381

test50/test_50.20_5_0.1_2_1.2_3_2_2.138.9 nlp wc
40 lines 4133 bytes
head (1,2,1) body (2,3,2,2)
estimated blow-up 138.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1181.92sec 79.48sec 57 6486 329659
htl 20.08sec 773.71sec -- 1115 18445
str 28.61sec 772.83sec -- 1179 17084

test50/test_50.20_5_0.1_2_1.2_3_2_3.1339.8 nlp wc
40 lines 5470 bytes
head (1,2,1) body (2,3,2,3)
estimated blow-up 1339.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 114425.68sec 773.81sec -- 58437 4085481
htl 32.52sec 773.45sec -- 1465 24500
str 50.33sec 773.41sec -- 1547 22530

test50/test_50.20_5_0.1_2_1.2_3_3_1.3.1 nlp wc
40 lines 2090 bytes
head (1,2,1) body (2,3,3,1)
estimated blow-up 3.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.71sec 0.75sec 830 326 7693
htl 8.77sec 772.82sec -- 677 10292
str 9.79sec 772.81sec -- 677 9271

test50/test_50.20_5_0.1_2_1.2_3_3_2.9.9 nlp wc
40 lines 2904 bytes
head (1,2,1) body (2,3,3,2)
estimated blow-up 9.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 21.21sec 2.44sec 805 814 28457
htl 14.98sec 773.39sec -- 963 14982
str 17.34sec 773.87sec -- 963 13479

test50/test_50.20_5_0.1_2_1.2_3_3_3.30.9 nlp wc
40 lines 3560 bytes
head (1,2,1) body (2,3,3,3)
estimated blow-up 30.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 137.21sec 10.66sec 8 2140 99592
htl 22.03sec 774.53sec -- 1178 18429
str 25.78sec 773.85sec -- 1178 16641

test50/test_50.20_5_0.1_2_1.2_3_3_4.95.3 nlp wc
40 lines 4234 bytes
head (1,2,1) body (2,3,3,4)
estimated blow-up 95.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1180.19sec 118.06sec 22 6478 361914
htl 31.61sec 773.92sec -- 1453 22654
str 37.80sec 773.79sec -- 1453 20640

test50/test_50.20_5_0.1_2_1.3_3_3_1.1.6 nlp wc
40 lines 1818 bytes
head (1,2,1) body (3,3,3,1)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.36sec 0.02sec 24 167 4261
htl 4.31sec 773.90sec -- 411 6491
str 5.21sec 774.17sec -- 429 5972

test50/test_50.20_5_0.1_2_1.3_3_3_2.2.1 nlp wc
40 lines 2201 bytes
head (1,2,1) body (3,3,3,2)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.32sec 0.01sec 8 164 5469
htl 4.22sec 774.92sec -- 405 6693
str 5.24sec 773.78sec -- 435 6296

test50/test_50.20_5_0.1_2_1.3_3_3_3.2.4 nlp wc
40 lines 2610 bytes
head (1,2,1) body (3,3,3,3)
estimated blow-up 2.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.80sec 0.13sec 32 170 7081
htl 4.66sec 774.86sec -- 414 7215
str 6.25sec 774.17sec -- 442 6638

test50/test_50.20_5_0.1_2_1.3_3_3_4.2.6 nlp wc
40 lines 2928 bytes
head (1,2,1) body (3,3,3,4)
estimated blow-up 2.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.43sec 0.02sec 32 172 8041
htl 4.84sec 774.89sec -- 425 7628
str 6.72sec 774.71sec -- 453 6998

test50/test_50.20_5_0.1_2_2.1_1_1_1.1.2 nlp wc
34 lines 1093 bytes
head (1,2,2) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.78sec 44.93sec 100000 139 2580
htl 3.34sec 773.55sec -- 329 4774
str 3.51sec 773.51sec -- 331 4304

test50/test_50.20_5_0.1_2_2.1_1_1_2.1.4 nlp wc
35 lines 1237 bytes
head (1,2,2) body (1,1,1,2)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.20sec 0.45sec 1107 137 2904
htl 3.52sec 774.49sec -- 321 4775
str 3.47sec 774.66sec -- 329 4383

test50/test_50.20_5_0.1_2_2.1_1_1_3.1.5 nlp wc
35 lines 1341 bytes
head (1,2,2) body (1,1,1,3)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.79sec 0.04sec 408 135 3223
htl 3.24sec 776.83sec -- 316 4820
str 3.77sec 777.98sec -- 334 4565

test50/test_50.20_5_0.1_2_2.1_1_1_4.1.6 nlp wc
35 lines 1470 bytes
head (1,2,2) body (1,1,1,4)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.14sec 0.02sec 135 141 3713
htl 3.12sec 780.73sec -- 322 5081
str 3.75sec 790.05sec -- 338 4727

test50/test_50.20_5_0.1_2_2.1_2_1_1.5.3 nlp wc
35 lines 1750 bytes
head (1,2,2) body (1,2,1,1)
estimated blow-up 5.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.52sec 84.90sec 100000 330 8250
htl 4.94sec 781.14sec -- 467 7360
str 6.08sec 774.50sec -- 503 7013

test50/test_50.20_5_0.1_2_2.1_2_1_2.24.8 nlp wc
35 lines 2371 bytes
head (1,2,2) body (1,2,1,2)
estimated blow-up 24.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 33.54sec 14.79sec 8881 1051 38670
htl 7.36sec 774.28sec -- 589 9572
str 8.96sec 776.15sec -- 627 8895

test50/test_50.20_5_0.1_2_2.1_2_1_3.108.3 nlp wc
35 lines 3250 bytes
head (1,2,2) body (1,2,1,3)
estimated blow-up 108.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 451.75sec 85.29sec 16979 3945 210464
htl 9.43sec 773.79sec -- 699 12069
str 14.27sec 774.38sec -- 767 11226

test50/test_50.20_5_0.1_2_2.1_2_1_4.457.5 nlp wc
35 lines 3800 bytes
head (1,2,2) body (1,2,1,4)
estimated blow-up 457.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6787.30sec 491.15sec 428 14639 958356
htl 12.33sec 774.92sec -- 820 14195
str 19.13sec 774.67sec -- 890 13104

test50/test_50.20_5_0.1_2_2.1_2_2_1.2.0 nlp wc
35 lines 1246 bytes
head (1,2,2) body (1,2,2,1)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.51sec 43.79sec 100000 198 3760
htl 3.90sec 208.09sec 100000 394 5817
str 4.30sec 334.48sec 100000 394 5231

test50/test_50.20_5_0.1_2_2.1_2_2_2.4.3 nlp wc
35 lines 1558 bytes
head (1,2,2) body (1,2,2,2)
estimated blow-up 4.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.49sec 65.65sec 100000 310 7230
htl 5.30sec 773.39sec -- 460 6933
str 5.30sec 772.61sec -- 460 6290

test50/test_50.20_5_0.1_2_2.1_2_2_3.9.0 nlp wc
35 lines 1790 bytes
head (1,2,2) body (1,2,2,3)
estimated blow-up 9.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 10.57sec 1.75sec 363 563 15713
htl 6.01sec 773.14sec -- 528 7993
str 6.54sec 773.73sec -- 528 7226

test50/test_50.20_5_0.1_2_2.1_2_2_4.18.6 nlp wc
35 lines 2126 bytes
head (1,2,2) body (1,2,2,4)
estimated blow-up 18.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 32.60sec 31.28sec 40472 1035 36694
htl 7.43sec 772.83sec -- 579 9071
str 7.94sec 773.27sec -- 579 8117

test50/test_50.20_5_0.1_2_2.1_3_1_1.39.3 nlp wc
35 lines 2675 bytes
head (1,2,2) body (1,3,1,1)
estimated blow-up 39.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 61.23sec 53.25sec 31719 1415 49848
htl 7.12sec 773.04sec -- 592 10068
str 10.24sec 773.09sec -- 634 9068

test50/test_50.20_5_0.1_2_2.1_3_1_2.1084.2 nlp wc
35 lines 4293 bytes
head (1,2,2) body (1,3,1,2)
estimated blow-up 1084.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 27681.67sec 773.64sec -- 30842 1778878
htl 13.00sec 772.92sec -- 848 15337
str 20.89sec 773.42sec -- 916 13552

test50/test_50.20_5_0.1_2_2.1_3_2_1.12.1 nlp wc
35 lines 2008 bytes
head (1,2,2) body (1,3,2,1)
estimated blow-up 12.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 11.85sec 94.19sec 100000 616 15609
htl 5.72sec 386.29sec 100000 494 7914
str 7.27sec 305.82sec 100000 540 7602

test50/test_50.20_5_0.1_2_2.1_3_2_2.124.6 nlp wc
35 lines 3107 bytes
head (1,2,2) body (1,3,2,2)
estimated blow-up 124.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 675.74sec 687.19sec 100000 4963 198002
htl 9.13sec 773.51sec -- 671 11581
str 13.92sec 773.01sec -- 741 10870

test50/test_50.20_5_0.1_2_2.1_3_2_3.1200.7 nlp wc
35 lines 4109 bytes
head (1,2,2) body (1,3,2,3)
estimated blow-up 1200.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 50014.62sec 772.14sec -- 40879 2180719
htl 12.67sec 773.97sec -- 842 14942
str 21.42sec 772.55sec -- 920 13590

test50/test_50.20_5_0.1_2_2.1_3_3_1.2.7 nlp wc
35 lines 1297 bytes
head (1,2,2) body (1,3,3,1)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.17sec 46.67sec 100000 247 4579
htl 4.41sec 174.66sec 100000 399 5835
str 4.26sec 184.57sec 100000 399 5298

test50/test_50.20_5_0.1_2_2.1_3_3_2.8.1 nlp wc
35 lines 1768 bytes
head (1,2,2) body (1,3,3,2)
estimated blow-up 8.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 12.32sec 91.73sec 100000 619 14659
htl 6.08sec 360.33sec 100000 502 7649
str 6.17sec 452.94sec 100000 502 6888

test50/test_50.20_5_0.1_2_2.1_3_3_3.24.6 nlp wc
35 lines 2146 bytes
head (1,2,2) body (1,3,3,3)
estimated blow-up 24.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 77.22sec 228.46sec 100000 1650 48008
htl 7.37sec 775.20sec -- 598 9341
str 8.13sec 775.06sec -- 598 8372

test50/test_50.20_5_0.1_2_2.1_3_3_4.74.8 nlp wc
35 lines 2469 bytes
head (1,2,2) body (1,3,3,4)
estimated blow-up 74.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 622.47sec 309.67sec 100000 4780 164996
htl 8.43sec 773.46sec -- 667 10538
str 10.09sec 774.72sec -- 667 9403

test50/test_50.20_5_0.1_2_2.2_2_2_1.1.4 nlp wc
35 lines 1204 bytes
head (1,2,2) body (2,2,2,1)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.43sec 0.16sec 771 132 2800
htl 3.07sec 774.17sec -- 307 4594
str 3.27sec 774.34sec -- 319 4267

test50/test_50.20_5_0.1_2_2.2_2_2_2.1.6 nlp wc
35 lines 1458 bytes
head (1,2,2) body (2,2,2,2)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.98sec 0.12sec 287 139 3533
htl 3.44sec 774.74sec -- 317 4972
str 3.36sec 774.37sec -- 327 4532

test50/test_50.20_5_0.1_2_2.2_2_2_3.1.8 nlp wc
34 lines 1766 bytes
head (1,2,2) body (2,2,2,3)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.00sec 0.12sec 243 142 4374
htl 3.58sec 773.54sec -- 326 5323
str 3.91sec 772.66sec -- 348 5022

test50/test_50.20_5_0.1_2_2.2_2_2_4.2.0 nlp wc
35 lines 2025 bytes
head (1,2,2) body (2,2,2,4)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.00sec 0.03sec 243 132 4785
htl 3.36sec 772.75sec -- 304 5175
str 4.15sec 773.23sec -- 338 5054

test50/test_50.20_5_0.1_2_2.2_3_2_1.11.5 nlp wc
35 lines 2251 bytes
head (1,2,2) body (2,3,2,1)
estimated blow-up 11.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 12.70sec 24.16sec 10283 627 18530
htl 8.77sec 772.51sec -- 682 10672
str 10.28sec 773.50sec -- 710 9983

test50/test_50.20_5_0.1_2_2.2_3_2_2.114.4 nlp wc
35 lines 3769 bytes
head (1,2,2) body (2,3,2,2)
estimated blow-up 114.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 619.58sec 45.33sec 567 4694 236282
htl 17.03sec 772.88sec -- 1002 16591
str 23.97sec 773.07sec -- 1064 15350

test50/test_50.20_5_0.1_2_2.2_3_2_3.1077.6 nlp wc
35 lines 5146 bytes
head (1,2,2) body (2,3,2,3)
estimated blow-up 1077.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 59334.22sec 772.73sec -- 41907 2876047
htl 28.87sec 772.24sec -- 1369 23013
str 44.19sec 773.88sec -- 1449 21142

test50/test_50.20_5_0.1_2_2.2_3_3_1.2.7 nlp wc
35 lines 1662 bytes
head (1,2,2) body (2,3,3,1)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.40sec 51.46sec 100000 263 5921
htl 6.92sec 772.89sec -- 594 8798
str 7.38sec 774.26sec -- 594 8066

test50/test_50.20_5_0.1_2_2.2_3_3_2.8.3 nlp wc
34 lines 2353 bytes
head (1,2,2) body (2,3,3,2)
estimated blow-up 8.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 13.40sec 1.60sec 1047 612 19774
htl 12.57sec 774.15sec -- 840 12563
str 13.79sec 774.14sec -- 840 11595

test50/test_50.20_5_0.1_2_2.2_3_3_3.25.4 nlp wc
35 lines 3100 bytes
head (1,2,2) body (2,3,3,3)
estimated blow-up 25.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 86.74sec 6.54sec 243 1699 75059
htl 19.40sec 773.69sec -- 1107 16925
str 22.48sec 774.09sec -- 1107 15520

test50/test_50.20_5_0.1_2_2.2_3_3_4.77.1 nlp wc
35 lines 3876 bytes
head (1,2,2) body (2,3,3,4)
estimated blow-up 77.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 698.79sec 63.03sec 273 4942 278823
htl 28.89sec 774.36sec -- 1395 21606
str 34.93sec 773.56sec -- 1395 19696

test50/test_50.20_5_0.1_2_2.3_3_3_1.1.5 nlp wc
35 lines 1320 bytes
head (1,2,2) body (3,3,3,1)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.14sec 0.23sec 627 137 3247
htl 3.23sec 773.67sec -- 309 4760
str 3.33sec 773.53sec -- 325 4452

test50/test_50.20_5_0.1_2_2.3_3_3_2.1.8 nlp wc
35 lines 1731 bytes
head (1,2,2) body (3,3,3,2)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.14sec 0.10sec 135 135 4211
htl 3.24sec 773.78sec -- 310 5077
str 3.86sec 773.73sec -- 330 4756

test50/test_50.20_5_0.1_2_2.3_3_3_3.2.0 nlp wc
35 lines 2092 bytes
head (1,2,2) body (3,3,3,3)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.21sec 0.11sec 243 141 5234
htl 3.57sec 773.57sec -- 328 5655
str 4.64sec 774.48sec -- 356 5376

test50/test_50.20_5_0.1_2_2.3_3_3_4.2.2 nlp wc
35 lines 2486 bytes
head (1,2,2) body (3,3,3,4)
estimated blow-up 2.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.63sec 0.02sec 135 144 6273
htl 3.97sec 772.92sec -- 328 5988
str 4.49sec 773.24sec -- 356 5607

test50/test_50.20_5_0.1_3_1.1_1_1_1.1.3 nlp wc
55 lines 2795 bytes
head (1,3,1) body (1,1,1,1)
estimated blow-up 1.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.30sec 0.07sec 158 242 5068
htl 8.19sec 152.86sec 158 620 9936
str 9.81sec 160.80sec 158 622 8612

test50/test_50.20_5_0.1_3_1.1_1_1_2.1.5 nlp wc
55 lines 3022 bytes
head (1,3,1) body (1,1,1,2)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.37sec 2.98sec 3380 260 6319
htl 8.92sec 773.75sec -- 665 10877
str 10.68sec 774.88sec -- 669 9468

test50/test_50.20_5_0.1_3_1.1_1_1_3.1.8 nlp wc
53 lines 3094 bytes
head (1,3,1) body (1,1,1,3)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.52sec 0.05sec 39 245 6755
htl 8.27sec 774.12sec -- 639 10540
str 10.52sec 774.59sec -- 655 9354

test50/test_50.20_5_0.1_3_1.1_1_1_4.2.0 nlp wc
55 lines 3237 bytes
head (1,3,1) body (1,1,1,4)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.74sec 0.21sec 191 247 7624
htl 8.23sec 771.63sec -- 638 10640
str 10.88sec 773.65sec -- 650 9331

test50/test_50.20_5_0.1_3_1.1_2_1_1.6.4 nlp wc
55 lines 3418 bytes
head (1,3,1) body (1,2,1,1)
estimated blow-up 6.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 14.57sec 10.83sec 5614 681 18532
htl 11.97sec 773.59sec -- 798 13144
str 15.26sec 772.50sec -- 824 11772

test50/test_50.20_5_0.1_3_1.1_2_1_2.34.2 nlp wc
55 lines 4151 bytes
head (1,3,1) body (1,2,1,2)
estimated blow-up 34.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 147.95sec 4.47sec 75 2243 92563
htl 14.54sec 772.70sec -- 902 15355
str 20.76sec 773.75sec -- 956 13928

test50/test_50.20_5_0.1_3_1.1_2_1_3.162.4 nlp wc
55 lines 4958 bytes
head (1,3,1) body (1,2,1,3)
estimated blow-up 162.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2350.89sec 135.32sec 2000 8965 499034
htl 17.92sec 773.35sec -- 1021 17848
str 27.84sec 775.45sec -- 1091 16010

test50/test_50.20_5_0.1_3_1.1_2_1_4.729.4 nlp wc
55 lines 5519 bytes
head (1,3,1) body (1,2,1,4)
estimated blow-up 729.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 31758.90sec 774.48sec -- 33218 2209818
htl 21.37sec 774.12sec -- 1138 19914
str 35.73sec 773.84sec -- 1216 17988

test50/test_50.20_5_0.1_3_1.1_2_2_1.2.3 nlp wc
55 lines 3016 bytes
head (1,3,1) body (1,2,2,1)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.33sec 15.52sec 14034 397 8490
htl 10.29sec 487.12sec 14034 745 12059
str 11.31sec 471.39sec 14034 745 10512

test50/test_50.20_5_0.1_3_1.1_2_2_2.5.2 nlp wc
53 lines 3259 bytes
head (1,3,1) body (1,2,2,2)
estimated blow-up 5.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 13.61sec 0.57sec 269 660 17256
htl 11.12sec 773.99sec -- 764 12387
str 13.36sec 774.65sec -- 764 10766

test50/test_50.20_5_0.1_3_1.1_2_2_3.11.7 nlp wc
55 lines 3518 bytes
head (1,3,1) body (1,2,2,3)
estimated blow-up 11.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 42.69sec 14.31sec 4887 1208 37201
htl 12.73sec 773.87sec -- 838 13618
str 15.09sec 773.82sec -- 838 11925

test50/test_50.20_5_0.1_3_1.1_2_2_4.25.8 nlp wc
55 lines 3860 bytes
head (1,3,1) body (1,2,2,4)
estimated blow-up 25.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 151.05sec 18.40sec 3792 2302 88237
htl 14.57sec 774.35sec -- 908 14964
str 18.11sec 773.22sec -- 908 12968

test50/test_50.20_5_0.1_3_1.1_3_1_1.55.4 nlp wc
55 lines 4376 bytes
head (1,3,1) body (1,3,1,1)
estimated blow-up 55.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 301.73sec 35.92sec 3472 3260 125668
htl 15.16sec 773.94sec -- 919 15927
str 22.41sec 773.05sec -- 957 13955

test50/test_50.20_5_0.1_3_1.1_3_2_1.15.7 nlp wc
55 lines 3711 bytes
head (1,3,1) body (1,3,2,1)
estimated blow-up 15.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 52.58sec 1.30sec 218 1364 38654
htl 12.56sec 31.30sec 218 836 14039
str 16.90sec 36.47sec 218 872 12637

test50/test_50.20_5_0.1_3_1.1_3_2_2.187.1 nlp wc
55 lines 4770 bytes
head (1,3,1) body (1,3,2,2)
estimated blow-up 187.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3547.86sec 415.04sec 9321 11154 474133
htl 17.45sec 776.17sec -- 1001 17366
str 26.73sec 773.65sec -- 1055 15464

test50/test_50.20_5_0.1_3_1.1_3_2_3.1963.9 nlp wc
55 lines 5748 bytes
head (1,3,1) body (1,3,2,3)
estimated blow-up 1963.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 275215.03sec 773.60sec -- 92229 5097131
htl 21.46sec 777.89sec -- 1149 20420
str 36.64sec 773.36sec -- 1229 18291

test50/test_50.20_5_0.1_3_1.1_3_3_1.3.2 nlp wc
55 lines 3074 bytes
head (1,3,1) body (1,3,3,1)
estimated blow-up 3.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 8.31sec 0.22sec 194 504 10720
htl 10.31sec 0.76sec 194 714 11502
str 11.97sec 1.08sec 194 714 10009

test50/test_50.20_5_0.1_3_1.1_3_3_2.10.6 nlp wc
55 lines 3519 bytes
head (1,3,1) body (1,3,3,2)
estimated blow-up 10.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 52.81sec 4.33sec 943 1367 36453
htl 12.22sec 99.38sec 943 826 13519
str 14.75sec 97.19sec 943 826 11768

test50/test_50.20_5_0.1_3_1.1_3_3_3.35.1 nlp wc
55 lines 3823 bytes
head (1,3,1) body (1,3,3,3)
estimated blow-up 35.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 381.92sec 20.63sec 647 3750 119981
htl 14.40sec 773.00sec -- 895 14700
str 17.96sec 775.95sec -- 895 12824

test50/test_50.20_5_0.1_3_1.1_3_3_4.113.3 nlp wc
53 lines 4201 bytes
head (1,3,1) body (1,3,3,4)
estimated blow-up 113.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3242.53sec 127.18sec 706 10727 403228
htl 17.08sec 773.46sec -- 993 16402
str 21.29sec 772.47sec -- 993 14321

test50/test_50.20_5_0.1_3_1.2_2_2_1.1.5 nlp wc
55 lines 2967 bytes
head (1,3,1) body (2,2,2,1)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.20sec 0.09sec 19 247 5850
htl 8.64sec 774.67sec -- 647 10510
str 10.97sec 773.58sec -- 653 9168

test50/test_50.20_5_0.1_3_1.2_2_2_2.2.0 nlp wc
55 lines 3154 bytes
head (1,3,1) body (2,2,2,2)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.50sec 0.07sec 129 248 7169
htl 8.50sec 773.02sec -- 639 10529
str 10.91sec 777.01sec -- 649 9272

test50/test_50.20_5_0.1_3_1.2_2_2_3.2.4 nlp wc
55 lines 3538 bytes
head (1,3,1) body (2,2,2,3)
estimated blow-up 2.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.71sec 0.03sec 21 245 8936
htl 8.80sec 773.90sec -- 628 10599
str 11.18sec 774.31sec -- 648 9467

test50/test_50.20_5_0.1_3_1.2_2_2_4.2.7 nlp wc
55 lines 3685 bytes
head (1,3,1) body (2,2,2,4)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.10sec 0.05sec 135 248 10296
htl 8.36sec 775.84sec -- 638 11002
str 11.52sec 774.15sec -- 656 9697

test50/test_50.20_5_0.1_3_1.2_3_2_1.16.3 nlp wc
55 lines 4070 bytes
head (1,3,1) body (2,3,2,1)
estimated blow-up 16.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 54.43sec 21.02sec 6683 1358 45696
htl 17.64sec 772.94sec -- 1007 16719
str 23.27sec 773.88sec -- 1053 15228

test50/test_50.20_5_0.1_3_1.2_3_2_2.187.4 nlp wc
55 lines 5549 bytes
head (1,3,1) body (2,3,2,2)
estimated blow-up 187.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3377.89sec 162.19sec 225 10993 596007
htl 28.36sec 773.14sec -- 1342 22736
str 43.86sec 773.54sec -- 1414 20674

test50/test_50.20_5_0.1_3_1.2_3_2_3.1912.2 nlp wc
53 lines 6780 bytes
head (1,3,1) body (2,3,2,3)
estimated blow-up 1912.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 323559.97sec 773.01sec -- 94980 6840179
htl 41.47sec 773.90sec -- 1656 28188
str 65.24sec 773.71sec -- 1740 25597

test50/test_50.20_5_0.1_3_1.2_3_3_1.3.6 nlp wc
53 lines 3433 bytes
head (1,3,1) body (2,3,3,1)
estimated blow-up 3.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 9.02sec 0.72sec 441 525 13758
htl 14.54sec 434.99sec 441 914 14655
str 18.02sec 441.38sec 441 914 12868

test50/test_50.20_5_0.1_3_1.2_3_3_2.12.7 nlp wc
55 lines 4192 bytes
head (1,3,1) body (2,3,3,2)
estimated blow-up 12.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 52.33sec 3.00sec 229 1331 49281
htl 21.25sec 774.07sec -- 1160 18570
str 26.25sec 774.41sec -- 1160 16524

test50/test_50.20_5_0.1_3_1.2_3_3_3.41.9 nlp wc
55 lines 4824 bytes
head (1,3,1) body (2,3,3,3)
estimated blow-up 41.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 387.63sec 17.22sec 359 3694 174351
htl 31.19sec 773.30sec -- 1434 22843
str 38.91sec 773.86sec -- 1434 20451

test50/test_50.20_5_0.1_3_1.2_3_3_4.134.6 nlp wc
55 lines 5556 bytes
head (1,3,1) body (2,3,3,4)
estimated blow-up 134.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3709.48sec 231.59sec 163 11296 657455
htl 43.90sec 772.95sec -- 1708 27147
str 56.57sec 773.07sec -- 1708 24391

test50/test_50.20_5_0.1_3_1.3_3_3_1.1.8 nlp wc
53 lines 3060 bytes
head (1,3,1) body (3,3,3,1)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.51sec 0.11sec 126 251 6799
htl 8.77sec 774.42sec -- 662 10839
str 11.53sec 774.56sec -- 674 9580

test50/test_50.20_5_0.1_3_1.3_3_3_2.2.4 nlp wc
55 lines 3466 bytes
head (1,3,1) body (3,3,3,2)
estimated blow-up 2.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.09sec 0.03sec 75 256 9025
htl 8.98sec 773.91sec -- 663 11245
str 11.88sec 774.03sec -- 675 9873

test50/test_50.20_5_0.1_3_1.3_3_3_3.2.9 nlp wc
55 lines 3864 bytes
head (1,3,1) body (3,3,3,3)
estimated blow-up 2.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.26sec 0.09sec 135 256 11246
htl 8.95sec 774.07sec -- 664 11563
str 12.27sec 773.73sec -- 680 10162

test50/test_50.20_5_0.1_3_1.3_3_3_4.3.3 nlp wc
53 lines 4064 bytes
head (1,3,1) body (3,3,3,4)
estimated blow-up 3.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.77sec 0.12sec 24 242 12569
htl 8.20sec 773.31sec -- 626 11168
str 11.83sec 774.30sec -- 650 9936

test50/test_50.20_5_0.1_3_2.1_1_1_1.1.2 nlp wc
45 lines 2203 bytes
head (1,3,2) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.45sec 49.79sec 100000 208 4430
htl 6.49sec 773.84sec -- 527 8254
str 7.30sec 773.81sec -- 531 7339

test50/test_50.20_5_0.1_3_2.1_1_1_2.1.4 nlp wc
45 lines 2321 bytes
head (1,3,2) body (1,1,1,2)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.67sec 51.72sec 100000 200 4803
htl 6.23sec 773.56sec -- 503 7983
str 7.02sec 774.18sec -- 509 7113

test50/test_50.20_5_0.1_3_2.1_1_1_3.1.6 nlp wc
45 lines 2387 bytes
head (1,3,2) body (1,1,1,3)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.04sec 10.59sec 21030 202 5335
htl 5.94sec 773.45sec -- 508 8122
str 7.61sec 776.45sec -- 514 7242

test50/test_50.20_5_0.1_3_2.1_1_1_4.1.8 nlp wc
45 lines 2499 bytes
head (1,3,2) body (1,1,1,4)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.68sec 2.28sec 4482 203 5934
htl 6.19sec 774.54sec -- 504 8226
str 7.51sec 773.88sec -- 512 7327

test50/test_50.20_5_0.1_3_2.1_2_1_1.5.8 nlp wc
45 lines 2764 bytes
head (1,3,2) body (1,2,1,1)
estimated blow-up 5.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 9.14sec 76.08sec 100000 499 13910
htl 8.32sec 773.54sec -- 644 10544
str 11.14sec 773.13sec -- 678 9683

test50/test_50.20_5_0.1_3_2.1_2_1_2.29.3 nlp wc
45 lines 3568 bytes
head (1,3,2) body (1,2,1,2)
estimated blow-up 29.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 89.56sec 214.83sec 100000 1718 73193
htl 10.92sec 773.53sec -- 778 13264
str 16.13sec 773.23sec -- 838 12248

test50/test_50.20_5_0.1_3_2.1_2_1_3.135.2 nlp wc
45 lines 4234 bytes
head (1,3,2) body (1,2,1,3)
estimated blow-up 135.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1166.68sec 773.37sec -- 6392 360345
htl 14.24sec 774.84sec -- 886 15372
str 21.28sec 774.51sec -- 952 13997

test50/test_50.20_5_0.1_3_2.1_2_1_4.594.6 nlp wc
44 lines 4938 bytes
head (1,3,2) body (1,2,1,4)
estimated blow-up 594.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 21212.71sec 774.15sec -- 25463 1773757
htl 17.46sec 774.19sec -- 1013 17770
str 28.94sec 773.78sec -- 1081 15989

test50/test_50.20_5_0.1_3_2.1_2_2_1.2.1 nlp wc
45 lines 2327 bytes
head (1,3,2) body (1,2,2,1)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.90sec 60.03sec 100000 298 6473
htl 7.21sec 350.49sec 100000 574 9019
str 8.55sec 504.34sec 100000 574 7952

test50/test_50.20_5_0.1_3_2.1_2_2_2.4.7 nlp wc
44 lines 2623 bytes
head (1,3,2) body (1,2,2,2)
estimated blow-up 4.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 8.66sec 140.88sec 100000 504 13479
htl 8.54sec 774.26sec -- 648 10349
str 10.05sec 773.80sec -- 648 9083

test50/test_50.20_5_0.1_3_2.1_2_2_3.10.4 nlp wc
45 lines 2929 bytes
head (1,3,2) body (1,2,2,3)
estimated blow-up 10.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 23.34sec 75.49sec 100000 868 28603
htl 9.61sec 773.91sec -- 688 11151
str 11.26sec 772.86sec -- 688 9751

test50/test_50.20_5_0.1_3_2.1_2_2_4.22.3 nlp wc
45 lines 3191 bytes
head (1,3,2) body (1,2,2,4)
estimated blow-up 22.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 80.11sec 141.39sec 100000 1658 63949
htl 11.01sec 774.20sec -- 775 12625
str 13.88sec 774.44sec -- 775 11043

test50/test_50.20_5_0.1_3_2.1_3_1_1.47.1 nlp wc
45 lines 3709 bytes
head (1,3,2) body (1,3,1,1)
estimated blow-up 47.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 147.36sec 336.36sec 100000 2239 86679
htl 11.54sec 773.81sec -- 785 13554
str 15.26sec 774.03sec -- 827 12162

test50/test_50.20_5_0.1_3_2.1_3_1_2.1431.3 nlp wc
45 lines 5404 bytes
head (1,3,2) body (1,3,1,2)
estimated blow-up 1431.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 72334.31sec 774.00sec -- 48551 2993938
htl 17.98sec 773.93sec -- 1023 18644
str 29.61sec 773.48sec -- 1089 16247

test50/test_50.20_5_0.1_3_2.1_3_2_1.13.8 nlp wc
45 lines 3153 bytes
head (1,3,2) body (1,3,2,1)
estimated blow-up 13.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 30.52sec 118.62sec 100000 1018 30129
htl 9.59sec 254.65sec 100000 693 11681
str 13.24sec 288.68sec 100000 747 10851

test50/test_50.20_5_0.1_3_2.1_3_2_2.156.1 nlp wc
45 lines 4140 bytes
head (1,3,2) body (1,3,2,2)
estimated blow-up 156.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1695.27sec 773.97sec -- 7911 341887
htl 13.39sec 773.89sec -- 834 14541
str 20.19sec 774.26sec -- 904 13317

test50/test_50.20_5_0.1_3_2.1_3_2_3.1590.6 nlp wc
45 lines 5174 bytes
head (1,3,2) body (1,3,2,3)
estimated blow-up 1590.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 140792.99sec 813.76sec -- 65493 3700577
htl 18.40sec 814.80sec -- 999 17874
str 31.83sec 813.41sec -- 1091 16313

test50/test_50.20_5_0.1_3_2.1_3_3_1.3.0 nlp wc
45 lines 2433 bytes
head (1,3,2) body (1,3,3,1)
estimated blow-up 3.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.30sec 65.36sec 100000 395 8653
htl 7.80sec 168.55sec 100000 593 9344
str 9.97sec 216.80sec 100000 593 8255

test50/test_50.20_5_0.1_3_2.1_3_3_2.9.5 nlp wc
45 lines 2838 bytes
head (1,3,2) body (1,3,3,2)
estimated blow-up 9.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 29.91sec 141.31sec 100000 990 27083
htl 9.47sec 649.90sec 100000 691 11141
str 11.63sec 673.14sec 100000 691 9775

test50/test_50.20_5_0.1_3_2.1_3_3_3.30.5 nlp wc
45 lines 3271 bytes
head (1,3,2) body (1,3,3,3)
estimated blow-up 30.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 212.32sec 292.11sec 100000 2670 90284
htl 12.69sec 813.51sec -- 768 12577
str 13.77sec 814.36sec -- 768 10974

test50/test_50.20_5_0.1_3_2.1_3_3_4.96.1 nlp wc
45 lines 3658 bytes
head (1,3,2) body (1,3,3,4)
estimated blow-up 96.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1906.52sec 814.73sec -- 7986 315000
htl 14.16sec 812.93sec -- 845 13967
str 17.55sec 812.89sec -- 845 12163

test50/test_50.20_5_0.1_3_2.2_2_2_1.1.4 nlp wc
45 lines 2274 bytes
head (1,3,2) body (2,2,2,1)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.65sec 25.83sec 46275 205 4836
htl 6.24sec 811.80sec -- 517 8161
str 7.94sec 821.69sec -- 523 7290

test50/test_50.20_5_0.1_3_2.2_2_2_2.1.8 nlp wc
45 lines 2583 bytes
head (1,3,2) body (2,2,2,2)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.49sec 3.35sec 6723 202 5869
htl 6.47sec 814.29sec -- 508 8286
str 7.45sec 817.16sec -- 516 7367

test50/test_50.20_5_0.1_3_2.2_2_2_3.2.1 nlp wc
45 lines 2872 bytes
head (1,3,2) body (2,2,2,3)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.04sec 0.33sec 810 208 7258
htl 7.00sec 814.96sec -- 522 8765
str 8.23sec 813.29sec -- 532 7800

test50/test_50.20_5_0.1_3_2.2_2_2_4.2.3 nlp wc
44 lines 3121 bytes
head (1,3,2) body (2,2,2,4)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.04sec 0.08sec 360 199 8198
htl 6.25sec 813.32sec -- 504 8658
str 8.82sec 813.55sec -- 524 7819

test50/test_50.20_5_0.1_3_2.2_3_2_1.14.0 nlp wc
45 lines 3468 bytes
head (1,3,2) body (2,3,2,1)
estimated blow-up 14.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 34.58sec 162.76sec 100000 1012 34814
htl 14.29sec 814.54sec -- 878 14461
str 19.20sec 814.86sec -- 926 13375

test50/test_50.20_5_0.1_3_2.2_3_2_2.152.2 nlp wc
45 lines 4708 bytes
head (1,3,2) body (2,3,2,2)
estimated blow-up 152.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1602.41sec 603.20sec 12336 7286 389196
htl 23.56sec 817.84sec -- 1167 19515
str 34.97sec 813.78sec -- 1229 17935

test50/test_50.20_5_0.1_3_2.2_3_2_3.1510.1 nlp wc
45 lines 6142 bytes
head (1,3,2) body (2,3,2,3)
estimated blow-up 1510.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 193063.28sec 819.28sec -- 70999 5145647
htl 38.97sec 816.59sec -- 1532 25867
str 64.45sec 809.04sec -- 1608 23601

test50/test_50.20_5_0.1_3_2.2_3_3_1.3.2 nlp wc
45 lines 2742 bytes
head (1,3,2) body (2,3,3,1)
estimated blow-up 3.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.34sec 87.58sec 100000 405 10382
htl 11.44sec 809.40sec -- 784 12252
str 12.76sec 814.72sec -- 784 10984

test50/test_50.20_5_0.1_3_2.2_3_3_2.10.7 nlp wc
45 lines 3530 bytes
head (1,3,2) body (2,3,3,2)
estimated blow-up 10.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 32.97sec 162.15sec 79977 995 37141
htl 19.11sec 814.44sec -- 1030 16217
str 22.06sec 810.58sec -- 1030 14556

test50/test_50.20_5_0.1_3_2.2_3_3_3.34.4 nlp wc
45 lines 4154 bytes
head (1,3,2) body (2,3,3,3)
estimated blow-up 34.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 235.52sec 117.87sec 47114 2744 132513
htl 27.62sec 817.79sec -- 1287 20257
str 33.78sec 814.76sec -- 1287 18294

test50/test_50.20_5_0.1_3_2.2_3_3_4.108.0 nlp wc
45 lines 5026 bytes
head (1,3,2) body (2,3,3,4)
estimated blow-up 108.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1979.75sec 339.12sec 16042 8128 498508
htl 40.26sec 826.01sec -- 1568 25024
str 51.17sec 822.92sec -- 1568 22509

test50/test_50.20_5_0.1_3_2.3_3_3_1.1.6 nlp wc
45 lines 2434 bytes
head (1,3,2) body (3,3,3,1)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.68sec 5.14sec 9720 210 5571
htl 6.31sec 805.62sec -- 534 8630
str 7.49sec 814.28sec -- 538 7646

test50/test_50.20_5_0.1_3_2.3_3_3_2.2.1 nlp wc
45 lines 2826 bytes
head (1,3,2) body (3,3,3,2)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.67sec 0.96sec 1944 200 7119
htl 6.35sec 811.79sec -- 502 8420
str 8.49sec 812.49sec -- 520 7602

test50/test_50.20_5_0.1_3_2.3_3_3_3.2.5 nlp wc
45 lines 3127 bytes
head (1,3,2) body (3,3,3,3)
estimated blow-up 2.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.06sec 0.23sec 576 204 8483
htl 6.66sec 814.22sec -- 514 8872
str 8.53sec 815.14sec -- 522 7814

test50/test_50.20_5_0.1_3_2.3_3_3_4.2.7 nlp wc
45 lines 3519 bytes
head (1,3,2) body (3,3,3,4)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.84sec 0.28sec 648 199 10052
htl 7.30sec 815.85sec -- 496 8921
str 9.08sec 816.10sec -- 516 7994

test50/test_50.20_5_0.1_3_3.1_1_1_1.1.2 nlp wc
40 lines 1565 bytes
head (1,3,3) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.33sec 50.64sec 100000 177 3511
htl 4.26sec 814.28sec -- 415 6175
str 4.83sec 815.70sec -- 417 5641

test50/test_50.20_5_0.1_3_3.1_1_1_2.1.4 nlp wc
40 lines 1678 bytes
head (1,3,3) body (1,1,1,2)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.33sec 52.43sec 100000 182 4024
htl 4.44sec 814.77sec -- 412 6265
str 4.85sec 818.55sec -- 418 5766

test50/test_50.20_5_0.1_3_3.1_1_1_3.1.6 nlp wc
40 lines 1762 bytes
head (1,3,3) body (1,1,1,3)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.02sec 8.74sec 18529 172 4163
htl 4.42sec 811.09sec -- 382 5863
str 4.61sec 816.68sec -- 390 5406

test50/test_50.20_5_0.1_3_3.1_1_1_4.1.7 nlp wc
40 lines 1925 bytes
head (1,3,3) body (1,1,1,4)
estimated blow-up 1.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.20sec 6.44sec 13469 178 4927
htl 4.46sec 812.50sec -- 406 6387
str 4.84sec 815.68sec -- 414 5855

test50/test_50.20_5_0.1_3_3.1_2_1_1.5.6 nlp wc
40 lines 2168 bytes
head (1,3,3) body (1,2,1,1)
estimated blow-up 5.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.93sec 73.87sec 100000 420 10986
htl 6.57sec 813.53sec -- 533 8424
str 9.46sec 814.07sec -- 569 8040

test50/test_50.20_5_0.1_3_3.1_2_1_2.27.5 nlp wc
40 lines 2917 bytes
head (1,3,3) body (1,2,1,2)
estimated blow-up 27.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 62.60sec 166.99sec 100000 1393 55216
htl 10.19sec 813.08sec -- 654 10842
str 12.44sec 810.60sec -- 708 10259

test50/test_50.20_5_0.1_3_3.1_2_1_3.123.9 nlp wc
40 lines 3596 bytes
head (1,3,3) body (1,2,1,3)
estimated blow-up 123.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 748.89sec 450.23sec 100000 4907 262307
htl 12.00sec 812.44sec -- 759 12969
str 17.48sec 810.83sec -- 827 12097

test50/test_50.20_5_0.1_3_3.1_2_1_4.535.5 nlp wc
40 lines 4444 bytes
head (1,3,3) body (1,2,1,4)
estimated blow-up 535.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 13216.82sec 812.53sec -- 20343 1375115
htl 15.55sec 816.27sec -- 901 15852
str 25.17sec 811.63sec -- 989 14681

test50/test_50.20_5_0.1_3_3.1_2_2_1.2.1 nlp wc
40 lines 1683 bytes
head (1,3,3) body (1,2,2,1)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.26sec 60.17sec 100000 266 5301
htl 5.78sec 162.88sec 100000 489 7307
str 6.03sec 132.88sec 100000 489 6682

test50/test_50.20_5_0.1_3_3.1_2_2_2.4.6 nlp wc
40 lines 1981 bytes
head (1,3,3) body (1,2,2,2)
estimated blow-up 4.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.23sec 66.41sec 100000 406 9837
htl 6.67sec 817.21sec -- 521 7848
str 7.35sec 816.66sec -- 521 7173

test50/test_50.20_5_0.1_3_3.1_2_2_3.9.8 nlp wc
40 lines 2242 bytes
head (1,3,3) body (1,2,2,3)
estimated blow-up 9.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 18.28sec 149.22sec 100000 739 21715
htl 8.05sec 275.85sec 100000 611 9415
str 8.53sec 355.95sec 100000 611 8546

test50/test_50.20_5_0.1_3_3.1_2_2_4.20.8 nlp wc
40 lines 2497 bytes
head (1,3,3) body (1,2,2,4)
estimated blow-up 20.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 56.81sec 142.51sec 100000 1332 46749
htl 9.64sec 813.04sec -- 653 10184
str 9.96sec 819.20sec -- 653 9188

test50/test_50.20_5_0.1_3_3.1_3_1_1.43.9 nlp wc
40 lines 3133 bytes
head (1,3,3) body (1,3,1,1)
estimated blow-up 43.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 113.69sec 215.49sec 100000 1896 69150
htl 10.08sec 819.13sec -- 677 11540
str 14.16sec 814.15sec -- 725 10576

test50/test_50.20_5_0.1_3_3.1_3_1_2.1280.0 nlp wc
39 lines 4743 bytes
head (1,3,3) body (1,3,1,2)
estimated blow-up 1280.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 64205.29sec 814.41sec -- 42096 2507247
htl 15.97sec 820.10sec -- 916 16519
str 27.11sec 815.48sec -- 990 14726

test50/test_50.20_5_0.1_3_3.1_3_2_1.13.1 nlp wc
40 lines 2499 bytes
head (1,3,3) body (1,3,2,1)
estimated blow-up 13.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 20.25sec 109.48sec 100000 796 21593
htl 8.44sec 201.50sec 100000 596 9784
str 10.80sec 184.13sec 100000 650 9330

test50/test_50.20_5_0.1_3_3.1_3_2_2.142.9 nlp wc
40 lines 3452 bytes
head (1,3,3) body (1,3,2,2)
estimated blow-up 142.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1137.12sec 814.61sec -- 6237 254642
htl 11.30sec 812.28sec -- 752 12763
str 16.73sec 813.15sec -- 816 11936

test50/test_50.20_5_0.1_3_3.1_3_2_3.1420.6 nlp wc
40 lines 4518 bytes
head (1,3,3) body (1,3,2,3)
estimated blow-up 1420.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 103573.39sec 815.80sec -- 54471 2935883
htl 15.49sec 814.75sec -- 901 15878
str 25.45sec 814.50sec -- 979 14537

test50/test_50.20_5_0.1_3_3.1_3_3_1.2.8 nlp wc
40 lines 1759 bytes
head (1,3,3) body (1,3,3,1)
estimated blow-up 2.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.00sec 60.09sec 100000 322 6363
htl 5.67sec 120.10sec 100000 489 7334
str 6.77sec 126.14sec 100000 489 6697

test50/test_50.20_5_0.1_3_3.1_3_3_2.9.0 nlp wc
40 lines 2211 bytes
head (1,3,3) body (1,3,3,2)
estimated blow-up 9.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 20.16sec 84.13sec 100000 785 19681
htl 6.85sec 814.34sec -- 558 8558
str 8.16sec 810.14sec -- 558 7757

test50/test_50.20_5_0.1_3_3.1_3_3_3.28.1 nlp wc
40 lines 2586 bytes
head (1,3,3) body (1,3,3,3)
estimated blow-up 28.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 144.64sec 197.83sec 100000 2175 67018
htl 9.43sec 814.51sec -- 654 10299
str 10.76sec 326.77sec 100000 654 9246

test50/test_50.20_5_0.1_3_3.1_3_3_4.87.1 nlp wc
39 lines 2936 bytes
head (1,3,3) body (1,3,3,4)
estimated blow-up 87.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1167.10sec 813.99sec -- 6365 229677
htl 11.61sec 809.26sec -- 755 11985
str 14.15sec 812.05sec -- 755 10763

test50/test_50.20_5_0.1_3_3.2_2_2_1.1.4 nlp wc
39 lines 1642 bytes
head (1,3,3) body (2,2,2,1)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.11sec 48.99sec 100000 178 3894
htl 5.31sec 816.49sec -- 410 6209
str 5.27sec 820.70sec -- 416 5720

test50/test_50.20_5_0.1_3_3.2_2_2_2.1.7 nlp wc
40 lines 1899 bytes
head (1,3,3) body (2,2,2,2)
estimated blow-up 1.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.21sec 16.60sec 33243 180 4730
htl 4.85sec 815.37sec -- 409 6414
str 4.69sec 813.64sec -- 417 5916

test50/test_50.20_5_0.1_3_3.2_2_2_3.2.0 nlp wc
40 lines 2199 bytes
head (1,3,3) body (2,2,2,3)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.40sec 0.48sec 1147 170 5480
htl 4.19sec 814.84sec -- 393 6379
str 5.20sec 816.39sec -- 411 5987

test50/test_50.20_5_0.1_3_3.2_2_2_4.2.2 nlp wc
40 lines 2463 bytes
head (1,3,3) body (2,2,2,4)
estimated blow-up 2.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.37sec 0.78sec 1869 172 6377
htl 4.67sec 817.62sec -- 393 6577
str 5.47sec 813.59sec -- 413 6154

test50/test_50.20_5_0.1_3_3.2_3_2_1.13.0 nlp wc
39 lines 2763 bytes
head (1,3,3) body (2,3,2,1)
estimated blow-up 13.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 20.16sec 122.42sec 100000 782 24874
htl 10.64sec 813.98sec -- 754 12054
str 14.71sec 813.78sec -- 796 11383

test50/test_50.20_5_0.1_3_3.2_3_2_2.135.7 nlp wc
40 lines 4225 bytes
head (1,3,3) body (2,3,2,2)
estimated blow-up 135.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1245.02sec 812.52sec -- 6418 331588
htl 20.43sec 812.16sec -- 1094 18093
str 30.61sec 816.73sec -- 1168 16986

test50/test_50.20_5_0.1_1_1.1_1_1_1.1.2 nlp wc
30 lines 608 bytes
head (1,1,1) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.41sec 0.03sec 1 96 1668
htl 0.61sec 0.00sec 1 184 2687
str 0.59sec 0.08sec 1 190 2439

test50/test_50.20_5_0.1_1_1.1_1_1_2.1.3 nlp wc
30 lines 762 bytes
head (1,1,1) body (1,1,1,2)
estimated blow-up 1.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.43sec 0.01sec 1 94 1940
htl 0.65sec 0.00sec 1 182 2830
str 0.78sec 0.16sec 1 208 2824

test50/test_50.20_5_0.1_1_1.1_1_1_3.1.4 nlp wc
30 lines 867 bytes
head (1,1,1) body (1,1,1,3)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.47sec 0.03sec 1 86 1982
htl 0.56sec 0.00sec 1 156 2508
str 0.67sec 0.08sec 1 188 2632

test50/test_50.20_5_0.1_1_1.1_1_1_4.1.5 nlp wc
30 lines 958 bytes
head (1,1,1) body (1,1,1,4)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.37sec 0.00sec 1 86 2185
htl 0.66sec 0.00sec 1 168 2774
str 0.72sec 1.29sec 1 206 2953

test50/test_50.20_5_0.1_1_1.1_2_1_1.4.7 nlp wc
30 lines 1185 bytes
head (1,1,1) body (1,2,1,1)
estimated blow-up 4.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.91sec 0.01sec 1 238 5290
htl 0.95sec 0.01sec 1 315 5115
str 1.03sec 0.01sec 1 351 4832

test50/test_50.20_5_0.1_1_1.1_2_1_2.20.4 nlp wc
30 lines 1839 bytes
head (1,1,1) body (1,2,1,2)
estimated blow-up 20.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.31sec 0.21sec 2 698 24025
htl 1.62sec 330.21sec -- 468 7799
str 2.08sec 272.93sec -- 512 7319

test50/test_50.20_5_0.1_1_1.1_2_1_3.85.3 nlp wc
30 lines 2681 bytes
head (1,1,1) body (1,2,1,3)
estimated blow-up 85.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 69.15sec 4.37sec 1 2652 131763
htl 2.42sec 3.56sec 1 588 10344
str 3.56sec 257.80sec -- 660 9663

test50/test_50.20_5_0.1_1_1.1_2_1_4.350.0 nlp wc
30 lines 3425 bytes
head (1,1,1) body (1,2,1,4)
estimated blow-up 350.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 893.97sec 92.22sec 1 9570 614211
htl 3.22sec 110.63sec 1 700 12671
str 5.04sec 262.26sec -- 780 11545

test50/test_50.20_5_0.1_1_1.1_2_2_1.1.8 nlp wc
30 lines 746 bytes
head (1,1,1) body (1,2,2,1)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.59sec 0.00sec 0 132 2301
htl 0.72sec 0.00sec 0 260 3896
str 0.88sec 0.01sec 0 260 3346

test50/test_50.20_5_0.1_1_1.1_2_2_2.3.7 nlp wc
30 lines 1045 bytes
head (1,1,1) body (1,2,2,2)
estimated blow-up 3.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.81sec 0.01sec 1 212 4506
htl 0.96sec 0.28sec 1 320 4897
str 1.07sec 5.10sec 1 320 4228

test50/test_50.20_5_0.1_1_1.1_2_2_3.7.4 nlp wc
30 lines 1280 bytes
head (1,1,1) body (1,2,2,3)
estimated blow-up 7.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.83sec 0.05sec 1 364 9438
htl 1.30sec 22.24sec 1 396 6112
str 1.38sec 260.56sec -- 398 5434

test50/test_50.20_5_0.1_1_1.1_2_2_4.15.0 nlp wc
30 lines 1597 bytes
head (1,1,1) body (1,2,2,4)
estimated blow-up 15.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.94sec 0.23sec 1 674 21957
htl 1.74sec 5.22sec 1 458 7272
str 1.84sec 32.88sec 1 458 6331

test50/test_50.20_5_0.1_1_1.1_3_1_1.32.0 nlp wc
30 lines 2216 bytes
head (1,1,1) body (1,3,1,1)
estimated blow-up 32.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 10.76sec 0.17sec 1 1014 33160
htl 1.78sec 0.02sec 1 482 8570
str 2.50sec 0.06sec 1 534 7663

test50/test_50.20_5_0.1_1_1.1_3_1_2.821.0 nlp wc
30 lines 3823 bytes
head (1,1,1) body (1,3,1,2)
estimated blow-up 821.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3858.46sec 196.14sec 2 19632 1094240
htl 3.45sec 203.95sec 2 734 13658
str 5.59sec 260.16sec -- 800 11824

test50/test_50.20_5_0.1_1_1.1_3_2_1.10.2 nlp wc
30 lines 1541 bytes
head (1,1,1) body (1,3,2,1)
estimated blow-up 10.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.31sec 0.03sec 1 434 10205
htl 1.35sec 0.01sec 1 374 6335
str 1.69sec 0.05sec 1 426 6041

test50/test_50.20_5_0.1_1_1.1_3_2_2.97.7 nlp wc
30 lines 2510 bytes
head (1,1,1) body (1,3,2,2)
estimated blow-up 97.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 93.10sec 4.53sec 1 3150 115194
htl 2.08sec 0.43sec 1 522 9182
str 3.03sec 0.80sec 1 588 8581

test50/test_50.20_5_0.1_1_1.1_3_2_3.905.0 nlp wc
30 lines 3619 bytes
head (1,1,1) body (1,3,2,3)
estimated blow-up 905.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 8665.61sec 258.99sec -- 28446 1449438
htl 3.12sec 25.94sec 0 684 12605
str 5.18sec 116.81sec 0 768 11472

test50/test_50.20_5_0.1_1_1.1_3_3_1.2.3 nlp wc
30 lines 858 bytes
head (1,1,1) body (1,3,3,1)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.65sec 0.01sec 1 170 2904
htl 0.89sec 0.01sec 1 284 4359
str 0.89sec 0.01sec 1 284 3711

test50/test_50.20_5_0.1_1_1.1_3_3_2.6.5 nlp wc
30 lines 1272 bytes
head (1,1,1) body (1,3,3,2)
estimated blow-up 6.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.99sec 0.05sec 1 406 8787
htl 1.28sec 0.04sec 1 369 5791
str 1.36sec 0.07sec 1 369 4939

test50/test_50.20_5_0.1_1_1.1_3_3_3.19.1 nlp wc
30 lines 1626 bytes
head (1,1,1) body (1,3,3,3)
estimated blow-up 19.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 11.81sec 0.67sec 0 1120 29952
htl 1.69sec 46.28sec 0 467 7363
str 1.79sec 127.77sec 0 467 6447

test50/test_50.20_5_0.1_1_1.1_3_3_4.56.6 nlp wc
30 lines 2044 bytes
head (1,1,1) body (1,3,3,4)
estimated blow-up 56.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 91.23sec 7.04sec 1 3124 104072
htl 2.17sec 96.45sec 1 535 8686
str 2.57sec 258.35sec -- 535 7515

test50/test_50.20_5_0.1_1_1.2_2_2_1.1.3 nlp wc
30 lines 709 bytes
head (1,1,1) body (2,2,2,1)
estimated blow-up 1.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.50sec 0.00sec 0 90 1763
htl 0.64sec 0.00sec 0 172 2591
str 0.66sec 0.54sec 0 186 2471

test50/test_50.20_5_0.1_1_1.2_2_2_2.1.5 nlp wc
30 lines 1012 bytes
head (1,1,1) body (2,2,2,2)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.53sec 0.00sec 1 94 2343
htl 0.67sec 0.00sec 1 182 3020
str 0.62sec 1.11sec 1 214 3061

test50/test_50.20_5_0.1_1_1.2_2_2_3.1.6 nlp wc
30 lines 1297 bytes
head (1,1,1) body (2,2,2,3)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.57sec 0.00sec 1 88 2717
htl 0.63sec 0.00sec 1 152 2827
str 0.86sec 0.47sec 1 194 2981

test50/test_50.20_5_0.1_1_1.2_2_2_4.1.6 nlp wc
30 lines 1508 bytes
head (1,1,1) body (2,2,2,4)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.62sec 0.00sec 1 90 3105
htl 0.60sec 0.00sec 1 172 3274
str 0.84sec 1.08sec 1 218 3423

test50/test_50.20_5_0.1_1_1.2_3_2_1.9.2 nlp wc
30 lines 1806 bytes
head (1,1,1) body (2,3,2,1)
estimated blow-up 9.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.35sec 0.06sec 1 432 11917
htl 2.17sec 53.46sec 1 556 8784
str 2.73sec 258.97sec -- 594 8244

test50/test_50.20_5_0.1_1_1.2_3_2_2.85.6 nlp wc
30 lines 3176 bytes
head (1,1,1) body (2,3,2,2)
estimated blow-up 85.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 102.19sec 8.25sec 1 3280 154980
htl 4.43sec 260.68sec -- 910 15054
str 6.48sec 258.65sec -- 974 14008

test50/test_50.20_5_0.1_1_1.2_3_2_3.782.3 nlp wc
30 lines 4464 bytes
head (1,1,1) body (2,3,2,3)
estimated blow-up 782.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 7622.70sec 263.45sec -- 27156 1768441
htl 8.03sec 263.14sec -- 1231 20534
str 11.83sec 267.18sec -- 1305 18937

test50/test_50.20_5_0.1_1_1.2_3_3_1.2.2 nlp wc
30 lines 1163 bytes
head (1,1,1) body (2,3,3,1)
estimated blow-up 2.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.64sec 0.01sec 1 168 3484
htl 1.66sec 0.06sec 1 454 6612
str 1.45sec 0.23sec 1 454 5978

test50/test_50.20_5_0.1_1_1.2_3_3_2.6.3 nlp wc
30 lines 1944 bytes
head (1,1,1) body (2,3,3,2)
estimated blow-up 6.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.14sec 0.08sec 1 398 12658
htl 3.13sec 263.60sec -- 713 10883
str 3.31sec 259.84sec -- 713 9806

test50/test_50.20_5_0.1_1_1.2_3_3_3.18.6 nlp wc
30 lines 2719 bytes
head (1,1,1) body (2,3,3,3)
estimated blow-up 18.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 13.49sec 0.96sec 1 1136 49848
htl 5.09sec 261.03sec -- 1002 15588
str 6.08sec 258.58sec -- 1002 14055

test50/test_50.20_5_0.1_1_1.2_3_3_4.55.4 nlp wc
30 lines 3323 bytes
head (1,1,1) body (2,3,3,4)
estimated blow-up 55.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 101.42sec 10.03sec 0 3242 171813
htl 7.90sec 258.25sec -- 1245 19276
str 9.57sec 260.52sec -- 1245 17471

test50/test_50.20_5_0.1_1_1.3_3_3_1.1.4 nlp wc
30 lines 850 bytes
head (1,1,1) body (3,3,3,1)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.48sec 0.00sec 1 90 2016
htl 0.57sec 0.00sec 1 166 2634
str 0.63sec 0.50sec 1 192 2657

test50/test_50.20_5_0.1_1_1.3_3_3_2.1.6 nlp wc
30 lines 1220 bytes
head (1,1,1) body (3,3,3,2)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.46sec 0.00sec 1 90 2670
htl 0.54sec 0.00sec 1 166 2981
str 0.79sec 1.03sec 1 214 3247

test50/test_50.20_5_0.1_1_1.3_3_3_3.1.7 nlp wc
30 lines 1548 bytes
head (1,1,1) body (3,3,3,3)
estimated blow-up 1.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.57sec 0.00sec 1 94 3325
htl 0.73sec 0.00sec 1 176 3425
str 0.88sec 4.26sec 1 218 3514

test50/test_50.20_5_0.1_1_1.3_3_3_4.1.7 nlp wc
30 lines 1954 bytes
head (1,1,1) body (3,3,3,4)
estimated blow-up 1.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.72sec 0.00sec 1 90 3898
htl 0.76sec 0.00sec 1 178 3759
str 0.90sec 4.44sec 1 230 3881

test50/test_50.20_5_0.1_2_1.1_1_1_1.1.2 nlp wc
40 lines 1549 bytes
head (1,2,1) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.70sec 0.04sec 288 161 3127
htl 1.56sec 44.87sec 288 402 6045
str 1.42sec 44.25sec 288 404 5339

test50/test_50.20_5_0.1_2_1.1_1_1_2.1.5 nlp wc
40 lines 1672 bytes
head (1,2,1) body (1,1,1,2)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.67sec 0.04sec 80 172 3769
htl 1.56sec 259.12sec -- 422 6531
str 1.77sec 260.73sec -- 432 5909

test50/test_50.20_5_0.1_2_1.1_1_1_3.1.6 nlp wc
40 lines 1808 bytes
head (1,2,1) body (1,1,1,3)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.70sec 0.01sec 48 159 4078
htl 1.26sec 132.79sec 48 394 6228
str 1.73sec 133.58sec 48 410 5646

test50/test_50.20_5_0.1_2_1.1_1_1_4.1.8 nlp wc
40 lines 1907 bytes
head (1,2,1) body (1,1,1,4)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.75sec 0.03sec 32 158 4421
htl 1.48sec 258.93sec -- 393 6251
str 1.76sec 258.13sec -- 413 5773

test50/test_50.20_5_0.1_2_1.1_2_1_1.5.8 nlp wc
40 lines 2136 bytes
head (1,2,1) body (1,2,1,1)
estimated blow-up 5.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.05sec 0.08sec 119 412 10599
htl 1.99sec 39.10sec 119 535 8544
str 2.60sec 41.19sec 119 567 7896

test50/test_50.20_5_0.1_2_1.1_2_1_2.28.5 nlp wc
40 lines 2922 bytes
head (1,2,1) body (1,2,1,2)
estimated blow-up 28.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 18.50sec 0.64sec 122 1337 53799
htl 2.93sec 258.99sec -- 659 11152
str 4.31sec 259.34sec -- 715 10306

test50/test_50.20_5_0.1_2_1.1_2_1_3.128.0 nlp wc
40 lines 3576 bytes
head (1,2,1) body (1,2,1,3)
estimated blow-up 128.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 257.61sec 16.02sec 40 5167 271245
htl 3.79sec 267.79sec -- 793 13650
str 5.77sec 270.28sec -- 863 12632

test50/test_50.20_5_0.1_2_1.1_2_1_4.551.4 nlp wc
40 lines 4384 bytes
head (1,2,1) body (1,2,1,4)
estimated blow-up 551.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4237.07sec 260.71sec -- 20339 1369531
htl 4.83sec 260.25sec -- 913 16164
str 7.62sec 259.81sec -- 1001 14823

test50/test_50.20_5_0.1_2_1.1_2_2_1.2.1 nlp wc
39 lines 1676 bytes
head (1,2,1) body (1,2,2,1)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.09sec 0.00sec 0 241 4869
htl 1.75sec 0.01sec 0 481 7335
str 1.81sec 0.01sec 0 481 6478

test50/test_50.20_5_0.1_2_1.1_2_2_2.4.7 nlp wc
40 lines 1947 bytes
head (1,2,1) body (1,2,2,2)
estimated blow-up 4.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.79sec 0.08sec 166 390 9419
htl 1.97sec 258.14sec -- 535 8289
str 2.19sec 257.91sec -- 535 7343

test50/test_50.20_5_0.1_2_1.1_2_2_3.10.1 nlp wc
40 lines 2163 bytes
head (1,2,1) body (1,2,2,3)
estimated blow-up 10.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.14sec 0.29sec 43 711 20391
htl 2.43sec 257.99sec -- 582 9012
str 2.64sec 259.18sec -- 582 8004

test50/test_50.20_5_0.1_2_1.1_2_2_4.21.4 nlp wc
40 lines 2500 bytes
head (1,2,1) body (1,2,2,4)
estimated blow-up 21.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 18.10sec 1.04sec 105 1347 47865
htl 2.80sec 259.00sec -- 660 10504
str 3.27sec 258.83sec -- 660 9271

test50/test_50.20_5_0.1_2_1.1_3_1_1.45.5 nlp wc
40 lines 3003 bytes
head (1,2,1) body (1,3,1,1)
estimated blow-up 45.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 33.15sec 1.05sec 292 1828 65449
htl 3.03sec 228.38sec 292 692 11744
str 4.03sec 259.63sec -- 730 10456

test50/test_50.20_5_0.1_2_1.1_3_1_2.1316.6 nlp wc
40 lines 4784 bytes
head (1,2,1) body (1,3,1,2)
estimated blow-up 1316.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 19588.39sec 259.39sec -- 42879 2545455
htl 5.18sec 262.31sec -- 940 17176
str 8.10sec 258.25sec -- 1004 14902

test50/test_50.20_5_0.1_2_1.1_3_2_1.13.6 nlp wc
40 lines 2512 bytes
head (1,2,1) body (1,3,2,1)
estimated blow-up 13.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.67sec 0.34sec 217 818 22390
htl 2.51sec 4.03sec 217 591 9828
str 3.24sec 4.62sec 217 641 9167

test50/test_50.20_5_0.1_2_1.1_3_2_2.147.3 nlp wc
40 lines 3474 bytes
head (1,2,1) body (1,3,2,2)
estimated blow-up 147.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 393.53sec 13.92sec 244 6589 267225
htl 3.63sec 260.47sec -- 763 13147
str 5.36sec 258.93sec -- 829 12131

test50/test_50.20_5_0.1_2_1.1_3_2_3.1458.0 nlp wc
40 lines 4621 bytes
head (1,2,1) body (1,3,2,3)
estimated blow-up 1458.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 53605.96sec 414.47sec -- 53576 2885635
htl 7.88sec 414.59sec -- 932 16725
str 13.30sec 413.51sec -- 1012 14999

test50/test_50.20_5_0.1_2_1.1_3_3_1.2.9 nlp wc
40 lines 1804 bytes
head (1,2,1) body (1,3,3,1)
estimated blow-up 2.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.30sec 0.47sec 1088 311 6305
htl 3.09sec 5.28sec 1088 503 7781
str 3.18sec 5.19sec 1088 503 6862

test50/test_50.20_5_0.1_2_1.1_3_3_2.9.1 nlp wc
40 lines 2196 bytes
head (1,2,1) body (1,3,3,2)
estimated blow-up 9.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 10.37sec 0.25sec 4 778 19568
htl 3.84sec 0.30sec 4 580 9153
str 4.18sec 0.31sec 4 580 8056

test50/test_50.20_5_0.1_2_1.1_3_3_3.28.5 nlp wc
40 lines 2569 bytes
head (1,2,1) body (1,3,3,3)
estimated blow-up 28.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 73.03sec 4.42sec 314 2211 67121
htl 4.70sec 413.37sec -- 673 10695
str 5.49sec 412.70sec -- 673 9434

test50/test_50.20_5_0.1_2_1.1_3_3_4.88.4 nlp wc
39 lines 2923 bytes
head (1,2,1) body (1,3,3,4)
estimated blow-up 88.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 574.10sec 24.77sec 0 6382 231927
htl 5.58sec 0.01sec 0 757 12290
str 6.50sec 0.01sec 0 757 10772

test50/test_50.20_5_0.1_2_1.2_2_2_1.1.5 nlp wc
39 lines 1623 bytes
head (1,2,1) body (2,2,2,1)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.88sec 0.00sec 0 157 3553
htl 2.09sec 0.01sec 0 383 5865
str 2.26sec 0.01sec 0 393 5273

test50/test_50.20_5_0.1_2_1.2_2_2_2.1.8 nlp wc
40 lines 1877 bytes
head (1,2,1) body (2,2,2,2)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.13sec 0.01sec 24 169 4532
htl 2.05sec 414.55sec -- 407 6528
str 2.60sec 414.10sec -- 417 5835

test50/test_50.20_5_0.1_2_1.2_2_2_3.2.1 nlp wc
40 lines 2253 bytes
head (1,2,1) body (2,2,2,3)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.29sec 0.01sec 24 169 5601
htl 2.34sec 412.86sec -- 419 6938
str 3.03sec 413.13sec -- 443 6403

test50/test_50.20_5_0.1_2_1.2_2_2_4.2.3 nlp wc
40 lines 2504 bytes
head (1,2,1) body (2,2,2,4)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.29sec 0.02sec 32 164 6393
htl 2.48sec 414.88sec -- 408 6990
str 3.08sec 415.46sec -- 436 6448

test50/test_50.20_5_0.1_2_1.2_3_2_1.13.3 nlp wc
40 lines 2783 bytes
head (1,2,1) body (2,3,2,1)
estimated blow-up 13.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 10.93sec 0.39sec 72 800 25219
htl 5.62sec 415.14sec -- 763 12264
str 7.79sec 414.57sec -- 803 11381

test50/test_50.20_5_0.1_2_1.2_3_2_2.138.9 nlp wc
40 lines 4133 bytes
head (1,2,1) body (2,3,2,2)
estimated blow-up 138.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 628.74sec 43.07sec 57 6486 329659
htl 10.88sec 414.08sec -- 1115 18445
str 15.33sec 415.38sec -- 1179 17084

test50/test_50.20_5_0.1_2_1.2_3_2_3.1339.8 nlp wc
40 lines 5470 bytes
head (1,2,1) body (2,3,2,3)
estimated blow-up 1339.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 65287.59sec 414.51sec -- 58437 4085481
htl 16.94sec 413.28sec -- 1465 24500
str 26.78sec 413.10sec -- 1547 22530

test50/test_50.20_5_0.1_2_1.2_3_3_1.3.1 nlp wc
40 lines 2090 bytes
head (1,2,1) body (2,3,3,1)
estimated blow-up 3.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.39sec 0.39sec 830 326 7693
htl 4.68sec 413.15sec -- 677 10292
str 5.02sec 417.61sec -- 677 9271

test50/test_50.20_5_0.1_2_1.2_3_3_2.9.9 nlp wc
40 lines 2904 bytes
head (1,2,1) body (2,3,3,2)
estimated blow-up 9.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 11.86sec 1.31sec 805 814 28457
htl 8.11sec 448.98sec -- 963 14982
str 9.23sec 426.58sec -- 963 13479

test50/test_50.20_5_0.1_2_1.2_3_3_3.30.9 nlp wc
40 lines 3560 bytes
head (1,2,1) body (2,3,3,3)
estimated blow-up 30.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 72.80sec 5.70sec 8 2140 99592
htl 11.42sec 427.21sec -- 1178 18429
str 14.17sec 425.88sec -- 1178 16641

test50/test_50.20_5_0.1_2_1.2_3_3_4.95.3 nlp wc
40 lines 4234 bytes
head (1,2,1) body (2,3,3,4)
estimated blow-up 95.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 629.73sec 62.98sec 22 6478 361914
htl 16.80sec 415.60sec -- 1453 22654
str 19.98sec 412.98sec -- 1453 20640

test50/test_50.20_5_0.1_2_1.3_3_3_1.1.6 nlp wc
40 lines 1818 bytes
head (1,2,1) body (3,3,3,1)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.18sec 0.01sec 24 167 4261
htl 2.44sec 412.52sec -- 411 6491
str 2.75sec 419.88sec -- 429 5972

test50/test_50.20_5_0.1_2_1.3_3_3_2.2.1 nlp wc
40 lines 2201 bytes
head (1,2,1) body (3,3,3,2)
estimated blow-up 2.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.22sec 0.01sec 8 164 5469
htl 2.40sec 422.69sec -- 405 6693
str 2.96sec 429.21sec -- 435 6296

test50/test_50.20_5_0.1_2_1.3_3_3_3.2.4 nlp wc
40 lines 2610 bytes
head (1,2,1) body (3,3,3,3)
estimated blow-up 2.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.27sec 0.02sec 32 170 7081
htl 2.67sec 425.13sec -- 414 7215
str 3.36sec 434.15sec -- 442 6638

test50/test_50.20_5_0.1_2_1.3_3_3_4.2.6 nlp wc
40 lines 2928 bytes
head (1,2,1) body (3,3,3,4)
estimated blow-up 2.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.60sec 0.06sec 32 172 8041
htl 2.49sec 416.99sec -- 425 7628
str 3.45sec 416.47sec -- 453 6998

test50/test_50.20_5_0.1_2_2.1_1_1_1.1.2 nlp wc
34 lines 1093 bytes
head (1,2,2) body (1,1,1,1)
estimated blow-up 1.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.01sec 24.14sec 100000 139 2580
htl 1.85sec 415.66sec -- 329 4774
str 1.65sec 414.23sec -- 331 4304

test50/test_50.20_5_0.1_2_2.1_1_1_2.1.4 nlp wc
35 lines 1237 bytes
head (1,2,2) body (1,1,1,2)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.14sec 0.26sec 1107 137 2904
htl 1.61sec 414.29sec -- 321 4775
str 1.78sec 414.54sec -- 329 4383

test50/test_50.20_5_0.1_2_2.1_1_1_3.1.5 nlp wc
35 lines 1341 bytes
head (1,2,2) body (1,1,1,3)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.94sec 0.12sec 408 135 3223
htl 1.82sec 414.30sec -- 316 4820
str 2.04sec 415.17sec -- 334 4565

test50/test_50.20_5_0.1_2_2.1_1_1_4.1.6 nlp wc
35 lines 1470 bytes
head (1,2,2) body (1,1,1,4)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.00sec 0.02sec 135 141 3713
htl 1.72sec 413.86sec -- 322 5081
str 1.95sec 413.43sec -- 338 4727

test50/test_50.20_5_0.1_2_2.1_2_1_1.5.3 nlp wc
35 lines 1750 bytes
head (1,2,2) body (1,2,1,1)
estimated blow-up 5.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.41sec 45.38sec 100000 330 8250
htl 2.72sec 412.20sec -- 467 7360
str 3.30sec 412.46sec -- 503 7013

test50/test_50.20_5_0.1_2_2.1_2_1_2.24.8 nlp wc
35 lines 2371 bytes
head (1,2,2) body (1,2,1,2)
estimated blow-up 24.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 17.86sec 7.69sec 8881 1051 38670
htl 3.87sec 412.64sec -- 589 9572
str 5.01sec 413.89sec -- 627 8895

test50/test_50.20_5_0.1_2_2.1_2_1_3.108.3 nlp wc
35 lines 3250 bytes
head (1,2,2) body (1,2,1,3)
estimated blow-up 108.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 238.88sec 42.33sec 16979 3945 210464
htl 5.39sec 413.26sec -- 699 12069
str 7.68sec 413.37sec -- 767 11226

test50/test_50.20_5_0.1_2_2.1_2_1_4.457.5 nlp wc
35 lines 3800 bytes
head (1,2,2) body (1,2,1,4)
estimated blow-up 457.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3657.26sec 264.83sec 428 14639 958356
htl 6.48sec 431.90sec -- 820 14195
str 9.88sec 424.28sec -- 890 13104

test50/test_50.20_5_0.1_2_2.1_2_2_1.2.0 nlp wc
35 lines 1246 bytes
head (1,2,2) body (1,2,2,1)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.29sec 23.53sec 100000 198 3760
htl 2.10sec 111.90sec 100000 394 5817
str 2.18sec 179.05sec 100000 394 5231

test50/test_50.20_5_0.1_2_2.1_2_2_2.4.3 nlp wc
35 lines 1558 bytes
head (1,2,2) body (1,2,2,2)
estimated blow-up 4.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.50sec 36.40sec 100000 310 7230
htl 2.76sec 415.06sec -- 460 6933
str 2.95sec 414.20sec -- 460 6290

test50/test_50.20_5_0.1_2_2.1_2_2_3.9.0 nlp wc
35 lines 1790 bytes
head (1,2,2) body (1,2,2,3)
estimated blow-up 9.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.68sec 0.91sec 363 563 15713
htl 3.23sec 413.12sec -- 528 7993
str 3.55sec 412.82sec -- 528 7226

test50/test_50.20_5_0.1_2_2.1_2_2_4.18.6 nlp wc
35 lines 2126 bytes
head (1,2,2) body (1,2,2,4)
estimated blow-up 18.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 17.11sec 16.87sec 40472 1035 36694
htl 3.77sec 412.55sec -- 579 9071
str 4.01sec 412.58sec -- 579 8117

test50/test_50.20_5_0.1_2_2.1_3_1_1.39.3 nlp wc
35 lines 2675 bytes
head (1,2,2) body (1,3,1,1)
estimated blow-up 39.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 32.27sec 28.75sec 31719 1415 49848
htl 3.69sec 416.11sec -- 592 10068
str 5.38sec 414.16sec -- 634 9068

test50/test_50.20_5_0.1_2_2.1_3_1_2.1084.2 nlp wc
35 lines 4293 bytes
head (1,2,2) body (1,3,1,2)
estimated blow-up 1084.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 14392.63sec 415.31sec -- 30842 1778878
htl 6.87sec 415.52sec -- 848 15337
str 11.24sec 413.61sec -- 916 13552

test50/test_50.20_5_0.1_2_2.1_3_2_1.12.1 nlp wc
35 lines 2008 bytes
head (1,2,2) body (1,3,2,1)
estimated blow-up 12.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.52sec 51.49sec 100000 616 15609
htl 2.97sec 208.63sec 100000 494 7914
str 3.61sec 164.04sec 100000 540 7602

test50/test_50.20_5_0.1_2_2.1_3_2_2.124.6 nlp wc
35 lines 3107 bytes
head (1,2,2) body (1,3,2,2)
estimated blow-up 124.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 368.66sec 369.23sec 100000 4963 198002
htl 4.70sec 426.76sec -- 671 11581
str 7.34sec 438.59sec -- 741 10870

test50/test_50.20_5_0.1_2_2.1_3_2_3.1200.7 nlp wc
35 lines 4109 bytes
head (1,2,2) body (1,3,2,3)
estimated blow-up 1200.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 29596.66sec 414.14sec -- 40879 2180719
htl 6.66sec 414.39sec -- 842 14942
str 11.18sec 414.39sec -- 920 13590

test50/test_50.20_5_0.1_2_2.1_3_3_1.2.7 nlp wc
35 lines 1297 bytes
head (1,2,2) body (1,3,3,1)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.75sec 25.01sec 100000 247 4579
htl 2.23sec 94.12sec 100000 399 5835
str 2.49sec 99.78sec 100000 399 5298

test50/test_50.20_5_0.1_2_2.1_3_3_2.8.1 nlp wc
35 lines 1768 bytes
head (1,2,2) body (1,3,3,2)
estimated blow-up 8.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.41sec 49.21sec 100000 619 14659
htl 2.82sec 192.68sec 100000 502 7649
str 3.18sec 242.49sec 100000 502 6888

test50/test_50.20_5_0.1_2_2.1_3_3_3.24.6 nlp wc
35 lines 2146 bytes
head (1,2,2) body (1,3,3,3)
estimated blow-up 24.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 41.90sec 122.55sec 100000 1650 48008
htl 3.88sec 414.62sec -- 598 9341
str 4.36sec 419.13sec -- 598 8372

test50/test_50.20_5_0.1_2_2.1_3_3_4.74.8 nlp wc
35 lines 2469 bytes
head (1,2,2) body (1,3,3,4)
estimated blow-up 74.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 346.41sec 171.25sec 100000 4780 164996
htl 4.45sec 415.22sec -- 667 10538
str 5.60sec 436.75sec -- 667 9403

test50/test_50.20_5_0.1_2_2.2_2_2_1.1.4 nlp wc
35 lines 1204 bytes
head (1,2,2) body (2,2,2,1)
estimated blow-up 1.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.93sec 0.16sec 771 132 2800
htl 1.66sec 426.35sec -- 307 4594
str 1.93sec 430.86sec -- 319 4267

test50/test_50.20_5_0.1_2_2.2_2_2_2.1.6 nlp wc
35 lines 1458 bytes
head (1,2,2) body (2,2,2,2)
estimated blow-up 1.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.96sec 0.09sec 287 139 3533
htl 1.66sec 414.44sec -- 317 4972
str 2.06sec 415.91sec -- 327 4532

test50/test_50.20_5_0.1_2_2.2_2_2_3.1.8 nlp wc
34 lines 1766 bytes
head (1,2,2) body (2,2,2,3)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.05sec 0.03sec 243 142 4374
htl 1.88sec 415.26sec -- 326 5323
str 2.05sec 413.03sec -- 348 5022

test50/test_50.20_5_0.1_2_2.2_2_2_4.2.0 nlp wc
35 lines 2025 bytes
head (1,2,2) body (2,2,2,4)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.23sec 0.08sec 243 132 4785
htl 1.58sec 415.13sec -- 304 5175
str 2.45sec 413.96sec -- 338 5054

test50/test_50.20_5_0.1_2_2.2_3_2_1.11.5 nlp wc
35 lines 2251 bytes
head (1,2,2) body (2,3,2,1)
estimated blow-up 11.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.76sec 13.07sec 10283 627 18530
htl 4.72sec 414.27sec -- 682 10672
str 5.46sec 414.26sec -- 710 9983

test50/test_50.20_5_0.1_2_2.2_3_2_2.114.4 nlp wc
35 lines 3769 bytes
head (1,2,2) body (2,3,2,2)
estimated blow-up 114.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 328.38sec 24.10sec 567 4694 236282
htl 8.85sec 414.80sec -- 1002 16591
str 12.51sec 414.27sec -- 1064 15350

test50/test_50.20_5_0.1_2_2.2_3_2_3.1077.6 nlp wc
35 lines 5146 bytes
head (1,2,2) body (2,3,2,3)
estimated blow-up 1077.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 33309.09sec 413.24sec -- 41907 2876047
htl 15.38sec 413.93sec -- 1369 23013
str 23.07sec 413.95sec -- 1449 21142

test50/test_50.20_5_0.1_2_2.2_3_3_1.2.7 nlp wc
35 lines 1662 bytes
head (1,2,2) body (2,3,3,1)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.76sec 27.72sec 100000 263 5921
htl 3.80sec 413.44sec -- 594 8798
str 3.73sec 413.88sec -- 594 8066

test50/test_50.20_5_0.1_2_2.2_3_3_2.8.3 nlp wc
34 lines 2353 bytes
head (1,2,2) body (2,3,3,2)
estimated blow-up 8.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.71sec 0.89sec 1047 612 19774
htl 6.66sec 413.54sec -- 840 12563
str 7.12sec 413.08sec -- 840 11595

test50/test_50.20_5_0.1_2_2.2_3_3_3.25.4 nlp wc
35 lines 3100 bytes
head (1,2,2) body (2,3,3,3)
estimated blow-up 25.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 46.09sec 3.56sec 243 1699 75059
htl 10.24sec 412.47sec -- 1107 16925
str 11.71sec 413.25sec -- 1107 15520

test50/test_50.20_5_0.1_2_2.2_3_3_4.77.1 nlp wc
35 lines 3876 bytes
head (1,2,2) body (2,3,3,4)
estimated blow-up 77.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 369.34sec 34.46sec 273 4942 278823
htl 15.26sec 413.21sec -- 1395 21606
str 18.47sec 425.35sec -- 1395 19696

test50/test_50.20_5_0.1_2_2.3_3_3_1.1.5 nlp wc
35 lines 1320 bytes
head (1,2,2) body (3,3,3,1)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.19sec 0.12sec 627 137 3247
htl 1.83sec 413.70sec -- 309 4760
str 1.85sec 434.31sec -- 325 4452

test50/test_50.20_5_0.1_2_2.3_3_3_2.1.8 nlp wc
35 lines 1731 bytes
head (1,2,2) body (3,3,3,2)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.05sec 0.02sec 135 135 4211
htl 1.86sec 430.50sec -- 310 5077
str 2.07sec 442.64sec -- 330 4756

test50/test_50.20_5_0.1_2_2.3_3_3_3.2.0 nlp wc
35 lines 2092 bytes
head (1,2,2) body (3,3,3,3)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.45sec 0.08sec 243 141 5234
htl 1.78sec 432.72sec -- 328 5655
str 2.65sec 433.48sec -- 356 5376

test50/test_50.20_5_0.1_2_2.3_3_3_4.2.2 nlp wc
35 lines 2486 bytes
head (1,2,2) body (3,3,3,4)
estimated blow-up 2.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.53sec 0.02sec 135 144 6273
htl 2.05sec 414.34sec -- 328 5988
str 2.47sec 414.21sec -- 356 5607

test50/test_50.20_5_0.1_3_1.1_1_1_1.1.3 nlp wc
55 lines 2795 bytes
head (1,3,1) body (1,1,1,1)
estimated blow-up 1.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.50sec 0.06sec 158 242 5068
htl 4.54sec 83.17sec 158 620 9936
str 5.01sec 91.07sec 158 622 8612

test50/test_50.20_5_0.1_3_1.1_1_1_2.1.5 nlp wc
55 lines 3022 bytes
head (1,3,1) body (1,1,1,2)
estimated blow-up 1.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.90sec 1.60sec 3380 260 6319
htl 4.78sec 413.93sec -- 665 10877
str 5.62sec 414.50sec -- 669 9468

test50/test_50.20_5_0.1_3_1.1_1_1_3.1.8 nlp wc
53 lines 3094 bytes
head (1,3,1) body (1,1,1,3)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.77sec 0.02sec 39 245 6755
htl 4.42sec 420.12sec -- 639 10540
str 5.61sec 414.68sec -- 655 9354

test50/test_50.20_5_0.1_3_1.1_1_1_4.2.0 nlp wc
55 lines 3237 bytes
head (1,3,1) body (1,1,1,4)
estimated blow-up 2.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.89sec 0.13sec 191 247 7624
htl 4.50sec 415.29sec -- 638 10640
str 5.88sec 414.74sec -- 650 9331

test50/test_50.20_5_0.1_3_1.1_2_1_1.6.4 nlp wc
55 lines 3418 bytes
head (1,3,1) body (1,2,1,1)
estimated blow-up 6.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 7.95sec 5.74sec 5614 681 18532
htl 6.21sec 412.68sec -- 798 13144
str 8.36sec 412.86sec -- 824 11772

test50/test_50.20_5_0.1_3_1.1_2_1_2.34.2 nlp wc
55 lines 4151 bytes
head (1,3,1) body (1,2,1,2)
estimated blow-up 34.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 78.97sec 2.33sec 75 2243 92563
htl 7.90sec 414.33sec -- 902 15355
str 10.82sec 415.16sec -- 956 13928

test50/test_50.20_5_0.1_3_1.1_2_1_3.162.4 nlp wc
55 lines 4958 bytes
head (1,3,1) body (1,2,1,3)
estimated blow-up 162.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1249.81sec 71.57sec 2000 8965 499034
htl 9.48sec 413.75sec -- 1021 17848
str 14.74sec 413.28sec -- 1091 16010

test50/test_50.20_5_0.1_3_1.1_2_1_4.729.4 nlp wc
55 lines 5519 bytes
head (1,3,1) body (1,2,1,4)
estimated blow-up 729.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 17607.59sec 414.63sec -- 33218 2209818
htl 12.05sec 414.06sec -- 1138 19914
str 19.07sec 412.72sec -- 1216 17988

test50/test_50.20_5_0.1_3_1.1_2_2_1.2.3 nlp wc
55 lines 3016 bytes
head (1,3,1) body (1,2,2,1)
estimated blow-up 2.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.01sec 8.27sec 14034 397 8490
htl 5.32sec 259.70sec 14034 745 12059
str 6.14sec 252.54sec 14034 745 10512

test50/test_50.20_5_0.1_3_1.1_2_2_2.5.2 nlp wc
53 lines 3259 bytes
head (1,3,1) body (1,2,2,2)
estimated blow-up 5.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 7.20sec 0.30sec 269 660 17256
htl 5.95sec 412.74sec -- 764 12387
str 7.14sec 412.96sec -- 764 10766

test50/test_50.20_5_0.1_3_1.1_2_2_3.11.7 nlp wc
55 lines 3518 bytes
head (1,3,1) body (1,2,2,3)
estimated blow-up 11.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 22.44sec 7.70sec 4887 1208 37201
htl 6.72sec 412.46sec -- 838 13618
str 8.26sec 413.30sec -- 838 11925

test50/test_50.20_5_0.1_3_1.1_2_2_4.25.8 nlp wc
55 lines 3860 bytes
head (1,3,1) body (1,2,2,4)
estimated blow-up 25.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 81.16sec 10.01sec 3792 2302 88237
htl 7.80sec 416.19sec -- 908 14964
str 9.72sec 418.18sec -- 908 12968

test50/test_50.20_5_0.1_3_1.1_3_1_1.55.4 nlp wc
55 lines 4376 bytes
head (1,3,1) body (1,3,1,1)
estimated blow-up 55.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 160.86sec 18.09sec 3472 3260 125668
htl 7.92sec 415.00sec -- 919 15927
str 11.63sec 415.26sec -- 957 13955

next up previous contents
Next: About this document ... Up: Subseries: 50 variables Previous: Tables   Contents
Torsten Schaub 2002-10-13