next up previous contents
Next: Cardinality constraints test series Up: Subseries: 50 variables Previous: Tables   Contents

Individual tests

test50/test_50.20_5_0.1_2_0.1_2_0.1.8 nlp
25 lines 606 bytes
head (1,2,0) body (1,2,0)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.13sec 0.00sec 0 108 1663
htl 1.82sec 0.01sec 0 201 2968
str 1.91sec 0.01sec 0 219 2811

test50/test_50.20_5_0.1_2_0.1_2_1.2.2 nlp
25 lines 680 bytes
head (1,2,0) body (1,2,1)
estimated blow-up 2.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.44sec 0.05sec 0 110 1914
htl 1.81sec 0.00sec 0 196 2850
str 1.53sec 0.01sec 0 212 2765

test50/test_50.20_5_0.1_2_0.1_3_0.2.2 nlp
25 lines 682 bytes
head (1,2,0) body (1,3,0)
estimated blow-up 2.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.38sec 0.02sec 0 155 2246
htl 1.97sec 0.08sec 0 234 3500
str 1.98sec 0.00sec 0 254 3331

test50/test_50.20_5_0.1_2_0.1_3_1.2.8 nlp
25 lines 834 bytes
head (1,2,0) body (1,3,1)
estimated blow-up 2.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.03sec 0.01sec 0 158 2881
htl 1.87sec 0.05sec 0 231 3544
str 2.29sec 0.01sec 0 255 3431

test50/test_50.20_5_0.1_2_0.1_4_0.2.5 nlp
25 lines 793 bytes
head (1,2,0) body (1,4,0)
estimated blow-up 2.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.11sec 0.04sec 0 195 2845
htl 2.11sec 0.04sec 0 262 4022
str 2.57sec 0.01sec 0 280 3716

test50/test_50.20_5_0.1_2_0.1_4_1.3.2 nlp
25 lines 959 bytes
head (1,2,0) body (1,4,1)
estimated blow-up 3.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.10sec 0.11sec 0 196 3690
htl 2.15sec 0.00sec 0 255 4036
str 2.02sec 0.01sec 0 283 3844

test50/test_50.20_5_0.1_2_0.2_2_0.3.7 nlp
25 lines 881 bytes
head (1,2,0) body (2,2,0)
estimated blow-up 3.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.52sec 0.01sec 0 193 3554
htl 2.77sec 0.01sec 0 279 4210
str 2.83sec 0.09sec 0 299 3964

test50/test_50.20_5_0.1_2_0.2_2_1.4.3 nlp
25 lines 1011 bytes
head (1,2,0) body (2,2,1)
estimated blow-up 4.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.31sec 0.09sec 0 200 4519
htl 2.69sec 0.01sec 0 286 4520
str 2.68sec 0.01sec 0 310 4235

test50/test_50.20_5_0.1_2_0.2_3_0.6.4 nlp
25 lines 1106 bytes
head (1,2,0) body (2,3,0)
estimated blow-up 6.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.52sec 0.18sec 0 398 7331
htl 3.00sec 0.08sec 0 329 5113
str 3.53sec 0.01sec 0 355 4825

test50/test_50.20_5_0.1_2_0.2_3_1.7.6 nlp
25 lines 1235 bytes
head (1,2,0) body (2,3,1)
estimated blow-up 7.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.68sec 0.09sec 0 394 9244
htl 3.21sec 0.01sec 0 324 5166
str 3.43sec 0.01sec 0 358 4960

test50/test_50.20_5_0.1_2_0.2_4_0.9.1 nlp
25 lines 1293 bytes
head (1,2,0) body (2,4,0)
estimated blow-up 9.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 13.74sec 0.50sec 0 678 12252
htl 3.52sec 0.01sec 0 368 5726
str 3.97sec 0.08sec 0 402 5538

test50/test_50.20_5_0.1_2_0.2_4_1.11.1 nlp
25 lines 1448 bytes
head (1,2,0) body (2,4,1)
estimated blow-up 11.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 14.59sec 0.75sec 1 676 15628
htl 3.78sec 1.56sec 1 365 5872
str 3.97sec 2.62sec 1 391 5430

test50/test_50.20_5_0.1_2_0.3_2_0.7.5 nlp
25 lines 1111 bytes
head (1,2,0) body (3,2,0)
estimated blow-up 7.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.31sec 0.18sec 0 370 8059
htl 2.99sec 0.01sec 0 340 5126
str 3.69sec 0.01sec 0 370 5050

test50/test_50.20_5_0.1_2_0.3_2_1.8.4 nlp
25 lines 1213 bytes
head (1,2,0) body (3,2,1)
estimated blow-up 8.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.44sec 0.21sec 0 360 9641
htl 3.89sec 0.01sec 0 346 5290
str 3.70sec 0.09sec 0 374 5189

test50/test_50.20_5_0.1_2_0.3_3_0.18.8 nlp
25 lines 1466 bytes
head (1,2,0) body (3,3,0)
estimated blow-up 18.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 34.45sec 2.22sec 0 1106 25517
htl 4.25sec 0.01sec 0 418 6568
str 4.67sec 0.04sec 0 446 6234

test50/test_50.20_5_0.1_2_0.3_3_1.21.6 nlp
25 lines 1576 bytes
head (1,2,0) body (3,3,1)
estimated blow-up 21.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 35.76sec 2.25sec 0 1094 30954
htl 4.61sec 10.35sec 0 420 6690
str 5.07sec 11.13sec 0 450 6380

test50/test_50.20_5_0.1_2_0.3_4_0.35.3 nlp
25 lines 1717 bytes
head (1,2,0) body (3,4,0)
estimated blow-up 35.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 183.36sec 9.96sec 0 2511 58471
htl 5.07sec 0.09sec 0 477 7475
str 6.13sec 0.01sec 0 501 7028

test50/test_50.20_5_0.1_2_0.3_4_1.41.3 nlp
25 lines 1856 bytes
head (1,2,0) body (3,4,1)
estimated blow-up 41.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 180.51sec 11.75sec 0 2486 68161
htl 5.53sec 2.31sec 0 483 7755
str 5.93sec 4.14sec 0 519 7447

test50/test_50.20_5_0.1_2_0.4_2_0.15.2 nlp
25 lines 1419 bytes
head (1,2,0) body (4,2,0)
estimated blow-up 15.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 15.28sec 0.86sec 0 679 18969
htl 3.89sec 0.07sec 0 411 6349
str 4.49sec 0.01sec 0 449 6275

test50/test_50.20_5_0.1_2_0.4_2_1.16.7 nlp
25 lines 1484 bytes
head (1,2,0) body (4,2,1)
estimated blow-up 16.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 15.15sec 0.90sec 1 675 21129
htl 4.26sec 867.33sec -- 418 6541
str 4.49sec 774.49sec -- 450 6400

test50/test_50.20_5_0.1_2_0.4_3_0.55.8 nlp
25 lines 1829 bytes
head (1,2,0) body (4,3,0)
estimated blow-up 55.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 266.18sec 20.77sec 0 3138 88446
htl 5.67sec 0.26sec 0 507 8042
str 7.05sec 0.78sec 0 553 7910

test50/test_50.20_5_0.1_2_0.4_3_1.62.7 nlp
25 lines 1954 bytes
head (1,2,0) body (4,3,1)
estimated blow-up 62.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 276.15sec 21.62sec 0 3155 106256
htl 5.43sec 285.68sec 0 499 8005
str 6.70sec 778.52sec -- 545 7848

test50/test_50.20_5_0.1_2_0.4_4_0.138.4 nlp
25 lines 2124 bytes
head (1,2,0) body (4,4,0)
estimated blow-up 138.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2480.67sec 178.92sec 0 9404 251469
htl 6.72sec 0.01sec 0 583 9114
str 8.00sec 0.01sec 0 627 9010

test50/test_50.20_5_0.1_2_0.4_4_1.157.5 nlp
25 lines 2373 bytes
head (1,2,0) body (4,4,1)
estimated blow-up 157.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2416.96sec 167.70sec 1 9060 289979
htl 6.94sec 21.83sec 1 582 9472
str 8.63sec 50.02sec 1 626 9109

test50/test_50.20_5_0.1_3_0.1_2_0.2.2 nlp
25 lines 716 bytes
head (1,3,0) body (1,2,0)
estimated blow-up 2.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.12sec 0.04sec 0 171 2572
htl 2.73sec 0.08sec 0 240 3642
str 2.44sec 0.08sec 0 252 3293

test50/test_50.20_5_0.1_3_0.1_2_1.2.7 nlp
25 lines 883 bytes
head (1,3,0) body (1,2,1)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.77sec 0.08sec 0 173 3139
htl 2.41sec 0.09sec 0 248 3909
str 2.63sec 0.08sec 0 282 3860

test50/test_50.20_5_0.1_3_0.1_3_0.2.7 nlp
25 lines 813 bytes
head (1,3,0) body (1,3,0)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.65sec 0.01sec 0 222 3221
htl 2.42sec 0.08sec 0 264 4035
str 2.73sec 0.04sec 0 282 3741

test50/test_50.20_5_0.1_3_0.1_3_1.3.5 nlp
25 lines 937 bytes
head (1,3,0) body (1,3,1)
estimated blow-up 3.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.36sec 0.09sec 0 224 3961
htl 2.82sec 0.08sec 0 256 3960
str 2.74sec 0.00sec 0 278 3759

test50/test_50.20_5_0.1_3_0.1_4_0.3.1 nlp
25 lines 888 bytes
head (1,3,0) body (1,4,0)
estimated blow-up 3.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.14sec 0.01sec 0 280 3871
htl 2.53sec 0.05sec 0 288 4406
str 2.70sec 0.08sec 0 308 4125

test50/test_50.20_5_0.1_3_0.1_4_1.4.2 nlp
25 lines 1067 bytes
head (1,3,0) body (1,4,1)
estimated blow-up 4.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.54sec 0.02sec 0 286 5153
htl 2.96sec 0.04sec 0 287 4550
str 2.79sec 0.09sec 0 319 4384

test50/test_50.20_5_0.1_3_0.2_2_0.4.7 nlp
25 lines 988 bytes
head (1,3,0) body (2,2,0)
estimated blow-up 4.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.61sec 0.02sec 0 288 5141
htl 3.09sec 0.08sec 0 300 4506
str 3.27sec 0.01sec 0 322 4287

test50/test_50.20_5_0.1_3_0.2_2_1.5.5 nlp
25 lines 1091 bytes
head (1,3,0) body (2,2,1)
estimated blow-up 5.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.28sec 0.02sec 0 290 6396
htl 3.59sec 0.08sec 0 310 4804
str 3.27sec 0.08sec 0 330 4493

test50/test_50.20_5_0.1_3_0.2_3_0.8.3 nlp
25 lines 1202 bytes
head (1,3,0) body (2,3,0)
estimated blow-up 8.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 10.66sec 0.41sec 0 589 10727
htl 3.27sec 0.08sec 0 358 5565
str 3.77sec 0.08sec 0 376 5120

test50/test_50.20_5_0.1_3_0.2_3_1.10.1 nlp
25 lines 1418 bytes
head (1,3,0) body (2,3,1)
estimated blow-up 10.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 10.66sec 0.40sec 0 577 13841
htl 3.66sec 0.01sec 0 362 5920
str 4.36sec 0.01sec 0 406 5769

test50/test_50.20_5_0.1_3_0.2_4_0.12.3 nlp
25 lines 1368 bytes
head (1,3,0) body (2,4,0)
estimated blow-up 12.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 25.84sec 1.09sec 0 977 17247
htl 4.19sec 0.08sec 0 388 5986
str 4.38sec 0.08sec 0 408 5555

test50/test_50.20_5_0.1_3_0.2_4_1.15.1 nlp
25 lines 1556 bytes
head (1,3,0) body (2,4,1)
estimated blow-up 15.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 28.04sec 1.17sec 0 1002 23895
htl 4.17sec 0.04sec 0 402 6484
str 4.60sec 0.03sec 0 430 6069

test50/test_50.20_5_0.1_3_0.3_2_0.9.9 nlp
25 lines 1262 bytes
head (1,3,0) body (3,2,0)
estimated blow-up 9.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 9.41sec 0.42sec 0 530 12152
htl 3.70sec 0.09sec 0 373 5717
str 3.98sec 0.08sec 0 397 5449

test50/test_50.20_5_0.1_3_0.3_2_1.11.2 nlp
25 lines 1353 bytes
head (1,3,0) body (3,2,1)
estimated blow-up 11.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 9.77sec 0.41sec 0 527 14179
htl 4.04sec 0.07sec 0 378 5921
str 4.42sec 0.08sec 0 406 5690

test50/test_50.20_5_0.1_3_0.3_3_0.25.4 nlp
25 lines 1628 bytes
head (1,3,0) body (3,3,0)
estimated blow-up 25.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 77.14sec 3.49sec 0 1683 39967
htl 4.74sec 0.01sec 0 431 6802
str 5.76sec 0.04sec 0 463 6452

test50/test_50.20_5_0.1_3_0.3_3_1.29.5 nlp
25 lines 1650 bytes
head (1,3,0) body (3,3,1)
estimated blow-up 29.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 79.15sec 4.16sec 0 1680 46438
htl 4.72sec 0.01sec 0 439 6914
str 5.48sec 0.01sec 0 473 6698

test50/test_50.20_5_0.1_3_0.3_4_0.48.8 nlp
25 lines 1861 bytes
head (1,3,0) body (3,4,0)
estimated blow-up 48.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 370.29sec 22.23sec 0 3753 86330
htl 6.05sec 0.09sec 0 505 7985
str 6.43sec 0.09sec 0 537 7587

test50/test_50.20_5_0.1_3_0.3_4_1.57.3 nlp
25 lines 1976 bytes
head (1,3,0) body (3,4,1)
estimated blow-up 57.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 368.01sec 22.23sec 0 3713 102378
htl 5.71sec 0.10sec 0 509 8214
str 6.39sec 0.09sec 0 533 7631

test50/test_50.20_5_0.1_3_0.4_2_0.20.4 nlp
25 lines 1497 bytes
head (1,3,0) body (4,2,0)
estimated blow-up 20.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 29.33sec 1.93sec 0 995 26933
htl 4.62sec 126.58sec 0 443 6837
str 5.38sec 150.39sec 0 475 6673

test50/test_50.20_5_0.1_3_0.4_2_1.22.6 nlp
25 lines 1673 bytes
head (1,3,0) body (4,2,1)
estimated blow-up 22.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 32.68sec 2.14sec 1 1031 33235
htl 4.98sec 116.74sec 1 447 7144
str 5.40sec 146.76sec 1 485 6920

test50/test_50.20_5_0.1_3_0.4_3_0.77.1 nlp
25 lines 1916 bytes
head (1,3,0) body (4,3,0)
estimated blow-up 77.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 635.01sec 38.09sec 0 4920 136775
htl 6.02sec 0.10sec 0 529 8317
str 6.30sec 0.10sec 0 561 7985

test50/test_50.20_5_0.1_3_0.4_3_1.87.0 nlp
25 lines 2031 bytes
head (1,3,0) body (4,3,1)
estimated blow-up 87.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 608.82sec 42.62sec 0 4759 153660
htl 5.94sec 0.01sec 0 531 8505
str 7.26sec 0.09sec 0 571 8249

test50/test_50.20_5_0.1_3_0.4_4_0.194.4 nlp
25 lines 2467 bytes
head (1,3,0) body (4,4,0)
estimated blow-up 194.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6864.32sec 456.52sec 0 14671 436834
htl 7.79sec 0.01sec 0 619 10155
str 9.66sec 0.09sec 0 675 9853

test50/test_50.20_5_0.1_3_0.4_4_1.222.1 nlp
25 lines 2474 bytes
head (1,3,0) body (4,4,1)
estimated blow-up 222.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6362.79sec 483.14sec 0 14677 485417
htl 7.66sec 0.09sec 0 615 9988
str 9.58sec 0.09sec 0 671 9839

test50/test_50.20_5_0.1_4_0.1_2_0.2.4 nlp
25 lines 849 bytes
head (1,4,0) body (1,2,0)
estimated blow-up 2.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.42sec 0.01sec 0 211 3041
htl 2.59sec 0.08sec 0 267 4118
str 2.76sec 0.09sec 0 285 3794

test50/test_50.20_5_0.1_4_0.1_2_1.3.1 nlp
25 lines 1008 bytes
head (1,4,0) body (1,2,1)
estimated blow-up 3.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.36sec 0.08sec 0 212 3852
htl 2.59sec 0.09sec 0 270 4302
str 2.51sec 0.09sec 0 298 4074

