next up previous contents
Next: Subseries: 50 variables Up: Subseries: 45 variables Previous: Tables   Contents

Individual tests

test45/test_45.20_5_0.1_2_0.1_2_0.1.8 nlp
25 lines 605 bytes
head (1,2,0) body (1,2,0)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.43sec 0.01sec 0 112 1733
htl 1.36sec 0.00sec 0 202 2981
str 1.72sec 0.01sec 0 220 2826

test45/test_45.20_5_0.1_2_0.1_2_1.2.2 nlp
25 lines 677 bytes
head (1,2,0) body (1,2,1)
estimated blow-up 2.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.01sec 0.01sec 0 108 1865
htl 1.64sec 0.00sec 0 195 2829
str 1.41sec 0.01sec 0 209 2715

test45/test_45.20_5_0.1_2_0.1_3_0.2.2 nlp
25 lines 678 bytes
head (1,2,0) body (1,3,0)
estimated blow-up 2.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.46sec 0.01sec 0 156 2256
htl 2.19sec 0.01sec 0 230 3412
str 2.06sec 0.00sec 0 250 3261

test45/test_45.20_5_0.1_2_0.1_3_1.2.8 nlp
25 lines 830 bytes
head (1,2,0) body (1,3,1)
estimated blow-up 2.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.48sec 0.06sec 0 160 2909
htl 2.03sec 0.00sec 0 229 3492
str 2.37sec 0.01sec 0 255 3428

test45/test_45.20_5_0.1_2_0.1_4_0.2.5 nlp
25 lines 791 bytes
head (1,2,0) body (1,4,0)
estimated blow-up 2.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.87sec 0.01sec 0 198 2861
htl 2.46sec 0.01sec 0 254 3852
str 2.66sec 0.01sec 0 272 3586

test45/test_45.20_5_0.1_2_0.1_4_1.3.2 nlp
25 lines 957 bytes
head (1,2,0) body (1,4,1)
estimated blow-up 3.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.42sec 0.04sec 0 198 3710
htl 2.22sec 0.02sec 0 256 4038
str 2.55sec 0.01sec 0 284 3859

test45/test_45.20_5_0.1_2_0.2_2_0.3.7 nlp
25 lines 876 bytes
head (1,2,0) body (2,2,0)
estimated blow-up 3.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.48sec 0.09sec 0 195 3574
htl 2.58sec 0.01sec 0 277 4156
str 2.74sec 0.04sec 0 297 3919

test45/test_45.20_5_0.1_2_0.2_2_1.4.3 nlp
25 lines 1008 bytes
head (1,2,0) body (2,2,1)
estimated blow-up 4.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.28sec 0.02sec 0 202 4533
htl 3.02sec 0.01sec 0 284 4474
str 2.89sec 0.01sec 0 306 4164

test45/test_45.20_5_0.1_2_0.2_3_0.6.4 nlp
25 lines 1103 bytes
head (1,2,0) body (2,3,0)
estimated blow-up 6.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.83sec 0.17sec 0 404 7406
htl 3.01sec 0.01sec 0 323 4978
str 3.70sec 0.01sec 0 347 4670

test45/test_45.20_5_0.1_2_0.2_3_1.7.6 nlp
25 lines 1231 bytes
head (1,2,0) body (2,3,1)
estimated blow-up 7.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.22sec 0.22sec 0 396 9307
htl 3.01sec 0.06sec 0 324 5154
str 3.48sec 0.01sec 0 354 4884

test45/test_45.20_5_0.1_2_0.2_4_0.9.1 nlp
25 lines 1291 bytes
head (1,2,0) body (2,4,0)
estimated blow-up 9.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 13.87sec 0.51sec 0 674 12156
htl 3.54sec 0.01sec 0 362 5606
str 4.03sec 0.01sec 0 394 5384

test45/test_45.20_5_0.1_2_0.2_4_1.11.1 nlp
25 lines 1443 bytes
head (1,2,0) body (2,4,1)
estimated blow-up 11.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 14.39sec 0.55sec 1 684 15732
htl 3.41sec 0.40sec 1 370 5967
str 4.15sec 0.36sec 1 400 5583

test45/test_45.20_5_0.1_2_0.3_2_0.7.5 nlp
25 lines 1107 bytes
head (1,2,0) body (3,2,0)
estimated blow-up 7.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.42sec 0.12sec 0 364 7886
htl 3.00sec 0.13sec 0 326 4846
str 3.66sec 0.06sec 0 350 4684

test45/test_45.20_5_0.1_2_0.3_2_1.8.4 nlp
25 lines 1209 bytes
head (1,2,0) body (3,2,1)
estimated blow-up 8.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.32sec 0.21sec 0 348 9212
htl 3.32sec 37.17sec 0 339 5149
str 3.52sec 69.64sec 0 363 4990

test45/test_45.20_5_0.1_2_0.3_3_0.18.8 nlp
25 lines 1461 bytes
head (1,2,0) body (3,3,0)
estimated blow-up 18.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 36.04sec 2.20sec 0 1126 25898
htl 4.06sec 0.02sec 0 417 6520
str 4.73sec 0.71sec 0 443 6164

test45/test_45.20_5_0.1_2_0.3_3_1.21.6 nlp
25 lines 1571 bytes
head (1,2,0) body (3,3,1)
estimated blow-up 21.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 35.58sec 2.14sec 0 1093 30660
htl 3.89sec 0.23sec 0 414 6560
str 4.73sec 0.24sec 0 444 6270

test45/test_45.20_5_0.1_2_0.3_4_0.35.3 nlp
25 lines 1712 bytes
head (1,2,0) body (3,4,0)
estimated blow-up 35.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 164.79sec 9.93sec 0 2446 56543
htl 4.78sec 0.05sec 0 473 7373
str 5.71sec 0.08sec 0 497 6953

test45/test_45.20_5_0.1_2_0.3_4_1.41.3 nlp
25 lines 1847 bytes
head (1,2,0) body (3,4,1)
estimated blow-up 41.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 174.34sec 11.86sec 0 2492 67757
htl 5.07sec 0.08sec 0 475 7576
str 6.35sec 0.01sec 0 511 7292

test45/test_45.20_5_0.1_2_0.4_2_0.15.2 nlp
25 lines 1416 bytes
head (1,2,0) body (4,2,0)
estimated blow-up 15.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 14.74sec 0.76sec 0 676 18900
htl 4.26sec 0.01sec 0 405 6242
str 4.76sec 0.01sec 0 439 6112

test45/test_45.20_5_0.1_2_0.4_2_1.16.7 nlp
25 lines 1474 bytes
head (1,2,0) body (4,2,1)
estimated blow-up 16.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 15.26sec 0.89sec 1 671 21019
htl 3.99sec 392.91sec 1 412 6401
str 4.88sec 779.51sec -- 442 6240

test45/test_45.20_5_0.1_2_0.4_3_0.55.8 nlp
25 lines 1823 bytes
head (1,2,0) body (4,3,0)
estimated blow-up 55.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 250.08sec 18.88sec 0 3026 85246
htl 5.43sec 0.02sec 0 499 7874
str 6.60sec 0.11sec 0 543 7725

test45/test_45.20_5_0.1_2_0.4_3_1.62.7 nlp
25 lines 1947 bytes
head (1,2,0) body (4,3,1)
estimated blow-up 62.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 283.10sec 23.63sec 0 3207 106992
htl 6.07sec 61.92sec 0 496 7916
str 7.27sec 120.24sec 0 542 7761

test45/test_45.20_5_0.1_2_0.4_4_0.138.4 nlp
25 lines 2115 bytes
head (1,2,0) body (4,4,0)
estimated blow-up 138.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2808.05sec 210.39sec 0 9664 256952
htl 6.74sec 0.05sec 0 583 9086
str 7.61sec 0.08sec 0 629 9023

test45/test_45.20_5_0.1_2_0.4_4_1.157.5 nlp
25 lines 2366 bytes
head (1,2,0) body (4,4,1)
estimated blow-up 157.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2269.83sec 147.12sec 1 8756 279979
htl 6.99sec 4.55sec 1 578 9385
str 8.64sec 8.57sec 1 622 9023

test45/test_45.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.23sec 0.09sec 0 167 2499
htl 2.32sec 0.05sec 0 234 3532
str 2.33sec 0.08sec 0 248 3233

test45/test_45.20_5_0.1_3_0.1_2_1.2.7 nlp
25 lines 881 bytes
head (1,3,0) body (1,2,1)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.27sec 0.01sec 0 174 3145
htl 2.60sec 0.07sec 0 245 3837
str 2.60sec 0.01sec 0 277 3773

test45/test_45.20_5_0.1_3_0.1_3_0.2.7 nlp
25 lines 811 bytes
head (1,3,0) body (1,3,0)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.64sec 0.01sec 0 221 3217
htl 2.34sec 0.08sec 0 262 3987
str 2.80sec 0.08sec 0 280 3707

test45/test_45.20_5_0.1_3_0.1_3_1.3.5 nlp
25 lines 935 bytes
head (1,3,0) body (1,3,1)
estimated blow-up 3.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.24sec 0.01sec 0 224 3945
htl 2.77sec 0.04sec 0 256 3953
str 2.84sec 0.01sec 0 276 3723

test45/test_45.20_5_0.1_3_0.1_4_0.3.1 nlp
25 lines 886 bytes
head (1,3,0) body (1,4,0)
estimated blow-up 3.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.50sec 0.12sec 0 275 3808
htl 2.61sec 0.08sec 0 283 4310
str 3.07sec 0.08sec 0 301 4014

test45/test_45.20_5_0.1_3_0.1_4_1.4.2 nlp
25 lines 1061 bytes
head (1,3,0) body (1,4,1)
estimated blow-up 4.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.87sec 0.11sec 0 286 5132
htl 2.69sec 0.08sec 0 275 4329
str 3.27sec 0.01sec 0 309 4232

test45/test_45.20_5_0.1_3_0.2_2_0.4.7 nlp
25 lines 984 bytes
head (1,3,0) body (2,2,0)
estimated blow-up 4.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.86sec 0.03sec 0 289 5145
htl 2.95sec 0.00sec 0 302 4538
str 3.27sec 0.08sec 0 324 4318

test45/test_45.20_5_0.1_3_0.2_2_1.5.5 nlp
25 lines 1089 bytes
head (1,3,0) body (2,2,1)
estimated blow-up 5.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.47sec 0.05sec 0 289 6316
htl 2.84sec 0.01sec 0 305 4702
str 3.79sec 0.08sec 0 327 4443

test45/test_45.20_5_0.1_3_0.2_3_0.8.3 nlp
25 lines 1199 bytes
head (1,3,0) body (2,3,0)
estimated blow-up 8.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 10.54sec 0.39sec 0 594 10780
htl 3.46sec 0.01sec 0 355 5494
str 3.79sec 0.08sec 0 373 5060

test45/test_45.20_5_0.1_3_0.2_3_1.10.1 nlp
25 lines 1415 bytes
head (1,3,0) body (2,3,1)
estimated blow-up 10.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 11.21sec 0.39sec 0 587 14029
htl 3.37sec 0.08sec 0 363 5929
str 4.38sec 0.01sec 0 401 5674

test45/test_45.20_5_0.1_3_0.2_4_0.12.3 nlp
25 lines 1363 bytes
head (1,3,0) body (2,4,0)
estimated blow-up 12.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 26.48sec 1.08sec 0 977 17189
htl 3.87sec 0.08sec 0 388 5972
str 4.14sec 0.01sec 0 406 5507

test45/test_45.20_5_0.1_3_0.2_4_1.15.1 nlp
25 lines 1553 bytes
head (1,3,0) body (2,4,1)
estimated blow-up 15.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 29.15sec 0.96sec 0 1009 24101
htl 4.30sec 0.08sec 0 401 6452
str 4.92sec 0.01sec 0 427 6002

test45/test_45.20_5_0.1_3_0.3_2_0.9.9 nlp
25 lines 1257 bytes
head (1,3,0) body (3,2,0)
estimated blow-up 9.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 9.69sec 0.24sec 0 535 12201
htl 3.63sec 0.01sec 0 371 5671
str 4.05sec 0.03sec 0 397 5447

test45/test_45.20_5_0.1_3_0.3_2_1.11.2 nlp
25 lines 1344 bytes
head (1,3,0) body (3,2,1)
estimated blow-up 11.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 9.86sec 0.40sec 0 536 14283
htl 3.87sec 63.81sec 0 375 5824
str 4.03sec 284.86sec 0 407 5683

test45/test_45.20_5_0.1_3_0.3_3_0.25.4 nlp
25 lines 1619 bytes
head (1,3,0) body (3,3,0)
estimated blow-up 25.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 74.98sec 2.97sec 0 1654 38860
htl 4.84sec 0.01sec 0 430 6765
str 5.51sec 0.05sec 0 462 6415

test45/test_45.20_5_0.1_3_0.3_3_1.29.5 nlp
25 lines 1646 bytes
head (1,3,0) body (3,3,1)
estimated blow-up 29.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 79.42sec 3.48sec 0 1680 46474
htl 4.73sec 0.10sec 0 443 6978
str 5.48sec 0.09sec 0 475 6721

test45/test_45.20_5_0.1_3_0.3_4_0.48.8 nlp
25 lines 1854 bytes
head (1,3,0) body (3,4,0)
estimated blow-up 48.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 346.45sec 19.56sec 0 3623 83020
htl 5.72sec 0.01sec 0 497 7814
str 6.37sec 0.05sec 0 529 7457

test45/test_45.20_5_0.1_3_0.3_4_1.57.3 nlp
25 lines 1966 bytes
head (1,3,0) body (3,4,1)
estimated blow-up 57.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 367.63sec 20.00sec 0 3714 102714
htl 5.68sec 0.08sec 0 507 8150
str 6.60sec 0.10sec 0 529 7541

test45/test_45.20_5_0.1_3_0.4_2_0.20.4 nlp
25 lines 1493 bytes
head (1,3,0) body (4,2,0)
estimated blow-up 20.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 29.17sec 1.75sec 0 994 26860
htl 4.38sec 0.08sec 0 433 6629
str 4.66sec 0.08sec 0 465 6489

test45/test_45.20_5_0.1_3_0.4_2_1.22.6 nlp
25 lines 1670 bytes
head (1,3,0) body (4,2,1)
estimated blow-up 22.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 31.54sec 2.11sec 1 1007 32163
htl 4.73sec 5.53sec 1 440 6999
str 5.71sec 8.98sec 1 476 6763

test45/test_45.20_5_0.1_3_0.4_3_0.77.1 nlp
25 lines 1912 bytes
head (1,3,0) body (4,3,0)
estimated blow-up 77.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 592.48sec 31.70sec 0 4760 131959
htl 6.18sec 0.01sec 0 529 8321
str 6.76sec 0.09sec 0 561 7995

test45/test_45.20_5_0.1_3_0.4_3_1.87.0 nlp
25 lines 2025 bytes
head (1,3,0) body (4,3,1)
estimated blow-up 87.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 608.64sec 30.09sec 0 4762 152686
htl 6.31sec 45.75sec 0 527 8421
str 7.16sec 74.71sec 0 567 8165

test45/test_45.20_5_0.1_3_0.4_4_0.194.4 nlp
25 lines 2460 bytes
head (1,3,0) body (4,4,0)
estimated blow-up 194.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6159.51sec 295.89sec 0 14088 416595
htl 7.25sec 0.09sec 0 604 9850
str 8.93sec 0.05sec 0 658 9532

test45/test_45.20_5_0.1_3_0.4_4_1.222.1 nlp
25 lines 2461 bytes
head (1,3,0) body (4,4,1)
estimated blow-up 222.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 7035.17sec 395.65sec 0 15057 493125
htl 7.68sec 0.09sec 0 611 9870
str 9.31sec 0.01sec 0 663 9667

test45/test_45.20_5_0.1_4_0.1_2_0.2.4 nlp
25 lines 846 bytes
head (1,4,0) body (1,2,0)
estimated blow-up 2.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.42sec 0.08sec 0 206 2972
htl 2.83sec 0.00sec 0 269 4156
str 2.84sec 0.08sec 0 289 3860

test45/test_45.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.75sec 0.01sec 0 214 3875
htl 2.25sec 0.08sec 0 261 4125
str 2.77sec 0.08sec 0 285 3867

test45/test_45.20_5_0.1_4_0.1_3_0.3.1 nlp
25 lines 934 bytes
head (1,4,0) body (1,3,0)
estimated blow-up 3.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.65sec 0.01sec 0 283 4110
htl 2.52sec 0.00sec 0 286 4408
str 3.02sec 0.05sec 0 298 3976

test45/test_45.20_5_0.1_4_0.1_3_1.4.1 nlp
25 lines 1088 bytes
head (1,4,0) body (1,3,1)
estimated blow-up 4.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.03sec 0.01sec 0 301 5524
htl 3.02sec 0.05sec 0 300 4791
str 3.66sec 0.01sec 0 320 4380

test45/test_45.20_5_0.1_4_0.1_4_0.3.6 nlp
25 lines 1094 bytes
head (1,4,0) body (1,4,0)
estimated blow-up 3.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.57sec 0.02sec 0 350 5211
htl 3.51sec 0.00sec 0 306 4847
str 3.88sec 0.04sec 0 338 4570

test45/test_45.20_5_0.1_4_0.1_4_1.4.9 nlp
25 lines 1210 bytes
head (1,4,0) body (1,4,1)
estimated blow-up 4.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.37sec 0.10sec 0 381 7077
htl 3.22sec 0.08sec 0 313 5002
str 3.36sec 0.08sec 0 335 4618

test45/test_45.20_5_0.1_4_0.2_2_0.5.4 nlp
25 lines 1120 bytes
head (1,4,0) body (2,2,0)
estimated blow-up 5.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.09sec 0.03sec 0 375 6872
htl 3.59sec 0.01sec 0 333 5119
str 3.20sec 0.08sec 0 343 4570

test45/test_45.20_5_0.1_4_0.2_2_1.6.5 nlp
25 lines 1202 bytes
head (1,4,0) body (2,2,1)
estimated blow-up 6.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.09sec 0.03sec 0 362 8012
htl 3.04sec 0.08sec 0 333 5168
str 3.61sec 0.01sec 0 353 4826

