| Name | csp/compet08/ normalized-patat-08-comp-13.xml |
| MD5SUM | 2bfe383200b06cc8d10162ce709ea70a |
| Bench Category | Alldiff (alldiff) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 8.71467 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 800 |
| Number of constraints | 24450 |
| Maximum constraint arity | 24 |
| Maximum domain size | 36 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 24150 |
| Global constraints used (with number of constraints) | alldifferent(300) |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| Mistral 1.545 (complete) | 2063945 | SAT | 8.71467 | 8.75472 |
| Sugar v1.14.6+minisat (complete) | 2063943 | SAT | 91.3981 | 92.4345 |
| Abscon 112v4 AC (complete) | 2094275 | SAT | 107.267 | 107.532 |
| Sugar v1.14.6+picosat (complete) | 2063942 | SAT | 131.588 | 132.918 |
| Abscon 112v4 ESAC (complete) | 2094276 | SAT | 205.104 | 207.019 |
| Choco2.1.1 2009-06-10 (complete) | 2063941 | SAT | 817.547 | 817.889 |
| Choco2.1.1b 2009-07-16 (complete) | 2115049 | SAT | 1318.24 | 1325.07 |
| SAT4J CSP 2.1.1 (complete) | 2063936 | SAT | 1644.39 | 1657.61 |
| Concrete 2009-07-14 (complete) | 2063939 | ? (TO) | 1800.05 | 1805.42 |
| Concrete DC 2009-07-14 (complete) | 2063940 | ? (TO) | 1800.05 | 1808.22 |
| bpsolver 09 (complete) | 2063946 | ? (TO) | 1800.11 | 1804.42 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:17 39 30 17 3 13 3 20 10 33 26 31 12 42 4 8 38 5 42 6 6 33 42 18 26 43 4 35 19 10 24 8 17 36 24 12 5 37 11 13 13 9 28 7 41 34 19 22 22 23 43 17 29 38 26 27 27 8 19 3 10 34 40 7 1 22 38 9 22 29 30 12 6 15 39 43 39 21 40 5 0 35 44 3 14 29 34 8 33 12 24 16 14 35 43 3 38 33 15 5 20 0 29 25 42 40 36 19 31 42 33 39 19 8 5 23 38 42 2 23 19 30 22 41 26 24 14 11 24 25 11 31 41 11 35 27 18 2 32 17 39 20 43 30 38 12 23 8 39 40 5 4 4 39 28 30 0 37 5 2 9 44 18 32 22 12 21 16 2 14 8 32 9 7 43 26 19 40 22 23 35 5 27 12 21 19 15 1 35 20 7 1 2 16 33 42 44 15 36 13 14 26 27 19 21 26 13 25 15 36 17 2 15 37 40 22 16 11 15 24 41 0 35 16 40 0 1 32 28 37 9 36 3 1 36 18 26 41 2 28 32 4 5 28 7 33 26 0 4 40 8 44 39 29 13 18 1 37 16 25 42 10 16 31 4 39 35 31 13 42 11 30 9 20 38 25 43 17 12 32 29 13 44 2 36 3 33 16 15 25 16 37 31 25 23 6 24 21 37 9 44 35 21 33 11 37 7 31 19 10 24 23 25 6 36 33 6 1 32 33 29 15 28 41 34 7 25 8 14 18 38 28 1 17 17 25 13 1 11 18 9 31 20 44 22 2 21 44 6 27 8 7 1 44 41 6 1 41 3 0 0 31 37 19 20 32 35 39 44 4 30 0 6 32 26 11 42 0 10 18 0 3 7 10 38 36 28 41 27 21 10 35 24 30 36 26 34 12 42 34 10 18 19 11 13 2 4 11 18 16 18 3 0 14 13 18 3 19 2 13 12 8 13 0 1 11 17 0 16 11 14 14 8 13 13 9 0 1 4 7 1 17 2 8 16 0 8 4 15 7 16 3 11 15 19 9 15 1 9 0 7 9 13 18 4 10 10 15 14 9 3 14 19 13 0 10 16 1 0 7 8 15 3 1 8 14 2 19 17 1 18 18 3 3 19 8 14 2 18 3 0 11 0 4 0 10 5 10 18 15 1 3 19 17 16 2 13 12 14 16 12 0 8 4 15 17 16 18 10 16 11 15 14 10 19 0 1 3 0 13 10 7 0 4 1 2 18 3 11 11 14 19 15 15 6 14 7 14 11 8 4 16 17 7 1 18 0 2 7 9 16 15 0 11 1 13 1 6 19 17 2 18 11 17 11 2 1 7 1 15 16 2 1 14 18 19 19 3 1 4 7 17 7 0 14 12 16 19 0 15 9 11 10 12 19 16 11 12 14 19 6 13 11 16 1 9 3 11 8 19 1 16 16 1 2 11 11 11 13 11 9 0 13 9 4 15 16 3 18 14 0 17 4 18 0 6 13 18 19 9 18 19 9 17 1 2 5 19 15 4 13 16 8 14 19 2 9 1 3 13 10 14 11 0 4 10 11 17 2 0 8 2 11 18 15 14 7 2 10 3 2 18 4 0 0 16 1 14 14 17 15 1 7 8 17 19 16 18 3 13 19 19 16 13 1 15 1 2 15 2 0 3 10 0 7 13 8 19 1 3 16 10 8 13 9 10 19 10 2 19 7 10 8 0 1 1 14 7 14 2 10 7 0 15 16 6 10 1 1 11 13 1 0 14 3 8 17 0 2 19 16 3 0 14 11 0 1 3 14 15 4 4 0 15 3 14 14 11 16 3