test50/test_50.20_5_0.1_4_0.1_3_0.3.1 nlp
25 lines 935 bytes
head (1,4,0) body (1,3,0)
estimated blow-up 3.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.46sec 0.01sec 0 289 4181
htl 2.61sec 0.00sec 0 287 4428
str 2.85sec 0.08sec 0 299 3990

test50/test_50.20_5_0.1_4_0.1_3_1.4.1 nlp
25 lines 1092 bytes
head (1,4,0) body (1,3,1)
estimated blow-up 4.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.00sec 0.05sec 0 299 5473
htl 2.71sec 0.08sec 0 297 4741
str 3.44sec 0.01sec 0 319 4375

test50/test_50.20_5_0.1_4_0.1_4_0.3.6 nlp
25 lines 1099 bytes
head (1,4,0) body (1,4,0)
estimated blow-up 3.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.19sec 0.08sec 0 363 5392
htl 3.10sec 0.01sec 0 318 5085
str 3.45sec 0.01sec 0 348 4732

test50/test_50.20_5_0.1_4_0.1_4_1.4.9 nlp
25 lines 1213 bytes
head (1,4,0) body (1,4,1)
estimated blow-up 4.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.69sec 0.02sec 0 385 7185
htl 3.27sec 0.01sec 0 315 5046
str 3.73sec 0.08sec 0 341 4717

test50/test_50.20_5_0.1_4_0.2_2_0.5.4 nlp
25 lines 1124 bytes
head (1,4,0) body (2,2,0)
estimated blow-up 5.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.47sec 0.02sec 0 388 7103
htl 3.44sec 0.08sec 0 342 5298
str 3.45sec 0.01sec 0 352 4734

test50/test_50.20_5_0.1_4_0.2_2_1.6.5 nlp
25 lines 1213 bytes
head (1,4,0) body (2,2,1)
estimated blow-up 6.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.48sec 0.04sec 0 370 8208
htl 3.11sec 0.08sec 0 340 5326
str 3.62sec 0.01sec 0 364 5035

test50/test_50.20_5_0.1_4_0.2_3_0.9.9 nlp
25 lines 1267 bytes
head (1,4,0) body (2,3,0)
estimated blow-up 9.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 16.19sec 0.23sec 0 756 13258
htl 3.78sec 0.01sec 0 378 5777
str 3.91sec 0.10sec 0 398 5443

test50/test_50.20_5_0.1_4_0.2_3_1.12.0 nlp
25 lines 1465 bytes
head (1,4,0) body (2,3,1)
estimated blow-up 12.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 16.70sec 0.59sec 0 746 16938
htl 4.27sec 0.01sec 0 386 6212
str 4.46sec 0.08sec 0 426 6023

test50/test_50.20_5_0.1_4_0.2_4_0.14.8 nlp
25 lines 1537 bytes
head (1,4,0) body (2,4,0)
estimated blow-up 14.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 45.62sec 0.58sec 0 1299 23505
htl 4.58sec 0.08sec 0 425 6714
str 4.67sec 0.01sec 0 459 6437

test50/test_50.20_5_0.1_4_0.2_4_1.18.3 nlp
25 lines 1623 bytes
head (1,4,0) body (2,4,1)
estimated blow-up 18.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 40.13sec 1.40sec 0 1188 26390
htl 4.01sec 0.01sec 0 414 6598
str 4.77sec 0.01sec 0 444 6245

test50/test_50.20_5_0.1_4_0.3_2_0.11.7 nlp
25 lines 1392 bytes
head (1,4,0) body (3,2,0)
estimated blow-up 11.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 15.07sec 0.43sec 0 699 15871
htl 3.89sec 0.09sec 0 405 6299
str 4.54sec 0.08sec 0 433 6030

test50/test_50.20_5_0.1_4_0.3_2_1.13.4 nlp
25 lines 1482 bytes
head (1,4,0) body (3,2,1)
estimated blow-up 13.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 15.74sec 0.53sec 0 697 18538
htl 3.89sec 0.08sec 0 401 6294
str 4.64sec 0.01sec 0 425 5964

test50/test_50.20_5_0.1_4_0.3_3_0.30.9 nlp
25 lines 1736 bytes
head (1,4,0) body (3,3,0)
estimated blow-up 30.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 126.16sec 5.20sec 0 2159 50789
htl 5.20sec 0.10sec 0 469 7459
str 5.72sec 0.08sec 0 503 7117

test50/test_50.20_5_0.1_4_0.3_3_1.36.0 nlp
25 lines 1783 bytes
head (1,4,0) body (3,3,1)
estimated blow-up 36.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 128.49sec 5.71sec 0 2153 60181
htl 5.17sec 0.08sec 0 474 7566
str 5.45sec 0.09sec 0 506 7254

test50/test_50.20_5_0.1_4_0.3_4_0.60.2 nlp
25 lines 2001 bytes
head (1,4,0) body (3,4,0)
estimated blow-up 60.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 615.00sec 18.89sec 0 4872 112208
htl 5.98sec 0.09sec 0 535 8527
str 6.99sec 0.06sec 0 579 8354

test50/test_50.20_5_0.1_4_0.3_4_1.71.1 nlp
25 lines 2210 bytes
head (1,4,0) body (3,4,1)
estimated blow-up 71.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 649.57sec 20.39sec 0 4965 140288
htl 6.24sec 0.02sec 0 540 8916
str 7.73sec 0.08sec 0 588 8561

test50/test_50.20_5_0.1_4_0.4_2_0.24.6 nlp
25 lines 1613 bytes
head (1,4,0) body (4,2,0)
estimated blow-up 24.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 50.26sec 1.16sec 0 1324 35233
htl 4.75sec 0.01sec 0 469 7246
str 5.76sec 0.01sec 0 501 7047

test50/test_50.20_5_0.1_4_0.4_2_1.27.5 nlp
25 lines 1832 bytes
head (1,4,0) body (4,2,1)
estimated blow-up 27.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 47.84sec 3.11sec 0 1279 42087
htl 5.43sec 0.08sec 0 473 7687
str 6.38sec 0.01sec 0 513 7356

test50/test_50.20_5_0.1_4_0.4_3_0.95.3 nlp
25 lines 2014 bytes
head (1,4,0) body (4,3,0)
estimated blow-up 95.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 881.51sec 52.35sec 0 5802 159464
htl 6.01sec 0.05sec 0 550 8644
str 7.46sec 0.01sec 0 586 8389

test50/test_50.20_5_0.1_4_0.4_3_1.108.0 nlp
25 lines 2162 bytes
head (1,4,0) body (4,3,1)
estimated blow-up 108.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 965.59sec 53.39sec 0 6055 198082
htl 6.36sec 0.09sec 0 549 8778
str 7.47sec 0.08sec 0 599 8712

test50/test_50.20_5_0.1_4_0.4_4_0.243.8 nlp
25 lines 2417 bytes
head (1,4,0) body (4,4,0)
estimated blow-up 243.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 10654.91sec 392.79sec 0 18245 506139
htl 7.89sec 0.01sec 0 631 10052
str 9.05sec 0.01sec 0 665 9578

test50/test_50.20_5_0.1_4_0.4_4_1.279.3 nlp
25 lines 2606 bytes
head (1,4,0) body (4,4,1)
estimated blow-up 279.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 10401.28sec 736.00sec 0 18063 594206
htl 7.56sec 0.05sec 0 629 10228
str 9.84sec 0.04sec 0 691 10135

test50/test_50.20_5_0.2_2_0.1_2_0.3.7 nlp
25 lines 808 bytes
head (2,2,0) body (1,2,0)
estimated blow-up 3.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.69sec 0.01sec 2 222 4040
htl 3.30sec 5.56sec 2 293 4393
str 3.25sec 7.40sec 2 315 4193

test50/test_50.20_5_0.2_2_0.1_2_1.4.2 nlp
25 lines 1024 bytes
head (2,2,0) body (1,2,1)
estimated blow-up 4.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.15sec 0.02sec 0 222 4971
htl 2.69sec 1.10sec 0 296 4702
str 3.39sec 10.32sec 0 328 4505

test50/test_50.20_5_0.2_2_0.1_3_0.4.7 nlp
25 lines 932 bytes
head (2,2,0) body (1,3,0)
estimated blow-up 4.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.29sec 0.09sec 0 302 5609
htl 3.51sec 0.08sec 0 330 5121
str 3.76sec 0.02sec 0 346 4686

test50/test_50.20_5_0.2_2_0.1_3_1.5.5 nlp
25 lines 1037 bytes
head (2,2,0) body (1,3,1)
estimated blow-up 5.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.04sec 0.10sec 20 292 6365
htl 3.22sec 10.95sec 20 312 4808
str 3.51sec 14.24sec 20 330 4477

test50/test_50.20_5_0.2_2_0.1_4_0.5.5 nlp
25 lines 1007 bytes
head (2,2,0) body (1,4,0)
estimated blow-up 5.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.19sec 0.02sec 19 374 6775
htl 3.51sec 0.02sec 19 347 5341
str 3.57sec 0.09sec 19 367 5011

test50/test_50.20_5_0.2_2_0.1_4_1.6.6 nlp
25 lines 1137 bytes
head (2,2,0) body (1,4,1)
estimated blow-up 6.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.69sec 0.76sec 78 372 8123
htl 3.51sec 87.77sec 78 336 5190
str 4.10sec 139.96sec 78 362 4978

test50/test_50.20_5_0.2_2_0.2_2_0.7.3 nlp
25 lines 1111 bytes
head (2,2,0) body (2,2,0)
estimated blow-up 7.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.62sec 0.11sec 8 374 8321
htl 3.69sec 86.36sec 8 362 5499
str 4.07sec 318.18sec 8 388 5312

test50/test_50.20_5_0.2_2_0.2_2_1.8.2 nlp
25 lines 1246 bytes
head (2,2,0) body (2,2,1)
estimated blow-up 8.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.07sec 0.11sec 0 372 9927
htl 3.57sec 280.83sec 0 363 5665
str 4.30sec 445.01sec 0 385 5335

test50/test_50.20_5_0.2_2_0.2_3_0.13.2 nlp
25 lines 1330 bytes
head (2,2,0) body (2,3,0)
estimated blow-up 13.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 18.12sec 0.41sec 0 764 17771
htl 4.19sec 28.07sec 0 413 6437
str 4.95sec 31.21sec 0 435 6050

test50/test_50.20_5_0.2_2_0.2_3_1.15.1 nlp
25 lines 1489 bytes
head (2,2,0) body (2,3,1)
estimated blow-up 15.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 18.79sec 0.54sec 3 780 21898
htl 4.28sec 85.26sec 3 420 6769
str 4.86sec 269.12sec 3 452 6429

test50/test_50.20_5_0.2_2_0.2_4_0.19.8 nlp
25 lines 1498 bytes
head (2,2,0) body (2,4,0)
estimated blow-up 19.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 46.19sec 1.53sec 60 1272 28850
htl 4.49sec 23.16sec 60 443 6883
str 5.64sec 40.38sec 60 463 6406

test50/test_50.20_5_0.2_2_0.2_4_1.23.0 nlp
25 lines 1643 bytes
head (2,2,0) body (2,4,1)
estimated blow-up 23.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 51.89sec 1.42sec 16 1330 37801
htl 4.62sec 745.57sec 16 454 7222
str 5.59sec 774.87sec -- 488 6939

test50/test_50.20_5_0.2_2_0.3_2_0.14.7 nlp
25 lines 1338 bytes
head (2,2,0) body (3,2,0)
estimated blow-up 14.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 14.87sec 0.56sec 8 667 17833
htl 3.99sec 774.37sec -- 422 6420
str 4.88sec 774.22sec -- 444 6135

test50/test_50.20_5_0.2_2_0.3_2_1.16.1 nlp
25 lines 1473 bytes
head (2,2,0) body (3,2,1)
estimated blow-up 16.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 15.02sec 0.57sec 19 668 20685
htl 4.32sec 776.05sec -- 432 6782
str 5.34sec 776.12sec -- 466 6619

test50/test_50.20_5_0.2_2_0.3_3_0.38.7 nlp
25 lines 1729 bytes
head (2,2,0) body (3,3,0)
estimated blow-up 38.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 129.61sec 5.85sec 2 2144 60177
htl 5.75sec 777.17sec -- 499 7922
str 6.66sec 775.36sec -- 537 7643

test50/test_50.20_5_0.2_2_0.3_3_1.43.3 nlp
25 lines 1805 bytes
head (2,2,0) body (3,3,1)
estimated blow-up 43.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 131.78sec 5.81sec 8 2141 70515
htl 5.75sec 775.41sec -- 497 7953
str 6.51sec 775.34sec -- 535 7684

test50/test_50.20_5_0.2_2_0.3_4_0.75.4 nlp
25 lines 2059 bytes
head (2,2,0) body (3,4,0)
estimated blow-up 75.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 689.56sec 30.35sec 0 5072 143221
htl 6.22sec 0.91sec 0 567 9140
str 7.56sec 51.38sec 0 613 8849

test50/test_50.20_5_0.2_2_0.3_4_1.85.4 nlp
25 lines 2098 bytes
head (2,2,0) body (3,4,1)
estimated blow-up 85.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 670.45sec 29.17sec 60 4968 161359
htl 6.67sec 774.51sec -- 559 8951
str 7.33sec 777.73sec -- 607 8828

test50/test_50.20_5_0.2_2_0.4_2_0.29.6 nlp
25 lines 1658 bytes
head (2,2,0) body (4,2,0)
estimated blow-up 29.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 51.92sec 2.60sec 14 1334 43721
htl 5.83sec 776.69sec -- 498 7852
str 6.22sec 774.96sec -- 536 7628

test50/test_50.20_5_0.2_2_0.4_2_1.32.1 nlp
25 lines 1728 bytes
head (2,2,0) body (4,2,1)
estimated blow-up 32.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 55.22sec 1.96sec 7 1340 50105
htl 5.38sec 774.67sec -- 494 7835
str 6.58sec 775.38sec -- 528 7541

test50/test_50.20_5_0.2_2_0.4_3_0.114.4 nlp
25 lines 2083 bytes
head (2,2,0) body (4,3,0)
estimated blow-up 114.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1036.88sec 62.48sec 10 6226 208468
htl 7.27sec 775.64sec -- 583 9360
str 8.06sec 774.05sec -- 625 8998

test50/test_50.20_5_0.2_2_0.4_3_1.126.1 nlp
25 lines 2164 bytes
head (2,2,0) body (4,3,1)
estimated blow-up 126.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1130.71sec 84.77sec 3 6454 239927
htl 6.66sec 774.03sec -- 584 9413
str 8.57sec 774.49sec -- 628 9125

test50/test_50.20_5_0.2_2_0.4_4_0.292.6 nlp
25 lines 2566 bytes
head (2,2,0) body (4,4,0)
estimated blow-up 292.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 12375.49sec 487.97sec 10 19800 671067
htl 8.58sec 173.76sec 10 666 10931
str 10.55sec 325.18sec 10 714 10400

test50/test_50.20_5_0.2_2_0.4_4_1.325.9 nlp
25 lines 2629 bytes
head (2,2,0) body (4,4,1)
estimated blow-up 325.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 10412.34sec 558.06sec 22 18766 727587
htl 8.54sec 774.39sec -- 665 10933
str 10.64sec 774.94sec -- 703 10278

test50/test_50.20_5_0.2_3_0.1_2_0.6.1 nlp
25 lines 1073 bytes
head (2,3,0) body (1,2,0)
estimated blow-up 6.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.77sec 0.02sec 0 439 8053
htl 3.92sec 0.09sec 0 355 5503
str 3.80sec 0.01sec 0 377 5151

test50/test_50.20_5_0.2_3_0.1_2_1.7.2 nlp
25 lines 1253 bytes
head (2,3,0) body (1,2,1)
estimated blow-up 7.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 8.36sec 0.09sec 3 471 10287
htl 3.69sec 0.42sec 3 361 5769
str 3.88sec 0.59sec 3 389 5451

test50/test_50.20_5_0.2_3_0.1_3_0.8.1 nlp
25 lines 1192 bytes
head (2,3,0) body (1,3,0)
estimated blow-up 8.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 12.15sec 0.06sec 0 626 11725
htl 4.17sec 0.08sec 0 374 5848
str 4.28sec 0.01sec 0 402 5544