test45/test_45.20_5_0.1_4_0.2_3_0.9.9 nlp
25 lines 1262 bytes
head (1,4,0) body (2,3,0)
estimated blow-up 9.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 16.31sec 0.21sec 0 745 13015
htl 3.60sec 0.01sec 0 366 5528
str 3.59sec 0.08sec 0 386 5222

test45/test_45.20_5_0.1_4_0.2_3_1.12.0 nlp
25 lines 1462 bytes
head (1,4,0) body (2,3,1)
estimated blow-up 12.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 17.48sec 0.28sec 0 766 17290
htl 3.96sec 0.01sec 0 379 6061
str 4.21sec 0.08sec 0 417 5858

test45/test_45.20_5_0.1_4_0.2_4_0.14.8 nlp
25 lines 1531 bytes
head (1,4,0) body (2,4,0)
estimated blow-up 14.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 43.53sec 0.26sec 0 1278 22975
htl 4.67sec 0.01sec 0 426 6723
str 5.12sec 0.04sec 0 462 6481

test45/test_45.20_5_0.1_4_0.2_4_1.18.3 nlp
25 lines 1620 bytes
head (1,4,0) body (2,4,1)
estimated blow-up 18.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 41.95sec 1.41sec 0 1214 26833
htl 4.22sec 0.08sec 0 407 6458
str 4.70sec 0.04sec 0 437 6102

test45/test_45.20_5_0.1_4_0.3_2_0.11.7 nlp
25 lines 1385 bytes
head (1,4,0) body (3,2,0)
estimated blow-up 11.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 14.77sec 0.29sec 0 690 15636
htl 4.30sec 0.01sec 0 397 6121
str 4.23sec 0.10sec 0 421 5792

test45/test_45.20_5_0.1_4_0.3_2_1.13.4 nlp
25 lines 1477 bytes
head (1,4,0) body (3,2,1)
estimated blow-up 13.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 14.76sec 0.56sec 0 677 17849
htl 4.12sec 0.09sec 0 393 6137
str 4.95sec 0.07sec 0 419 5851

test45/test_45.20_5_0.1_4_0.3_3_0.30.9 nlp
25 lines 1731 bytes
head (1,4,0) body (3,3,0)
estimated blow-up 30.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 130.44sec 5.37sec 0 2195 51535
htl 5.04sec 0.08sec 0 468 7418
str 5.83sec 0.04sec 0 502 7088

test45/test_45.20_5_0.1_4_0.3_3_1.36.0 nlp
25 lines 1780 bytes
head (1,4,0) body (3,3,1)
estimated blow-up 36.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 132.04sec 4.54sec 0 2185 60766
htl 4.90sec 0.08sec 0 465 7373
str 6.01sec 0.01sec 0 497 7077

test45/test_45.20_5_0.1_4_0.3_4_0.60.2 nlp
25 lines 1991 bytes
head (1,4,0) body (3,4,0)
estimated blow-up 60.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 614.67sec 18.37sec 0 4873 111612
htl 5.80sec 0.01sec 0 522 8258
str 6.83sec 0.08sec 0 566 8099

test45/test_45.20_5_0.1_4_0.3_4_1.71.1 nlp
25 lines 2202 bytes
head (1,4,0) body (3,4,1)
estimated blow-up 71.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 679.67sec 33.38sec 0 5070 142574
htl 6.16sec 0.04sec 0 537 8841
str 7.44sec 0.01sec 0 579 8383

test45/test_45.20_5_0.1_4_0.4_2_0.24.6 nlp
25 lines 1608 bytes
head (1,4,0) body (4,2,0)
estimated blow-up 24.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 52.06sec 0.97sec 0 1355 36038
htl 5.49sec 0.01sec 0 472 7299
str 5.61sec 0.06sec 0 504 7092

test45/test_45.20_5_0.1_4_0.4_2_1.27.5 nlp
25 lines 1828 bytes
head (1,4,0) body (4,2,1)
estimated blow-up 27.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 47.04sec 2.50sec 0 1262 41247
htl 4.71sec 0.05sec 0 466 7525
str 6.15sec 0.01sec 0 504 7185

test45/test_45.20_5_0.1_4_0.4_3_0.95.3 nlp
25 lines 2007 bytes
head (1,4,0) body (4,3,0)
estimated blow-up 95.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 906.80sec 32.93sec 0 5887 160030
htl 5.88sec 0.09sec 0 546 8552
str 7.14sec 0.09sec 0 582 8304

test45/test_45.20_5_0.1_4_0.4_3_1.108.0 nlp
25 lines 2154 bytes
head (1,4,0) body (4,3,1)
estimated blow-up 108.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 967.07sec 47.52sec 0 6048 196592
htl 5.93sec 0.09sec 0 545 8682
str 7.72sec 0.09sec 0 589 8512

test45/test_45.20_5_0.1_4_0.4_4_0.243.8 nlp
25 lines 2406 bytes
head (1,4,0) body (4,4,0)
estimated blow-up 243.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 9832.31sec 396.75sec 0 17665 489402
htl 7.96sec 0.09sec 0 626 9947
str 8.76sec 0.01sec 0 658 9442

test45/test_45.20_5_0.1_4_0.4_4_1.279.3 nlp
25 lines 2600 bytes
head (1,4,0) body (4,4,1)
estimated blow-up 279.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 10748.00sec 629.11sec 0 18248 594986
htl 7.94sec 0.01sec 0 621 10042
str 9.74sec 0.09sec 0 679 9907

test45/test_45.20_5_0.2_2_0.1_2_0.3.7 nlp
25 lines 805 bytes
head (2,2,0) body (1,2,0)
estimated blow-up 3.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.35sec 0.01sec 4 218 3956
htl 3.00sec 0.10sec 4 286 4246
str 3.27sec 0.03sec 4 308 4060

test45/test_45.20_5_0.2_2_0.1_2_1.4.2 nlp
25 lines 1022 bytes
head (2,2,0) body (1,2,1)
estimated blow-up 4.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.94sec 0.02sec 3 224 5001
htl 3.10sec 0.90sec 3 295 4674
str 3.60sec 1.40sec 3 325 4445

test45/test_45.20_5_0.2_2_0.1_3_0.4.7 nlp
25 lines 928 bytes
head (2,2,0) body (1,3,0)
estimated blow-up 4.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.57sec 0.06sec 0 298 5512
htl 3.73sec 0.10sec 0 326 5029
str 3.27sec 0.09sec 0 342 4609

test45/test_45.20_5_0.2_2_0.1_3_1.5.5 nlp
25 lines 1030 bytes
head (2,2,0) body (1,3,1)
estimated blow-up 5.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.05sec 0.10sec 17 284 6156
htl 3.27sec 7.06sec 17 307 4700
str 3.34sec 20.25sec 17 327 4413

test45/test_45.20_5_0.2_2_0.1_4_0.5.5 nlp
25 lines 1002 bytes
head (2,2,0) body (1,4,0)
estimated blow-up 5.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.43sec 0.02sec 29 372 6704
htl 3.50sec 2.44sec 29 347 5319
str 3.77sec 2.68sec 29 365 4961

test45/test_45.20_5_0.2_2_0.1_4_1.6.6 nlp
25 lines 1133 bytes
head (2,2,0) body (1,4,1)
estimated blow-up 6.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.68sec 0.08sec 33 370 8063
htl 3.41sec 20.57sec 33 332 5100
str 3.64sec 50.29sec 33 360 4941

test45/test_45.20_5_0.2_2_0.2_2_0.7.3 nlp
25 lines 1106 bytes
head (2,2,0) body (2,2,0)
estimated blow-up 7.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.63sec 0.04sec 16 368 8105
htl 3.62sec 102.04sec 16 357 5386
str 3.74sec 110.91sec 16 383 5223

test45/test_45.20_5_0.2_2_0.2_2_1.8.2 nlp
25 lines 1239 bytes
head (2,2,0) body (2,2,1)
estimated blow-up 8.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5.77sec 0.12sec 1 376 9977
htl 3.58sec 98.80sec 1 361 5611
str 4.19sec 125.19sec 1 383 5294

test45/test_45.20_5_0.2_2_0.2_3_0.13.2 nlp
25 lines 1327 bytes
head (2,2,0) body (2,3,0)
estimated blow-up 13.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 18.27sec 0.24sec 12 764 17749
htl 4.38sec 5.46sec 12 411 6387
str 4.32sec 8.56sec 12 433 6006

test45/test_45.20_5_0.2_2_0.2_3_1.15.1 nlp
25 lines 1484 bytes
head (2,2,0) body (2,3,1)
estimated blow-up 15.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 19.40sec 0.65sec 2 780 21724
htl 4.24sec 33.93sec 2 416 6675
str 4.90sec 69.90sec 2 452 6418

test45/test_45.20_5_0.2_2_0.2_4_0.19.8 nlp
25 lines 1495 bytes
head (2,2,0) body (2,4,0)
estimated blow-up 19.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 47.28sec 1.43sec 6 1300 29418
htl 4.45sec 2.81sec 6 445 6892
str 5.23sec 3.13sec 6 463 6391

test45/test_45.20_5_0.2_2_0.2_4_1.23.0 nlp
25 lines 1633 bytes
head (2,2,0) body (2,4,1)
estimated blow-up 23.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 52.64sec 1.24sec 10 1334 37537
htl 4.98sec 521.70sec 10 450 7119
str 5.74sec 776.06sec -- 484 6844

test45/test_45.20_5_0.2_2_0.3_2_0.14.7 nlp
25 lines 1335 bytes
head (2,2,0) body (3,2,0)
estimated blow-up 14.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 14.46sec 0.57sec 8 649 17353
htl 4.29sec 777.89sec -- 419 6369
str 4.55sec 774.90sec -- 439 6035

test45/test_45.20_5_0.2_2_0.3_2_1.16.1 nlp
25 lines 1467 bytes
head (2,2,0) body (3,2,1)
estimated blow-up 16.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 16.56sec 0.44sec 3 700 21585
htl 4.43sec 781.72sec -- 428 6676
str 5.01sec 779.86sec -- 462 6538

test45/test_45.20_5_0.2_2_0.3_3_0.38.7 nlp
25 lines 1720 bytes
head (2,2,0) body (3,3,0)
estimated blow-up 38.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 130.91sec 3.15sec 4 2170 60351
htl 5.41sec 54.25sec 4 493 7788
str 5.94sec 109.44sec 4 527 7452

test45/test_45.20_5_0.2_2_0.3_3_1.43.3 nlp
25 lines 1798 bytes
head (2,2,0) body (3,3,1)
estimated blow-up 43.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 140.98sec 5.03sec 14 2227 72955
htl 5.26sec 774.65sec -- 491 7806
str 6.48sec 774.84sec -- 525 7491

test45/test_45.20_5_0.2_2_0.3_4_0.75.4 nlp
25 lines 2050 bytes
head (2,2,0) body (3,4,0)
estimated blow-up 75.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 673.37sec 20.38sec 0 5008 140853
htl 6.43sec 0.04sec 0 558 8947
str 8.07sec 1.63sec 0 608 8749

test45/test_45.20_5_0.2_2_0.3_4_1.85.4 nlp
25 lines 2094 bytes
head (2,2,0) body (3,4,1)
estimated blow-up 85.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 682.29sec 30.36sec 18 5016 160487
htl 6.43sec 777.04sec -- 558 8914
str 7.85sec 775.34sec -- 602 8722

test45/test_45.20_5_0.2_2_0.4_2_0.29.6 nlp
25 lines 1654 bytes
head (2,2,0) body (4,2,0)
estimated blow-up 29.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 52.56sec 1.59sec 18 1326 43467
htl 5.06sec 777.16sec -- 487 7639
str 6.08sec 780.71sec -- 527 7473

test45/test_45.20_5_0.2_2_0.4_2_1.32.1 nlp
25 lines 1718 bytes
head (2,2,0) body (4,2,1)
estimated blow-up 32.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 55.30sec 2.27sec 8 1339 50086
htl 5.68sec 775.46sec -- 494 7803
str 6.32sec 775.23sec -- 532 7595

test45/test_45.20_5_0.2_2_0.4_3_0.114.4 nlp
25 lines 2077 bytes
head (2,2,0) body (4,3,0)
estimated blow-up 114.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1058.37sec 59.18sec 1 6286 207605
htl 6.82sec 777.42sec -- 582 9323
str 8.33sec 775.77sec -- 626 9002

test45/test_45.20_5_0.2_2_0.4_3_1.126.1 nlp
25 lines 2156 bytes
head (2,2,0) body (4,3,1)
estimated blow-up 126.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1093.82sec 55.39sec 2 6342 234315
htl 6.87sec 774.94sec -- 577 9259
str 8.06sec 775.00sec -- 619 8949

test45/test_45.20_5_0.2_2_0.4_4_0.292.6 nlp
25 lines 2552 bytes
head (2,2,0) body (4,4,0)
estimated blow-up 292.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 10871.71sec 389.90sec 9 19030 641945
htl 8.26sec 61.14sec 9 653 10650
str 10.43sec 88.88sec 9 701 10158

test45/test_45.20_5_0.2_2_0.4_4_1.325.9 nlp
25 lines 2622 bytes
head (2,2,0) body (4,4,1)
estimated blow-up 325.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 11144.72sec 539.57sec 42 19020 735136
htl 8.29sec 774.40sec -- 658 10774
str 10.63sec 774.86sec -- 698 10187

test45/test_45.20_5_0.2_3_0.1_2_0.6.1 nlp
25 lines 1069 bytes
head (2,3,0) body (1,2,0)
estimated blow-up 6.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 7.08sec 0.09sec 0 444 8121
htl 3.92sec 0.09sec 0 350 5387
str 3.54sec 0.06sec 0 372 5051

test45/test_45.20_5_0.2_3_0.1_2_1.7.2 nlp
25 lines 1249 bytes
head (2,3,0) body (1,2,1)
estimated blow-up 7.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 7.80sec 0.02sec 0 467 10120
htl 3.93sec 0.18sec 0 355 5638
str 4.04sec 0.56sec 0 381 5306

test45/test_45.20_5_0.2_3_0.1_3_0.8.1 nlp
25 lines 1190 bytes
head (2,3,0) body (1,3,0)
estimated blow-up 8.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 11.94sec 0.10sec 0 638 11921
htl 3.70sec 0.01sec 0 376 5870
str 3.96sec 0.01sec 0 402 5535

test45/test_45.20_5_0.2_3_0.1_3_1.9.7 nlp
25 lines 1348 bytes
head (2,3,0) body (1,3,1)
estimated blow-up 9.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 12.33sec 0.11sec 0 613 13946
htl 3.71sec 0.40sec 0 369 5841
str 4.38sec 0.74sec 0 409 5720

test45/test_45.20_5_0.2_3_0.1_4_0.9.7 nlp
25 lines 1310 bytes
head (2,3,0) body (1,4,0)
estimated blow-up 9.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 17.89sec 0.03sec 0 791 14883
htl 4.20sec 0.01sec 0 400 6340
str 4.38sec 0.01sec 0 432 6012

test45/test_45.20_5_0.2_3_0.1_4_1.11.8 nlp
25 lines 1415 bytes
head (2,3,0) body (1,4,1)
estimated blow-up 11.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 19.72sec 0.19sec 4 824 18145
htl 4.46sec 0.03sec 4 400 6358
str 4.57sec 0.11sec 4 428 5977

test45/test_45.20_5_0.2_3_0.2_2_0.12.9 nlp
25 lines 1376 bytes
head (2,3,0) body (2,2,0)
estimated blow-up 12.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 17.40sec 0.22sec 2 755 16922
htl 4.14sec 0.51sec 2 404 6232
str 4.77sec 0.75sec 2 430 5939

test45/test_45.20_5_0.2_3_0.2_2_1.14.7 nlp
25 lines 1486 bytes
head (2,3,0) body (2,2,1)
estimated blow-up 14.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 19.76sec 0.26sec 1 797 21665
htl 4.37sec 28.46sec 1 421 6630
str 4.70sec 54.32sec 1 449 6338

test45/test_45.20_5_0.2_3_0.2_3_0.24.3 nlp
25 lines 1604 bytes
head (2,3,0) body (2,3,0)
estimated blow-up 24.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 74.79sec 0.46sec 0 1645 37639
htl 4.98sec 0.01sec 0 460 7244
str 5.63sec 0.10sec 0 500 7065

test45/test_45.20_5_0.2_3_0.2_3_1.28.2 nlp
25 lines 1720 bytes
head (2,3,0) body (2,3,1)
estimated blow-up 28.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 80.55sec 0.60sec 0 1677 46398
htl 4.91sec 3.28sec 0 465 7447
str 5.76sec 5.54sec 0 503 7174

test45/test_45.20_5_0.2_3_0.2_4_0.37.4 nlp
25 lines 1733 bytes
head (2,3,0) body (2,4,0)
estimated blow-up 37.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 197.08sec 1.66sec 0 2692 59084
htl 5.37sec 0.05sec 0 495 7695
str 5.80sec 0.10sec 0 531 7515

test45/test_45.20_5_0.2_3_0.2_4_1.43.9 nlp
25 lines 1937 bytes
head (2,3,0) body (2,4,1)
estimated blow-up 43.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 227.55sec 1.11sec 4 2878 79576
htl 5.82sec 0.24sec 4 505 8207
str 6.77sec 0.22sec 4 533 7639

test45/test_45.20_5_0.2_3_0.3_2_0.27.0 nlp
25 lines 1625 bytes
head (2,3,0) body (3,2,0)
estimated blow-up 27.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 69.88sec 1.65sec 6 1558 42648
htl 5.24sec 83.93sec 6 491 7706
str 6.03sec 172.03sec 6 513 7223

test45/test_45.20_5_0.2_3_0.3_2_1.30.1 nlp
25 lines 1730 bytes
head (2,3,0) body (3,2,1)
estimated blow-up 30.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 64.08sec 1.09sec 0 1477 46417
htl 4.75sec 81.06sec 0 473 7443
str 6.12sec 169.08sec 0 521 7434

test45/test_45.20_5_0.2_3_0.3_3_0.73.9 nlp
25 lines 1988 bytes
head (2,3,0) body (3,3,0)
estimated blow-up 73.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 580.04sec 19.52sec 0 4650 131564
htl 6.57sec 0.24sec 0 543 8669
str 7.65sec 0.41sec 0 585 8361

