| Name | csp/compet02/ normalized-patat-02-comp-3.xml |
| MD5SUM | 645b4d5985800c441d40903d8a951448 |
| Bench Category | Alldiff (alldiff) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 78.0751 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 800 |
| Number of constraints | 36304 |
| Maximum constraint arity | 20 |
| Maximum domain size | 45 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 36104 |
| Global constraints used (with number of constraints) | alldifferent(200) |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| Sugar v1.14.6+picosat (complete) | 2064206 | SAT | 78.0751 | 78.6067 |
| Mistral 1.545 (complete) | 2064209 | SAT | 135.683 | 137.117 |
| Concrete 2009-07-14 (complete) | 2064203 | ? (TO) | 1800.02 | 1808.53 |
| bpsolver 09 (complete) | 2064210 | ? (TO) | 1800.05 | 1808.22 |
| Concrete DC 2009-07-14 (complete) | 2064204 | ? (TO) | 1800.06 | 1816.32 |
| Sugar v1.14.6+minisat (complete) | 2064207 | ? (TO) | 1800.07 | 1813.65 |
| Choco2.1.1b 2009-07-16 (complete) | 2115073 | ? (TO) | 1800.09 | 1802.37 |
| Abscon 112v4 ESAC (complete) | 2094324 | ? (TO) | 1800.13 | 1809.69 |
| Choco2.1.1 2009-06-10 (complete) | 2064205 | ? (TO) | 1800.15 | 1801.01 |
| SAT4J CSP 2.1.1 (complete) | 2064200 | ? (TO) | 1800.17 | 1809.58 |
| Abscon 112v4 AC (complete) | 2094323 | ? (TO) | 1800.23 | 1813.77 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:2 34 27 7 1 33 38 38 6 6 13 10 43 4 0 1 14 6 2 43 2 4 12 20 11 0 0 2 5 21 39 2 4 31 34 3 24 44 3 5 9 44 4 5 10 0 2 40 13 6 6 1 12 7 9 9 38 10 7 1 28 8 16 34 36 1 8 5 2 10 11 2 15 32 3 1 5 24 15 0 11 4 5 19 11 4 6 7 29 7 43 3 13 13 0 14 13 8 11 19 14 9 26 22 4 15 15 16 44 3 39 11 5 12 41 13 29 10 18 11 10 22 18 13 17 18 19 20 21 2 3 22 42 23 5 20 7 9 8 12 13 8 21 22 14 36 0 14 28 18 15 3 17 42 41 20 12 33 4 14 10 23 20 15 27 24 17 16 41 16 0 8 30 18 19 15 27 14 16 3 27 5 21 7 39 30 22 8 9 43 21 21 9 22 40 22 26 25 30 25 26 1 17 4 0 18 8 24 42 6 17 25 24 21 43 37 20 8 19 17 26 24 6 31 28 6 11 28 22 5 7 32 28 18 25 29 29 33 11 42 27 14 10 30 43 35 22 29 21 34 8 16 29 26 26 44 27 20 32 30 16 27 31 9 37 31 13 32 28 29 31 32 20 24 9 23 17 27 11 35 33 31 23 28 29 34 40 19 19 16 33 7 42 25 17 27 20 12 29 30 24 26 4 33 34 34 10 12 34 15 35 23 34 29 1 32 31 36 32 43 37 14 44 35 35 23 32 37 37 31 36 10 24 7 39 40 18 15 25 41 40 36 40 20 33 13 38 35 16 39 37 42 23 44 12 32 34 25 25 32 26 9 44 41 25 38 35 36 38 37 38 40 28 30 33 39 40 18 19 41 27 36 39 6 44 37 38 42 41 28 39 33 37 42 38 36 37 41 43 3 7 9 2 4 1 7 2 7 7 1 2 4 0 6 4 7 4 8 8 3 3 4 2 5 0 2 1 6 4 9 8 5 1 6 8 2 1 4 5 7 2 6 3 6 5 8 4 7 5 9 6 0 8 5 6 4 4 3 3 6 6 9 6 4 4 4 4 1 0 9 8 2 6 6 7 2 3 5 8 6 5 5 9 0 3 2 0 2 6 7 2 4 4 3 9 5 9 6 9 8 3 5 7 7 7 0 1 2 7 8 6 4 5 0 7 0 3 8 9 6 6 0 7 1 8 3 4 4 8 1 3 2 4 6 8 9 8 0 1 1 8 3 5 8 9 1 3 7 3 1 3 6 1 9 8 3 7 3 9 6 1 8 2 5 5 0 7 8 2 0 0 0 3 4 3 7 4 2 3 0 8 0 3 9 4 8 6 8 3 8 4 7 7 4 3 3 8 3 4 1 2 8 9 8 7 6 7 3 6 2 0 5 6 6 4 6 0 2 7 3 4 4 3 8 4 5 2 2 5 2 0 1 1 2 8 8 1 0 1 3 7 8 2 0 7 7 1 2 1 2 5 4 9 3 0 0 1 7 2 1 9 3 5 1 2 9 7 7 8 4 7 5 1 8 8 2 6 9 7 5 4 4 3 7 7 7 8 2 6 1 2 6 8 7 4 6 8 4 0 6 7 1 0 1 0 3 7 6 6 2 1 4 5 5 3 9 1 9 3 6 3 0 9 9 3 1 4 9 7 2 3 0 2 1 3 9 8 4 4 6 0 8 6 6 8 6 6 6 7 1 4 7 7 1 3 0 1 0 9 8 6 9 3 4 6 0 8 6 3 8 8 1 5 7 9 5 4 5 1 5 0 5 2 4 2 5 5 2 3 0 0 6 0 1 1 2 1 1 1 1