test50/test_50.20_5_0.2_3_0.1_3_1.9.7 nlp
25 lines 1354 bytes
head (2,3,0) body (1,3,1)
estimated blow-up 9.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 12.31sec 0.06sec 1 626 14376
htl 3.80sec 2.58sec 1 372 5901
str 4.47sec 3.65sec 1 410 5734

test50/test_50.20_5_0.2_3_0.1_4_0.9.7 nlp
25 lines 1313 bytes
head (2,3,0) body (1,4,0)
estimated blow-up 9.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 17.95sec 0.11sec 0 800 15082
htl 4.20sec 0.05sec 0 404 6426
str 4.51sec 0.01sec 0 436 6088

test50/test_50.20_5_0.2_3_0.1_4_1.11.8 nlp
25 lines 1419 bytes
head (2,3,0) body (1,4,1)
estimated blow-up 11.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 20.55sec 0.56sec 34 833 18374
htl 4.35sec 9.84sec 34 407 6505
str 4.61sec 12.69sec 34 441 6229

test50/test_50.20_5_0.2_3_0.2_2_0.12.9 nlp
25 lines 1378 bytes
head (2,3,0) body (2,2,0)
estimated blow-up 12.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 17.42sec 0.07sec 6 755 16983
htl 4.22sec 0.42sec 6 408 6320
str 4.81sec 0.73sec 6 438 6077

test50/test_50.20_5_0.2_3_0.2_2_1.14.7 nlp
25 lines 1488 bytes
head (2,3,0) body (2,2,1)
estimated blow-up 14.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 20.50sec 0.24sec 0 811 22076
htl 4.75sec 140.48sec 0 426 6734
str 5.27sec 181.06sec 0 456 6475

test50/test_50.20_5_0.2_3_0.2_3_0.24.3 nlp
25 lines 1609 bytes
head (2,3,0) body (2,3,0)
estimated blow-up 24.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 76.66sec 0.45sec 0 1674 38382
htl 5.20sec 0.07sec 0 465 7347
str 5.53sec 0.05sec 0 507 7194

test50/test_50.20_5_0.2_3_0.2_3_1.28.2 nlp
25 lines 1727 bytes
head (2,3,0) body (2,3,1)
estimated blow-up 28.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 82.31sec 1.25sec 2 1704 47497
htl 5.26sec 13.01sec 2 474 7637
str 6.69sec 23.10sec 2 516 7418

test50/test_50.20_5_0.2_3_0.2_4_0.37.4 nlp
25 lines 1738 bytes
head (2,3,0) body (2,4,0)
estimated blow-up 37.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 190.27sec 1.76sec 0 2659 58445
htl 5.76sec 0.08sec 0 504 7890
str 6.35sec 0.01sec 0 544 7763

test50/test_50.20_5_0.2_3_0.2_4_1.43.9 nlp
25 lines 1947 bytes
head (2,3,0) body (2,4,1)
estimated blow-up 43.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 241.01sec 8.09sec 1 2957 82182
htl 5.27sec 0.17sec 1 514 8396
str 6.98sec 0.05sec 1 550 7970

test50/test_50.20_5_0.2_3_0.3_2_0.27.0 nlp
25 lines 1629 bytes
head (2,3,0) body (3,2,0)
estimated blow-up 27.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 66.21sec 2.11sec 14 1528 41588
htl 5.43sec 56.92sec 14 498 7855
str 5.48sec 91.49sec 14 524 7431

test50/test_50.20_5_0.2_3_0.3_2_1.30.1 nlp
25 lines 1738 bytes
head (2,3,0) body (3,2,1)
estimated blow-up 30.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 57.26sec 1.10sec 0 1387 43588
htl 5.44sec 775.08sec -- 476 7519
str 6.18sec 775.34sec -- 526 7559

test50/test_50.20_5_0.2_3_0.3_3_0.73.9 nlp
25 lines 1992 bytes
head (2,3,0) body (3,3,0)
estimated blow-up 73.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 581.47sec 11.35sec 0 4656 132178
htl 6.58sec 0.29sec 0 552 8861
str 7.71sec 0.42sec 0 594 8527

test50/test_50.20_5_0.2_3_0.3_3_1.83.5 nlp
25 lines 1981 bytes
head (2,3,0) body (3,3,1)
estimated blow-up 83.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 563.07sec 14.38sec 5 4550 144357
htl 6.23sec 774.56sec -- 548 8683
str 7.21sec 773.87sec -- 588 8502

test50/test_50.20_5_0.2_3_0.3_4_0.147.9 nlp
25 lines 2235 bytes
head (2,3,0) body (3,4,0)
estimated blow-up 147.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3541.18sec 23.71sec 0 11087 307567
htl 7.61sec 0.09sec 0 613 9788
str 8.88sec 0.04sec 0 653 9411

test50/test_50.20_5_0.2_3_0.3_4_1.168.8 nlp
25 lines 2432 bytes
head (2,3,0) body (3,4,1)
estimated blow-up 168.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3221.82sec 167.62sec 5 10870 362839
htl 7.36sec 707.00sec 5 615 10097
str 8.86sec 773.47sec -- 671 9864

test50/test_50.20_5_0.2_3_0.4_2_0.56.0 nlp
25 lines 1792 bytes
head (2,3,0) body (4,2,0)
estimated blow-up 56.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 227.63sec 3.30sec 2 2860 86753
htl 6.16sec 229.35sec 2 540 8334
str 6.84sec 536.18sec 2 572 8113

test50/test_50.20_5_0.2_3_0.4_2_1.61.3 nlp
25 lines 2021 bytes
head (2,3,0) body (4,2,1)
estimated blow-up 61.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 243.66sec 3.46sec 6 2942 110553
htl 6.51sec 773.95sec -- 555 8997
str 7.43sec 774.23sec -- 591 8558

test50/test_50.20_5_0.2_3_0.4_3_0.224.5 nlp
25 lines 2336 bytes
head (2,3,0) body (4,3,0)
estimated blow-up 224.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5765.10sec 39.85sec 0 14213 468262
htl 7.68sec 0.92sec 0 631 10161
str 9.83sec 1.25sec 0 679 9814

test50/test_50.20_5_0.2_3_0.4_3_1.249.1 nlp
25 lines 2429 bytes
head (2,3,0) body (4,3,1)
estimated blow-up 249.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5298.82sec 83.79sec 0 13727 519480
htl 7.72sec 50.05sec 0 635 10338
str 9.85sec 84.39sec 0 677 9882

test50/test_50.20_5_0.2_3_0.4_4_0.588.4 nlp
25 lines 2805 bytes
head (2,3,0) body (4,4,0)
estimated blow-up 588.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 56845.39sec 774.86sec -- 41962 1400951
htl 9.37sec 0.09sec 0 717 11791
str 12.25sec 0.77sec 0 773 11319

test50/test_50.20_5_0.2_3_0.4_4_1.658.4 nlp
25 lines 2967 bytes
head (2,3,0) body (4,4,1)
estimated blow-up 658.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 64680.28sec 774.11sec -- 44849 1781990
htl 9.57sec 44.07sec 0 723 12087
str 12.65sec 127.84sec 0 787 11664

test50/test_50.20_5_0.2_4_0.1_2_0.8.6 nlp
25 lines 1333 bytes
head (2,4,0) body (1,2,0)
estimated blow-up 8.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 17.03sec 0.02sec 0 772 14072
htl 4.09sec 0.08sec 0 408 6424
str 4.65sec 0.09sec 0 432 5997

test50/test_50.20_5_0.2_4_0.1_2_1.10.4 nlp
25 lines 1521 bytes
head (2,4,0) body (1,2,1)
estimated blow-up 10.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 18.02sec 0.12sec 0 772 17307
htl 3.95sec 0.05sec 0 406 6564
str 5.05sec 0.01sec 0 442 6237

test50/test_50.20_5_0.2_4_0.1_3_0.11.6 nlp
25 lines 1421 bytes
head (2,4,0) body (1,3,0)
estimated blow-up 11.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 29.96sec 0.21sec 0 1050 19325
htl 4.64sec 0.01sec 0 432 6817
str 5.14sec 0.10sec 0 452 6295

test50/test_50.20_5_0.2_4_0.1_3_1.14.2 nlp
25 lines 1590 bytes
head (2,4,0) body (1,3,1)
estimated blow-up 14.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 32.57sec 0.22sec 0 1076 24120
htl 4.97sec 0.06sec 0 438 7071
str 5.25sec 0.04sec 0 470 6692

test50/test_50.20_5_0.2_4_0.1_4_0.14.2 nlp
25 lines 1629 bytes
head (2,4,0) body (1,4,0)
estimated blow-up 14.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 49.88sec 0.17sec 0 1366 25791
htl 4.85sec 0.10sec 0 459 7501
str 5.64sec 0.01sec 0 493 6967

test50/test_50.20_5_0.2_4_0.1_4_1.17.6 nlp
25 lines 1753 bytes
head (2,4,0) body (1,4,1)
estimated blow-up 17.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 50.34sec 0.44sec 0 1333 30281
htl 4.89sec 0.08sec 0 449 7344
str 5.88sec 0.01sec 0 497 7121

test50/test_50.20_5_0.2_4_0.2_2_0.18.8 nlp
25 lines 1643 bytes
head (2,4,0) body (2,2,0)
estimated blow-up 18.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 50.39sec 0.61sec 0 1330 30262
htl 5.22sec 0.03sec 0 468 7375
str 5.57sec 0.13sec 0 494 6950

test50/test_50.20_5_0.2_4_0.2_2_1.21.8 nlp
25 lines 1744 bytes
head (2,4,0) body (2,2,1)
estimated blow-up 21.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 53.79sec 1.07sec 0 1359 37746
htl 5.61sec 1.09sec 0 477 7626
str 6.25sec 2.27sec 0 511 7330

test50/test_50.20_5_0.2_4_0.2_3_0.36.5 nlp
25 lines 1819 bytes
head (2,4,0) body (2,3,0)
estimated blow-up 36.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 233.10sec 0.77sec 0 2960 66853
htl 6.09sec 0.09sec 0 527 8357
str 6.46sec 0.01sec 0 561 8002

test50/test_50.20_5_0.2_4_0.2_3_1.42.8 nlp
25 lines 1884 bytes
head (2,4,0) body (2,3,1)
estimated blow-up 42.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 238.91sec 6.18sec 0 2946 78847
htl 5.95sec 0.01sec 0 516 8196
str 6.68sec 0.01sec 0 542 7745

test50/test_50.20_5_0.2_4_0.2_4_0.57.3 nlp
25 lines 2094 bytes
head (2,4,0) body (2,4,0)
estimated blow-up 57.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 604.57sec 8.08sec 0 4797 111601
htl 6.75sec 0.10sec 0 552 8913
str 8.05sec 0.10sec 0 596 8558

test50/test_50.20_5_0.2_4_0.2_4_1.67.7 nlp
25 lines 2126 bytes
head (2,4,0) body (2,4,1)
estimated blow-up 67.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 599.41sec 15.94sec 0 4752 127393
htl 6.60sec 0.10sec 0 557 8953
str 7.34sec 0.10sec 0 599 8687

test50/test_50.20_5_0.2_4_0.3_2_0.40.5 nlp
25 lines 1907 bytes
head (2,4,0) body (3,2,0)
estimated blow-up 40.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 200.32sec 0.59sec 0 2702 73561
htl 6.39sec 0.03sec 0 539 8561
str 7.40sec 0.10sec 0 585 8377

test50/test_50.20_5_0.2_4_0.3_2_1.45.6 nlp
25 lines 2038 bytes
head (2,4,0) body (3,2,1)
estimated blow-up 45.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 182.62sec 5.82sec 2 2550 82637
htl 6.39sec 9.10sec 2 540 8744
str 7.13sec 10.53sec 2 576 8337

test50/test_50.20_5_0.2_4_0.3_3_0.114.1 nlp
25 lines 2288 bytes
head (2,4,0) body (3,3,0)
estimated blow-up 114.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1954.33sec 33.87sec 0 8439 238041
htl 7.66sec 0.09sec 0 606 9863
str 9.45sec 0.09sec 0 662 9652

test50/test_50.20_5_0.2_4_0.3_3_1.130.0 nlp
25 lines 2389 bytes
head (2,4,0) body (3,3,1)
estimated blow-up 130.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1767.84sec 34.01sec 8 7974 264001
htl 7.69sec 30.48sec 8 602 9904
str 9.01sec 40.54sec 8 658 9662

test50/test_50.20_5_0.2_4_0.3_4_0.233.0 nlp
25 lines 2600 bytes
head (2,4,0) body (3,4,0)
estimated blow-up 233.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 10930.16sec 69.43sec 0 19104 545909
htl 8.66sec 0.09sec 0 667 10942
str 11.07sec 0.09sec 0 723 10584

test50/test_50.20_5_0.2_4_0.3_4_1.267.4 nlp
25 lines 2639 bytes
head (2,4,0) body (3,4,1)
estimated blow-up 267.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 11431.48sec 365.07sec 0 19860 640196
htl 8.46sec 6.57sec 0 656 10709
str 10.13sec 48.87sec 0 698 10162

test50/test_50.20_5_0.2_4_0.4_2_0.85.7 nlp
25 lines 2194 bytes
head (2,4,0) body (4,2,0)
estimated blow-up 85.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 677.26sec 9.36sec 0 5000 164825
htl 7.25sec 1.17sec 0 602 9725
str 8.17sec 1.28sec 0 648 9365

test50/test_50.20_5_0.2_4_0.4_2_1.94.7 nlp
25 lines 2280 bytes
head (2,4,0) body (4,2,1)
estimated blow-up 94.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 683.31sec 21.44sec 0 5022 187868
htl 7.78sec 112.18sec 0 610 9933
str 9.29sec 179.29sec 0 658 9617

test50/test_50.20_5_0.2_4_0.4_3_0.353.8 nlp
25 lines 2644 bytes
head (2,4,0) body (4,3,0)
estimated blow-up 353.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 17112.26sec 316.76sec 0 23918 798974
htl 8.64sec 0.06sec 0 691 11359
str 11.18sec 0.03sec 0 739 10813

test50/test_50.20_5_0.2_4_0.4_3_1.394.7 nlp
25 lines 2616 bytes
head (2,4,0) body (4,3,1)
estimated blow-up 394.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 17887.06sec 583.73sec 12 24745 895138
htl 8.74sec 775.24sec -- 688 11128
str 10.33sec 775.04sec -- 734 10756

test50/test_50.20_5_0.2_4_0.4_4_0.945.5 nlp
25 lines 3011 bytes
head (2,4,0) body (4,4,0)
estimated blow-up 945.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 174631.55sec 774.95sec -- 72986 2436667
htl 10.38sec 0.02sec 0 760 12471
str 13.44sec 0.02sec 0 802 11745

test50/test_50.20_5_0.2_4_0.4_4_1.1062.2 nlp
25 lines 3108 bytes
head (2,4,0) body (4,4,1)
estimated blow-up 1062.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 181709.91sec 774.20sec -- 73373 2802105
htl 10.80sec 6.36sec 0 764 12582
str 13.63sec 13.55sec 0 824 12201

test50/test_50.20_5_0.3_2_0.1_2_0.7.3 nlp
25 lines 1100 bytes
head (3,2,0) body (1,2,0)
estimated blow-up 7.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.39sec 9.80sec 2949 408 9311
htl 3.61sec 774.67sec -- 381 5843
str 4.15sec 774.23sec -- 403 5531

test50/test_50.20_5_0.3_2_0.1_2_1.8.1 nlp
25 lines 1198 bytes
head (3,2,0) body (1,2,1)
estimated blow-up 8.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.42sec 6.70sec 186 400 10133
htl 4.03sec 775.38sec -- 382 5888
str 4.20sec 775.59sec -- 414 5828

test50/test_50.20_5_0.3_2_0.1_3_0.9.7 nlp
25 lines 1175 bytes
head (3,2,0) body (1,3,0)
estimated blow-up 9.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 9.66sec 2.31sec 972 528 11883
htl 4.56sec 574.83sec 972 398 6084
str 4.78sec 775.90sec -- 426 5908

test50/test_50.20_5_0.3_2_0.1_3_1.10.9 nlp
25 lines 1265 bytes
head (3,2,0) body (1,3,1)
estimated blow-up 10.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 11.62sec 5.44sec 732 574 14781
htl 4.29sec 775.74sec -- 400 6147
str 4.39sec 775.80sec -- 414 5743

test50/test_50.20_5_0.3_2_0.1_4_0.11.6 nlp
25 lines 1384 bytes
head (3,2,0) body (1,4,0)
estimated blow-up 11.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 15.92sec 2.30sec 1010 702 16557
htl 4.45sec 245.28sec 1010 425 6760
str 5.49sec 524.82sec 1010 465 6549