test45/test_45.20_5_0.2_3_0.3_3_1.83.5 nlp
25 lines 1974 bytes
head (2,3,0) body (3,3,1)
estimated blow-up 83.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 525.62sec 11.20sec 2 4386 137325
htl 6.35sec 775.15sec -- 542 8556
str 7.11sec 774.29sec -- 578 8321

test45/test_45.20_5_0.2_3_0.3_4_0.147.9 nlp
25 lines 2230 bytes
head (2,3,0) body (3,4,0)
estimated blow-up 147.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3638.49sec 20.22sec 0 11235 309215
htl 7.25sec 0.09sec 0 608 9671
str 8.70sec 0.01sec 0 648 9314

test45/test_45.20_5_0.2_3_0.3_4_1.168.8 nlp
25 lines 2420 bytes
head (2,3,0) body (3,4,1)
estimated blow-up 168.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3046.15sec 98.87sec 2 10572 352138
htl 7.05sec 82.89sec 2 607 9920
str 9.72sec 119.34sec 2 659 9623

test45/test_45.20_5_0.2_3_0.4_2_0.56.0 nlp
25 lines 1786 bytes
head (2,3,0) body (4,2,0)
estimated blow-up 56.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 225.38sec 2.97sec 3 2835 86204
htl 5.80sec 70.37sec 3 535 8213
str 6.74sec 87.05sec 3 567 8013

test45/test_45.20_5_0.2_3_0.4_2_1.61.3 nlp
25 lines 2013 bytes
head (2,3,0) body (4,2,1)
estimated blow-up 61.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 219.19sec 4.86sec 7 2770 104565
htl 6.48sec 774.90sec -- 548 8849
str 7.43sec 774.50sec -- 586 8449

test45/test_45.20_5_0.2_3_0.4_3_0.224.5 nlp
25 lines 2329 bytes
head (2,3,0) body (4,3,0)
estimated blow-up 224.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5813.60sec 114.32sec 0 14213 469956
htl 7.85sec 0.04sec 0 631 10150
str 9.63sec 0.21sec 0 679 9808

test45/test_45.20_5_0.2_3_0.4_3_1.249.1 nlp
25 lines 2420 bytes
head (2,3,0) body (4,3,1)
estimated blow-up 249.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5267.31sec 113.12sec 5 13714 516832
htl 8.00sec 775.59sec -- 624 10116
str 9.21sec 775.57sec -- 662 9606

test45/test_45.20_5_0.2_3_0.4_4_0.588.4 nlp
25 lines 2795 bytes
head (2,3,0) body (4,4,0)
estimated blow-up 588.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 64569.68sec 775.55sec -- 43494 1442916
htl 9.30sec 0.02sec 0 712 11664
str 12.32sec 0.10sec 0 766 11161

test45/test_45.20_5_0.2_3_0.4_4_1.658.4 nlp
25 lines 2956 bytes
head (2,3,0) body (4,4,1)
estimated blow-up 658.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 60686.21sec 775.66sec -- 43120 1697239
htl 9.44sec 18.01sec 0 711 11845
str 12.70sec 66.06sec 0 769 11322

test45/test_45.20_5_0.2_4_0.1_2_0.8.6 nlp
25 lines 1328 bytes
head (2,4,0) body (1,2,0)
estimated blow-up 8.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 16.38sec 0.11sec 0 762 13859
htl 4.30sec 0.04sec 0 401 6276
str 5.00sec 0.08sec 0 423 5818

test45/test_45.20_5_0.2_4_0.1_2_1.10.4 nlp
25 lines 1516 bytes
head (2,4,0) body (1,2,1)
estimated blow-up 10.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 18.45sec 0.22sec 0 768 17126
htl 4.46sec 0.09sec 0 408 6594
str 5.07sec 0.08sec 0 444 6271

test45/test_45.20_5_0.2_4_0.1_3_0.11.6 nlp
25 lines 1420 bytes
head (2,4,0) body (1,3,0)
estimated blow-up 11.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 30.49sec 0.07sec 0 1050 19337
htl 4.57sec 0.08sec 0 432 6815
str 5.10sec 0.01sec 0 454 6329

test45/test_45.20_5_0.2_4_0.1_3_1.14.2 nlp
25 lines 1584 bytes
head (2,4,0) body (1,3,1)
estimated blow-up 14.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 32.64sec 0.24sec 0 1064 23825
htl 4.77sec 0.08sec 0 433 6964
str 5.49sec 0.08sec 0 465 6591

test45/test_45.20_5_0.2_4_0.1_4_0.14.2 nlp
25 lines 1627 bytes
head (2,4,0) body (1,4,0)
estimated blow-up 14.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 50.61sec 0.03sec 0 1359 25617
htl 4.40sec 0.01sec 0 447 7261
str 6.15sec 0.01sec 0 485 6827

test45/test_45.20_5_0.2_4_0.1_4_1.17.6 nlp
25 lines 1746 bytes
head (2,4,0) body (1,4,1)
estimated blow-up 17.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 47.69sec 0.24sec 0 1294 29189
htl 4.88sec 0.05sec 0 441 7180
str 5.90sec 0.08sec 0 489 6975

test45/test_45.20_5_0.2_4_0.2_2_0.18.8 nlp
25 lines 1639 bytes
head (2,4,0) body (2,2,0)
estimated blow-up 18.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 51.01sec 0.43sec 0 1334 30267
htl 4.92sec 0.01sec 0 468 7372
str 5.66sec 0.09sec 0 496 6979

test45/test_45.20_5_0.2_4_0.2_2_1.21.8 nlp
25 lines 1737 bytes
head (2,4,0) body (2,2,1)
estimated blow-up 21.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 51.46sec 0.62sec 0 1324 36454
htl 4.73sec 51.01sec 0 469 7471
str 6.15sec 88.57sec 0 501 7146

test45/test_45.20_5_0.2_4_0.2_3_0.36.5 nlp
25 lines 1814 bytes
head (2,4,0) body (2,3,0)
estimated blow-up 36.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 240.11sec 0.74sec 0 2991 67234
htl 6.16sec 0.09sec 0 520 8206
str 6.52sec 0.09sec 0 554 7861

test45/test_45.20_5_0.2_4_0.2_3_1.42.8 nlp
25 lines 1874 bytes
head (2,4,0) body (2,3,1)
estimated blow-up 42.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 240.70sec 3.84sec 0 2952 78934
htl 5.97sec 0.08sec 0 513 8117
str 6.46sec 0.10sec 0 541 7717

test45/test_45.20_5_0.2_4_0.2_4_0.57.3 nlp
25 lines 2088 bytes
head (2,4,0) body (2,4,0)
estimated blow-up 57.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 586.52sec 9.75sec 0 4729 109740
htl 6.37sec 0.09sec 0 548 8817
str 7.62sec 0.01sec 0 592 8481

test45/test_45.20_5_0.2_4_0.2_4_1.67.7 nlp
25 lines 2118 bytes
head (2,4,0) body (2,4,1)
estimated blow-up 67.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 581.59sec 2.09sec 0 4682 123989
htl 6.39sec 0.02sec 0 550 8803
str 7.40sec 0.09sec 0 590 8518

test45/test_45.20_5_0.2_4_0.3_2_0.40.5 nlp
25 lines 1904 bytes
head (2,4,0) body (3,2,0)
estimated blow-up 40.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 177.35sec 2.66sec 0 2536 69393
htl 5.76sec 0.01sec 0 528 8350
str 7.54sec 0.08sec 0 576 8221

test45/test_45.20_5_0.2_4_0.3_2_1.45.6 nlp
25 lines 2033 bytes
head (2,4,0) body (3,2,1)
estimated blow-up 45.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 185.08sec 2.43sec 0 2576 83569
htl 6.34sec 0.09sec 0 533 8589
str 7.29sec 0.10sec 0 565 8110

test45/test_45.20_5_0.2_4_0.3_3_0.114.1 nlp
25 lines 2283 bytes
head (2,4,0) body (3,3,0)
estimated blow-up 114.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1996.94sec 14.57sec 0 8540 239266
htl 7.11sec 0.08sec 0 597 9667
str 9.22sec 0.01sec 0 647 9352

test45/test_45.20_5_0.2_4_0.3_3_1.130.0 nlp
25 lines 2376 bytes
head (2,4,0) body (3,3,1)
estimated blow-up 130.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1665.12sec 12.20sec 0 7752 254280
htl 7.21sec 0.57sec 0 593 9713
str 8.76sec 0.59sec 0 641 9338

test45/test_45.20_5_0.2_4_0.3_4_0.233.0 nlp
25 lines 2590 bytes
head (2,4,0) body (3,4,0)
estimated blow-up 233.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 9996.51sec 7.40sec 0 18330 523461
htl 8.53sec 0.13sec 0 654 10679
str 10.94sec 0.09sec 0 706 10260

test45/test_45.20_5_0.2_4_0.3_4_1.267.4 nlp
25 lines 2634 bytes
head (2,4,0) body (3,4,1)
estimated blow-up 267.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 10398.49sec 98.86sec 0 19088 616460
htl 8.28sec 0.13sec 0 648 10551
str 10.40sec 0.09sec 0 688 9980

test45/test_45.20_5_0.2_4_0.4_2_0.85.7 nlp
25 lines 2186 bytes
head (2,4,0) body (4,2,0)
estimated blow-up 85.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 681.17sec 8.72sec 0 5004 164921
htl 6.96sec 17.30sec 0 601 9681
str 8.39sec 19.50sec 0 643 9269

test45/test_45.20_5_0.2_4_0.4_2_1.94.7 nlp
25 lines 2273 bytes
head (2,4,0) body (4,2,1)
estimated blow-up 94.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 688.18sec 6.27sec 0 5020 186180
htl 7.28sec 120.22sec 0 602 9760
str 9.22sec 402.33sec 0 652 9509

test45/test_45.20_5_0.2_4_0.4_3_0.353.8 nlp
25 lines 2636 bytes
head (2,4,0) body (4,3,0)
estimated blow-up 353.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 15595.07sec 159.48sec 0 22675 755961
htl 8.17sec 0.01sec 0 674 11021
str 10.83sec 0.01sec 0 714 10359

test45/test_45.20_5_0.2_4_0.4_3_1.394.7 nlp
25 lines 2601 bytes
head (2,4,0) body (4,3,1)
estimated blow-up 394.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 17680.19sec 520.20sec 2 24494 874558
htl 7.99sec 31.97sec 2 677 10884
str 10.58sec 47.06sec 2 721 10513

test45/test_45.20_5_0.2_4_0.4_4_0.945.5 nlp
25 lines 3001 bytes
head (2,4,0) body (4,4,0)
estimated blow-up 945.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 190712.21sec 774.84sec -- 75018 2495573
htl 10.42sec 0.10sec 0 752 12279
str 13.43sec 0.02sec 0 792 11543

test45/test_45.20_5_0.2_4_0.4_4_1.1062.2 nlp
25 lines 3095 bytes
head (2,4,0) body (4,4,1)
estimated blow-up 1062.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 173019.27sec 26.94sec 0 73364 2808086
htl 10.19sec 1.42sec 0 755 12389
str 13.45sec 4.64sec 0 807 11851

test45/test_45.20_5_0.3_2_0.1_2_0.7.3 nlp
25 lines 1097 bytes
head (3,2,0) body (1,2,0)
estimated blow-up 7.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.71sec 2.78sec 937 408 9279
htl 3.94sec 561.46sec 937 381 5833
str 4.20sec 775.13sec -- 405 5559

test45/test_45.20_5_0.3_2_0.1_2_1.8.1 nlp
25 lines 1193 bytes
head (3,2,0) body (1,2,1)
estimated blow-up 8.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.51sec 2.02sec 259 406 10305
htl 3.82sec 775.32sec -- 375 5719
str 4.13sec 775.36sec -- 405 5648

test45/test_45.20_5_0.3_2_0.1_3_0.9.7 nlp
25 lines 1169 bytes
head (3,2,0) body (1,3,0)
estimated blow-up 9.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 9.59sec 1.78sec 812 512 11519
htl 4.00sec 39.33sec 812 391 5940
str 4.32sec 72.84sec 812 417 5740

test45/test_45.20_5_0.3_2_0.1_3_1.10.9 nlp
25 lines 1261 bytes
head (3,2,0) body (1,3,1)
estimated blow-up 10.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 11.01sec 12.34sec 837 558 14385
htl 4.48sec 773.51sec -- 399 6123
str 4.40sec 774.95sec -- 413 5725

test45/test_45.20_5_0.3_2_0.1_4_0.11.6 nlp
25 lines 1376 bytes
head (3,2,0) body (1,4,0)
estimated blow-up 11.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 15.63sec 1.09sec 336 704 16421
htl 4.51sec 473.30sec 336 423 6706
str 4.96sec 667.69sec 336 467 6571

test45/test_45.20_5_0.3_2_0.1_4_1.13.2 nlp
25 lines 1483 bytes
head (3,2,0) body (1,4,1)
estimated blow-up 13.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 17.34sec 5.02sec 604 732 20125
htl 4.59sec 775.11sec -- 420 6640
str 5.07sec 776.32sec -- 460 6532

test45/test_45.20_5_0.3_2_0.2_2_0.14.4 nlp
25 lines 1357 bytes
head (3,2,0) body (2,2,0)
estimated blow-up 14.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 16.55sec 7.56sec 704 722 19251
htl 4.91sec 775.54sec -- 440 6757
str 5.18sec 775.28sec -- 468 6505

test45/test_45.20_5_0.3_2_0.2_2_1.15.8 nlp
25 lines 1455 bytes
head (3,2,0) body (2,2,1)
estimated blow-up 15.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 16.97sec 3.79sec 140 704 21905
htl 4.71sec 775.75sec -- 420 6463
str 5.07sec 775.62sec -- 450 6283

test45/test_45.20_5_0.3_2_0.2_3_0.27.1 nlp
25 lines 1565 bytes
head (3,2,0) body (2,3,0)
estimated blow-up 27.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 67.47sec 40.51sec 1371 1522 41611
htl 5.36sec 775.15sec -- 485 7524
str 5.97sec 775.70sec -- 515 7246

test45/test_45.20_5_0.3_2_0.2_3_1.30.2 nlp
25 lines 1662 bytes
head (3,2,0) body (2,3,1)
estimated blow-up 30.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 66.79sec 9.16sec 254 1510 48417
htl 5.64sec 776.74sec -- 491 7719
str 6.08sec 775.68sec -- 517 7371

test45/test_45.20_5_0.3_2_0.2_4_0.41.6 nlp
25 lines 1769 bytes
head (3,2,0) body (2,4,0)
estimated blow-up 41.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 175.62sec 11.54sec 649 2506 70415
htl 6.24sec 774.87sec -- 527 8258
str 7.08sec 775.47sec -- 563 8000

test45/test_45.20_5_0.3_2_0.2_4_1.46.9 nlp
25 lines 1927 bytes
head (3,2,0) body (2,4,1)
estimated blow-up 46.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 185.14sec 18.24sec 47 2568 84537
htl 6.20sec 775.35sec -- 528 8449
str 7.03sec 774.60sec -- 566 8152

test45/test_45.20_5_0.3_2_0.3_2_0.28.8 nlp
25 lines 1624 bytes
head (3,2,0) body (3,2,0)
estimated blow-up 28.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 51.64sec 10.29sec 129 1312 42193
htl 5.46sec 773.78sec -- 506 7910
str 6.12sec 775.31sec -- 538 7616

test45/test_45.20_5_0.3_2_0.3_2_1.31.3 nlp
25 lines 1671 bytes
head (3,2,0) body (3,2,1)
estimated blow-up 31.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 52.41sec 9.93sec 110 1302 46263
htl 5.36sec 774.55sec -- 499 7781
str 5.92sec 773.03sec -- 527 7466

test45/test_45.20_5_0.3_2_0.3_3_0.78.9 nlp
25 lines 1933 bytes
head (3,2,0) body (3,3,0)
estimated blow-up 78.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 497.84sec 138.64sec 1287 4290 140161
htl 6.92sec 772.57sec -- 576 9112
str 7.82sec 772.63sec -- 618 8874

test45/test_45.20_5_0.3_2_0.3_3_1.86.7 nlp
25 lines 2024 bytes
head (3,2,0) body (3,3,1)
estimated blow-up 86.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 490.13sec 58.45sec 192 4204 155721
htl 6.73sec 774.72sec -- 569 9067
str 8.14sec 773.89sec -- 603 8654

test45/test_45.20_5_0.3_2_0.3_4_0.157.8 nlp
25 lines 2335 bytes
head (3,2,0) body (3,4,0)
estimated blow-up 157.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2503.06sec 120.75sec 244 9450 314333
htl 7.59sec 775.52sec -- 627 10147
str 10.24sec 777.93sec -- 681 9875

test45/test_45.20_5_0.3_2_0.3_4_1.175.1 nlp
25 lines 2394 bytes
head (3,2,0) body (3,4,1)
estimated blow-up 175.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2416.07sec 150.89sec 283 9380 356489
htl 7.69sec 775.51sec -- 629 10223
str 9.88sec 774.61sec -- 675 9813

test45/test_45.20_5_0.3_2_0.4_2_0.58.1 nlp
25 lines 1895 bytes
head (3,2,0) body (4,2,0)
estimated blow-up 58.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 193.70sec 84.27sec 123 2594 97097
htl 6.56sec 774.46sec -- 571 9007
str 7.36sec 775.01sec -- 609 8668

test45/test_45.20_5_0.3_2_0.4_2_1.62.4 nlp
25 lines 2014 bytes
head (3,2,0) body (4,2,1)
estimated blow-up 62.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 196.41sec 6.81sec 42 2596 109669
htl 6.42sec 774.59sec -- 571 9121
str 8.30sec 775.66sec -- 613 8847

test45/test_45.20_5_0.3_2_0.4_3_0.232.9 nlp
25 lines 2300 bytes
head (3,2,0) body (4,3,0)
estimated blow-up 232.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4400.73sec 774.62sec 170 12628 467233
htl 8.30sec 773.51sec -- 651 10381
str 9.63sec 773.40sec -- 697 10066

