| Name | csp/small/ normalized-patat-02-small-2.xml |
| MD5SUM | c486301f2b85436b9e496c6b2c331268 |
| Bench Category | Alldiff (alldiff) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 0.127979 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 200 |
| Number of constraints | 1773 |
| Maximum constraint arity | 17 |
| Maximum domain size | 45 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 1695 |
| Global constraints used (with number of constraints) | alldifferent(78) |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| Mistral 1.545 (complete) | 2069522 | SAT | 0.127979 | 0.132504 |
| bpsolver 09 (complete) | 2069523 | SAT | 0.424934 | 0.437511 |
| Abscon 112v4 AC (complete) | 2095289 | SAT | 1.9837 | 1.99932 |
| Abscon 112v4 ESAC (complete) | 2095290 | SAT | 2.11568 | 2.18613 |
| Sugar v1.14.6+minisat (complete) | 2069520 | SAT | 3.60945 | 3.74745 |
| Concrete 2009-07-14 (complete) | 2069516 | SAT | 4.93725 | 5.04637 |
| Sugar v1.14.6+picosat (complete) | 2069519 | SAT | 8.23175 | 8.42664 |
| Choco2.1.1b 2009-07-16 (complete) | 2115556 | SAT | 26.348 | 26.3941 |
| Choco2.1.1 2009-06-10 (complete) | 2069518 | SAT | 30.3194 | 30.6665 |
| SAT4J CSP 2.1.1 (complete) | 2069513 | SAT | 31.8602 | 32.0726 |
| Concrete DC 2009-07-14 (complete) | 2069517 | SAT | 80.3028 | 81.1133 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:11 4 37 38 4 2 0 35 35 40 42 32 0 44 32 11 39 37 10 10 35 6 14 5 41 38 2 3 9 40 17 13 0 7 36 1 1 39 43 43 12 44 38 2 6 43 8 31 16 40 39 36 3 18 5 33 7 7 41 41 8 32 6 9 9 42 44 36 41 43 0 34 10 4 14 1 3 12 6 42 2 10 37 15 4 5 41 34 0 8 33 1 1 39 13 33 3 42 39 44 1 2 4 1 4 2 3 3 1 1 3 4 0 3 3 4 1 1 4 3 4 3 3 1 4 4 1 2 2 4 1 2 2 2 4 2 4 3 3 1 4 2 2 3 4 2 3 1 1 2 0 1 1 1 3 4 1 4 3 2 1 1 1 4 1 4 1 2 1 4 1 1 2 0 1 1 3 1 2 2 4 1 2 1 1 4 0 4 4 4 2 0 3 2 1 1 4 1 4 4