test50/test_50.20_5_0.3_2_0.1_4_1.13.2 nlp
25 lines 1484 bytes
head (3,2,0) body (1,4,1)
estimated blow-up 13.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 17.31sec 1.62sec 553 736 20197
htl 4.79sec 775.72sec -- 426 6762
str 5.05sec 775.94sec -- 466 6640

test50/test_50.20_5_0.3_2_0.2_2_0.14.4 nlp
25 lines 1364 bytes
head (3,2,0) body (2,2,0)
estimated blow-up 14.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 16.12sec 16.91sec 951 702 18827
htl 4.94sec 775.63sec -- 444 6828
str 4.95sec 775.24sec -- 472 6577

test50/test_50.20_5_0.3_2_0.2_2_1.15.8 nlp
25 lines 1464 bytes
head (3,2,0) body (2,2,1)
estimated blow-up 15.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 16.87sec 1.17sec 73 710 22245
htl 4.68sec 774.58sec -- 423 6546
str 5.11sec 775.00sec -- 451 6330

test50/test_50.20_5_0.3_2_0.2_3_0.27.1 nlp
25 lines 1568 bytes
head (3,2,0) body (2,3,0)
estimated blow-up 27.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 68.77sec 75.83sec 5617 1546 42327
htl 5.20sec 775.45sec -- 490 7629
str 6.33sec 775.13sec -- 522 7374

test50/test_50.20_5_0.3_2_0.2_3_1.30.2 nlp
25 lines 1668 bytes
head (3,2,0) body (2,3,1)
estimated blow-up 30.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 64.80sec 10.08sec 355 1490 47693
htl 5.43sec 773.91sec -- 494 7800
str 6.14sec 774.63sec -- 530 7614

test50/test_50.20_5_0.3_2_0.2_4_0.41.6 nlp
25 lines 1783 bytes
head (3,2,0) body (2,4,0)
estimated blow-up 41.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 180.00sec 14.38sec 1247 2536 71629
htl 5.73sec 774.69sec -- 526 8263
str 7.14sec 773.92sec -- 558 7931

test50/test_50.20_5_0.3_2_0.2_4_1.46.9 nlp
25 lines 1939 bytes
head (3,2,0) body (2,4,1)
estimated blow-up 46.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 190.84sec 78.44sec 246 2606 86161
htl 5.76sec 772.71sec -- 531 8548
str 7.10sec 773.16sec -- 573 8308

test50/test_50.20_5_0.3_2_0.3_2_0.28.8 nlp
25 lines 1631 bytes
head (3,2,0) body (3,2,0)
estimated blow-up 28.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 49.11sec 23.45sec 210 1284 41545
htl 5.68sec 772.76sec -- 509 7983
str 6.31sec 773.42sec -- 541 7679

test50/test_50.20_5_0.3_2_0.3_2_1.31.3 nlp
25 lines 1680 bytes
head (3,2,0) body (3,2,1)
estimated blow-up 31.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 56.97sec 15.96sec 87 1372 48759
htl 5.99sec 774.04sec -- 507 7949
str 6.09sec 774.57sec -- 535 7622

test50/test_50.20_5_0.3_2_0.3_3_0.78.9 nlp
25 lines 1940 bytes
head (3,2,0) body (3,3,0)
estimated blow-up 78.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 519.76sec 361.22sec 2598 4368 142847
htl 6.87sec 773.66sec -- 585 9297
str 7.88sec 777.20sec -- 623 8970

test50/test_50.20_5_0.3_2_0.3_3_1.86.7 nlp
25 lines 2029 bytes
head (3,2,0) body (3,3,1)
estimated blow-up 86.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 500.44sec 80.14sec 150 4242 157549
htl 6.77sec 774.83sec -- 580 9290
str 7.93sec 774.36sec -- 614 8859

test50/test_50.20_5_0.3_2_0.3_4_0.157.8 nlp
25 lines 2336 bytes
head (3,2,0) body (3,4,0)
estimated blow-up 157.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2592.73sec 71.27sec 71 9460 313145
htl 7.77sec 774.74sec -- 634 10277
str 9.80sec 774.37sec -- 690 10037

test50/test_50.20_5_0.3_2_0.3_4_1.175.1 nlp
25 lines 2403 bytes
head (3,2,0) body (3,4,1)
estimated blow-up 175.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2358.80sec 113.38sec 360 9282 354551
htl 8.02sec 774.33sec -- 637 10414
str 9.74sec 774.40sec -- 683 9994

test50/test_50.20_5_0.3_2_0.4_2_0.58.1 nlp
25 lines 1901 bytes
head (3,2,0) body (4,2,0)
estimated blow-up 58.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 203.98sec 38.32sec 105 2662 100057
htl 6.35sec 775.65sec -- 580 9195
str 7.72sec 775.21sec -- 618 8840

test50/test_50.20_5_0.3_2_0.4_2_1.62.4 nlp
25 lines 2020 bytes
head (3,2,0) body (4,2,1)
estimated blow-up 62.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 196.29sec 8.27sec 44 2598 110477
htl 6.94sec 773.92sec -- 577 9252
str 8.04sec 774.63sec -- 617 8935

test50/test_50.20_5_0.3_2_0.4_3_0.232.9 nlp
25 lines 2302 bytes
head (3,2,0) body (4,3,0)
estimated blow-up 232.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4507.95sec 773.53sec -- 12850 480337
htl 8.39sec 773.52sec -- 660 10556
str 9.76sec 779.73sec -- 712 10336

test50/test_50.20_5_0.3_2_0.4_3_1.253.1 nlp
25 lines 2542 bytes
head (3,2,0) body (4,3,1)
estimated blow-up 253.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4489.88sec 232.94sec 78 12498 555265
htl 8.51sec 774.55sec -- 665 11029
str 11.29sec 773.59sec -- 719 10552

test50/test_50.20_5_0.3_2_0.4_4_0.610.2 nlp
25 lines 2772 bytes
head (3,2,0) body (4,4,0)
estimated blow-up 610.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 46177.44sec 775.47sec -- 37996 1467357
htl 9.77sec 773.80sec -- 736 12012
str 13.09sec 773.80sec -- 782 11416

test50/test_50.20_5_0.3_2_0.4_4_1.668.9 nlp
25 lines 2918 bytes
head (3,2,0) body (4,4,1)
estimated blow-up 668.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 43305.15sec 775.33sec -- 37488 1619265
htl 10.48sec 791.67sec -- 740 12280
str 13.58sec 774.75sec -- 794 11704

test50/test_50.20_5_0.3_3_0.1_2_0.17.8 nlp
25 lines 1515 bytes
head (3,3,0) body (1,2,0)
estimated blow-up 17.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 41.62sec 1.07sec 109 1224 28712
htl 5.30sec 10.81sec 109 465 7373
str 5.71sec 18.02sec 109 505 7180

test50/test_50.20_5_0.3_3_0.1_2_1.20.3 nlp
25 lines 1706 bytes
head (3,3,0) body (1,2,1)
estimated blow-up 20.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 44.74sec 3.17sec 65 1247 34660
htl 4.98sec 775.42sec -- 462 7483
str 5.76sec 774.87sec -- 502 7196

test50/test_50.20_5_0.3_3_0.1_3_0.24.1 nlp
25 lines 1596 bytes
head (3,3,0) body (1,3,0)
estimated blow-up 24.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 89.48sec 1.44sec 44 1800 41839
htl 5.70sec 1.29sec 44 484 7624
str 5.78sec 1.92sec 44 524 7440

test50/test_50.20_5_0.3_3_0.1_3_1.27.8 nlp
25 lines 1837 bytes
head (3,3,0) body (1,3,1)
estimated blow-up 27.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 91.73sec 6.05sec 24 1804 50703
htl 5.41sec 774.25sec -- 494 8109
str 6.37sec 774.41sec -- 532 7628

test50/test_50.20_5_0.3_3_0.1_4_0.29.6 nlp
25 lines 1640 bytes
head (3,3,0) body (1,4,0)
estimated blow-up 29.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 147.27sec 5.04sec 512 2331 52845
htl 5.58sec 27.36sec 512 515 8092
str 6.33sec 33.28sec 512 543 7722

test50/test_50.20_5_0.3_3_0.1_4_1.34.4 nlp
25 lines 1816 bytes
head (3,3,0) body (1,4,1)
estimated blow-up 34.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 143.91sec 15.51sec 356 2275 63156
htl 5.47sec 773.22sec -- 514 8231
str 6.93sec 772.93sec -- 552 7961

test50/test_50.20_5_0.3_3_0.2_2_0.36.7 nlp
25 lines 1751 bytes
head (3,3,0) body (2,2,0)
estimated blow-up 36.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 143.73sec 19.88sec 161 2283 61032
htl 6.08sec 773.98sec -- 529 8318
str 6.81sec 773.92sec -- 561 7981

test50/test_50.20_5_0.3_3_0.2_2_1.41.1 nlp
25 lines 1822 bytes
head (3,3,0) body (2,2,1)
estimated blow-up 41.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 125.24sec 67.94sec 115 2102 65512
htl 5.88sec 774.00sec -- 522 8266
str 7.17sec 779.30sec -- 562 8088

test50/test_50.20_5_0.3_3_0.2_3_0.71.6 nlp
25 lines 1909 bytes
head (3,3,0) body (2,3,0)
estimated blow-up 71.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 584.21sec 24.09sec 247 4676 125369
htl 6.59sec 366.72sec 247 567 8890
str 7.59sec 475.68sec 247 617 8881

test50/test_50.20_5_0.3_3_0.2_3_1.81.0 nlp
25 lines 2099 bytes
head (3,3,0) body (2,3,1)
estimated blow-up 81.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 620.71sec 16.59sec 33 4782 152223
htl 6.75sec 773.98sec -- 575 9314
str 7.96sec 774.20sec -- 621 9033

test50/test_50.20_5_0.3_3_0.2_4_0.113.2 nlp
25 lines 2312 bytes
head (3,3,0) body (2,4,0)
estimated blow-up 113.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1848.07sec 27.20sec 48 8391 238544
htl 7.69sec 11.82sec 48 615 10071
str 10.09sec 18.82sec 48 673 9818

test50/test_50.20_5_0.3_3_0.2_4_1.129.0 nlp
25 lines 2223 bytes
head (3,3,0) body (2,4,1)
estimated blow-up 129.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1784.09sec 75.56sec 199 8169 257484
htl 7.61sec 775.42sec -- 614 9819
str 8.44sec 775.26sec -- 654 9519

test50/test_50.20_5_0.3_3_0.3_2_0.76.3 nlp
25 lines 2003 bytes
head (3,3,0) body (3,2,0)
estimated blow-up 76.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 521.49sec 83.67sec 65 4381 139614
htl 7.19sec 775.10sec -- 593 9426
str 8.28sec 774.75sec -- 627 8973

test50/test_50.20_5_0.3_3_0.3_2_1.83.9 nlp
25 lines 2182 bytes
head (3,3,0) body (3,2,1)
estimated blow-up 83.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 496.04sec 34.95sec 253 4229 160144
htl 7.03sec 775.17sec -- 595 9699
str 9.03sec 775.70sec -- 649 9439

test50/test_50.20_5_0.3_3_0.3_3_0.217.0 nlp
25 lines 2375 bytes
head (3,3,0) body (3,3,0)
estimated blow-up 217.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5177.08sec 621.91sec 629 13648 451557
htl 8.28sec 774.61sec -- 655 10601
str 9.73sec 775.15sec -- 703 10227

test50/test_50.20_5_0.3_3_0.3_3_1.241.0 nlp
25 lines 2470 bytes
head (3,3,0) body (3,3,1)
estimated blow-up 241.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5581.45sec 444.03sec 34 14040 526957
htl 8.13sec 774.49sec -- 656 10725
str 10.11sec 775.06sec -- 698 10192

test50/test_50.20_5_0.3_3_0.3_4_0.446.8 nlp
25 lines 2600 bytes
head (3,3,0) body (3,4,0)
estimated blow-up 446.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 30985.98sec 315.64sec 70 32613 1056075
htl 9.67sec 25.85sec 70 713 11443
str 11.31sec 28.27sec 70 761 11095

test50/test_50.20_5_0.3_3_0.3_4_1.499.6 nlp
25 lines 2783 bytes
head (3,3,0) body (3,4,1)
estimated blow-up 499.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 35931.33sec 726.69sec 17 33333 1276197
htl 9.50sec 775.25sec -- 718 11821
str 11.58sec 776.03sec -- 758 11132

test50/test_50.20_5_0.3_3_0.4_2_0.158.1 nlp
25 lines 2335 bytes
head (3,3,0) body (4,2,0)
estimated blow-up 158.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2182.18sec 277.37sec 140 8711 332947
htl 8.68sec 774.28sec -- 664 10778
str 9.82sec 775.26sec -- 706 10229

test50/test_50.20_5_0.3_3_0.4_2_1.171.6 nlp
25 lines 2354 bytes
head (3,3,0) body (4,2,1)
estimated blow-up 171.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1775.14sec 222.81sec 44 8128 331950
htl 8.15sec 772.62sec -- 658 10623
str 9.98sec 772.71sec -- 708 10331

test50/test_50.20_5_0.3_3_0.4_3_0.659.3 nlp
25 lines 2694 bytes
head (3,3,0) body (4,3,0)
estimated blow-up 659.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 43284.76sec 773.82sec -- 39824 1470489
htl 9.98sec 774.76sec -- 727 11762
str 12.10sec 774.41sec -- 779 11360

test50/test_50.20_5_0.3_3_0.4_3_1.722.3 nlp
25 lines 2842 bytes
head (3,3,0) body (4,3,1)
estimated blow-up 722.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 49362.89sec 774.60sec -- 41765 1776726
htl 10.24sec 774.08sec -- 737 12116
str 13.05sec 773.56sec -- 805 11902

test50/test_50.20_5_0.3_3_0.4_4_0.1776.3 nlp
25 lines 3123 bytes
head (3,3,0) body (4,4,0)
estimated blow-up 1776.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 481874.09sec 773.77sec -- 128091 4857540
htl 11.73sec 46.87sec 20 815 13340
str 15.48sec 62.01sec 20 867 12696

test50/test_50.20_5_0.3_3_0.4_4_1.1958.0 nlp
25 lines 3239 bytes
head (3,3,0) body (4,4,1)
estimated blow-up 1958.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 516023.73sec 774.51sec -- 121750 5235012
htl 11.39sec 775.13sec -- 811 13370
str 14.72sec 775.47sec -- 867 12824

test50/test_50.20_5_0.3_4_0.1_2_0.32.9 nlp
25 lines 1885 bytes
head (3,4,0) body (1,2,0)
estimated blow-up 32.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 212.02sec 1.52sec 0 2818 64133
htl 6.52sec 0.01sec 0 548 8786
str 7.23sec 0.01sec 0 584 8356

test50/test_50.20_5_0.3_4_0.1_2_1.38.2 nlp
25 lines 2049 bytes
head (3,4,0) body (1,2,1)
estimated blow-up 38.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 233.82sec 18.87sec 37 2923 80390
htl 6.70sec 163.28sec 37 556 9079
str 7.29sec 228.82sec 37 598 8703

test50/test_50.20_5_0.3_4_0.1_3_0.45.3 nlp
25 lines 2049 bytes
head (3,4,0) body (1,3,0)
estimated blow-up 45.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 432.14sec 0.58sec 0 4030 92809
htl 7.03sec 0.01sec 0 566 9181
str 8.03sec 0.09sec 0 618 8952

test50/test_50.20_5_0.3_4_0.1_3_1.53.0 nlp
25 lines 2199 bytes
head (3,4,0) body (1,3,1)
estimated blow-up 53.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 422.26sec 8.42sec 48 3963 113266
htl 6.68sec 8.74sec 48 563 9224
str 8.09sec 12.36sec 48 613 8946

test50/test_50.20_5_0.3_4_0.1_4_0.56.4 nlp
25 lines 2129 bytes
head (3,4,0) body (1,4,0)
estimated blow-up 56.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 726.96sec 0.96sec 0 5268 124833
htl 7.06sec 0.01sec 0 592 9605
str 9.20sec 0.01sec 0 636 9167

test50/test_50.20_5_0.3_4_0.1_4_1.66.4 nlp
25 lines 2271 bytes
head (3,4,0) body (1,4,1)
estimated blow-up 66.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 666.26sec 1.42sec 0 4998 141407
htl 7.01sec 12.35sec 0 587 9623
str 9.09sec 15.61sec 0 629 9157