test45/test_45.20_5_0.3_2_0.4_3_1.253.1 nlp
25 lines 2529 bytes
head (3,2,0) body (4,3,1)
estimated blow-up 253.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4601.97sec 225.55sec 88 12640 559053
htl 7.98sec 773.50sec -- 654 10775
str 10.86sec 774.39sec -- 710 10369

test45/test_45.20_5_0.3_2_0.4_4_0.610.2 nlp
25 lines 2759 bytes
head (3,2,0) body (4,4,0)
estimated blow-up 610.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 43935.80sec 773.25sec -- 37484 1444057
htl 10.25sec 773.41sec -- 734 11945
str 12.10sec 775.68sec -- 784 11413

test45/test_45.20_5_0.3_2_0.4_4_1.668.9 nlp
25 lines 2910 bytes
head (3,2,0) body (4,4,1)
estimated blow-up 668.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 42754.75sec 775.40sec -- 37098 1586413
htl 10.05sec 775.86sec -- 727 12011
str 13.02sec 776.78sec -- 783 11482

test45/test_45.20_5_0.3_3_0.1_2_0.17.8 nlp
25 lines 1507 bytes
head (3,3,0) body (1,2,0)
estimated blow-up 17.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 42.45sec 0.56sec 62 1227 28731
htl 4.71sec 3.18sec 62 463 7309
str 5.53sec 4.33sec 62 499 7064

test45/test_45.20_5_0.3_3_0.1_2_1.20.3 nlp
25 lines 1700 bytes
head (3,3,0) body (1,2,1)
estimated blow-up 20.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 45.64sec 1.24sec 19 1254 34608
htl 5.00sec 554.40sec 19 457 7367
str 5.67sec 775.59sec -- 493 7019

test45/test_45.20_5_0.3_3_0.1_3_0.24.1 nlp
25 lines 1594 bytes
head (3,3,0) body (1,3,0)
estimated blow-up 24.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 90.45sec 0.90sec 3 1819 42148
htl 5.54sec 0.04sec 3 479 7515
str 5.96sec 0.12sec 3 517 7313

test45/test_45.20_5_0.3_3_0.1_3_1.27.8 nlp
25 lines 1832 bytes
head (3,3,0) body (1,3,1)
estimated blow-up 27.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 91.49sec 4.81sec 19 1798 50509
htl 5.67sec 569.63sec 19 488 7979
str 6.77sec 624.91sec 19 528 7542

test45/test_45.20_5_0.3_3_0.1_4_0.29.6 nlp
25 lines 1630 bytes
head (3,3,0) body (1,4,0)
estimated blow-up 29.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 149.35sec 1.26sec 72 2344 52579
htl 5.71sec 1.45sec 72 500 7767
str 6.10sec 1.61sec 72 530 7464

test45/test_45.20_5_0.3_3_0.1_4_1.34.4 nlp
25 lines 1811 bytes
head (3,3,0) body (1,4,1)
estimated blow-up 34.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 152.10sec 6.39sec 175 2338 64320
htl 5.67sec 119.15sec 175 504 8009
str 6.59sec 169.89sec 175 538 7690

test45/test_45.20_5_0.3_3_0.2_2_0.36.7 nlp
25 lines 1742 bytes
head (3,3,0) body (2,2,0)
estimated blow-up 36.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 135.41sec 7.72sec 76 2203 58456
htl 5.75sec 133.11sec 76 519 8106
str 6.93sec 155.51sec 76 549 7754

test45/test_45.20_5_0.3_3_0.2_2_1.41.1 nlp
25 lines 1819 bytes
head (3,3,0) body (2,2,1)
estimated blow-up 41.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 141.55sec 32.91sec 132 2226 68991
htl 5.84sec 775.16sec -- 517 8137
str 6.59sec 775.41sec -- 557 7990

test45/test_45.20_5_0.3_3_0.2_3_0.71.6 nlp
25 lines 1903 bytes
head (3,3,0) body (2,3,0)
estimated blow-up 71.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 546.32sec 15.96sec 93 4508 119998
htl 6.56sec 89.63sec 93 561 8764
str 7.77sec 122.84sec 93 609 8735

test45/test_45.20_5_0.3_3_0.2_3_1.81.0 nlp
25 lines 2091 bytes
head (3,3,0) body (2,3,1)
estimated blow-up 81.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 597.00sec 30.15sec 6 4645 148205
htl 6.69sec 774.82sec -- 569 9187
str 7.76sec 774.99sec -- 609 8823

test45/test_45.20_5_0.3_3_0.2_4_0.113.2 nlp
25 lines 2304 bytes
head (3,3,0) body (2,4,0)
estimated blow-up 113.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1776.20sec 11.00sec 12 8245 232464
htl 7.45sec 1.25sec 12 612 9987
str 9.41sec 1.43sec 12 674 9817

test45/test_45.20_5_0.3_3_0.2_4_1.129.0 nlp
25 lines 2219 bytes
head (3,3,0) body (2,4,1)
estimated blow-up 129.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1983.06sec 64.55sec 83 8581 269887
htl 7.28sec 446.95sec 83 605 9618
str 8.36sec 570.71sec 83 647 9376

test45/test_45.20_5_0.3_3_0.3_2_0.76.3 nlp
25 lines 1994 bytes
head (3,3,0) body (3,2,0)
estimated blow-up 76.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 495.75sec 90.42sec 98 4277 135400
htl 6.80sec 774.64sec -- 588 9308
str 7.98sec 773.66sec -- 622 8874

test45/test_45.20_5_0.3_3_0.3_2_1.83.9 nlp
25 lines 2178 bytes
head (3,3,0) body (3,2,1)
estimated blow-up 83.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 494.91sec 45.51sec 258 4229 158550
htl 6.76sec 773.88sec -- 578 9368
str 9.00sec 773.66sec -- 628 9070

test45/test_45.20_5_0.3_3_0.3_3_0.217.0 nlp
25 lines 2364 bytes
head (3,3,0) body (3,3,0)
estimated blow-up 217.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5253.46sec 542.90sec 204 13620 449023
htl 8.27sec 774.69sec -- 641 10311
str 9.71sec 774.95sec -- 689 9950

test45/test_45.20_5_0.3_3_0.3_3_1.241.0 nlp
25 lines 2459 bytes
head (3,3,0) body (3,3,1)
estimated blow-up 241.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5431.36sec 179.47sec 21 13804 516674
htl 8.15sec 774.97sec -- 650 10584
str 9.95sec 774.27sec -- 692 10069

test45/test_45.20_5_0.3_3_0.3_4_0.446.8 nlp
25 lines 2587 bytes
head (3,3,0) body (3,4,0)
estimated blow-up 446.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 27040.17sec 41.36sec 5 31021 999731
htl 9.23sec 0.41sec 5 702 11212
str 11.38sec 0.41sec 5 746 10798

test45/test_45.20_5_0.3_3_0.3_4_1.499.6 nlp
25 lines 2777 bytes
head (3,3,0) body (3,4,1)
estimated blow-up 499.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 34363.16sec 584.73sec 72 32613 1243592
htl 9.39sec 774.40sec -- 709 11634
str 11.47sec 775.84sec -- 747 10910

test45/test_45.20_5_0.3_3_0.4_2_0.158.1 nlp
25 lines 2320 bytes
head (3,3,0) body (4,2,0)
estimated blow-up 158.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2052.63sec 58.70sec 29 8487 322242
htl 8.28sec 774.91sec -- 651 10495
str 9.94sec 775.61sec -- 695 10000

test45/test_45.20_5_0.3_3_0.4_2_1.171.6 nlp
25 lines 2347 bytes
head (3,3,0) body (4,2,1)
estimated blow-up 171.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1714.17sec 196.58sec 25 7970 324806
htl 7.71sec 774.89sec -- 641 10286
str 9.77sec 775.21sec -- 689 9982

test45/test_45.20_5_0.3_3_0.4_3_0.659.3 nlp
25 lines 2683 bytes
head (3,3,0) body (4,3,0)
estimated blow-up 659.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 47293.15sec 772.79sec -- 39822 1469573
htl 9.55sec 773.58sec -- 727 11725
str 11.99sec 774.04sec -- 779 11353

test45/test_45.20_5_0.3_3_0.4_3_1.722.3 nlp
25 lines 2833 bytes
head (3,3,0) body (4,3,1)
estimated blow-up 722.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 49301.94sec 774.06sec -- 41755 1763153
htl 9.98sec 775.01sec -- 727 11899
str 12.32sec 774.46sec -- 789 11582

test45/test_45.20_5_0.3_3_0.4_4_0.1776.3 nlp
25 lines 3113 bytes
head (3,3,0) body (4,4,0)
estimated blow-up 1776.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 462150.57sec 774.60sec -- 125209 4767868
htl 11.83sec 4.85sec 39 808 13186
str 14.62sec 6.22sec 39 864 12625

test45/test_45.20_5_0.3_3_0.4_4_1.1958.0 nlp
25 lines 3228 bytes
head (3,3,0) body (4,4,1)
estimated blow-up 1958.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 452975.18sec 774.88sec -- 114869 4902787
htl 11.54sec 776.28sec -- 800 13155
str 14.92sec 775.60sec -- 852 12544

test45/test_45.20_5_0.3_4_0.1_2_0.32.9 nlp
25 lines 1879 bytes
head (3,4,0) body (1,2,0)
estimated blow-up 32.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 219.17sec 1.59sec 0 2860 64736
htl 6.13sec 0.09sec 0 540 8606
str 7.29sec 0.01sec 0 574 8159

test45/test_45.20_5_0.3_4_0.1_2_1.38.2 nlp
25 lines 2041 bytes
head (3,4,0) body (1,2,1)
estimated blow-up 38.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 228.54sec 9.94sec 19 2891 79186
htl 6.41sec 99.36sec 19 543 8808
str 7.62sec 138.58sec 19 585 8453

test45/test_45.20_5_0.3_4_0.1_3_0.45.3 nlp
25 lines 2039 bytes
head (3,4,0) body (1,3,0)
estimated blow-up 45.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 412.25sec 0.55sec 0 3937 90294
htl 6.16sec 0.01sec 0 553 8910
str 7.99sec 0.09sec 0 603 8665

test45/test_45.20_5_0.3_4_0.1_3_1.53.0 nlp
25 lines 2194 bytes
head (3,4,0) body (1,3,1)
estimated blow-up 53.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 449.74sec 5.26sec 3 4090 116049
htl 6.46sec 2.62sec 3 563 9199
str 8.58sec 3.84sec 3 611 8884

test45/test_45.20_5_0.3_4_0.1_4_0.56.4 nlp
25 lines 2121 bytes
head (3,4,0) body (1,4,0)
estimated blow-up 56.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 695.08sec 1.00sec 0 5130 121437
htl 6.94sec 0.01sec 0 578 9327
str 8.60sec 0.01sec 0 622 8919

test45/test_45.20_5_0.3_4_0.1_4_1.66.4 nlp
25 lines 2264 bytes
head (3,4,0) body (1,4,1)
estimated blow-up 66.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 679.11sec 15.61sec 37 5046 142611
htl 6.92sec 16.98sec 37 579 9447
str 8.37sec 21.75sec 37 619 8965

test45/test_45.20_5_0.3_4_0.2_2_0.69.8 nlp
25 lines 2203 bytes
head (3,4,0) body (2,2,0)
estimated blow-up 69.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 695.78sec 2.14sec 0 5098 140689
htl 7.58sec 0.14sec 0 602 9723
str 9.23sec 0.02sec 0 648 9357

test45/test_45.20_5_0.3_4_0.2_2_1.79.2 nlp
25 lines 2251 bytes
head (3,4,0) body (2,2,1)
estimated blow-up 79.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 770.62sec 20.07sec 1 5354 168769
htl 7.67sec 511.99sec 1 604 9779
str 8.62sec 697.49sec 1 640 9276

test45/test_45.20_5_0.3_4_0.2_3_0.139.4 nlp
25 lines 2397 bytes
head (3,4,0) body (2,3,0)
estimated blow-up 139.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3567.19sec 3.30sec 0 11032 305755
htl 7.97sec 0.02sec 0 641 10370
str 9.63sec 0.09sec 0 685 9900

test45/test_45.20_5_0.3_4_0.2_3_1.159.2 nlp
25 lines 2408 bytes
head (3,4,0) body (2,3,1)
estimated blow-up 159.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3137.75sec 82.44sec 58 10694 334761
htl 8.39sec 74.28sec 58 635 10181
str 9.53sec 101.42sec 58 683 9922

test45/test_45.20_5_0.3_4_0.2_4_0.224.6 nlp
25 lines 2769 bytes
head (3,4,0) body (2,4,0)
estimated blow-up 224.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 10057.40sec 5.69sec 0 19092 561801
htl 8.54sec 0.05sec 0 681 11341
str 11.66sec 0.09sec 0 735 10731

test45/test_45.20_5_0.3_4_0.2_4_1.258.0 nlp
25 lines 2735 bytes
head (3,4,0) body (2,4,1)
estimated blow-up 258.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 10405.44sec 33.07sec 0 19066 628533
htl 8.56sec 1.41sec 0 678 11083
str 11.48sec 1.78sec 0 730 10704

test45/test_45.20_5_0.3_4_0.3_2_0.148.5 nlp
25 lines 2447 bytes
head (3,4,0) body (3,2,0)
estimated blow-up 148.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3120.26sec 20.93sec 4 10215 329453
htl 8.48sec 5.68sec 4 659 10642
str 10.30sec 7.10sec 4 705 10184

test45/test_45.20_5_0.3_4_0.3_2_1.165.0 nlp
25 lines 2524 bytes
head (3,4,0) body (3,2,1)
estimated blow-up 165.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2679.23sec 80.39sec 4 9844 365541
htl 8.37sec 774.99sec -- 662 10731
str 10.83sec 774.63sec -- 710 10379

test45/test_45.20_5_0.3_4_0.3_3_0.434.0 nlp
25 lines 2837 bytes
head (3,4,0) body (3,3,0)
estimated blow-up 434.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 35218.66sec 163.27sec 0 34388 1163205
htl 9.99sec 0.05sec 0 731 12060
str 13.42sec 0.07sec 0 795 11664

test45/test_45.20_5_0.3_4_0.3_3_1.485.7 nlp
25 lines 2851 bytes
head (3,4,0) body (3,3,1)
estimated blow-up 485.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 27766.59sec 39.40sec 3 29454 1114065
htl 9.68sec 1.09sec 3 717 11761
str 12.57sec 1.28sec 3 771 11325

test45/test_45.20_5_0.3_4_0.3_4_0.912.0 nlp
25 lines 3000 bytes
head (3,4,0) body (3,4,0)
estimated blow-up 912.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 192147.74sec 143.93sec 0 76368 2494896
htl 11.14sec 0.11sec 0 778 12610
str 13.59sec 0.06sec 0 824 12004

test45/test_45.20_5_0.3_4_0.3_4_1.1025.7 nlp
25 lines 3220 bytes
head (3,4,0) body (3,4,1)
estimated blow-up 1025.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 159605.00sec 427.06sec 3 74352 2848333
htl 11.61sec 18.39sec 3 776 12833
str 16.01sec 29.90sec 3 832 12241

test45/test_45.20_5_0.3_4_0.4_2_0.313.7 nlp
25 lines 2687 bytes
head (3,4,0) body (4,2,0)
estimated blow-up 313.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 12392.60sec 224.53sec 10 19144 714353
htl 10.94sec 175.54sec 10 718 11628
str 12.88sec 240.52sec 10 770 11180

test45/test_45.20_5_0.3_4_0.4_2_1.343.3 nlp
25 lines 2831 bytes
head (3,4,0) body (4,2,1)
estimated blow-up 343.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 12528.28sec 497.54sec 1 20116 859261
htl 9.63sec 775.04sec -- 727 11941
str 13.01sec 774.76sec -- 791 11668

test45/test_45.20_5_0.3_4_0.4_3_0.1345.7 nlp
25 lines 3117 bytes
head (3,4,0) body (4,3,0)
estimated blow-up 1345.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 286355.05sec 276.21sec 2 92392 3506496
htl 11.55sec 0.59sec 2 801 13111
str 14.86sec 0.53sec 2 853 12425

test45/test_45.20_5_0.3_4_0.4_3_1.1482.8 nlp
25 lines 3204 bytes
head (3,4,0) body (4,3,1)
estimated blow-up 1482.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 272530.05sec 792.29sec -- 90958 3852352
htl 11.22sec 376.52sec 14 796 13077
str 14.32sec 532.57sec 14 848 12504

test45/test_45.20_5_0.4_2_0.1_2_0.14.6 nlp
25 lines 1390 bytes
head (4,2,0) body (1,2,0)
estimated blow-up 14.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 18.99sec 51.60sec 12224 770 21573
htl 5.11sec 776.15sec -- 460 7197
str 5.69sec 775.40sec -- 494 6906

test45/test_45.20_5_0.4_2_0.1_2_1.16.0 nlp
25 lines 1434 bytes
head (4,2,0) body (1,2,1)
estimated blow-up 16.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 18.47sec 449.04sec 1127 742 22537
htl 4.72sec 775.26sec -- 445 6869
str 4.90sec 775.09sec -- 461 6429

test45/test_45.20_5_0.4_2_0.1_3_0.19.6 nlp
25 lines 1417 bytes
head (4,2,0) body (1,3,0)
estimated blow-up 19.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 34.37sec 155.85sec 12485 1076 28969
htl 5.19sec 775.07sec -- 479 7391
str 5.51sec 775.18sec -- 505 7074

test45/test_45.20_5_0.4_2_0.1_3_1.21.7 nlp
25 lines 1612 bytes
head (4,2,0) body (1,3,1)
estimated blow-up 21.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 35.74sec 180.29sec 2248 1070 34037
htl 4.96sec 774.89sec -- 478 7566
str 6.08sec 774.73sec -- 524 7511

test45/test_45.20_5_0.4_2_0.1_4_0.24.0 nlp
25 lines 1561 bytes
head (4,2,0) body (1,4,0)
estimated blow-up 24.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 58.64sec 131.91sec 14657 1412 38997
htl 5.67sec 774.44sec -- 503 7877
str 6.59sec 774.29sec -- 539 7637

