| Name | csp/os-taillard-10/ normalized-os-taillard-10-100-7.xml |
| MD5SUM | 789449b7d2a78eb2b6a442bcf11db55d |
| 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 | 4.19036 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 100 |
| Number of constraints | 900 |
| Maximum constraint arity | 2 |
| Maximum domain size | 595 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 900 |
| Global constraints used (with number of constraints) |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| Sugar v1.14.6+minisat (complete) | 2087659 | SAT | 4.19036 | 4.32831 |
| pcs-restart 0.3.2 (complete) | 2087654 | SAT | 4.73528 | 4.74167 |
| Choco2.1.1 2009-06-10 (complete) | 2087657 | SAT | 5.39418 | 5.49384 |
| Choco2.1.1b 2009-07-16 (complete) | 2117205 | SAT | 8.71767 | 8.82859 |
| Sugar v1.14.6+picosat (complete) | 2087658 | SAT | 11.8342 | 12.0397 |
| Mistral 1.545 (complete) | 2087661 | SAT | 19.1961 | 19.2102 |
| Concrete 2009-07-14 (complete) | 2087655 | SAT | 517.692 | 522.621 |
| Concrete DC 2009-07-14 (complete) | 2087656 | SAT | 985.517 | 990.79 |
| SAT4J CSP 2.1.1 (complete) | 2087652 | ? | 350.419 | 351.496 |
| pcs 0.3.2 (complete) | 2087653 | ? (MO) | 987.72 | 992.649 |
| bpsolver 09 (complete) | 2087662 | ? (TO) | 1800.06 | 1810.01 |
| Abscon 112v4 ESAC (complete) | 2098588 | ? (TO) | 1800.1 | 1802.36 |
| Abscon 112v4 AC (complete) | 2098587 | ? (TO) | 1800.15 | 1802.97 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:12 432 281 515 143 198 108 446 339 55 119 332 437 193 510 5 329 208 61 331 327 89 503 552 203 46 444 539 588 162 170 234 95 465 376 329 4 308 353 512 106 514 224 444 9 578 292 511 271 376 510 137 64 575 584 329 0 197 256 426 539 340 12 246 193 492 540 400 49 458 340 480 401 296 502 423 203 28 282 316 158 226 479 48 392 61 266 293 508 0 82 159 517 510 389 585 452 5 211 282