test50/test_50.20_5_0.3_4_0.2_2_0.69.8 nlp
25 lines 2212 bytes
head (3,4,0) body (2,2,0)
estimated blow-up 69.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 733.45sec 3.34sec 1 5242 145141
htl 7.61sec 0.59sec 1 608 9854
str 9.21sec 0.92sec 1 658 9547

test50/test_50.20_5_0.3_4_0.2_2_1.79.2 nlp
25 lines 2261 bytes
head (3,4,0) body (2,2,1)
estimated blow-up 79.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 759.03sec 44.10sec 7 5308 168325
htl 7.44sec 775.34sec -- 610 9906
str 8.74sec 774.16sec -- 650 9473

test50/test_50.20_5_0.3_4_0.2_3_0.139.4 nlp
25 lines 2406 bytes
head (3,4,0) body (2,3,0)
estimated blow-up 139.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3710.47sec 3.85sec 0 11202 311891
htl 7.66sec 0.09sec 0 649 10543
str 9.76sec 0.09sec 0 689 9998

test50/test_50.20_5_0.3_4_0.2_3_1.159.2 nlp
25 lines 2416 bytes
head (3,4,0) body (2,3,1)
estimated blow-up 159.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3408.57sec 255.46sec 131 11124 351901
htl 7.88sec 775.24sec -- 648 10444
str 9.33sec 774.31sec -- 700 10247

test50/test_50.20_5_0.3_4_0.2_4_0.224.6 nlp
25 lines 2782 bytes
head (3,4,0) body (2,4,0)
estimated blow-up 224.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 10331.12sec 7.75sec 0 19340 572397
htl 9.18sec 0.02sec 0 691 11571
str 12.02sec 0.02sec 0 751 11038

test50/test_50.20_5_0.3_4_0.2_4_1.258.0 nlp
25 lines 2736 bytes
head (3,4,0) body (2,4,1)
estimated blow-up 258.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 10298.59sec 155.29sec 11 18880 626453
htl 9.04sec 55.13sec 11 689 11314
str 11.28sec 74.10sec 11 749 11062

test50/test_50.20_5_0.3_4_0.3_2_0.148.5 nlp
25 lines 2456 bytes
head (3,4,0) body (3,2,0)
estimated blow-up 148.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3217.62sec 10.32sec 5 10372 336385
htl 9.04sec 8.16sec 5 671 10894
str 10.54sec 11.32sec 5 723 10528

test50/test_50.20_5_0.3_4_0.3_2_1.165.0 nlp
25 lines 2528 bytes
head (3,4,0) body (3,2,1)
estimated blow-up 165.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2751.12sec 775.06sec -- 9976 372245
htl 8.62sec 775.11sec -- 664 10781
str 10.30sec 775.09sec -- 722 10608

test50/test_50.20_5_0.3_4_0.3_3_0.434.0 nlp
25 lines 2853 bytes
head (3,4,0) body (3,3,0)
estimated blow-up 434.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 34522.92sec 310.10sec 0 34108 1160961
htl 9.61sec 0.10sec 0 738 12237
str 12.98sec 0.03sec 0 798 11746

test50/test_50.20_5_0.3_4_0.3_3_1.485.7 nlp
25 lines 2868 bytes
head (3,4,0) body (3,3,1)
estimated blow-up 485.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 28635.18sec 97.65sec 2 30178 1151881
htl 9.71sec 80.56sec 2 729 12031
str 12.36sec 121.68sec 2 787 11647

test50/test_50.20_5_0.3_4_0.3_4_0.912.0 nlp
25 lines 3012 bytes
head (3,4,0) body (3,4,0)
estimated blow-up 912.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 181328.58sec 185.57sec 0 73776 2421929
htl 10.93sec 0.04sec 0 781 12701
str 13.88sec 0.11sec 0 823 12019

test50/test_50.20_5_0.3_4_0.3_4_1.1025.7 nlp
25 lines 3232 bytes
head (3,4,0) body (3,4,1)
estimated blow-up 1025.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 144468.38sec 774.41sec -- 70286 2720473
htl 11.15sec 41.48sec 12 784 13038
str 15.15sec 76.73sec 12 846 12513

test50/test_50.20_5_0.3_4_0.4_2_0.313.7 nlp
25 lines 2695 bytes
head (3,4,0) body (4,2,0)
estimated blow-up 313.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 10833.65sec 743.45sec 13 18832 700829
htl 9.83sec 774.72sec -- 728 11843
str 11.92sec 774.51sec -- 784 11464

test50/test_50.20_5_0.3_4_0.4_2_1.343.3 nlp
25 lines 2839 bytes
head (3,4,0) body (4,2,1)
estimated blow-up 343.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 11197.42sec 140.49sec 2 19302 829849
htl 10.02sec 774.14sec -- 732 12069
str 13.08sec 773.36sec -- 802 11881

test50/test_50.20_5_0.3_4_0.4_3_0.1345.7 nlp
25 lines 3132 bytes
head (3,4,0) body (4,3,0)
estimated blow-up 1345.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 294248.59sec 430.39sec 2 95858 3652465
htl 11.87sec 2.62sec 2 813 13373
str 15.28sec 2.95sec 2 865 12686

test50/test_50.20_5_0.3_4_0.4_3_1.1482.8 nlp
25 lines 3215 bytes
head (3,4,0) body (4,3,1)
estimated blow-up 1482.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 286932.34sec 773.33sec -- 93554 3980241
htl 11.64sec 774.75sec -- 808 13335
str 15.05sec 774.48sec -- 868 12881

test50/test_50.20_5_0.3_4_0.4_4_0.3701.1 nlp
25 lines 3597 bytes
head (3,4,0) body (4,4,0)
estimated blow-up 3701.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2329287.60sec 774.61sec -- 273802 10486479
htl 13.95sec 0.04sec 0 885 14741
str 18.40sec 0.03sec 0 941 13913

test50/test_50.20_5_0.1_2_0.1_2_0.1.8 nlp
25 lines 606 bytes
head (1,2,0) body (1,2,0)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.30sec 0.10sec 0 108 1663
htl 0.39sec 0.01sec 0 201 2968
str 0.46sec 0.01sec 0 219 2811

test50/test_50.20_5_0.1_2_0.1_2_1.2.2 nlp
25 lines 680 bytes
head (1,2,0) body (1,2,1)
estimated blow-up 2.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.29sec 0.01sec 0 110 1914
htl 0.36sec 0.71sec 0 196 2850
str 0.43sec 0.06sec 0 212 2765

test50/test_50.20_5_0.1_2_0.1_3_0.2.2 nlp
25 lines 682 bytes
head (1,2,0) body (1,3,0)
estimated blow-up 2.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.33sec 0.01sec 0 155 2246
htl 0.48sec 0.01sec 0 234 3500
str 0.46sec 0.01sec 0 254 3331

test50/test_50.20_5_0.1_2_0.1_3_1.2.8 nlp
25 lines 834 bytes
head (1,2,0) body (1,3,1)
estimated blow-up 2.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.36sec 0.01sec 0 158 2881
htl 0.51sec 0.01sec 0 231 3544
str 0.46sec 0.01sec 0 255 3431

test50/test_50.20_5_0.1_2_0.1_4_0.2.5 nlp
25 lines 793 bytes
head (1,2,0) body (1,4,0)
estimated blow-up 2.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.43sec 0.01sec 0 195 2845
htl 0.56sec 0.01sec 0 262 4022
str 0.55sec 0.01sec 0 280 3716

test50/test_50.20_5_0.1_2_0.1_4_1.3.2 nlp
25 lines 959 bytes
head (1,2,0) body (1,4,1)
estimated blow-up 3.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.49sec 0.01sec 0 196 3690
htl 0.47sec 0.01sec 0 255 4036
str 0.53sec 0.01sec 0 283 3844

test50/test_50.20_5_0.1_2_0.2_2_0.3.7 nlp
25 lines 881 bytes
head (1,2,0) body (2,2,0)
estimated blow-up 3.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.45sec 0.04sec 0 193 3554
htl 0.57sec 0.01sec 0 279 4210
str 0.59sec 0.01sec 0 299 3964

test50/test_50.20_5_0.1_2_0.2_2_1.4.3 nlp
25 lines 1011 bytes
head (1,2,0) body (2,2,1)
estimated blow-up 4.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.74sec 0.02sec 0 200 4519
htl 0.58sec 0.01sec 0 286 4520
str 0.58sec 0.01sec 0 310 4235

test50/test_50.20_5_0.1_2_0.2_3_0.6.4 nlp
25 lines 1106 bytes
head (1,2,0) body (2,3,0)
estimated blow-up 6.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.22sec 0.06sec 0 398 7331
htl 0.72sec 0.01sec 0 329 5113
str 0.69sec 0.01sec 0 355 4825

test50/test_50.20_5_0.1_2_0.2_3_1.7.6 nlp
25 lines 1235 bytes
head (1,2,0) body (2,3,1)
estimated blow-up 7.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.29sec 0.10sec 0 394 9244
htl 0.68sec 0.01sec 0 324 5166
str 0.73sec 0.01sec 0 358 4960

test50/test_50.20_5_0.1_2_0.2_4_0.9.1 nlp
25 lines 1293 bytes
head (1,2,0) body (2,4,0)
estimated blow-up 9.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.02sec 0.14sec 0 678 12252
htl 0.78sec 0.01sec 0 368 5726
str 0.82sec 0.01sec 0 402 5538

test50/test_50.20_5_0.1_2_0.2_4_1.11.1 nlp
25 lines 1448 bytes
head (1,2,0) body (2,4,1)
estimated blow-up 11.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.20sec 0.20sec 1 676 15628
htl 0.75sec 0.35sec 1 365 5872
str 0.90sec 0.61sec 1 391 5430

test50/test_50.20_5_0.1_2_0.3_2_0.7.5 nlp
25 lines 1111 bytes
head (1,2,0) body (3,2,0)
estimated blow-up 7.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.15sec 0.07sec 0 370 8059
htl 0.76sec 0.01sec 0 340 5126
str 0.76sec 0.01sec 0 370 5050

test50/test_50.20_5_0.1_2_0.3_2_1.8.4 nlp
25 lines 1213 bytes
head (1,2,0) body (3,2,1)
estimated blow-up 8.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.24sec 0.06sec 0 360 9641
htl 0.69sec 0.01sec 0 346 5290
str 0.73sec 0.02sec 0 374 5189

test50/test_50.20_5_0.1_2_0.3_3_0.18.8 nlp
25 lines 1466 bytes
head (1,2,0) body (3,3,0)
estimated blow-up 18.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 7.91sec 0.52sec 0 1106 25517
htl 0.90sec 0.01sec 0 418 6568
str 1.04sec 0.01sec 0 446 6234

test50/test_50.20_5_0.1_2_0.3_3_1.21.6 nlp
25 lines 1576 bytes
head (1,2,0) body (3,3,1)
estimated blow-up 21.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 8.01sec 0.55sec 0 1094 30954
htl 0.98sec 2.32sec 0 420 6690
str 1.02sec 2.61sec 0 450 6380

test50/test_50.20_5_0.1_2_0.3_4_0.35.3 nlp
25 lines 1717 bytes
head (1,2,0) body (3,4,0)
estimated blow-up 35.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 39.24sec 2.34sec 0 2511 58471
htl 1.12sec 0.01sec 0 477 7475
str 1.28sec 0.01sec 0 501 7028

test50/test_50.20_5_0.1_2_0.3_4_1.41.3 nlp
25 lines 1856 bytes
head (1,2,0) body (3,4,1)
estimated blow-up 41.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 39.02sec 2.75sec 0 2486 68161
htl 1.12sec 0.54sec 0 483 7755
str 1.32sec 0.98sec 0 519 7447

test50/test_50.20_5_0.1_2_0.4_2_0.15.2 nlp
25 lines 1419 bytes
head (1,2,0) body (4,2,0)
estimated blow-up 15.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.32sec 0.21sec 0 679 18969
htl 0.88sec 0.01sec 0 411 6349
str 0.99sec 0.01sec 0 449 6275

test50/test_50.20_5_0.1_2_0.4_2_1.16.7 nlp
25 lines 1484 bytes
head (1,2,0) body (4,2,1)
estimated blow-up 16.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.45sec 0.22sec 1 675 21129
htl 0.89sec 183.87sec -- 418 6541
str 1.00sec 187.04sec -- 450 6400

test50/test_50.20_5_0.1_2_0.4_3_0.55.8 nlp
25 lines 1829 bytes
head (1,2,0) body (4,3,0)
estimated blow-up 55.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 61.76sec 4.66sec 0 3138 88446
htl 1.26sec 0.09sec 0 507 8042
str 1.42sec 0.22sec 0 553 7910

test50/test_50.20_5_0.1_2_0.4_3_1.62.7 nlp
25 lines 1954 bytes
head (1,2,0) body (4,3,1)
estimated blow-up 62.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 63.69sec 5.02sec 0 3155 106256
htl 1.26sec 66.61sec 0 499 8005
str 1.45sec 181.35sec -- 545 7848

test50/test_50.20_5_0.1_2_0.4_4_0.138.4 nlp
25 lines 2124 bytes
head (1,2,0) body (4,4,0)
estimated blow-up 138.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 562.78sec 41.24sec 0 9404 251469
htl 1.46sec 0.01sec 0 583 9114
str 1.72sec 0.01sec 0 627 9010

test50/test_50.20_5_0.1_2_0.4_4_1.157.5 nlp
25 lines 2373 bytes
head (1,2,0) body (4,4,1)
estimated blow-up 157.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 526.23sec 39.23sec 1 9060 289979
htl 1.51sec 5.12sec 1 582 9472
str 1.97sec 11.82sec 1 626 9109

test50/test_50.20_5_0.1_3_0.1_2_0.2.2 nlp
25 lines 716 bytes
head (1,3,0) body (1,2,0)
estimated blow-up 2.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.38sec 0.01sec 0 171 2572
htl 0.43sec 0.01sec 0 240 3642
str 0.45sec 0.01sec 0 252 3293

test50/test_50.20_5_0.1_3_0.1_2_1.2.7 nlp
25 lines 883 bytes
head (1,3,0) body (1,2,1)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.44sec 0.01sec 0 173 3139
htl 0.51sec 0.01sec 0 248 3909
str 0.54sec 0.01sec 0 282 3860

test50/test_50.20_5_0.1_3_0.1_3_0.2.7 nlp
25 lines 813 bytes
head (1,3,0) body (1,3,0)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.50sec 0.01sec 0 222 3221
htl 0.48sec 0.01sec 0 264 4035
str 0.51sec 0.01sec 0 282 3741

test50/test_50.20_5_0.1_3_0.1_3_1.3.5 nlp
25 lines 937 bytes
head (1,3,0) body (1,3,1)
estimated blow-up 3.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.53sec 0.02sec 0 224 3961
htl 0.48sec 0.01sec 0 256 3960
str 0.52sec 0.03sec 0 278 3759

test50/test_50.20_5_0.1_3_0.1_4_0.3.1 nlp
25 lines 888 bytes
head (1,3,0) body (1,4,0)
estimated blow-up 3.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.73sec 0.01sec 0 280 3871
htl 0.58sec 0.03sec 0 288 4406
str 0.57sec 0.01sec 0 308 4125

test50/test_50.20_5_0.1_3_0.1_4_1.4.2 nlp
25 lines 1067 bytes
head (1,3,0) body (1,4,1)
estimated blow-up 4.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.76sec 0.03sec 0 286 5153
htl 0.60sec 0.01sec 0 287 4550
str 0.62sec 0.01sec 0 319 4384

test50/test_50.20_5_0.1_3_0.2_2_0.4.7 nlp
25 lines 988 bytes
head (1,3,0) body (2,2,0)
estimated blow-up 4.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.75sec 0.03sec 0 288 5141
htl 0.58sec 0.01sec 0 300 4506
str 0.60sec 0.01sec 0 322 4287

test50/test_50.20_5_0.1_3_0.2_2_1.5.5 nlp
25 lines 1091 bytes
head (1,3,0) body (2,2,1)
estimated blow-up 5.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.87sec 0.03sec 0 290 6396
htl 0.63sec 0.01sec 0 310 4804
str 0.65sec 0.01sec 0 330 4493

test50/test_50.20_5_0.1_3_0.2_3_0.8.3 nlp
25 lines 1202 bytes
head (1,3,0) body (2,3,0)
estimated blow-up 8.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.41sec 0.11sec 0 589 10727
htl 0.73sec 0.01sec 0 358 5565
str 0.77sec 0.01sec 0 376 5120