test45/test_45.20_5_0.4_2_0.1_4_1.26.6 nlp
25 lines 1717 bytes
head (4,2,0) body (1,4,1)
estimated blow-up 26.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 54.42sec 262.36sec 1677 1354 43045
htl 5.45sec 773.97sec -- 499 7948
str 6.42sec 774.33sec -- 533 7623

test45/test_45.20_5_0.4_2_0.2_2_0.28.5 nlp
25 lines 1707 bytes
head (4,2,0) body (2,2,0)
estimated blow-up 28.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 50.17sec 494.16sec 1670 1286 41117
htl 6.07sec 774.89sec -- 524 8317
str 7.03sec 774.45sec -- 566 8070

test45/test_45.20_5_0.4_2_0.2_2_1.30.9 nlp
25 lines 1774 bytes
head (4,2,0) body (2,2,1)
estimated blow-up 30.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 56.80sec 143.30sec 169 1362 50169
htl 5.72sec 774.13sec -- 523 8307
str 7.19sec 774.61sec -- 563 8057

test45/test_45.20_5_0.4_2_0.2_3_0.55.0 nlp
25 lines 1951 bytes
head (4,2,0) body (2,3,0)
estimated blow-up 55.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 247.92sec 656.17sec 8169 2974 100189
htl 6.48sec 774.98sec -- 562 9048
str 7.85sec 774.82sec -- 612 8780

test45/test_45.20_5_0.4_2_0.2_3_1.60.2 nlp
25 lines 1965 bytes
head (4,2,0) body (2,3,1)
estimated blow-up 60.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 259.28sec 427.54sec 675 3034 113601
htl 6.75sec 775.13sec -- 564 9031
str 7.89sec 774.49sec -- 598 8592

test45/test_45.20_5_0.4_2_0.2_4_0.86.2 nlp
25 lines 2188 bytes
head (4,2,0) body (2,4,0)
estimated blow-up 86.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 700.01sec 774.02sec -- 5080 173753
htl 7.58sec 774.59sec -- 609 9964
str 9.36sec 775.25sec -- 657 9511

test45/test_45.20_5_0.4_2_0.2_4_1.95.1 nlp
25 lines 2089 bytes
head (4,2,0) body (2,4,1)
estimated blow-up 95.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 558.11sec 775.38sec -- 4512 160019
htl 7.50sec 774.28sec -- 599 9497
str 8.49sec 774.26sec -- 635 9157

test45/test_45.20_5_0.4_2_0.3_2_0.57.0 nlp
25 lines 1870 bytes
head (4,2,0) body (3,2,0)
estimated blow-up 57.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 209.22sec 773.82sec -- 2702 99997
htl 6.39sec 773.82sec -- 582 9133
str 7.46sec 773.94sec -- 614 8724

test45/test_45.20_5_0.4_2_0.3_2_1.61.1 nlp
25 lines 2100 bytes
head (4,2,0) body (3,2,1)
estimated blow-up 61.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 202.70sec 30.31sec 128 2636 114313
htl 6.99sec 775.04sec -- 587 9558
str 8.48sec 775.09sec -- 627 9033

test45/test_45.20_5_0.4_2_0.3_3_0.160.0 nlp
25 lines 2123 bytes
head (4,2,0) body (3,3,0)
estimated blow-up 160.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1869.00sec 773.75sec -- 8210 292275
htl 7.57sec 775.44sec -- 641 10070
str 9.42sec 775.57sec -- 679 9756

test45/test_45.20_5_0.4_2_0.3_3_1.173.6 nlp
25 lines 2311 bytes
head (4,2,0) body (3,3,1)
estimated blow-up 173.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1525.96sec 775.68sec -- 7488 314877
htl 8.09sec 774.55sec -- 643 10312
str 9.47sec 775.59sec -- 691 10057

test45/test_45.20_5_0.4_2_0.3_4_0.326.5 nlp
25 lines 2737 bytes
head (4,2,0) body (3,4,0)
estimated blow-up 326.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 11063.81sec 774.84sec -- 18850 746917
htl 9.72sec 774.61sec -- 712 11858
str 13.17sec 774.47sec -- 770 11237

test45/test_45.20_5_0.4_2_0.3_4_1.356.8 nlp
25 lines 2564 bytes
head (4,2,0) body (3,4,1)
estimated blow-up 356.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 11244.78sec 774.02sec -- 19090 784755
htl 8.95sec 774.00sec -- 708 11362
str 11.29sec 775.07sec -- 758 11082

test45/test_45.20_5_0.4_2_0.4_2_0.114.6 nlp
25 lines 2077 bytes
head (4,2,0) body (4,2,0)
estimated blow-up 114.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 699.24sec 790.97sec -- 5014 202945
htl 8.07sec 774.44sec -- 644 10059
str 9.67sec 775.34sec -- 684 9775

test45/test_45.20_5_0.4_2_0.4_2_1.122.1 nlp
25 lines 2230 bytes
head (4,2,0) body (4,2,1)
estimated blow-up 122.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 738.46sec 196.89sec 602 5148 235705
htl 8.51sec 773.51sec -- 645 10276
str 9.28sec 773.08sec -- 689 9972

test45/test_45.20_5_0.4_2_0.4_3_0.472.0 nlp
25 lines 2540 bytes
head (4,2,0) body (4,3,0)
estimated blow-up 472.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 16102.83sec 773.81sec -- 23910 1026481
htl 9.63sec 775.77sec -- 729 11676
str 11.32sec 775.59sec -- 761 10962

test45/test_45.20_5_0.4_2_0.4_3_1.507.8 nlp
25 lines 2597 bytes
head (4,2,0) body (4,3,1)
estimated blow-up 507.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 19816.70sec 776.41sec -- 25196 1174529
htl 9.88sec 775.93sec -- 733 11742
str 11.74sec 775.51sec -- 777 11316

test45/test_45.20_5_0.4_2_0.4_4_0.1260.9 nlp
25 lines 2994 bytes
head (4,2,0) body (4,4,0)
estimated blow-up 1260.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 191194.27sec 784.77sec -- 76938 3248713
htl 11.80sec 786.50sec -- 806 13080
str 14.79sec 785.67sec -- 852 12406

test45/test_45.20_5_0.4_2_0.4_4_1.1365.9 nlp
25 lines 3159 bytes
head (4,2,0) body (4,4,1)
estimated blow-up 1365.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 178889.81sec 780.15sec -- 75168 3703653
htl 11.60sec 780.95sec -- 805 13335
str 15.36sec 780.46sec -- 851 12483

test45/test_45.20_5_0.4_3_0.1_2_0.52.4 nlp
25 lines 1826 bytes
head (4,3,0) body (1,2,0)
estimated blow-up 52.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 353.00sec 124.83sec 4315 3609 98679
htl 6.27sec 781.16sec -- 565 8887
str 7.54sec 783.26sec -- 601 8605

test45/test_45.20_5_0.4_3_0.1_2_1.58.5 nlp
25 lines 2047 bytes
head (4,3,0) body (1,2,1)
estimated blow-up 58.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 364.19sec 212.49sec 582 3613 116430
htl 7.04sec 779.74sec -- 567 9147
str 7.93sec 783.19sec -- 607 8765

test45/test_45.20_5_0.4_3_0.1_3_0.72.0 nlp
25 lines 1999 bytes
head (4,3,0) body (1,3,0)
estimated blow-up 72.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 675.05sec 168.30sec 2255 5007 136566
htl 7.16sec 783.69sec -- 586 9365
str 7.77sec 782.92sec -- 632 9110

test45/test_45.20_5_0.4_3_0.1_3_1.81.0 nlp
25 lines 2161 bytes
head (4,3,0) body (1,3,1)
estimated blow-up 81.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 703.13sec 783.32sec -- 5092 162035
htl 7.12sec 781.73sec -- 580 9375
str 8.35sec 781.19sec -- 634 9201

test45/test_45.20_5_0.4_3_0.1_4_0.89.5 nlp
25 lines 2093 bytes
head (4,3,0) body (1,4,0)
estimated blow-up 89.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1160.66sec 171.18sec 1658 6579 183446
htl 6.82sec 633.69sec 1658 603 9645
str 8.74sec 801.36sec -- 641 9196

test45/test_45.20_5_0.4_3_0.1_4_1.101.2 nlp
25 lines 2224 bytes
head (4,3,0) body (1,4,1)
estimated blow-up 101.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1219.68sec 391.63sec 2812 6741 216799
htl 7.33sec 782.99sec -- 607 9774
str 9.43sec 783.62sec -- 663 9652

test45/test_45.20_5_0.4_3_0.2_2_0.106.5 nlp
25 lines 2207 bytes
head (4,3,0) body (2,2,0)
estimated blow-up 106.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1015.21sec 767.22sec 674 6126 198783
htl 7.66sec 782.25sec -- 621 9991
str 9.70sec 782.84sec -- 675 9779

test45/test_45.20_5_0.4_3_0.2_2_1.117.4 nlp
25 lines 2273 bytes
head (4,3,0) body (2,2,1)
estimated blow-up 117.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1239.92sec 781.51sec -- 6749 245891
htl 7.51sec 780.86sec -- 633 10243
str 9.72sec 782.80sec -- 679 9902

test45/test_45.20_5_0.4_3_0.2_3_0.212.1 nlp
25 lines 2406 bytes
head (4,3,0) body (2,3,0)
estimated blow-up 212.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5477.38sec 784.22sec -- 13840 447624
htl 8.30sec 784.51sec -- 670 10829
str 10.36sec 787.14sec -- 728 10635

test45/test_45.20_5_0.4_3_0.2_3_1.235.6 nlp
25 lines 2485 bytes
head (4,3,0) body (2,3,1)
estimated blow-up 235.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5654.29sec 786.32sec -- 14060 514034
htl 8.78sec 780.21sec -- 668 10856
str 10.77sec 779.95sec -- 714 10397

test45/test_45.20_5_0.4_3_0.2_4_0.341.6 nlp
25 lines 2562 bytes
head (4,3,0) body (2,4,0)
estimated blow-up 341.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 20750.40sec 534.59sec 697 25753 829635
htl 9.07sec 171.11sec 697 709 11415
str 11.27sec 204.78sec 697 751 10911

test45/test_45.20_5_0.4_3_0.2_4_1.381.3 nlp
25 lines 2696 bytes
head (4,3,0) body (2,4,1)
estimated blow-up 381.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 16101.75sec 787.56sec -- 23597 875708
htl 9.29sec 785.09sec -- 708 11577
str 11.83sec 777.46sec -- 764 11229

test45/test_45.20_5_0.4_3_0.3_2_0.219.8 nlp
25 lines 2454 bytes
head (4,3,0) body (3,2,0)
estimated blow-up 219.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4575.80sec 780.37sec -- 12643 465244
htl 8.60sec 779.58sec -- 685 11042
str 11.06sec 780.60sec -- 729 10523

test45/test_45.20_5_0.4_3_0.3_2_1.239.3 nlp
25 lines 2538 bytes
head (4,3,0) body (3,2,1)
estimated blow-up 239.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 5080.52sec 779.10sec -- 13223 544806
htl 9.32sec 781.70sec -- 690 11204
str 11.10sec 778.67sec -- 738 10744

test45/test_45.20_5_0.1_2_0.1_2_0.1.8 nlp
25 lines 605 bytes
head (1,2,0) body (1,2,0)
estimated blow-up 1.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.26sec 0.01sec 0 112 1733
htl 0.36sec 0.03sec 0 202 2981
str 0.39sec 0.01sec 0 220 2826

test45/test_45.20_5_0.1_2_0.1_2_1.2.2 nlp
25 lines 677 bytes
head (1,2,0) body (1,2,1)
estimated blow-up 2.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.28sec 0.01sec 0 108 1865
htl 0.38sec 0.01sec 0 195 2829
str 0.36sec 0.01sec 0 209 2715

test45/test_45.20_5_0.1_2_0.1_3_0.2.2 nlp
25 lines 678 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 156 2256
htl 0.46sec 0.02sec 0 230 3412
str 0.43sec 0.01sec 0 250 3261

test45/test_45.20_5_0.1_2_0.1_3_1.2.8 nlp
25 lines 830 bytes
head (1,2,0) body (1,3,1)
estimated blow-up 2.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.37sec 0.01sec 0 160 2909
htl 0.44sec 0.01sec 0 229 3492
str 0.46sec 0.01sec 0 255 3428

test45/test_45.20_5_0.1_2_0.1_4_0.2.5 nlp
25 lines 791 bytes
head (1,2,0) body (1,4,0)
estimated blow-up 2.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.52sec 0.01sec 0 198 2861
htl 0.50sec 0.01sec 0 254 3852
str 0.49sec 0.01sec 0 272 3586

test45/test_45.20_5_0.1_2_0.1_4_1.3.2 nlp
25 lines 957 bytes
head (1,2,0) body (1,4,1)
estimated blow-up 3.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.55sec 0.01sec 0 198 3710
htl 0.53sec 0.01sec 0 256 4038
str 0.58sec 0.01sec 0 284 3859

test45/test_45.20_5_0.1_2_0.2_2_0.3.7 nlp
25 lines 876 bytes
head (1,2,0) body (2,2,0)
estimated blow-up 3.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.47sec 0.01sec 0 195 3574
htl 0.50sec 0.01sec 0 277 4156
str 0.55sec 0.01sec 0 297 3919

test45/test_45.20_5_0.1_2_0.2_2_1.4.3 nlp
25 lines 1008 bytes
head (1,2,0) body (2,2,1)
estimated blow-up 4.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.53sec 0.02sec 0 202 4533
htl 0.55sec 0.01sec 0 284 4474
str 0.60sec 0.01sec 0 306 4164

test45/test_45.20_5_0.1_2_0.2_3_0.6.4 nlp
25 lines 1103 bytes
head (1,2,0) body (2,3,0)
estimated blow-up 6.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.26sec 0.05sec 0 404 7406
htl 0.64sec 0.01sec 0 323 4978
str 0.70sec 0.01sec 0 347 4670

test45/test_45.20_5_0.1_2_0.2_3_1.7.6 nlp
25 lines 1231 bytes
head (1,2,0) body (2,3,1)
estimated blow-up 7.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.31sec 0.07sec 0 396 9307
htl 0.64sec 0.01sec 0 324 5154
str 0.73sec 0.01sec 0 354 4884

test45/test_45.20_5_0.1_2_0.2_4_0.9.1 nlp
25 lines 1291 bytes
head (1,2,0) body (2,4,0)
estimated blow-up 9.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.05sec 0.15sec 0 674 12156
htl 0.84sec 0.01sec 0 362 5606
str 0.89sec 0.01sec 0 394 5384

test45/test_45.20_5_0.1_2_0.2_4_1.11.1 nlp
25 lines 1443 bytes
head (1,2,0) body (2,4,1)
estimated blow-up 11.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.21sec 0.20sec 1 684 15732
htl 0.78sec 0.10sec 1 370 5967
str 0.94sec 0.10sec 1 400 5583

test45/test_45.20_5_0.1_2_0.3_2_0.7.5 nlp
25 lines 1107 bytes
head (1,2,0) body (3,2,0)
estimated blow-up 7.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.16sec 0.05sec 0 364 7886
htl 0.64sec 0.06sec 0 326 4846
str 0.69sec 0.05sec 0 350 4684

test45/test_45.20_5_0.1_2_0.3_2_1.8.4 nlp
25 lines 1209 bytes
head (1,2,0) body (3,2,1)
estimated blow-up 8.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.15sec 0.06sec 0 348 9212
htl 0.67sec 8.69sec 0 339 5149
str 0.80sec 16.07sec 0 363 4990

test45/test_45.20_5_0.1_2_0.3_3_0.18.8 nlp
25 lines 1461 bytes
head (1,2,0) body (3,3,0)
estimated blow-up 18.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 8.19sec 0.55sec 0 1126 25898
htl 1.01sec 0.02sec 0 417 6520
str 1.02sec 0.25sec 0 443 6164

test45/test_45.20_5_0.1_2_0.3_3_1.21.6 nlp
25 lines 1571 bytes
head (1,2,0) body (3,3,1)
estimated blow-up 21.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 8.10sec 0.49sec 0 1093 30660
htl 0.91sec 0.08sec 0 414 6560
str 1.11sec 0.07sec 0 444 6270

test45/test_45.20_5_0.1_2_0.3_4_0.35.3 nlp
25 lines 1712 bytes
head (1,2,0) body (3,4,0)
estimated blow-up 35.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 36.86sec 2.28sec 0 2446 56543
htl 1.12sec 0.01sec 0 473 7373
str 1.25sec 0.01sec 0 497 6953

test45/test_45.20_5_0.1_2_0.3_4_1.41.3 nlp
25 lines 1847 bytes
head (1,2,0) body (3,4,1)
estimated blow-up 41.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 39.14sec 2.83sec 0 2492 67757
htl 1.09sec 0.01sec 0 475 7576
str 1.28sec 0.01sec 0 511 7292

test45/test_45.20_5_0.1_2_0.4_2_0.15.2 nlp
25 lines 1416 bytes
head (1,2,0) body (4,2,0)
estimated blow-up 15.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.31sec 0.19sec 0 676 18900
htl 0.85sec 0.01sec 0 405 6242
str 0.97sec 0.01sec 0 439 6112

test45/test_45.20_5_0.1_2_0.4_2_1.16.7 nlp
25 lines 1474 bytes
head (1,2,0) body (4,2,1)
estimated blow-up 16.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.42sec 0.27sec 1 671 21019
htl 0.95sec 91.21sec 1 412 6401
str 0.96sec 189.95sec -- 442 6240

test45/test_45.20_5_0.1_2_0.4_3_0.55.8 nlp
25 lines 1823 bytes
head (1,2,0) body (4,3,0)
estimated blow-up 55.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 57.62sec 4.41sec 0 3026 85246
htl 1.31sec 0.02sec 0 499 7874
str 1.42sec 0.06sec 0 543 7725

test45/test_45.20_5_0.1_2_0.4_3_1.62.7 nlp
25 lines 1947 bytes
head (1,2,0) body (4,3,1)
estimated blow-up 62.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 65.60sec 5.55sec 0 3207 106992
htl 1.21sec 14.65sec 0 496 7916
str 1.49sec 27.99sec 0 542 7761

