| Name | csp/super-os/super-os-taillard-5/ normalized-super-os-taillard-5-13.xml |
| MD5SUM | bc7db860853f08d82ef2e4b2916a627c |
| 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.077987 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 50 |
| Number of constraints | 325 |
| Maximum constraint arity | 2 |
| Maximum domain size | 337 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 325 |
| Global constraints used (with number of constraints) |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| Mistral 1.545 (complete) | 2081028 | SAT | 0.077987 | 0.080512 |
| pcs 0.3.2 (complete) | 2081020 | SAT | 0.178972 | 0.179111 |
| Sugar v1.14.6+minisat (complete) | 2081026 | SAT | 1.43278 | 1.64865 |
| Sugar v1.14.6+picosat (complete) | 2081025 | SAT | 2.86156 | 2.9615 |
| Choco2.1.1 2009-06-10 (complete) | 2081024 | SAT | 2.88356 | 2.98336 |
| Choco2.1.1b 2009-07-16 (complete) | 2116602 | SAT | 15.2107 | 15.2662 |
| Abscon 112v4 ESAC (complete) | 2097382 | SAT | 46.6659 | 46.935 |
| pcs-restart 0.3.2 (complete) | 2081021 | SAT | 47.4258 | 47.618 |
| Concrete 2009-07-14 (complete) | 2081022 | SAT | 60.3078 | 60.9123 |
| Concrete DC 2009-07-14 (complete) | 2081023 | SAT | 102.274 | 102.994 |
| Abscon 112v4 AC (complete) | 2097381 | SAT | 199.279 | 200.315 |
| SAT4J CSP 2.1.1 (complete) | 2081019 | SAT | 274.682 | 276.043 |
| bpsolver 09 (complete) | 2081029 | ? (TO) | 1800.09 | 1814.51 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:241 234 0 1 216 217 105 110 66 238 1 0 288 270 121 120 190 191 69 70 181 180 105 106 234 248 40 39 0 3 244 243 185 180 46 47 131 132 0 1 0 1 69 92 123 122 271 285 243 244