test50/test_50.20_5_0.1_3_0.2_3_1.10.1 nlp
25 lines 1418 bytes
head (1,3,0) body (2,3,1)
estimated blow-up 10.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.40sec 0.11sec 0 577 13841
htl 0.82sec 0.01sec 0 362 5920
str 0.92sec 0.01sec 0 406 5769

test50/test_50.20_5_0.1_3_0.2_4_0.12.3 nlp
25 lines 1368 bytes
head (1,3,0) body (2,4,0)
estimated blow-up 12.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.02sec 0.28sec 0 977 17247
htl 0.90sec 0.01sec 0 388 5986
str 0.87sec 0.01sec 0 408 5555

test50/test_50.20_5_0.1_3_0.2_4_1.15.1 nlp
25 lines 1556 bytes
head (1,3,0) body (2,4,1)
estimated blow-up 15.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.58sec 0.28sec 0 1002 23895
htl 1.03sec 0.01sec 0 402 6484
str 1.04sec 0.01sec 0 430 6069

test50/test_50.20_5_0.1_3_0.3_2_0.9.9 nlp
25 lines 1262 bytes
head (1,3,0) body (3,2,0)
estimated blow-up 9.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.09sec 0.11sec 0 530 12152
htl 0.80sec 0.01sec 0 373 5717
str 0.83sec 0.01sec 0 397 5449

test50/test_50.20_5_0.1_3_0.3_2_1.11.2 nlp
25 lines 1353 bytes
head (1,3,0) body (3,2,1)
estimated blow-up 11.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.14sec 0.10sec 0 527 14179
htl 0.82sec 0.01sec 0 378 5921
str 0.84sec 0.01sec 0 406 5690

test50/test_50.20_5_0.1_3_0.3_3_0.25.4 nlp
25 lines 1628 bytes
head (1,3,0) body (3,3,0)
estimated blow-up 25.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 17.76sec 0.83sec 0 1683 39967
htl 0.98sec 0.01sec 0 431 6802
str 1.20sec 0.01sec 0 463 6452

test50/test_50.20_5_0.1_3_0.3_3_1.29.5 nlp
25 lines 1650 bytes
head (1,3,0) body (3,3,1)
estimated blow-up 29.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 18.40sec 1.01sec 0 1680 46438
htl 1.04sec 0.04sec 0 439 6914
str 1.18sec 0.01sec 0 473 6698

test50/test_50.20_5_0.1_3_0.3_4_0.48.8 nlp
25 lines 1861 bytes
head (1,3,0) body (3,4,0)
estimated blow-up 48.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 85.87sec 5.23sec 0 3753 86330
htl 1.20sec 0.01sec 0 505 7985
str 1.39sec 0.01sec 0 537 7587

test50/test_50.20_5_0.1_3_0.3_4_1.57.3 nlp
25 lines 1976 bytes
head (1,3,0) body (3,4,1)
estimated blow-up 57.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 84.92sec 5.08sec 0 3713 102378
htl 1.26sec 0.01sec 0 509 8214
str 1.40sec 0.01sec 0 533 7631

test50/test_50.20_5_0.1_3_0.4_2_0.20.4 nlp
25 lines 1497 bytes
head (1,3,0) body (4,2,0)
estimated blow-up 20.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.67sec 0.47sec 0 995 26933
htl 1.03sec 29.54sec 0 443 6837
str 1.05sec 35.46sec 0 475 6673

test50/test_50.20_5_0.1_3_0.4_2_1.22.6 nlp
25 lines 1673 bytes
head (1,3,0) body (4,2,1)
estimated blow-up 22.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 7.47sec 0.57sec 1 1031 33235
htl 1.02sec 27.57sec 1 447 7144
str 1.22sec 34.25sec 1 485 6920

test50/test_50.20_5_0.1_3_0.4_3_0.77.1 nlp
25 lines 1916 bytes
head (1,3,0) body (4,3,0)
estimated blow-up 77.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 146.39sec 8.95sec 0 4920 136775
htl 1.34sec 0.02sec 0 529 8317
str 1.58sec 0.03sec 0 561 7985

test50/test_50.20_5_0.1_3_0.4_3_1.87.0 nlp
25 lines 2031 bytes
head (1,3,0) body (4,3,1)
estimated blow-up 87.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 141.97sec 10.07sec 0 4759 153660
htl 1.30sec 0.01sec 0 531 8505
str 1.53sec 0.01sec 0 571 8249

test50/test_50.20_5_0.1_3_0.4_4_0.194.4 nlp
25 lines 2467 bytes
head (1,3,0) body (4,4,0)
estimated blow-up 194.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1465.88sec 106.69sec 0 14671 436834
htl 1.70sec 0.02sec 0 619 10155
str 2.19sec 0.02sec 0 675 9853

test50/test_50.20_5_0.1_3_0.4_4_1.222.1 nlp
25 lines 2474 bytes
head (1,3,0) body (4,4,1)
estimated blow-up 222.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1417.46sec 113.53sec 0 14677 485417
htl 1.70sec 0.01sec 0 615 9988
str 2.10sec 0.02sec 0 671 9839

test50/test_50.20_5_0.1_4_0.1_2_0.2.4 nlp
25 lines 849 bytes
head (1,4,0) body (1,2,0)
estimated blow-up 2.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.46sec 0.01sec 0 211 3041
htl 0.48sec 0.01sec 0 267 4118
str 0.53sec 0.01sec 0 285 3794

test50/test_50.20_5_0.1_4_0.1_2_1.3.1 nlp
25 lines 1008 bytes
head (1,4,0) body (1,2,1)
estimated blow-up 3.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.48sec 0.01sec 0 212 3852
htl 0.52sec 0.01sec 0 270 4302
str 0.56sec 0.01sec 0 298 4074

test50/test_50.20_5_0.1_4_0.1_3_0.3.1 nlp
25 lines 935 bytes
head (1,4,0) body (1,3,0)
estimated blow-up 3.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.69sec 0.01sec 0 289 4181
htl 0.61sec 0.01sec 0 287 4428
str 0.56sec 0.01sec 0 299 3990

test50/test_50.20_5_0.1_4_0.1_3_1.4.1 nlp
25 lines 1092 bytes
head (1,4,0) body (1,3,1)
estimated blow-up 4.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.81sec 0.02sec 0 299 5473
htl 0.69sec 0.06sec 0 297 4741
str 0.64sec 0.01sec 0 319 4375

test50/test_50.20_5_0.1_4_0.1_4_0.3.6 nlp
25 lines 1099 bytes
head (1,4,0) body (1,4,0)
estimated blow-up 3.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.00sec 0.02sec 0 363 5392
htl 0.64sec 0.01sec 0 318 5085
str 0.71sec 0.01sec 0 348 4732

test50/test_50.20_5_0.1_4_0.1_4_1.4.9 nlp
25 lines 1213 bytes
head (1,4,0) body (1,4,1)
estimated blow-up 4.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.13sec 0.02sec 0 385 7185
htl 0.66sec 0.01sec 0 315 5046
str 0.81sec 0.01sec 0 341 4717

test50/test_50.20_5_0.1_4_0.2_2_0.5.4 nlp
25 lines 1124 bytes
head (1,4,0) body (2,2,0)
estimated blow-up 5.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.13sec 0.03sec 0 388 7103
htl 0.67sec 0.09sec 0 342 5298
str 0.83sec 0.01sec 0 352 4734

test50/test_50.20_5_0.1_4_0.2_2_1.6.5 nlp
25 lines 1213 bytes
head (1,4,0) body (2,2,1)
estimated blow-up 6.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.13sec 0.08sec 0 370 8208
htl 0.68sec 0.01sec 0 340 5326
str 0.72sec 0.01sec 0 364 5035

test50/test_50.20_5_0.1_4_0.2_3_0.9.9 nlp
25 lines 1267 bytes
head (1,4,0) body (2,3,0)
estimated blow-up 9.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.65sec 0.08sec 0 756 13258
htl 0.77sec 0.01sec 0 378 5777
str 0.80sec 0.01sec 0 398 5443

test50/test_50.20_5_0.1_4_0.2_3_1.12.0 nlp
25 lines 1465 bytes
head (1,4,0) body (2,3,1)
estimated blow-up 12.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.71sec 0.17sec 0 746 16938
htl 0.80sec 0.01sec 0 386 6212
str 0.92sec 0.01sec 0 426 6023

test50/test_50.20_5_0.1_4_0.2_4_0.14.8 nlp
25 lines 1537 bytes
head (1,4,0) body (2,4,0)
estimated blow-up 14.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 10.27sec 0.16sec 0 1299 23505
htl 0.92sec 0.02sec 0 425 6714
str 1.04sec 0.01sec 0 459 6437

test50/test_50.20_5_0.1_4_0.2_4_1.18.3 nlp
25 lines 1623 bytes
head (1,4,0) body (2,4,1)
estimated blow-up 18.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 9.18sec 0.33sec 0 1188 26390
htl 0.90sec 0.01sec 0 414 6598
str 1.08sec 0.01sec 0 444 6245

test50/test_50.20_5_0.1_4_0.3_2_0.11.7 nlp
25 lines 1392 bytes
head (1,4,0) body (3,2,0)
estimated blow-up 11.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.28sec 0.13sec 0 699 15871
htl 0.84sec 0.01sec 0 405 6299
str 0.97sec 0.01sec 0 433 6030

test50/test_50.20_5_0.1_4_0.3_2_1.13.4 nlp
25 lines 1482 bytes
head (1,4,0) body (3,2,1)
estimated blow-up 13.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.37sec 0.17sec 0 697 18538
htl 0.83sec 0.01sec 0 401 6294
str 0.98sec 0.01sec 0 425 5964

test50/test_50.20_5_0.1_4_0.3_3_0.30.9 nlp
25 lines 1736 bytes
head (1,4,0) body (3,3,0)
estimated blow-up 30.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 29.02sec 1.23sec 0 2159 50789
htl 1.08sec 0.01sec 0 469 7459
str 1.23sec 0.01sec 0 503 7117

test50/test_50.20_5_0.1_4_0.3_3_1.36.0 nlp
25 lines 1783 bytes
head (1,4,0) body (3,3,1)
estimated blow-up 36.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 29.24sec 1.37sec 0 2153 60181
htl 1.05sec 0.01sec 0 474 7566
str 1.17sec 0.01sec 0 506 7254

test50/test_50.20_5_0.1_4_0.3_4_0.60.2 nlp
25 lines 2001 bytes
head (1,4,0) body (3,4,0)
estimated blow-up 60.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 141.39sec 4.40sec 0 4872 112208
htl 1.44sec 0.01sec 0 535 8527
str 1.50sec 0.01sec 0 579 8354

test50/test_50.20_5_0.1_4_0.3_4_1.71.1 nlp
25 lines 2210 bytes
head (1,4,0) body (3,4,1)
estimated blow-up 71.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 150.05sec 4.76sec 0 4965 140288
htl 1.49sec 0.01sec 0 540 8916
str 1.68sec 0.01sec 0 588 8561

test50/test_50.20_5_0.1_4_0.4_2_0.24.6 nlp
25 lines 1613 bytes
head (1,4,0) body (4,2,0)
estimated blow-up 24.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 11.63sec 0.31sec 0 1324 35233
htl 1.05sec 0.01sec 0 469 7246
str 1.16sec 0.01sec 0 501 7047

test50/test_50.20_5_0.1_4_0.4_2_1.27.5 nlp
25 lines 1832 bytes
head (1,4,0) body (4,2,1)
estimated blow-up 27.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 10.94sec 0.73sec 0 1279 42087
htl 1.10sec 0.01sec 0 473 7687
str 1.40sec 0.01sec 0 513 7356

test50/test_50.20_5_0.1_4_0.4_3_0.95.3 nlp
25 lines 2014 bytes
head (1,4,0) body (4,3,0)
estimated blow-up 95.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 204.43sec 12.23sec 0 5802 159464
htl 1.45sec 0.01sec 0 550 8644
str 1.58sec 0.01sec 0 586 8389

test50/test_50.20_5_0.1_4_0.4_3_1.108.0 nlp
25 lines 2162 bytes
head (1,4,0) body (4,3,1)
estimated blow-up 108.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 224.71sec 12.68sec 0 6055 198082
htl 1.44sec 0.01sec 0 549 8778
str 1.70sec 0.01sec 0 599 8712

test50/test_50.20_5_0.1_4_0.4_4_0.243.8 nlp
25 lines 2417 bytes
head (1,4,0) body (4,4,0)
estimated blow-up 243.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2282.70sec 91.32sec 0 18245 506139
htl 1.78sec 0.02sec 0 631 10052
str 2.04sec 0.02sec 0 665 9578

test50/test_50.20_5_0.1_4_0.4_4_1.279.3 nlp
25 lines 2606 bytes
head (1,4,0) body (4,4,1)
estimated blow-up 279.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2232.80sec 170.84sec 0 18063 594206
htl 1.70sec 0.02sec 0 629 10228
str 2.21sec 0.02sec 0 691 10135

test50/test_50.20_5_0.2_2_0.1_2_0.3.7 nlp
25 lines 808 bytes
head (2,2,0) body (1,2,0)
estimated blow-up 3.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.52sec 0.01sec 2 222 4040
htl 0.55sec 1.34sec 2 293 4393
str 0.61sec 1.76sec 2 315 4193

test50/test_50.20_5_0.2_2_0.1_2_1.4.2 nlp
25 lines 1024 bytes
head (2,2,0) body (1,2,1)
estimated blow-up 4.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.60sec 0.02sec 0 222 4971
htl 0.60sec 0.27sec 0 296 4702
str 0.67sec 2.43sec 0 328 4505

test50/test_50.20_5_0.2_2_0.1_3_0.4.7 nlp
25 lines 932 bytes
head (2,2,0) body (1,3,0)
estimated blow-up 4.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.81sec 0.08sec 0 302 5609
htl 0.64sec 0.01sec 0 330 5121
str 0.66sec 0.02sec 0 346 4686

test50/test_50.20_5_0.2_2_0.1_3_1.5.5 nlp
25 lines 1037 bytes
head (2,2,0) body (1,3,1)
estimated blow-up 5.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.83sec 0.06sec 20 292 6365
htl 0.60sec 2.63sec 20 312 4808
str 0.74sec 3.33sec 20 330 4477

test50/test_50.20_5_0.2_2_0.1_4_0.5.5 nlp
25 lines 1007 bytes
head (2,2,0) body (1,4,0)
estimated blow-up 5.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.11sec 0.03sec 19 374 6775
htl 0.76sec 0.02sec 19 347 5341
str 0.71sec 0.02sec 19 367 5011

test50/test_50.20_5_0.2_2_0.1_4_1.6.6 nlp
25 lines 1137 bytes
head (2,2,0) body (1,4,1)
estimated blow-up 6.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.27sec 0.21sec 78 372 8123
htl 0.66sec 20.67sec 78 336 5190
str 0.76sec 32.60sec 78 362 4978

test50/test_50.20_5_0.2_2_0.2_2_0.7.3 nlp
25 lines 1111 bytes
head (2,2,0) body (2,2,0)
estimated blow-up 7.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.25sec 0.04sec 8 374 8321
htl 0.71sec 20.08sec 8 362 5499
str 0.77sec 74.02sec 8 388 5312

test50/test_50.20_5_0.2_2_0.2_2_1.8.2 nlp
25 lines 1246 bytes
head (2,2,0) body (2,2,1)
estimated blow-up 8.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.27sec 0.04sec 0 372 9927
htl 0.74sec 65.42sec 0 363 5665
str 0.82sec 104.35sec 0 385 5335

test50/test_50.20_5_0.2_2_0.2_3_0.13.2 nlp
25 lines 1330 bytes
head (2,2,0) body (2,3,0)
estimated blow-up 13.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.99sec 0.10sec 0 764 17771
htl 0.88sec 6.58sec 0 413 6437
str 0.94sec 7.32sec 0 435 6050

test50/test_50.20_5_0.2_2_0.2_3_1.15.1 nlp
25 lines 1489 bytes
head (2,2,0) body (2,3,1)
estimated blow-up 15.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.23sec 0.15sec 3 780 21898
htl 0.91sec 19.84sec 3 420 6769
str 1.12sec 63.10sec 3 452 6429

test50/test_50.20_5_0.2_2_0.2_4_0.19.8 nlp
25 lines 1498 bytes
head (2,2,0) body (2,4,0)
estimated blow-up 19.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 10.51sec 0.36sec 60 1272 28850
htl 1.07sec 5.46sec 60 443 6883
str 1.14sec 9.41sec 60 463 6406