test45/test_45.20_5_0.1_2_0.4_4_0.138.4 nlp
25 lines 2115 bytes
head (1,2,0) body (4,4,0)
estimated blow-up 138.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 596.48sec 49.09sec 0 9664 256952
htl 1.48sec 0.01sec 0 583 9086
str 1.78sec 0.01sec 0 629 9023

test45/test_45.20_5_0.1_2_0.4_4_1.157.5 nlp
25 lines 2366 bytes
head (1,2,0) body (4,4,1)
estimated blow-up 157.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 490.16sec 34.55sec 1 8756 279979
htl 1.56sec 1.10sec 1 578 9385
str 1.87sec 2.02sec 1 622 9023

test45/test_45.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.41sec 0.01sec 0 167 2499
htl 0.43sec 0.01sec 0 234 3532
str 0.45sec 0.01sec 0 248 3233

test45/test_45.20_5_0.1_3_0.1_2_1.2.7 nlp
25 lines 881 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 174 3145
htl 0.46sec 0.01sec 0 245 3837
str 0.55sec 0.01sec 0 277 3773

test45/test_45.20_5_0.1_3_0.1_3_0.2.7 nlp
25 lines 811 bytes
head (1,3,0) body (1,3,0)
estimated blow-up 2.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.57sec 0.01sec 0 221 3217
htl 0.51sec 0.01sec 0 262 3987
str 0.56sec 0.01sec 0 280 3707

test45/test_45.20_5_0.1_3_0.1_3_1.3.5 nlp
25 lines 935 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 3945
htl 0.60sec 0.01sec 0 256 3953
str 0.56sec 0.01sec 0 276 3723

test45/test_45.20_5_0.1_3_0.1_4_0.3.1 nlp
25 lines 886 bytes
head (1,3,0) body (1,4,0)
estimated blow-up 3.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.71sec 0.01sec 0 275 3808
htl 0.64sec 0.01sec 0 283 4310
str 0.59sec 0.01sec 0 301 4014

test45/test_45.20_5_0.1_3_0.1_4_1.4.2 nlp
25 lines 1061 bytes
head (1,3,0) body (1,4,1)
estimated blow-up 4.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.79sec 0.02sec 0 286 5132
htl 0.63sec 0.01sec 0 275 4329
str 0.62sec 0.01sec 0 309 4232

test45/test_45.20_5_0.1_3_0.2_2_0.4.7 nlp
25 lines 984 bytes
head (1,3,0) body (2,2,0)
estimated blow-up 4.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.84sec 0.03sec 0 289 5145
htl 0.64sec 0.01sec 0 302 4538
str 0.66sec 0.01sec 0 324 4318

test45/test_45.20_5_0.1_3_0.2_2_1.5.5 nlp
25 lines 1089 bytes
head (1,3,0) body (2,2,1)
estimated blow-up 5.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.79sec 0.02sec 0 289 6316
htl 0.59sec 0.01sec 0 305 4702
str 0.63sec 0.01sec 0 327 4443

test45/test_45.20_5_0.1_3_0.2_3_0.8.3 nlp
25 lines 1199 bytes
head (1,3,0) body (2,3,0)
estimated blow-up 8.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.48sec 0.09sec 0 594 10780
htl 0.72sec 0.01sec 0 355 5494
str 0.85sec 0.01sec 0 373 5060

test45/test_45.20_5_0.1_3_0.2_3_1.10.1 nlp
25 lines 1415 bytes
head (1,3,0) body (2,3,1)
estimated blow-up 10.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.46sec 0.12sec 0 587 14029
htl 0.81sec 0.01sec 0 363 5929
str 0.91sec 0.01sec 0 401 5674

test45/test_45.20_5_0.1_3_0.2_4_0.12.3 nlp
25 lines 1363 bytes
head (1,3,0) body (2,4,0)
estimated blow-up 12.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.00sec 0.27sec 0 977 17189
htl 0.80sec 0.01sec 0 388 5972
str 1.01sec 0.01sec 0 406 5507

test45/test_45.20_5_0.1_3_0.2_4_1.15.1 nlp
25 lines 1553 bytes
head (1,3,0) body (2,4,1)
estimated blow-up 15.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.59sec 0.25sec 0 1009 24101
htl 0.96sec 0.01sec 0 401 6452
str 1.09sec 0.01sec 0 427 6002

test45/test_45.20_5_0.1_3_0.3_2_0.9.9 nlp
25 lines 1257 bytes
head (1,3,0) body (3,2,0)
estimated blow-up 9.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.09sec 0.12sec 0 535 12201
htl 0.80sec 0.01sec 0 371 5671
str 0.83sec 0.01sec 0 397 5447

test45/test_45.20_5_0.1_3_0.3_2_1.11.2 nlp
25 lines 1344 bytes
head (1,3,0) body (3,2,1)
estimated blow-up 11.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.21sec 0.12sec 0 536 14283
htl 0.89sec 15.03sec 0 375 5824
str 0.84sec 67.04sec 0 407 5683

test45/test_45.20_5_0.1_3_0.3_3_0.25.4 nlp
25 lines 1619 bytes
head (1,3,0) body (3,3,0)
estimated blow-up 25.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 17.28sec 0.75sec 0 1654 38860
htl 0.94sec 0.01sec 0 430 6765
str 1.14sec 0.06sec 0 462 6415

test45/test_45.20_5_0.1_3_0.3_3_1.29.5 nlp
25 lines 1646 bytes
head (1,3,0) body (3,3,1)
estimated blow-up 29.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 18.43sec 0.87sec 0 1680 46474
htl 1.06sec 0.01sec 0 443 6978
str 1.13sec 0.01sec 0 475 6721

test45/test_45.20_5_0.1_3_0.3_4_0.48.8 nlp
25 lines 1854 bytes
head (1,3,0) body (3,4,0)
estimated blow-up 48.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 80.04sec 4.43sec 0 3623 83020
htl 1.21sec 0.01sec 0 497 7814
str 1.41sec 0.01sec 0 529 7457

test45/test_45.20_5_0.1_3_0.3_4_1.57.3 nlp
25 lines 1966 bytes
head (1,3,0) body (3,4,1)
estimated blow-up 57.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 84.75sec 4.74sec 0 3714 102714
htl 1.26sec 0.01sec 0 507 8150
str 1.39sec 0.01sec 0 529 7541

test45/test_45.20_5_0.1_3_0.4_2_0.20.4 nlp
25 lines 1493 bytes
head (1,3,0) body (4,2,0)
estimated blow-up 20.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.72sec 0.42sec 0 994 26860
htl 1.10sec 0.01sec 0 433 6629
str 1.02sec 0.01sec 0 465 6489

test45/test_45.20_5_0.1_3_0.4_2_1.22.6 nlp
25 lines 1670 bytes
head (1,3,0) body (4,2,1)
estimated blow-up 22.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 7.14sec 0.53sec 1 1007 32163
htl 1.11sec 1.33sec 1 440 6999
str 1.11sec 2.19sec 1 476 6763

test45/test_45.20_5_0.1_3_0.4_3_0.77.1 nlp
25 lines 1912 bytes
head (1,3,0) body (4,3,0)
estimated blow-up 77.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 136.88sec 7.41sec 0 4760 131959
htl 1.35sec 0.01sec 0 529 8321
str 1.50sec 0.01sec 0 561 7995

test45/test_45.20_5_0.1_3_0.4_3_1.87.0 nlp
25 lines 2025 bytes
head (1,3,0) body (4,3,1)
estimated blow-up 87.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 140.77sec 7.15sec 0 4762 152686
htl 1.30sec 10.89sec 0 527 8421
str 1.55sec 17.61sec 0 567 8165

test45/test_45.20_5_0.1_3_0.4_4_0.194.4 nlp
25 lines 2460 bytes
head (1,3,0) body (4,4,0)
estimated blow-up 194.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1350.93sec 68.92sec 0 14088 416595
htl 1.75sec 0.01sec 0 604 9850
str 2.10sec 0.02sec 0 658 9532

test45/test_45.20_5_0.1_3_0.4_4_1.222.1 nlp
25 lines 2461 bytes
head (1,3,0) body (4,4,1)
estimated blow-up 222.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1490.19sec 92.69sec 0 15057 493125
htl 1.70sec 0.01sec 0 611 9870
str 2.08sec 0.01sec 0 663 9667

test45/test_45.20_5_0.1_4_0.1_2_0.2.4 nlp
25 lines 846 bytes
head (1,4,0) body (1,2,0)
estimated blow-up 2.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.45sec 0.01sec 0 206 2972
htl 0.55sec 0.01sec 0 269 4156
str 0.53sec 0.01sec 0 289 3860

test45/test_45.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.50sec 0.01sec 0 214 3875
htl 0.49sec 0.01sec 0 261 4125
str 0.55sec 0.01sec 0 285 3867

test45/test_45.20_5_0.1_4_0.1_3_0.3.1 nlp
25 lines 934 bytes
head (1,4,0) body (1,3,0)
estimated blow-up 3.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.68sec 0.01sec 0 283 4110
htl 0.55sec 0.01sec 0 286 4408
str 0.62sec 0.01sec 0 298 3976

test45/test_45.20_5_0.1_4_0.1_3_1.4.1 nlp
25 lines 1088 bytes
head (1,4,0) body (1,3,1)
estimated blow-up 4.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.87sec 0.02sec 0 301 5524
htl 0.64sec 0.01sec 0 300 4791
str 0.78sec 0.01sec 0 320 4380

test45/test_45.20_5_0.1_4_0.1_4_0.3.6 nlp
25 lines 1094 bytes
head (1,4,0) body (1,4,0)
estimated blow-up 3.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.03sec 0.02sec 0 350 5211
htl 0.62sec 0.01sec 0 306 4847
str 0.70sec 0.01sec 0 338 4570

test45/test_45.20_5_0.1_4_0.1_4_1.4.9 nlp
25 lines 1210 bytes
head (1,4,0) body (1,4,1)
estimated blow-up 4.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.12sec 0.02sec 0 381 7077
htl 0.61sec 0.01sec 0 313 5002
str 0.77sec 0.01sec 0 335 4618

test45/test_45.20_5_0.1_4_0.2_2_0.5.4 nlp
25 lines 1120 bytes
head (1,4,0) body (2,2,0)
estimated blow-up 5.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.10sec 0.03sec 0 375 6872
htl 0.71sec 0.01sec 0 333 5119
str 0.68sec 0.01sec 0 343 4570

test45/test_45.20_5_0.1_4_0.2_2_1.6.5 nlp
25 lines 1202 bytes
head (1,4,0) body (2,2,1)
estimated blow-up 6.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.20sec 0.04sec 0 362 8012
htl 0.66sec 0.01sec 0 333 5168
str 0.81sec 0.08sec 0 353 4826

test45/test_45.20_5_0.1_4_0.2_3_0.9.9 nlp
25 lines 1262 bytes
head (1,4,0) body (2,3,0)
estimated blow-up 9.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.64sec 0.09sec 0 745 13015
htl 0.74sec 0.01sec 0 366 5528
str 0.78sec 0.01sec 0 386 5222

test45/test_45.20_5_0.1_4_0.2_3_1.12.0 nlp
25 lines 1462 bytes
head (1,4,0) body (2,3,1)
estimated blow-up 12.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.93sec 0.12sec 0 766 17290
htl 0.93sec 0.01sec 0 379 6061
str 0.93sec 0.01sec 0 417 5858

test45/test_45.20_5_0.1_4_0.2_4_0.14.8 nlp
25 lines 1531 bytes
head (1,4,0) body (2,4,0)
estimated blow-up 14.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 9.95sec 0.11sec 0 1278 22975
htl 1.09sec 0.01sec 0 426 6723
str 1.12sec 0.01sec 0 462 6481

test45/test_45.20_5_0.1_4_0.2_4_1.18.3 nlp
25 lines 1620 bytes
head (1,4,0) body (2,4,1)
estimated blow-up 18.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 9.50sec 0.33sec 0 1214 26833
htl 0.94sec 0.01sec 0 407 6458
str 1.02sec 0.01sec 0 437 6102

test45/test_45.20_5_0.1_4_0.3_2_0.11.7 nlp
25 lines 1385 bytes
head (1,4,0) body (3,2,0)
estimated blow-up 11.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.24sec 0.13sec 0 690 15636
htl 0.82sec 0.01sec 0 397 6121
str 0.91sec 0.01sec 0 421 5792

test45/test_45.20_5_0.1_4_0.3_2_1.13.4 nlp
25 lines 1477 bytes
head (1,4,0) body (3,2,1)
estimated blow-up 13.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.24sec 0.15sec 0 677 17849
htl 0.82sec 0.01sec 0 393 6137
str 0.92sec 0.01sec 0 419 5851

test45/test_45.20_5_0.1_4_0.3_3_0.30.9 nlp
25 lines 1731 bytes
head (1,4,0) body (3,3,0)
estimated blow-up 30.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 29.88sec 1.31sec 0 2195 51535
htl 1.04sec 0.01sec 0 468 7418
str 1.21sec 0.01sec 0 502 7088

test45/test_45.20_5_0.1_4_0.3_3_1.36.0 nlp
25 lines 1780 bytes
head (1,4,0) body (3,3,1)
estimated blow-up 36.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 30.19sec 1.11sec 0 2185 60766
htl 1.13sec 0.01sec 0 465 7373
str 1.25sec 0.01sec 0 497 7077

test45/test_45.20_5_0.1_4_0.3_4_0.60.2 nlp
25 lines 1991 bytes
head (1,4,0) body (3,4,0)
estimated blow-up 60.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 141.86sec 4.41sec 0 4873 111612
htl 1.35sec 0.01sec 0 522 8258
str 1.55sec 0.01sec 0 566 8099

test45/test_45.20_5_0.1_4_0.3_4_1.71.1 nlp
25 lines 2202 bytes
head (1,4,0) body (3,4,1)
estimated blow-up 71.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 156.53sec 7.76sec 0 5070 142574
htl 1.32sec 0.01sec 0 537 8841
str 1.70sec 0.01sec 0 579 8383

test45/test_45.20_5_0.1_4_0.4_2_0.24.6 nlp
25 lines 1608 bytes
head (1,4,0) body (4,2,0)
estimated blow-up 24.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 11.93sec 0.25sec 0 1355 36038
htl 1.05sec 0.01sec 0 472 7299
str 1.32sec 0.01sec 0 504 7092

test45/test_45.20_5_0.1_4_0.4_2_1.27.5 nlp
25 lines 1828 bytes
head (1,4,0) body (4,2,1)
estimated blow-up 27.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 10.77sec 0.63sec 0 1262 41247
htl 1.16sec 0.01sec 0 466 7525
str 1.42sec 0.01sec 0 504 7185

test45/test_45.20_5_0.1_4_0.4_3_0.95.3 nlp
25 lines 2007 bytes
head (1,4,0) body (4,3,0)
estimated blow-up 95.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 208.54sec 7.77sec 0 5887 160030
htl 1.44sec 0.01sec 0 546 8552
str 1.58sec 0.01sec 0 582 8304

test45/test_45.20_5_0.1_4_0.4_3_1.108.0 nlp
25 lines 2154 bytes
head (1,4,0) body (4,3,1)
estimated blow-up 108.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 225.11sec 11.18sec 0 6048 196592
htl 1.44sec 0.01sec 0 545 8682
str 1.73sec 0.01sec 0 589 8512

test45/test_45.20_5_0.1_4_0.4_4_0.243.8 nlp
25 lines 2406 bytes
head (1,4,0) body (4,4,0)
estimated blow-up 243.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2124.90sec 93.23sec 0 17665 489402
htl 1.73sec 0.02sec 0 626 9947
str 2.08sec 0.01sec 0 658 9442

test45/test_45.20_5_0.1_4_0.4_4_1.279.3 nlp
25 lines 2600 bytes
head (1,4,0) body (4,4,1)
estimated blow-up 279.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2324.90sec 146.59sec 0 18248 594986
htl 1.67sec 0.02sec 0 621 10042
str 2.18sec 0.02sec 0 679 9907

test45/test_45.20_5_0.2_2_0.1_2_0.3.7 nlp
25 lines 805 bytes
head (2,2,0) body (1,2,0)
estimated blow-up 3.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.58sec 0.01sec 4 218 3956
htl 0.58sec 0.03sec 4 286 4246
str 0.65sec 0.03sec 4 308 4060

test45/test_45.20_5_0.2_2_0.1_2_1.4.2 nlp
25 lines 1022 bytes
head (2,2,0) body (1,2,1)
estimated blow-up 4.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.56sec 0.07sec 3 224 5001
htl 0.57sec 0.22sec 3 295 4674
str 0.65sec 0.33sec 3 325 4445

test45/test_45.20_5_0.2_2_0.1_3_0.4.7 nlp
25 lines 928 bytes
head (2,2,0) body (1,3,0)
estimated blow-up 4.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.80sec 0.01sec 0 298 5512
htl 0.64sec 0.01sec 0 326 5029
str 0.65sec 0.01sec 0 342 4609

test45/test_45.20_5_0.2_2_0.1_3_1.5.5 nlp
25 lines 1030 bytes
head (2,2,0) body (1,3,1)
estimated blow-up 5.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 0.80sec 0.03sec 17 284 6156
htl 0.68sec 1.65sec 17 307 4700
str 0.64sec 4.74sec 17 327 4413

test45/test_45.20_5_0.2_2_0.1_4_0.5.5 nlp
25 lines 1002 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 29 372 6704
htl 0.68sec 0.60sec 29 347 5319
str 0.69sec 0.66sec 29 365 4961

test45/test_45.20_5_0.2_2_0.1_4_1.6.6 nlp
25 lines 1133 bytes
head (2,2,0) body (1,4,1)
estimated blow-up 6.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.18sec 0.05sec 33 370 8063
htl 0.73sec 4.82sec 33 332 5100
str 0.78sec 11.75sec 33 360 4941

test45/test_45.20_5_0.2_2_0.2_2_0.7.3 nlp
25 lines 1106 bytes
head (2,2,0) body (2,2,0)
estimated blow-up 7.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.16sec 0.07sec 16 368 8105
htl 0.72sec 23.68sec 16 357 5386
str 0.84sec 25.90sec 16 383 5223

