Name | csp/os-taillard-15/ normalized-os-taillard-15-100-2.xml |
MD5SUM | e37c7fc937e58b291ac15eb0bfb94ef9 |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 0.300953 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 225 |
Number of constraints | 3150 |
Maximum constraint arity | 2 |
Maximum domain size | 899 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 3150 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral 1.545 (complete) | 2065793 | SAT | 0.300953 | 0.303455 |
Abscon 112v4 AC (complete) | 2094611 | SAT | 3.90641 | 3.97431 |
Abscon 112v4 ESAC (complete) | 2094612 | SAT | 3.9454 | 3.97169 |
bpsolver 09 (complete) | 2065794 | SAT | 4.82927 | 4.86154 |
Concrete 2009-07-14 (complete) | 2065787 | SAT | 5.14522 | 5.08721 |
pcs 0.3.2 (complete) | 2065785 | SAT | 6.72998 | 6.80207 |
pcs-restart 0.3.2 (complete) | 2065786 | SAT | 11.8532 | 11.9785 |
Choco2.1.1 2009-06-10 (complete) | 2065789 | SAT | 17.2734 | 17.4496 |
Sugar v1.14.6+minisat (complete) | 2065791 | SAT | 17.6363 | 18.2198 |
Choco2.1.1b 2009-07-16 (complete) | 2115217 | SAT | 20.1479 | 20.3991 |
Sugar v1.14.6+picosat (complete) | 2065790 | SAT | 56.7824 | 57.5349 |
SAT4J CSP 2.1.1 (complete) | 2065784 | ? | 339.827 | 341.739 |
Concrete DC 2009-07-14 (complete) | 2065788 | ? | 1344.45 | 1351.73 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:375 693 569 601 166 830 397 434 0 96 748 561 507 230 315 618 562 775 511 302 341 104 847 810 45 173 387 239 475 724 471 166 192 554 321 810 38 621 1 514 720 399 257 76 622 0 422 338 775 880 79 315 237 646 172 664 830 518 612 400 348 0 416 506 397 99 172 295 545 488 713 644 237 804 588 275 33 804 400 367 764 571 111 681 647 470 493 788 11 188 64 480 517 740 1 598 471 678 171 348 430 666 294 612 810 825 241 508 410 719 498 70 399 624 367 156 309 0 658 127 44 538 387 316 0 79 502 335 369 230 166 764 636 824 433 739 824 64 416 664 263 455 554 0 827 603 367 317 99 69 14 571 96 160 835 701 348 180 719 428 765 502 243 275 786 715 192 410 91 295 748 804 614 391 544 664 0 110 335 573 554 538 649 45 719 0 599 650 440 110 813 618 149 507 466 772 329 886 738 561 639 237 186 486 679 13 392 420 99 810 606 160 424 303 70 363 171 740 513 569 813 890 0 190 701