test50/test_50.20_5_0.2_2_0.2_4_1.23.0 nlp
25 lines 1643 bytes
head (2,2,0) body (2,4,1)
estimated blow-up 23.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 11.98sec 0.35sec 16 1330 37801
htl 1.01sec 173.16sec 16 454 7222
str 1.23sec 181.03sec -- 488 6939

test50/test_50.20_5_0.2_2_0.3_2_0.14.7 nlp
25 lines 1338 bytes
head (2,2,0) body (3,2,0)
estimated blow-up 14.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.44sec 0.14sec 8 667 17833
htl 0.89sec 181.06sec -- 422 6420
str 1.06sec 181.06sec -- 444 6135

test50/test_50.20_5_0.2_2_0.3_2_1.16.1 nlp
25 lines 1473 bytes
head (2,2,0) body (3,2,1)
estimated blow-up 16.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.35sec 0.15sec 19 668 20685
htl 0.93sec 181.57sec -- 432 6782
str 1.04sec 181.03sec -- 466 6619

test50/test_50.20_5_0.2_2_0.3_3_0.38.7 nlp
25 lines 1729 bytes
head (2,2,0) body (3,3,0)
estimated blow-up 38.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 29.64sec 1.42sec 2 2144 60177
htl 1.17sec 181.02sec -- 499 7922
str 1.39sec 181.02sec -- 537 7643

test50/test_50.20_5_0.2_2_0.3_3_1.43.3 nlp
25 lines 1805 bytes
head (2,2,0) body (3,3,1)
estimated blow-up 43.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 30.34sec 1.45sec 8 2141 70515
htl 1.24sec 181.10sec -- 497 7953
str 1.41sec 181.03sec -- 535 7684

test50/test_50.20_5_0.2_2_0.3_4_0.75.4 nlp
25 lines 2059 bytes
head (2,2,0) body (3,4,0)
estimated blow-up 75.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 158.70sec 7.02sec 0 5072 143221
htl 1.46sec 0.26sec 0 567 9140
str 1.79sec 12.00sec 0 613 8849

test50/test_50.20_5_0.2_2_0.3_4_1.85.4 nlp
25 lines 2098 bytes
head (2,2,0) body (3,4,1)
estimated blow-up 85.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 154.94sec 6.93sec 60 4968 161359
htl 1.53sec 181.18sec -- 559 8951
str 1.75sec 181.14sec -- 607 8828

test50/test_50.20_5_0.2_2_0.4_2_0.29.6 nlp
25 lines 1658 bytes
head (2,2,0) body (4,2,0)
estimated blow-up 29.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 12.03sec 0.63sec 14 1334 43721
htl 1.21sec 181.05sec -- 498 7852
str 1.42sec 181.13sec -- 536 7628

test50/test_50.20_5_0.2_2_0.4_2_1.32.1 nlp
25 lines 1728 bytes
head (2,2,0) body (4,2,1)
estimated blow-up 32.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 12.66sec 0.48sec 7 1340 50105
htl 1.22sec 181.15sec -- 494 7835
str 1.38sec 181.03sec -- 528 7541

test50/test_50.20_5_0.2_2_0.4_3_0.114.4 nlp
25 lines 2083 bytes
head (2,2,0) body (4,3,0)
estimated blow-up 114.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 240.58sec 14.63sec 10 6226 208468
htl 1.48sec 181.03sec -- 583 9360
str 1.79sec 181.02sec -- 625 8998

test50/test_50.20_5_0.2_2_0.4_3_1.126.1 nlp
25 lines 2164 bytes
head (2,2,0) body (4,3,1)
estimated blow-up 126.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 263.36sec 19.90sec 3 6454 239927
htl 1.52sec 181.21sec -- 584 9413
str 1.91sec 181.02sec -- 628 9125

test50/test_50.20_5_0.2_2_0.4_4_0.292.6 nlp
25 lines 2566 bytes
head (2,2,0) body (4,4,0)
estimated blow-up 292.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2611.13sec 114.24sec 10 19800 671067
htl 1.94sec 40.31sec 10 666 10931
str 2.57sec 75.35sec 10 714 10400

test50/test_50.20_5_0.2_2_0.4_4_1.325.9 nlp
25 lines 2629 bytes
head (2,2,0) body (4,4,1)
estimated blow-up 325.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2410.98sec 130.34sec 22 18766 727587
htl 1.93sec 181.02sec -- 665 10933
str 2.43sec 181.08sec -- 703 10278

test50/test_50.20_5_0.2_3_0.1_2_0.6.1 nlp
25 lines 1073 bytes
head (2,3,0) body (1,2,0)
estimated blow-up 6.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.50sec 0.02sec 0 439 8053
htl 0.71sec 0.01sec 0 355 5503
str 0.76sec 0.01sec 0 377 5151

test50/test_50.20_5_0.2_3_0.1_2_1.7.2 nlp
25 lines 1253 bytes
head (2,3,0) body (1,2,1)
estimated blow-up 7.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.64sec 0.02sec 3 471 10287
htl 0.73sec 0.14sec 3 361 5769
str 0.88sec 0.17sec 3 389 5451

test50/test_50.20_5_0.2_3_0.1_3_0.8.1 nlp
25 lines 1192 bytes
head (2,3,0) body (1,3,0)
estimated blow-up 8.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.64sec 0.03sec 0 626 11725
htl 0.77sec 0.01sec 0 374 5848
str 0.95sec 0.01sec 0 402 5544

test50/test_50.20_5_0.2_3_0.1_3_1.9.7 nlp
25 lines 1354 bytes
head (2,3,0) body (1,3,1)
estimated blow-up 9.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.79sec 0.03sec 1 626 14376
htl 0.84sec 0.60sec 1 372 5901
str 0.92sec 0.87sec 1 410 5734

test50/test_50.20_5_0.2_3_0.1_4_0.9.7 nlp
25 lines 1313 bytes
head (2,3,0) body (1,4,0)
estimated blow-up 9.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.08sec 0.04sec 0 800 15082
htl 0.92sec 0.01sec 0 404 6426
str 1.00sec 0.01sec 0 436 6088

test50/test_50.20_5_0.2_3_0.1_4_1.11.8 nlp
25 lines 1419 bytes
head (2,3,0) body (1,4,1)
estimated blow-up 11.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.54sec 0.14sec 34 833 18374
htl 0.88sec 2.33sec 34 407 6505
str 0.98sec 2.92sec 34 441 6229

test50/test_50.20_5_0.2_3_0.2_2_0.12.9 nlp
25 lines 1378 bytes
head (2,3,0) body (2,2,0)
estimated blow-up 12.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.90sec 0.08sec 6 755 16983
htl 0.86sec 0.14sec 6 408 6320
str 0.98sec 0.17sec 6 438 6077

test50/test_50.20_5_0.2_3_0.2_2_1.14.7 nlp
25 lines 1488 bytes
head (2,3,0) body (2,2,1)
estimated blow-up 14.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.68sec 0.08sec 0 811 22076
htl 0.93sec 32.68sec 0 426 6734
str 1.10sec 42.26sec 0 456 6475

test50/test_50.20_5_0.2_3_0.2_3_0.24.3 nlp
25 lines 1609 bytes
head (2,3,0) body (2,3,0)
estimated blow-up 24.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 17.88sec 0.18sec 0 1674 38382
htl 1.12sec 0.01sec 0 465 7347
str 1.28sec 0.01sec 0 507 7194

test50/test_50.20_5_0.2_3_0.2_3_1.28.2 nlp
25 lines 1727 bytes
head (2,3,0) body (2,3,1)
estimated blow-up 28.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 18.80sec 0.29sec 2 1704 47497
htl 1.17sec 3.10sec 2 474 7637
str 1.37sec 5.41sec 2 516 7418

test50/test_50.20_5_0.2_3_0.2_4_0.37.4 nlp
25 lines 1738 bytes
head (2,3,0) body (2,4,0)
estimated blow-up 37.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 43.60sec 0.45sec 0 2659 58445
htl 1.24sec 0.01sec 0 504 7890
str 1.36sec 0.03sec 0 544 7763

test50/test_50.20_5_0.2_3_0.2_4_1.43.9 nlp
25 lines 1947 bytes
head (2,3,0) body (2,4,1)
estimated blow-up 43.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 55.20sec 1.92sec 1 2957 82182
htl 1.25sec 0.09sec 1 514 8396
str 1.52sec 0.11sec 1 550 7970

test50/test_50.20_5_0.2_3_0.3_2_0.27.0 nlp
25 lines 1629 bytes
head (2,3,0) body (3,2,0)
estimated blow-up 27.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 15.20sec 0.50sec 14 1528 41588
htl 1.17sec 13.25sec 14 498 7855
str 1.28sec 21.24sec 14 524 7431

test50/test_50.20_5_0.2_3_0.3_2_1.30.1 nlp
25 lines 1738 bytes
head (2,3,0) body (3,2,1)
estimated blow-up 30.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 12.94sec 0.24sec 0 1387 43588
htl 1.15sec 181.02sec -- 476 7519
str 1.35sec 181.06sec -- 526 7559

test50/test_50.20_5_0.2_3_0.3_3_0.73.9 nlp
25 lines 1992 bytes
head (2,3,0) body (3,3,0)
estimated blow-up 73.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 134.32sec 2.60sec 0 4656 132178
htl 1.44sec 0.10sec 0 552 8861
str 1.71sec 0.13sec 0 594 8527

test50/test_50.20_5_0.2_3_0.3_3_1.83.5 nlp
25 lines 1981 bytes
head (2,3,0) body (3,3,1)
estimated blow-up 83.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 129.89sec 3.30sec 5 4550 144357
htl 1.38sec 181.17sec -- 548 8683
str 1.62sec 181.07sec -- 588 8502

test50/test_50.20_5_0.2_3_0.3_4_0.147.9 nlp
25 lines 2235 bytes
head (2,3,0) body (3,4,0)
estimated blow-up 147.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 823.74sec 5.43sec 0 11087 307567
htl 1.63sec 0.02sec 0 613 9788
str 1.94sec 0.02sec 0 653 9411

test50/test_50.20_5_0.2_3_0.3_4_1.168.8 nlp
25 lines 2432 bytes
head (2,3,0) body (3,4,1)
estimated blow-up 168.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 750.43sec 39.17sec 5 10870 362839
htl 1.63sec 163.85sec 5 615 10097
str 2.16sec 181.03sec -- 671 9864

test50/test_50.20_5_0.2_3_0.4_2_0.56.0 nlp
25 lines 1792 bytes
head (2,3,0) body (4,2,0)
estimated blow-up 56.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 52.23sec 0.77sec 2 2860 86753
htl 1.31sec 53.38sec 2 540 8334
str 1.44sec 124.94sec 2 572 8113

test50/test_50.20_5_0.2_3_0.4_2_1.61.3 nlp
25 lines 2021 bytes
head (2,3,0) body (4,2,1)
estimated blow-up 61.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 56.10sec 0.83sec 6 2942 110553
htl 1.37sec 181.11sec -- 555 8997
str 1.61sec 181.09sec -- 591 8558

test50/test_50.20_5_0.2_3_0.4_3_0.224.5 nlp
25 lines 2336 bytes
head (2,3,0) body (4,3,0)
estimated blow-up 224.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1339.78sec 9.34sec 0 14213 468262
htl 1.75sec 0.29sec 0 631 10161
str 2.22sec 0.31sec 0 679 9814

test50/test_50.20_5_0.2_3_0.4_3_1.249.1 nlp
25 lines 2429 bytes
head (2,3,0) body (4,3,1)
estimated blow-up 249.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1232.15sec 19.44sec 0 13727 519480
htl 1.72sec 11.60sec 0 635 10338
str 2.12sec 19.72sec 0 677 9882

test50/test_50.20_5_0.2_3_0.4_4_0.588.4 nlp
25 lines 2805 bytes
head (2,3,0) body (4,4,0)
estimated blow-up 588.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 12817.37sec 181.08sec -- 41962 1400951
htl 2.13sec 0.08sec 0 717 11791
str 2.78sec 0.22sec 0 773 11319

test50/test_50.20_5_0.2_3_0.4_4_1.658.4 nlp
25 lines 2967 bytes
head (2,3,0) body (4,4,1)
estimated blow-up 658.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 14486.66sec 181.07sec -- 44849 1781990
htl 2.25sec 10.28sec 0 723 12087
str 3.01sec 29.82sec 0 787 11664

test50/test_50.20_5_0.2_4_0.1_2_0.8.6 nlp
25 lines 1333 bytes
head (2,4,0) body (1,2,0)
estimated blow-up 8.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.80sec 0.03sec 0 772 14072
htl 0.97sec 0.01sec 0 408 6424
str 0.99sec 0.01sec 0 432 5997

test50/test_50.20_5_0.2_4_0.1_2_1.10.4 nlp
25 lines 1521 bytes
head (2,4,0) body (1,2,1)
estimated blow-up 10.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.02sec 0.04sec 0 772 17307
htl 0.88sec 0.01sec 0 406 6564
str 1.10sec 0.01sec 0 442 6237

test50/test_50.20_5_0.2_4_0.1_3_0.11.6 nlp
25 lines 1421 bytes
head (2,4,0) body (1,3,0)
estimated blow-up 11.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.78sec 0.05sec 0 1050 19325
htl 0.95sec 0.01sec 0 432 6817
str 1.19sec 0.01sec 0 452 6295

test50/test_50.20_5_0.2_4_0.1_3_1.14.2 nlp
25 lines 1590 bytes
head (2,4,0) body (1,3,1)
estimated blow-up 14.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 7.47sec 0.07sec 0 1076 24120
htl 0.95sec 0.01sec 0 438 7071
str 1.10sec 0.01sec 0 470 6692

test50/test_50.20_5_0.2_4_0.1_4_0.14.2 nlp
25 lines 1629 bytes
head (2,4,0) body (1,4,0)
estimated blow-up 14.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 11.47sec 0.04sec 0 1366 25791
htl 1.10sec 0.01sec 0 459 7501
str 1.28sec 0.01sec 0 493 6967

test50/test_50.20_5_0.2_4_0.1_4_1.17.6 nlp
25 lines 1753 bytes
head (2,4,0) body (1,4,1)
estimated blow-up 17.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 11.54sec 0.13sec 0 1333 30281
htl 1.02sec 0.01sec 0 449 7344
str 1.24sec 0.01sec 0 497 7121

test50/test_50.20_5_0.2_4_0.2_2_0.18.8 nlp
25 lines 1643 bytes
head (2,4,0) body (2,2,0)
estimated blow-up 18.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 11.47sec 0.17sec 0 1330 30262
htl 1.17sec 0.04sec 0 468 7375
str 1.21sec 0.04sec 0 494 6950

test50/test_50.20_5_0.2_4_0.2_2_1.21.8 nlp
25 lines 1744 bytes
head (2,4,0) body (2,2,1)
estimated blow-up 21.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 12.25sec 0.25sec 0 1359 37746
htl 1.10sec 0.27sec 0 477 7626
str 1.39sec 0.57sec 0 511 7330

test50/test_50.20_5_0.2_4_0.2_3_0.36.5 nlp
25 lines 1819 bytes
head (2,4,0) body (2,3,0)
estimated blow-up 36.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 53.73sec 0.29sec 0 2960 66853
htl 1.27sec 0.01sec 0 527 8357
str 1.50sec 0.01sec 0 561 8002

test50/test_50.20_5_0.2_4_0.2_3_1.42.8 nlp
25 lines 1884 bytes
head (2,4,0) body (2,3,1)
estimated blow-up 42.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 54.91sec 1.43sec 0 2946 78847
htl 1.33sec 0.01sec 0 516 8196
str 1.48sec 0.02sec 0 542 7745

test50/test_50.20_5_0.2_4_0.2_4_0.57.3 nlp
25 lines 2094 bytes
head (2,4,0) body (2,4,0)
estimated blow-up 57.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 139.17sec 1.93sec 0 4797 111601
htl 1.38sec 0.01sec 0 552 8913
str 1.69sec 0.01sec 0 596 8558

test50/test_50.20_5_0.2_4_0.2_4_1.67.7 nlp
25 lines 2126 bytes
head (2,4,0) body (2,4,1)
estimated blow-up 67.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 138.46sec 3.73sec 0 4752 127393
htl 1.47sec 0.77sec 0 557 8953
str 1.74sec 0.02sec 0 599 8687