test45/test_45.20_5_0.2_2_0.2_2_1.8.2 nlp
25 lines 1239 bytes
head (2,2,0) body (2,2,1)
estimated blow-up 8.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.25sec 0.04sec 1 376 9977
htl 0.73sec 23.03sec 1 361 5611
str 0.92sec 29.08sec 1 383 5294

test45/test_45.20_5_0.2_2_0.2_3_0.13.2 nlp
25 lines 1327 bytes
head (2,2,0) body (2,3,0)
estimated blow-up 13.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.02sec 0.13sec 12 764 17749
htl 0.87sec 1.31sec 12 411 6387
str 1.03sec 2.04sec 12 433 6006

test45/test_45.20_5_0.2_2_0.2_3_1.15.1 nlp
25 lines 1484 bytes
head (2,2,0) body (2,3,1)
estimated blow-up 15.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.26sec 0.18sec 2 780 21724
htl 1.00sec 7.93sec 2 416 6675
str 1.14sec 16.24sec 2 452 6418

test45/test_45.20_5_0.2_2_0.2_4_0.19.8 nlp
25 lines 1495 bytes
head (2,2,0) body (2,4,0)
estimated blow-up 19.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 10.78sec 0.37sec 6 1300 29418
htl 1.17sec 0.66sec 6 445 6892
str 1.09sec 0.74sec 6 463 6391

test45/test_45.20_5_0.2_2_0.2_4_1.23.0 nlp
25 lines 1633 bytes
head (2,2,0) body (2,4,1)
estimated blow-up 23.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 11.83sec 0.30sec 10 1334 37537
htl 1.07sec 121.66sec 10 450 7119
str 1.27sec 181.04sec -- 484 6844

test45/test_45.20_5_0.2_2_0.3_2_0.14.7 nlp
25 lines 1335 bytes
head (2,2,0) body (3,2,0)
estimated blow-up 14.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.16sec 0.15sec 8 649 17353
htl 1.05sec 181.02sec -- 419 6369
str 1.07sec 181.02sec -- 439 6035

test45/test_45.20_5_0.2_2_0.3_2_1.16.1 nlp
25 lines 1467 bytes
head (2,2,0) body (3,2,1)
estimated blow-up 16.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.65sec 0.12sec 3 700 21585
htl 0.96sec 181.05sec -- 428 6676
str 1.04sec 181.13sec -- 462 6538

test45/test_45.20_5_0.2_2_0.3_3_0.38.7 nlp
25 lines 1720 bytes
head (2,2,0) body (3,3,0)
estimated blow-up 38.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 30.42sec 0.76sec 4 2170 60351
htl 1.15sec 12.59sec 4 493 7788
str 1.39sec 25.42sec 4 527 7452

test45/test_45.20_5_0.2_2_0.3_3_1.43.3 nlp
25 lines 1798 bytes
head (2,2,0) body (3,3,1)
estimated blow-up 43.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 32.45sec 1.22sec 14 2227 72955
htl 1.37sec 181.05sec -- 491 7806
str 1.35sec 181.36sec -- 525 7491

test45/test_45.20_5_0.2_2_0.3_4_0.75.4 nlp
25 lines 2050 bytes
head (2,2,0) body (3,4,0)
estimated blow-up 75.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 154.52sec 4.77sec 0 5008 140853
htl 1.47sec 0.04sec 0 558 8947
str 1.75sec 0.40sec 0 608 8749

test45/test_45.20_5_0.2_2_0.3_4_1.85.4 nlp
25 lines 2094 bytes
head (2,2,0) body (3,4,1)
estimated blow-up 85.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 157.94sec 7.09sec 18 5016 160487
htl 1.46sec 181.09sec -- 558 8914
str 1.65sec 181.04sec -- 602 8722

test45/test_45.20_5_0.2_2_0.4_2_0.29.6 nlp
25 lines 1654 bytes
head (2,2,0) body (4,2,0)
estimated blow-up 29.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 11.83sec 0.37sec 18 1326 43467
htl 1.11sec 181.04sec -- 487 7639
str 1.35sec 181.07sec -- 527 7473

test45/test_45.20_5_0.2_2_0.4_2_1.32.1 nlp
25 lines 1718 bytes
head (2,2,0) body (4,2,1)
estimated blow-up 32.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 12.55sec 0.53sec 8 1339 50086
htl 1.14sec 181.07sec -- 494 7803
str 1.36sec 181.16sec -- 532 7595

test45/test_45.20_5_0.2_2_0.4_3_0.114.4 nlp
25 lines 2077 bytes
head (2,2,0) body (4,3,0)
estimated blow-up 114.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 246.00sec 13.82sec 1 6286 207605
htl 1.57sec 181.03sec -- 582 9323
str 1.79sec 181.13sec -- 626 9002

test45/test_45.20_5_0.2_2_0.4_3_1.126.1 nlp
25 lines 2156 bytes
head (2,2,0) body (4,3,1)
estimated blow-up 126.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 254.38sec 12.71sec 2 6342 234315
htl 1.54sec 181.20sec -- 577 9259
str 1.88sec 181.10sec -- 619 8949

test45/test_45.20_5_0.2_2_0.4_4_0.292.6 nlp
25 lines 2552 bytes
head (2,2,0) body (4,4,0)
estimated blow-up 292.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2407.27sec 91.09sec 9 19030 641945
htl 1.79sec 14.21sec 9 653 10650
str 2.33sec 20.61sec 9 701 10158

test45/test_45.20_5_0.2_2_0.4_4_1.325.9 nlp
25 lines 2622 bytes
head (2,2,0) body (4,4,1)
estimated blow-up 325.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2567.05sec 126.09sec 42 19020 735136
htl 1.87sec 181.06sec -- 658 10774
str 2.45sec 181.04sec -- 698 10187

test45/test_45.20_5_0.2_3_0.1_2_0.6.1 nlp
25 lines 1069 bytes
head (2,3,0) body (1,2,0)
estimated blow-up 6.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.47sec 0.08sec 0 444 8121
htl 0.77sec 0.01sec 0 350 5387
str 0.74sec 0.01sec 0 372 5051

test45/test_45.20_5_0.2_3_0.1_2_1.7.2 nlp
25 lines 1249 bytes
head (2,3,0) body (1,2,1)
estimated blow-up 7.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.71sec 0.02sec 0 467 10120
htl 0.74sec 0.06sec 0 355 5638
str 0.82sec 0.13sec 0 381 5306

test45/test_45.20_5_0.2_3_0.1_3_0.8.1 nlp
25 lines 1190 bytes
head (2,3,0) body (1,3,0)
estimated blow-up 8.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.67sec 0.02sec 0 638 11921
htl 0.84sec 0.01sec 0 376 5870
str 0.85sec 0.01sec 0 402 5535

test45/test_45.20_5_0.2_3_0.1_3_1.9.7 nlp
25 lines 1348 bytes
head (2,3,0) body (1,3,1)
estimated blow-up 9.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.87sec 0.04sec 0 613 13946
htl 0.77sec 0.13sec 0 369 5841
str 1.00sec 0.19sec 0 409 5720

test45/test_45.20_5_0.2_3_0.1_4_0.9.7 nlp
25 lines 1310 bytes
head (2,3,0) body (1,4,0)
estimated blow-up 9.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.03sec 0.03sec 0 791 14883
htl 0.84sec 0.01sec 0 400 6340
str 0.93sec 0.01sec 0 432 6012

test45/test_45.20_5_0.2_3_0.1_4_1.11.8 nlp
25 lines 1415 bytes
head (2,3,0) body (1,4,1)
estimated blow-up 11.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.47sec 0.08sec 4 824 18145
htl 0.84sec 0.04sec 4 400 6358
str 1.04sec 0.04sec 4 428 5977

test45/test_45.20_5_0.2_3_0.2_2_0.12.9 nlp
25 lines 1376 bytes
head (2,3,0) body (2,2,0)
estimated blow-up 12.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.11sec 0.07sec 2 755 16922
htl 0.84sec 0.13sec 2 404 6232
str 1.08sec 0.20sec 2 430 5939

test45/test_45.20_5_0.2_3_0.2_2_1.14.7 nlp
25 lines 1486 bytes
head (2,3,0) body (2,2,1)
estimated blow-up 14.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.51sec 0.07sec 1 797 21665
htl 0.92sec 6.72sec 1 421 6630
str 1.13sec 12.73sec 1 449 6338

test45/test_45.20_5_0.2_3_0.2_3_0.24.3 nlp
25 lines 1604 bytes
head (2,3,0) body (2,3,0)
estimated blow-up 24.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 17.17sec 0.19sec 0 1645 37639
htl 1.01sec 0.06sec 0 460 7244
str 1.28sec 0.01sec 0 500 7065

test45/test_45.20_5_0.2_3_0.2_3_1.28.2 nlp
25 lines 1720 bytes
head (2,3,0) body (2,3,1)
estimated blow-up 28.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 18.41sec 0.17sec 0 1677 46398
htl 1.19sec 0.81sec 0 465 7447
str 1.26sec 1.31sec 0 503 7174

test45/test_45.20_5_0.2_3_0.2_4_0.37.4 nlp
25 lines 1733 bytes
head (2,3,0) body (2,4,0)
estimated blow-up 37.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 45.08sec 0.41sec 0 2692 59084
htl 1.16sec 0.01sec 0 495 7695
str 1.32sec 0.01sec 0 531 7515

test45/test_45.20_5_0.2_3_0.2_4_1.43.9 nlp
25 lines 1937 bytes
head (2,3,0) body (2,4,1)
estimated blow-up 43.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 52.17sec 0.28sec 4 2878 79576
htl 1.22sec 0.13sec 4 505 8207
str 1.54sec 0.07sec 4 533 7639

test45/test_45.20_5_0.2_3_0.3_2_0.27.0 nlp
25 lines 1625 bytes
head (2,3,0) body (3,2,0)
estimated blow-up 27.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 16.04sec 0.41sec 6 1558 42648
htl 1.10sec 19.78sec 6 491 7706
str 1.31sec 40.15sec 6 513 7223

test45/test_45.20_5_0.2_3_0.3_2_1.30.1 nlp
25 lines 1730 bytes
head (2,3,0) body (3,2,1)
estimated blow-up 30.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 14.78sec 0.29sec 0 1477 46417
htl 1.07sec 18.98sec 0 473 7443
str 1.48sec 39.53sec 0 521 7434

test45/test_45.20_5_0.2_3_0.3_3_0.73.9 nlp
25 lines 1988 bytes
head (2,3,0) body (3,3,0)
estimated blow-up 73.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 134.04sec 4.45sec 0 4650 131564
htl 1.33sec 0.08sec 0 543 8669
str 1.65sec 0.12sec 0 585 8361

test45/test_45.20_5_0.2_3_0.3_3_1.83.5 nlp
25 lines 1974 bytes
head (2,3,0) body (3,3,1)
estimated blow-up 83.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 120.62sec 2.68sec 2 4386 137325
htl 1.44sec 181.11sec -- 542 8556
str 1.59sec 181.07sec -- 578 8321

test45/test_45.20_5_0.2_3_0.3_4_0.147.9 nlp
25 lines 2230 bytes
head (2,3,0) body (3,4,0)
estimated blow-up 147.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 843.59sec 4.87sec 0 11235 309215
htl 1.76sec 0.02sec 0 608 9671
str 1.99sec 0.02sec 0 648 9314

test45/test_45.20_5_0.2_3_0.3_4_1.168.8 nlp
25 lines 2420 bytes
head (2,3,0) body (3,4,1)
estimated blow-up 168.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 709.62sec 23.23sec 2 10572 352138
htl 1.66sec 19.34sec 2 607 9920
str 2.14sec 27.75sec 2 659 9623

test45/test_45.20_5_0.2_3_0.4_2_0.56.0 nlp
25 lines 1786 bytes
head (2,3,0) body (4,2,0)
estimated blow-up 56.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 51.78sec 0.73sec 3 2835 86204
htl 1.39sec 16.42sec 3 535 8213
str 1.58sec 20.19sec 3 567 8013

test45/test_45.20_5_0.2_3_0.4_2_1.61.3 nlp
25 lines 2013 bytes
head (2,3,0) body (4,2,1)
estimated blow-up 61.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 50.26sec 1.15sec 7 2770 104565
htl 1.50sec 181.04sec -- 548 8849
str 1.69sec 181.02sec -- 586 8449

test45/test_45.20_5_0.2_3_0.4_3_0.224.5 nlp
25 lines 2329 bytes
head (2,3,0) body (4,3,0)
estimated blow-up 224.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1355.25sec 26.48sec 0 14213 469956
htl 1.71sec 0.04sec 0 631 10150
str 2.21sec 0.12sec 0 679 9808

test45/test_45.20_5_0.2_3_0.4_3_1.249.1 nlp
25 lines 2420 bytes
head (2,3,0) body (4,3,1)
estimated blow-up 249.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1231.10sec 26.43sec 5 13714 516832
htl 1.74sec 181.60sec -- 624 10116
str 2.27sec 181.15sec -- 662 9606

test45/test_45.20_5_0.2_3_0.4_4_0.588.4 nlp
25 lines 2795 bytes
head (2,3,0) body (4,4,0)
estimated blow-up 588.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 13877.43sec 181.03sec -- 43494 1442916
htl 2.09sec 0.03sec 0 712 11664
str 2.83sec 0.03sec 0 766 11161

test45/test_45.20_5_0.2_3_0.4_4_1.658.4 nlp
25 lines 2956 bytes
head (2,3,0) body (4,4,1)
estimated blow-up 658.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 13308.98sec 181.05sec -- 43120 1697239
htl 2.26sec 4.24sec 0 711 11845
str 2.89sec 15.46sec 0 769 11322

test45/test_45.20_5_0.2_4_0.1_2_0.8.6 nlp
25 lines 1328 bytes
head (2,4,0) body (1,2,0)
estimated blow-up 8.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.69sec 0.07sec 0 762 13859
htl 0.90sec 0.01sec 0 401 6276
str 1.11sec 0.01sec 0 423 5818

test45/test_45.20_5_0.2_4_0.1_2_1.10.4 nlp
25 lines 1516 bytes
head (2,4,0) body (1,2,1)
estimated blow-up 10.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4.02sec 0.06sec 0 768 17126
htl 0.93sec 0.01sec 0 408 6594
str 1.05sec 0.01sec 0 444 6271

test45/test_45.20_5_0.2_4_0.1_3_0.11.6 nlp
25 lines 1420 bytes
head (2,4,0) body (1,3,0)
estimated blow-up 11.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 6.85sec 0.03sec 0 1050 19337
htl 0.97sec 0.01sec 0 432 6815
str 1.05sec 0.01sec 0 454 6329

test45/test_45.20_5_0.2_4_0.1_3_1.14.2 nlp
25 lines 1584 bytes
head (2,4,0) body (1,3,1)
estimated blow-up 14.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 7.38sec 0.07sec 0 1064 23825
htl 1.09sec 0.01sec 0 433 6964
str 1.21sec 0.01sec 0 465 6591

test45/test_45.20_5_0.2_4_0.1_4_0.14.2 nlp
25 lines 1627 bytes
head (2,4,0) body (1,4,0)
estimated blow-up 14.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 11.30sec 0.04sec 0 1359 25617
htl 1.08sec 0.01sec 0 447 7261
str 1.28sec 0.01sec 0 485 6827

test45/test_45.20_5_0.2_4_0.1_4_1.17.6 nlp
25 lines 1746 bytes
head (2,4,0) body (1,4,1)
estimated blow-up 17.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 10.97sec 0.15sec 0 1294 29189
htl 0.98sec 0.01sec 0 441 7180
str 1.35sec 0.01sec 0 489 6975

test45/test_45.20_5_0.2_4_0.2_2_0.18.8 nlp
25 lines 1639 bytes
head (2,4,0) body (2,2,0)
estimated blow-up 18.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 11.52sec 0.12sec 0 1334 30267
htl 1.07sec 0.01sec 0 468 7372
str 1.32sec 0.07sec 0 496 6979

test45/test_45.20_5_0.2_4_0.2_2_1.21.8 nlp
25 lines 1737 bytes
head (2,4,0) body (2,2,1)
estimated blow-up 21.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 11.66sec 0.26sec 0 1324 36454
htl 1.06sec 11.96sec 0 469 7471
str 1.26sec 20.61sec 0 501 7146

test45/test_45.20_5_0.2_4_0.2_3_0.36.5 nlp
25 lines 1814 bytes
head (2,4,0) body (2,3,0)
estimated blow-up 36.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 55.37sec 0.18sec 0 2991 67234
htl 1.33sec 0.01sec 0 520 8206
str 1.45sec 0.01sec 0 554 7861

test45/test_45.20_5_0.2_4_0.2_3_1.42.8 nlp
25 lines 1874 bytes
head (2,4,0) body (2,3,1)
estimated blow-up 42.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 55.12sec 0.88sec 0 2952 78934
htl 1.24sec 0.02sec 0 513 8117
str 1.41sec 0.02sec 0 541 7717

test45/test_45.20_5_0.2_4_0.2_4_0.57.3 nlp
25 lines 2088 bytes
head (2,4,0) body (2,4,0)
estimated blow-up 57.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 134.91sec 2.34sec 0 4729 109740
htl 1.38sec 0.01sec 0 548 8817
str 1.68sec 0.01sec 0 592 8481

test45/test_45.20_5_0.2_4_0.2_4_1.67.7 nlp
25 lines 2118 bytes
head (2,4,0) body (2,4,1)
estimated blow-up 67.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 134.19sec 0.51sec 0 4682 123989
htl 1.48sec 0.02sec 0 550 8803
str 1.65sec 0.02sec 0 590 8518

test45/test_45.20_5_0.2_4_0.3_2_0.40.5 nlp
25 lines 1904 bytes
head (2,4,0) body (3,2,0)
estimated blow-up 40.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 40.88sec 0.69sec 0 2536 69393
htl 1.32sec 0.01sec 0 528 8350
str 1.56sec 0.01sec 0 576 8221

test45/test_45.20_5_0.2_4_0.3_2_1.45.6 nlp
25 lines 2033 bytes
head (2,4,0) body (3,2,1)
estimated blow-up 45.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 42.62sec 0.57sec 0 2576 83569
htl 1.33sec 0.01sec 0 533 8589
str 1.67sec 0.01sec 0 565 8110

