Name | csp/os-taillard-15/ normalized-os-taillard-15-105-0.xml |
MD5SUM | 5a2387650a417487d5414425e566caef |
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.297954 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 225 |
Number of constraints | 3150 |
Maximum constraint arity | 2 |
Maximum domain size | 1004 |
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) | 2065738 | SAT | 0.297954 | 0.306648 |
pcs-restart 0.3.2 (complete) | 2065731 | SAT | 1.73973 | 1.75537 |
pcs 0.3.2 (complete) | 2065730 | SAT | 1.75673 | 1.77018 |
Abscon 112v4 AC (complete) | 2094601 | SAT | 3.60545 | 3.65709 |
Abscon 112v4 ESAC (complete) | 2094602 | SAT | 3.83242 | 3.92617 |
Concrete 2009-07-14 (complete) | 2065732 | SAT | 4.09338 | 4.15257 |
Choco2.1.1 2009-06-10 (complete) | 2065734 | SAT | 14.7878 | 14.9439 |
Choco2.1.1b 2009-07-16 (complete) | 2115212 | SAT | 16.8934 | 16.9948 |
Sugar v1.14.6+minisat (complete) | 2065736 | SAT | 18.8431 | 19.0923 |
Sugar v1.14.6+picosat (complete) | 2065735 | SAT | 63.2164 | 63.6358 |
bpsolver 09 (complete) | 2065739 | SAT | 1345.34 | 1351.11 |
SAT4J CSP 2.1.1 (complete) | 2065729 | ? | 331.304 | 332.228 |
Concrete DC 2009-07-14 (complete) | 2065733 | ? | 843.532 | 847.766 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:278 181 0 471 306 22 734 259 787 841 541 590 726 926 710 0 259 814 169 873 924 742 353 686 440 242 422 67 330 92 122 178 301 9 763 41 440 674 498 263 826 348 939 772 588 641 0 907 247 177 317 429 599 375 468 825 570 99 688 753 165 127 875 630 498 268 471 0 207 708 787 944 577 330 292 298 651 830 709 400 130 693 178 886 328 922 250 0 75 772 489 112 644 687 856 168 395 75 760 919 349 582 542 57 229 173 799 0 409 99 429 253 939 378 492 664 833 339 929 925 554 775 90 928 720 695 122 862 409 0 327 467 173 232 901 784 93 895 531 203 600 285 14 688 664 58 820 401 506 342 569 922 647 767 353 412 467 832 849 67 0 519 128 255 178 597 130 524 38 321 412 507 695 301 467 644 782 851 204 976 840 489 674 830 98 610 833 327 247 466 168 552 0 915 741 733 756 656 317 401 285 840 233 181 761 559 58 0 98 918 41 647 263 67 854 177 389 0 328 672 556 940 760 964 90