| Name | csp/rand-2-30-15-fcd/ normalized-rand-2-30-15-306-230-fcd-14_ext.xml |
| MD5SUM | cb0a56cd4b61f944a021b9eb5e934603 |
| Bench Category | 2-ARY-EXT (binary constraints in extension) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 0.372942 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 30 |
| Number of constraints | 212 |
| Maximum constraint arity | 2 |
| Maximum domain size | 15 |
| Number of constraints which are defined in extension | 212 |
| Number of constraints which are defined in intension | 0 |
| Global constraints used (with number of constraints) |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| Mistral 1.545 (complete) | 2090334 | SAT | 0.372942 | 0.381198 |
| bpsolver 09 (complete) | 2090335 | SAT | 0.537917 | 0.553623 |
| Choco2.1.1b 2009-07-16 (complete) | 2117448 | SAT | 1.24881 | 1.2805 |
| Abscon 112v4 AC (complete) | 2099073 | SAT | 1.36279 | 1.40731 |
| Abscon 112v4 ESAC (complete) | 2099074 | SAT | 1.42178 | 1.47191 |
| Choco2.1.1 2009-06-10 (complete) | 2090330 | SAT | 1.75473 | 1.79828 |
| Concrete 2009-07-14 (complete) | 2090328 | SAT | 1.9807 | 1.93616 |
| Sugar v1.14.6+picosat (complete) | 2090331 | SAT | 2.07368 | 2.19869 |
| SAT4J CSP 2.1.1 (complete) | 2090325 | SAT | 3.06353 | 3.1262 |
| pcs-restart 0.3.2 (complete) | 2090327 | SAT | 3.38348 | 3.40106 |
| Concrete DC 2009-07-14 (complete) | 2090329 | SAT | 3.49247 | 3.53192 |
| Conquer 2009-07-10 (complete) | 2090333 | SAT | 3.70644 | 4.77719 |
| Sugar v1.14.6+minisat (complete) | 2090332 | SAT | 4.11237 | 4.21559 |
| pcs 0.3.2 (complete) | 2090326 | SAT | 4.97524 | 5.02873 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:4 9 2 11 8 8 11 8 10 12 12 11 7 8 12 6 9 4 9 10 11 7 8 4 8 12 6 2 3 8