test50/test_50.20_5_0.2_4_0.3_2_0.40.5 nlp
25 lines 1907 bytes
head (2,4,0) body (3,2,0)
estimated blow-up 40.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 46.02sec 0.17sec 0 2702 73561
htl 1.37sec 0.01sec 0 539 8561
str 1.65sec 0.02sec 0 585 8377

test50/test_50.20_5_0.2_4_0.3_2_1.45.6 nlp
25 lines 2038 bytes
head (2,4,0) body (3,2,1)
estimated blow-up 45.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 41.95sec 1.38sec 2 2550 82637
htl 1.42sec 2.14sec 2 540 8744
str 1.57sec 2.50sec 2 576 8337

test50/test_50.20_5_0.2_4_0.3_3_0.114.1 nlp
25 lines 2288 bytes
head (2,4,0) body (3,3,0)
estimated blow-up 114.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 455.01sec 7.86sec 0 8439 238041
htl 1.69sec 0.02sec 0 606 9863
str 2.07sec 0.02sec 0 662 9652

test50/test_50.20_5_0.2_4_0.3_3_1.130.0 nlp
25 lines 2389 bytes
head (2,4,0) body (3,3,1)
estimated blow-up 130.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 410.53sec 7.92sec 8 7974 264001
htl 1.59sec 7.09sec 8 602 9904
str 2.02sec 9.56sec 8 658 9662

test50/test_50.20_5_0.2_4_0.3_4_0.233.0 nlp
25 lines 2600 bytes
head (2,4,0) body (3,4,0)
estimated blow-up 233.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2540.52sec 16.33sec 0 19104 545909
htl 1.94sec 0.02sec 0 667 10942
str 2.57sec 0.02sec 0 723 10584

test50/test_50.20_5_0.2_4_0.3_4_1.267.4 nlp
25 lines 2639 bytes
head (2,4,0) body (3,4,1)
estimated blow-up 267.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2661.02sec 84.53sec 0 19860 640196
htl 1.83sec 1.54sec 0 656 10709
str 2.35sec 11.35sec 0 698 10162

test50/test_50.20_5_0.2_4_0.4_2_0.85.7 nlp
25 lines 2194 bytes
head (2,4,0) body (4,2,0)
estimated blow-up 85.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 156.04sec 2.23sec 0 5000 164825
htl 1.56sec 0.26sec 0 602 9725
str 1.89sec 0.34sec 0 648 9365

test50/test_50.20_5_0.2_4_0.4_2_1.94.7 nlp
25 lines 2280 bytes
head (2,4,0) body (4,2,1)
estimated blow-up 94.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 157.33sec 4.95sec 0 5022 187868
htl 1.60sec 26.02sec 0 610 9933
str 2.03sec 41.79sec 0 658 9617

test50/test_50.20_5_0.2_4_0.4_3_0.353.8 nlp
25 lines 2644 bytes
head (2,4,0) body (4,3,0)
estimated blow-up 353.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3981.46sec 73.89sec 0 23918 798974
htl 2.08sec 0.03sec 0 691 11359
str 2.50sec 0.04sec 0 739 10813

test50/test_50.20_5_0.2_4_0.4_3_1.394.7 nlp
25 lines 2616 bytes
head (2,4,0) body (4,3,1)
estimated blow-up 394.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4151.92sec 136.62sec 12 24745 895138
htl 2.02sec 181.06sec -- 688 11128
str 2.48sec 181.02sec -- 734 10756

test50/test_50.20_5_0.2_4_0.4_4_0.945.5 nlp
25 lines 3011 bytes
head (2,4,0) body (4,4,0)
estimated blow-up 945.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 39469.30sec 181.03sec -- 72986 2436667
htl 2.40sec 0.02sec 0 760 12471
str 3.08sec 0.02sec 0 802 11745

test50/test_50.20_5_0.2_4_0.4_4_1.1062.2 nlp
25 lines 3108 bytes
head (2,4,0) body (4,4,1)
estimated blow-up 1062.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 39702.86sec 182.33sec -- 73373 2802105
htl 2.43sec 1.53sec 0 764 12582
str 3.14sec 3.15sec 0 824 12201

test50/test_50.20_5_0.3_2_0.1_2_0.7.3 nlp
25 lines 1100 bytes
head (3,2,0) body (1,2,0)
estimated blow-up 7.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.41sec 2.26sec 2949 408 9311
htl 0.78sec 181.43sec -- 381 5843
str 0.85sec 181.25sec -- 403 5531

test50/test_50.20_5_0.3_2_0.1_2_1.8.1 nlp
25 lines 1198 bytes
head (3,2,0) body (1,2,1)
estimated blow-up 8.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.37sec 1.59sec 186 400 10133
htl 0.79sec 181.23sec -- 382 5888
str 0.89sec 181.04sec -- 414 5828

test50/test_50.20_5_0.3_2_0.1_3_0.9.7 nlp
25 lines 1175 bytes
head (3,2,0) body (1,3,0)
estimated blow-up 9.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.11sec 0.56sec 972 528 11883
htl 0.92sec 132.74sec 972 398 6084
str 0.89sec 181.51sec -- 426 5908

test50/test_50.20_5_0.3_2_0.1_3_1.10.9 nlp
25 lines 1265 bytes
head (3,2,0) body (1,3,1)
estimated blow-up 10.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.51sec 1.36sec 732 574 14781
htl 0.83sec 181.22sec -- 400 6147
str 0.89sec 181.06sec -- 414 5743

test50/test_50.20_5_0.3_2_0.1_4_0.11.6 nlp
25 lines 1384 bytes
head (3,2,0) body (1,4,0)
estimated blow-up 11.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.49sec 0.57sec 1010 702 16557
htl 0.99sec 57.19sec 1010 425 6760
str 1.17sec 122.31sec 1010 465 6549

test50/test_50.20_5_0.3_2_0.1_4_1.13.2 nlp
25 lines 1484 bytes
head (3,2,0) body (1,4,1)
estimated blow-up 13.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.88sec 0.41sec 553 736 20197
htl 0.93sec 181.12sec -- 426 6762
str 1.07sec 181.19sec -- 466 6640

test50/test_50.20_5_0.3_2_0.2_2_0.14.4 nlp
25 lines 1364 bytes
head (3,2,0) body (2,2,0)
estimated blow-up 14.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.61sec 3.98sec 951 702 18827
htl 1.03sec 181.93sec -- 444 6828
str 1.08sec 181.15sec -- 472 6577

test50/test_50.20_5_0.3_2_0.2_2_1.15.8 nlp
25 lines 1464 bytes
head (3,2,0) body (2,2,1)
estimated blow-up 15.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.85sec 0.28sec 73 710 22245
htl 1.00sec 181.03sec -- 423 6546
str 1.05sec 181.04sec -- 451 6330

test50/test_50.20_5_0.3_2_0.2_3_0.27.1 nlp
25 lines 1568 bytes
head (3,2,0) body (2,3,0)
estimated blow-up 27.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 15.86sec 17.60sec 5617 1546 42327
htl 1.21sec 181.14sec -- 490 7629
str 1.28sec 181.07sec -- 522 7374

test50/test_50.20_5_0.3_2_0.2_3_1.30.2 nlp
25 lines 1668 bytes
head (3,2,0) body (2,3,1)
estimated blow-up 30.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 14.77sec 2.37sec 355 1490 47693
htl 1.22sec 181.02sec -- 494 7800
str 1.41sec 181.07sec -- 530 7614

test50/test_50.20_5_0.3_2_0.2_4_0.41.6 nlp
25 lines 1783 bytes
head (3,2,0) body (2,4,0)
estimated blow-up 41.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 41.59sec 3.42sec 1247 2536 71629
htl 1.27sec 181.15sec -- 526 8263
str 181.59sec 181.59sec -- 526 8263

test50/test_50.20_5_0.3_2_0.2_4_1.46.9 nlp
25 lines 1939 bytes
head (3,2,0) body (2,4,1)
estimated blow-up 46.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 44.00sec 18.22sec 246 2606 86161
htl 1.32sec 181.07sec -- 531 8548
str 1.53sec 181.04sec -- 573 8308

test50/test_50.20_5_0.3_2_0.3_2_0.28.8 nlp
25 lines 1631 bytes
head (3,2,0) body (3,2,0)
estimated blow-up 28.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 11.22sec 5.46sec 210 1284 41545
htl 1.18sec 181.06sec -- 509 7983
str 1.32sec 181.08sec -- 541 7679

test50/test_50.20_5_0.3_3_0.4_4_0.1776.3 nlp
25 lines 3123 bytes
head (3,3,0) body (4,4,0)
estimated blow-up 1776.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 111970.99sec 182.65sec -- 128091 4857540
htl 2.74sec 11.07sec 20 815 13340
str 3.49sec 14.68sec 20 867 12696

test50/test_50.20_5_0.3_3_0.4_4_1.1958.0 nlp
25 lines 3239 bytes
head (3,3,0) body (4,4,1)
estimated blow-up 1958.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 122679.08sec 203.99sec -- 121750 5235012
htl 2.99sec 211.83sec -- 811 13370
str 4.20sec 207.14sec -- 867 12824

test50/test_50.20_5_0.3_4_0.1_2_0.32.9 nlp
25 lines 1885 bytes
head (3,4,0) body (1,2,0)
estimated blow-up 32.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 57.96sec 0.54sec 0 2818 64133
htl 1.65sec 0.03sec 0 548 8786
str 2.20sec 0.02sec 0 584 8356

test50/test_50.20_5_0.3_4_0.1_2_1.38.2 nlp
25 lines 2049 bytes
head (3,4,0) body (1,2,1)
estimated blow-up 38.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 63.60sec 5.97sec 37 2923 80390
htl 1.75sec 47.75sec 37 556 9079
str 1.97sec 65.71sec 37 598 8703

test50/test_50.20_5_0.3_4_0.1_3_0.45.3 nlp
25 lines 2049 bytes
head (3,4,0) body (1,3,0)
estimated blow-up 45.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 117.66sec 0.19sec 0 4030 92809
htl 1.89sec 0.02sec 0 566 9181
str 2.25sec 0.04sec 0 618 8952

test50/test_50.20_5_0.3_4_0.1_3_1.53.0 nlp
25 lines 2199 bytes
head (3,4,0) body (1,3,1)
estimated blow-up 53.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 116.48sec 2.31sec 48 3963 113266
htl 1.82sec 2.52sec 48 563 9224
str 2.30sec 3.49sec 48 613 8946

test50/test_50.20_5_0.3_4_0.1_4_0.56.4 nlp
25 lines 2129 bytes
head (3,4,0) body (1,4,0)
estimated blow-up 56.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 198.70sec 0.31sec 0 5268 124833
htl 2.06sec 0.04sec 0 592 9605
str 2.36sec 0.03sec 0 636 9167

test50/test_50.20_5_0.3_4_0.1_4_1.66.4 nlp
25 lines 2271 bytes
head (3,4,0) body (1,4,1)
estimated blow-up 66.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 182.26sec 0.44sec 0 4998 141407
htl 1.81sec 3.71sec 0 587 9623
str 2.33sec 4.60sec 0 629 9157

test50/test_50.20_5_0.3_4_0.2_2_0.69.8 nlp
25 lines 2212 bytes
head (3,4,0) body (2,2,0)
estimated blow-up 69.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 200.99sec 0.98sec 1 5242 145141
htl 1.98sec 0.20sec 1 608 9854
str 2.35sec 0.36sec 1 658 9547

test50/test_50.20_5_0.3_4_0.2_2_1.79.2 nlp
25 lines 2261 bytes
head (3,4,0) body (2,2,1)
estimated blow-up 79.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 209.53sec 13.37sec 7 5308 168325
htl 2.07sec 202.64sec -- 610 9906
str 2.36sec 203.76sec -- 650 9473

test50/test_50.20_5_0.3_4_0.2_3_0.139.4 nlp
25 lines 2406 bytes
head (3,4,0) body (2,3,0)
estimated blow-up 139.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1022.31sec 1.10sec 0 11202 311891
htl 2.12sec 0.04sec 0 649 10543
str 2.72sec 0.03sec 0 689 9998

test50/test_50.20_5_0.3_4_0.2_3_1.159.2 nlp
25 lines 2416 bytes
head (3,4,0) body (2,3,1)
estimated blow-up 159.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 940.58sec 74.62sec 131 11124 351901
htl 2.05sec 204.93sec -- 648 10444
str 2.54sec 204.35sec -- 700 10247

test50/test_50.20_5_0.3_4_0.2_4_0.224.6 nlp
25 lines 2782 bytes
head (3,4,0) body (2,4,0)
estimated blow-up 224.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2855.07sec 2.20sec 0 19340 572397
htl 2.36sec 0.04sec 0 691 11571
str 3.47sec 0.04sec 0 751 11038

test50/test_50.20_5_0.3_4_0.2_4_1.258.0 nlp
25 lines 2736 bytes
head (3,4,0) body (2,4,1)
estimated blow-up 258.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2836.92sec 45.04sec 11 18880 626453
htl 2.38sec 16.02sec 11 689 11314
str 3.34sec 21.57sec 11 749 11062

test50/test_50.20_5_0.3_4_0.3_2_0.148.5 nlp
25 lines 2456 bytes
head (3,4,0) body (3,2,0)
estimated blow-up 148.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 890.99sec 3.13sec 5 10372 336385
htl 2.49sec 2.44sec 5 671 10894
str 2.94sec 3.02sec 5 723 10528

test50/test_50.20_5_0.3_4_0.3_2_1.165.0 nlp
25 lines 2528 bytes
head (3,4,0) body (3,2,1)
estimated blow-up 165.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 761.48sec 204.70sec -- 9976 372245
htl 2.11sec 203.99sec -- 664 10781
str 2.66sec 204.14sec -- 722 10608

test50/test_50.20_5_0.3_4_0.3_3_0.434.0 nlp
25 lines 2853 bytes
head (3,4,0) body (3,3,0)
estimated blow-up 434.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 9543.13sec 87.92sec 0 34108 1160961
htl 2.71sec 0.04sec 0 738 12237
str 3.50sec 0.04sec 0 798 11746

test50/test_50.20_5_0.3_4_0.3_3_1.485.7 nlp
25 lines 2868 bytes
head (3,4,0) body (3,3,1)
estimated blow-up 485.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 7886.57sec 27.40sec 2 30178 1151881
htl 2.68sec 23.10sec 2 729 12031
str 3.42sec 36.60sec 2 787 11647

test50/test_50.20_5_0.3_4_0.3_4_0.912.0 nlp
25 lines 3012 bytes
head (3,4,0) body (3,4,0)
estimated blow-up 912.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 44480.16sec 45.10sec 0 73776 2421929
htl 2.52sec 0.04sec 0 781 12701
str 3.11sec 0.04sec 0 823 12019

test50/test_50.20_5_0.3_4_0.3_4_1.1025.7 nlp
25 lines 3232 bytes
head (3,4,0) body (3,4,1)
estimated blow-up 1025.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 33240.44sec 184.02sec -- 70286 2720473
htl 2.50sec 10.60sec 12 784 13038
str 3.54sec 18.03sec 12 846 12513

test50/test_50.20_5_0.3_4_0.4_2_0.313.7 nlp
25 lines 2695 bytes
head (3,4,0) body (4,2,0)
estimated blow-up 313.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2590.89sec 180.58sec 13 18832 700829
htl 2.34sec 185.28sec -- 728 11843
str 2.82sec 187.93sec -- 784 11464

test50/test_50.20_5_0.3_4_0.4_2_1.343.3 nlp
25 lines 2839 bytes
head (3,4,0) body (4,2,1)
estimated blow-up 343.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2683.77sec 33.70sec 2 19302 829849
htl 2.32sec 185.28sec -- 732 12069
str 2.98sec 185.47sec -- 802 11881

test50/test_50.20_5_0.3_4_0.4_3_0.1345.7 nlp
25 lines 3132 bytes
head (3,4,0) body (4,3,0)
estimated blow-up 1345.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 70906.44sec 105.11sec 2 95858 3652465
htl 2.74sec 0.63sec 2 813 13373
str 3.60sec 0.73sec 2 865 12686

test50/test_50.20_5_0.3_4_0.4_3_1.1482.8 nlp
25 lines 3215 bytes
head (3,4,0) body (4,3,1)
estimated blow-up 1482.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 68695.82sec 185.61sec -- 93554 3980241
htl 2.69sec 184.43sec -- 808 13335
str 3.50sec 187.97sec -- 868 12881

next up previous contents
Next: Cardinality constraints test series Up: Subseries: 50 variables Previous: Tables   Contents
Torsten Schaub 2002-10-13