test45/test_45.20_5_0.2_4_0.3_3_0.114.1 nlp
25 lines 2283 bytes
head (2,4,0) body (3,3,0)
estimated blow-up 114.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 465.32sec 3.45sec 0 8540 239266
htl 1.58sec 0.02sec 0 597 9667
str 2.01sec 0.02sec 0 647 9352

test45/test_45.20_5_0.2_4_0.3_3_1.130.0 nlp
25 lines 2376 bytes
head (2,4,0) body (3,3,1)
estimated blow-up 130.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 386.89sec 2.94sec 0 7752 254280
htl 1.69sec 0.20sec 0 593 9713
str 2.04sec 0.17sec 0 641 9338

test45/test_45.20_5_0.2_4_0.3_4_0.233.0 nlp
25 lines 2590 bytes
head (2,4,0) body (3,4,0)
estimated blow-up 233.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2327.20sec 1.71sec 0 18330 523461
htl 1.88sec 0.08sec 0 654 10679
str 2.47sec 0.02sec 0 706 10260

test45/test_45.20_5_0.2_4_0.3_4_1.267.4 nlp
25 lines 2634 bytes
head (2,4,0) body (3,4,1)
estimated blow-up 267.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2425.02sec 23.27sec 0 19088 616460
htl 1.87sec 0.02sec 0 648 10551
str 2.34sec 0.02sec 0 688 9980

test45/test_45.20_5_0.2_4_0.4_2_0.85.7 nlp
25 lines 2186 bytes
head (2,4,0) body (4,2,0)
estimated blow-up 85.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 156.33sec 2.14sec 0 5004 164921
htl 1.53sec 4.06sec 0 601 9681
str 1.87sec 4.55sec 0 643 9269

test45/test_45.20_5_0.2_4_0.4_2_1.94.7 nlp
25 lines 2273 bytes
head (2,4,0) body (4,2,1)
estimated blow-up 94.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 157.39sec 1.48sec 0 5020 186180
htl 1.71sec 28.00sec 0 602 9760
str 1.96sec 93.85sec 0 652 9509

test45/test_45.20_5_0.2_4_0.4_3_0.353.8 nlp
25 lines 2636 bytes
head (2,4,0) body (4,3,0)
estimated blow-up 353.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3620.33sec 37.26sec 0 22675 755961
htl 1.91sec 0.02sec 0 674 11021
str 2.45sec 0.02sec 0 714 10359

test45/test_45.20_5_0.2_4_0.4_3_1.394.7 nlp
25 lines 2601 bytes
head (2,4,0) body (4,3,1)
estimated blow-up 394.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 4109.21sec 121.16sec 2 24494 874558
htl 1.90sec 7.46sec 2 677 10884
str 2.38sec 10.96sec 2 721 10513

test45/test_45.20_5_0.2_4_0.4_4_0.945.5 nlp
25 lines 3001 bytes
head (2,4,0) body (4,4,0)
estimated blow-up 945.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 41969.04sec 181.08sec -- 75018 2495573
htl 2.42sec 0.02sec 0 752 12279
str 2.96sec 0.02sec 0 792 11543

test45/test_45.20_5_0.2_4_0.4_4_1.1062.2 nlp
25 lines 3095 bytes
head (2,4,0) body (4,4,1)
estimated blow-up 1062.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 38997.41sec 6.33sec 0 73364 2808086
htl 2.42sec 0.34sec 0 755 12389
str 3.21sec 1.08sec 0 807 11851

test45/test_45.20_5_0.3_2_0.1_2_0.7.3 nlp
25 lines 1097 bytes
head (3,2,0) body (1,2,0)
estimated blow-up 7.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.36sec 0.67sec 937 408 9279
htl 0.78sec 130.71sec 937 381 5833
str 0.87sec 181.61sec -- 405 5559

test45/test_45.20_5_0.3_2_0.1_2_1.8.1 nlp
25 lines 1193 bytes
head (3,2,0) body (1,2,1)
estimated blow-up 8.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 1.47sec 0.52sec 259 406 10305
htl 0.80sec 181.10sec -- 375 5719
str 0.84sec 181.05sec -- 405 5648

test45/test_45.20_5_0.3_2_0.1_3_0.9.7 nlp
25 lines 1169 bytes
head (3,2,0) body (1,3,0)
estimated blow-up 9.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.03sec 0.43sec 812 512 11519
htl 0.86sec 9.20sec 812 391 5940
str 0.88sec 16.93sec 812 417 5740

test45/test_45.20_5_0.3_2_0.1_3_1.10.9 nlp
25 lines 1261 bytes
head (3,2,0) body (1,3,1)
estimated blow-up 10.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2.37sec 2.87sec 837 558 14385
htl 0.85sec 181.10sec -- 399 6123
str 0.95sec 181.04sec -- 413 5725

test45/test_45.20_5_0.3_2_0.1_4_0.11.6 nlp
25 lines 1376 bytes
head (3,2,0) body (1,4,0)
estimated blow-up 11.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.51sec 0.28sec 336 704 16421
htl 0.93sec 110.06sec 336 423 6706
str 1.17sec 155.36sec 336 467 6571

test45/test_45.20_5_0.3_2_0.1_4_1.13.2 nlp
25 lines 1483 bytes
head (3,2,0) body (1,4,1)
estimated blow-up 13.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.89sec 1.19sec 604 732 20125
htl 1.07sec 181.09sec -- 420 6640
str 1.16sec 181.22sec -- 460 6532

test45/test_45.20_5_0.3_2_0.2_2_0.14.4 nlp
25 lines 1357 bytes
head (3,2,0) body (2,2,0)
estimated blow-up 14.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.73sec 1.85sec 704 722 19251
htl 0.95sec 181.26sec -- 440 6757
str 1.08sec 181.22sec -- 468 6505

test45/test_45.20_5_0.3_2_0.2_2_1.15.8 nlp
25 lines 1455 bytes
head (3,2,0) body (2,2,1)
estimated blow-up 15.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 3.82sec 0.91sec 140 704 21905
htl 0.93sec 181.06sec -- 420 6463
str 1.10sec 181.08sec -- 450 6283

test45/test_45.20_5_0.3_2_0.2_3_0.27.1 nlp
25 lines 1565 bytes
head (3,2,0) body (2,3,0)
estimated blow-up 27.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 15.28sec 9.80sec 1371 1522 41611
htl 1.11sec 181.30sec -- 485 7524
str 1.22sec 181.23sec -- 515 7246

test45/test_45.20_5_0.3_2_0.2_3_1.30.2 nlp
25 lines 1662 bytes
head (3,2,0) body (2,3,1)
estimated blow-up 30.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 15.29sec 2.15sec 254 1510 48417
htl 1.15sec 181.08sec -- 491 7719
str 1.32sec 181.07sec -- 517 7371

test45/test_45.20_5_0.3_2_0.2_4_0.41.6 nlp
25 lines 1769 bytes
head (3,2,0) body (2,4,0)
estimated blow-up 41.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 40.45sec 2.67sec 649 2506 70415
htl 1.30sec 181.34sec -- 527 8258
str 1.53sec 181.42sec -- 563 8000

test45/test_45.20_5_0.3_2_0.2_4_1.46.9 nlp
25 lines 1927 bytes
head (3,2,0) body (2,4,1)
estimated blow-up 46.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 43.02sec 4.20sec 47 2568 84537
htl 1.32sec 181.19sec -- 528 8449
str 1.53sec 181.02sec -- 566 8152

test45/test_45.20_5_0.3_2_0.3_2_0.28.8 nlp
25 lines 1624 bytes
head (3,2,0) body (3,2,0)
estimated blow-up 28.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 11.83sec 2.43sec 129 1312 42193
htl 1.26sec 181.05sec -- 506 7910
str 1.46sec 181.04sec -- 538 7616

test45/test_45.20_5_0.3_2_0.3_2_1.31.3 nlp
25 lines 1671 bytes
head (3,2,0) body (3,2,1)
estimated blow-up 31.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 11.80sec 2.35sec 110 1302 46263
htl 1.29sec 181.03sec -- 499 7781
str 1.33sec 181.01sec -- 527 7466

test45/test_45.20_5_0.3_3_0.1_2_0.17.8 nlp
25 lines 1507 bytes
head (3,3,0) body (1,2,0)
estimated blow-up 17.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 9.64sec 0.15sec 62 1227 28731
htl 1.05sec 0.77sec 62 463 7309
str 1.19sec 1.03sec 62 499 7064

test45/test_45.20_5_0.3_3_0.1_2_1.20.3 nlp
25 lines 1700 bytes
head (3,3,0) body (1,2,1)
estimated blow-up 20.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 10.41sec 0.30sec 19 1254 34608
htl 1.03sec 129.98sec 19 457 7367
str 1.35sec 181.13sec -- 493 7019

test45/test_45.20_5_0.3_3_0.1_3_0.24.1 nlp
25 lines 1594 bytes
head (3,3,0) body (1,3,0)
estimated blow-up 24.1
Mapping Compilation Runtime Answersets Lines Bytes
dlp 20.77sec 0.27sec 3 1819 42148
htl 1.21sec 0.04sec 3 479 7515
str 1.41sec 0.05sec 3 517 7313

test45/test_45.20_5_0.3_3_0.1_3_1.27.8 nlp
25 lines 1832 bytes
head (3,3,0) body (1,3,1)
estimated blow-up 27.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 20.87sec 1.11sec 19 1798 50509
htl 1.17sec 132.33sec 19 488 7979
str 1.56sec 145.52sec 19 528 7542

test45/test_45.20_5_0.3_3_0.4_4_0.1776.3 nlp
25 lines 3113 bytes
head (3,3,0) body (4,4,0)
estimated blow-up 1776.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 106262.85sec 183.21sec -- 125209 4767868
htl 2.68sec 1.17sec 39 808 13186
str 3.47sec 1.53sec 39 864 12625

test45/test_45.20_5_0.3_3_0.4_4_1.1958.0 nlp
25 lines 3228 bytes
head (3,3,0) body (4,4,1)
estimated blow-up 1958.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 105158.20sec 203.09sec -- 114869 4902787
htl 3.20sec 201.22sec -- 800 13155
str 4.29sec 203.00sec -- 852 12544

test45/test_45.20_5_0.3_4_0.1_2_0.32.9 nlp
25 lines 1879 bytes
head (3,4,0) body (1,2,0)
estimated blow-up 32.9
Mapping Compilation Runtime Answersets Lines Bytes
dlp 59.73sec 0.45sec 0 2860 64736
htl 1.77sec 0.07sec 0 540 8606
str 1.93sec 0.02sec 0 574 8159

test45/test_45.20_5_0.3_4_0.1_2_1.38.2 nlp
25 lines 2041 bytes
head (3,4,0) body (1,2,1)
estimated blow-up 38.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 62.71sec 3.19sec 19 2891 79186
htl 2.05sec 28.14sec 19 543 8808
str 1.91sec 39.75sec 19 585 8453

test45/test_45.20_5_0.3_4_0.1_3_0.45.3 nlp
25 lines 2039 bytes
head (3,4,0) body (1,3,0)
estimated blow-up 45.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 111.03sec 0.16sec 0 3937 90294
htl 1.88sec 0.03sec 0 553 8910
str 2.11sec 0.06sec 0 603 8665

test45/test_45.20_5_0.3_4_0.1_3_1.53.0 nlp
25 lines 2194 bytes
head (3,4,0) body (1,3,1)
estimated blow-up 53.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 124.01sec 1.57sec 3 4090 116049
htl 1.82sec 0.78sec 3 563 9199
str 2.17sec 1.16sec 3 611 8884

test45/test_45.20_5_0.3_4_0.1_4_0.56.4 nlp
25 lines 2121 bytes
head (3,4,0) body (1,4,0)
estimated blow-up 56.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 189.59sec 0.30sec 0 5130 121437
htl 1.91sec 0.02sec 0 578 9327
str 2.24sec 0.02sec 0 622 8919

test45/test_45.20_5_0.3_4_0.1_4_1.66.4 nlp
25 lines 2264 bytes
head (3,4,0) body (1,4,1)
estimated blow-up 66.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 184.78sec 4.95sec 37 5046 142611
htl 1.94sec 5.01sec 37 579 9447
str 2.41sec 6.20sec 37 619 8965

test45/test_45.20_5_0.3_4_0.2_2_0.69.8 nlp
25 lines 2203 bytes
head (3,4,0) body (2,2,0)
estimated blow-up 69.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 189.91sec 0.67sec 0 5098 140689
htl 1.98sec 0.09sec 0 602 9723
str 2.43sec 0.03sec 0 648 9357

test45/test_45.20_5_0.3_4_0.2_2_1.79.2 nlp
25 lines 2251 bytes
head (3,4,0) body (2,2,1)
estimated blow-up 79.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 210.19sec 5.95sec 1 5354 168769
htl 1.93sec 146.45sec 1 604 9779
str 2.17sec 197.37sec 1 640 9276

test45/test_45.20_5_0.3_4_0.2_3_0.139.4 nlp
25 lines 2397 bytes
head (3,4,0) body (2,3,0)
estimated blow-up 139.4
Mapping Compilation Runtime Answersets Lines Bytes
dlp 978.20sec 1.01sec 0 11032 305755
htl 2.29sec 0.03sec 0 641 10370
str 2.83sec 0.03sec 0 685 9900

test45/test_45.20_5_0.3_4_0.2_3_1.159.2 nlp
25 lines 2408 bytes
head (3,4,0) body (2,3,1)
estimated blow-up 159.2
Mapping Compilation Runtime Answersets Lines Bytes
dlp 862.65sec 24.06sec 58 10694 334761
htl 2.11sec 21.58sec 58 635 10181
str 2.69sec 28.59sec 58 683 9922

test45/test_45.20_5_0.3_4_0.2_4_0.224.6 nlp
25 lines 2769 bytes
head (3,4,0) body (2,4,0)
estimated blow-up 224.6
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2742.59sec 1.92sec 0 19092 561801
htl 2.40sec 0.03sec 0 681 11341
str 3.42sec 0.02sec 0 735 10731

test45/test_45.20_5_0.3_4_0.2_4_1.258.0 nlp
25 lines 2735 bytes
head (3,4,0) body (2,4,1)
estimated blow-up 258.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2871.63sec 9.36sec 0 19066 628533
htl 2.41sec 0.37sec 0 678 11083
str 3.04sec 0.49sec 0 730 10704

test45/test_45.20_5_0.3_4_0.3_2_0.148.5 nlp
25 lines 2447 bytes
head (3,4,0) body (3,2,0)
estimated blow-up 148.5
Mapping Compilation Runtime Answersets Lines Bytes
dlp 861.13sec 6.41sec 4 10215 329453
htl 2.29sec 1.69sec 4 659 10642
str 2.76sec 2.09sec 4 705 10184

test45/test_45.20_5_0.3_4_0.3_2_1.165.0 nlp
25 lines 2524 bytes
head (3,4,0) body (3,2,1)
estimated blow-up 165.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 734.30sec 24.82sec 4 9844 365541
htl 2.29sec 202.85sec -- 662 10731
str 2.68sec 203.00sec -- 710 10379

test45/test_45.20_5_0.3_4_0.3_3_0.434.0 nlp
25 lines 2837 bytes
head (3,4,0) body (3,3,0)
estimated blow-up 434.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 9678.03sec 45.52sec 0 34388 1163205
htl 2.78sec 0.03sec 0 731 12060
str 3.54sec 0.03sec 0 795 11664

test45/test_45.20_5_0.3_4_0.3_3_1.485.7 nlp
25 lines 2851 bytes
head (3,4,0) body (3,3,1)
estimated blow-up 485.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 7653.11sec 12.60sec 3 29454 1114065
htl 2.55sec 0.35sec 3 717 11761
str 3.30sec 0.44sec 3 771 11325

test45/test_45.20_5_0.3_4_0.3_4_0.912.0 nlp
25 lines 3000 bytes
head (3,4,0) body (3,4,0)
estimated blow-up 912.0
Mapping Compilation Runtime Answersets Lines Bytes
dlp 50918.13sec 34.08sec 0 76368 2494896
htl 2.48sec 0.04sec 0 778 12610
str 3.17sec 0.03sec 0 824 12004

test45/test_45.20_5_0.3_4_0.3_4_1.1025.7 nlp
25 lines 3220 bytes
head (3,4,0) body (3,4,1)
estimated blow-up 1025.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 37394.19sec 94.91sec 3 74352 2848333
htl 2.61sec 4.48sec 3 776 12833
str 3.44sec 6.59sec 3 832 12241

test45/test_45.20_5_0.3_4_0.4_2_0.313.7 nlp
25 lines 2687 bytes
head (3,4,0) body (4,2,0)
estimated blow-up 313.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2745.60sec 49.95sec 10 19144 714353
htl 2.23sec 38.96sec 10 718 11628
str 2.85sec 52.67sec 10 770 11180

test45/test_45.20_5_0.3_4_0.4_2_1.343.3 nlp
25 lines 2831 bytes
head (3,4,0) body (4,2,1)
estimated blow-up 343.3
Mapping Compilation Runtime Answersets Lines Bytes
dlp 2916.95sec 118.73sec 1 20116 859261
htl 2.19sec 184.63sec -- 727 11941
str 3.30sec 184.58sec -- 791 11668

test45/test_45.20_5_0.3_4_0.4_3_0.1345.7 nlp
25 lines 3117 bytes
head (3,4,0) body (4,3,0)
estimated blow-up 1345.7
Mapping Compilation Runtime Answersets Lines Bytes
dlp 65925.32sec 69.00sec 2 92392 3506496
htl 2.73sec 0.18sec 2 801 13111
str 3.53sec 0.17sec 2 853 12425

test45/test_45.20_5_0.3_4_0.4_3_1.1482.8 nlp
25 lines 3204 bytes
head (3,4,0) body (4,3,1)
estimated blow-up 1482.8
Mapping Compilation Runtime Answersets Lines Bytes
dlp 65262.87sec 183.66sec -- 90958 3852352
htl 2.62sec 91.01sec 14 796 13077
str 3.53sec 129.10sec 14 848 12504

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