Name | csp/compet02/ normalized-patat-02-comp-9.xml |
MD5SUM | 690bc030536081a10afc596885a53720 |
Bench Category | Alldiff (alldiff) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 97.3002 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 880 |
Number of constraints | 48826 |
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 | 48606 |
Global constraints used (with number of constraints) | alldifferent(220) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral 1.545 (complete) | 2064198 | SAT | 97.3002 | 98.241 |
Sugar v1.14.6+picosat (complete) | 2064195 | SAT | 98.371 | 99.7654 |
bpsolver 09 (complete) | 2064199 | ? (TO) | 1800.03 | 1815.62 |
Concrete 2009-07-14 (complete) | 2064192 | ? (TO) | 1800.07 | 1810.02 |
Concrete DC 2009-07-14 (complete) | 2064193 | ? (TO) | 1800.07 | 1808.32 |
Sugar v1.14.6+minisat (complete) | 2064196 | ? (TO) | 1800.11 | 1809.38 |
Abscon 112v4 ESAC (complete) | 2094322 | ? (TO) | 1800.15 | 1813.52 |
Choco2.1.1 2009-06-10 (complete) | 2064194 | ? (TO) | 1800.16 | 1814.94 |
Abscon 112v4 AC (complete) | 2094321 | ? (TO) | 1800.16 | 1809.32 |
Choco2.1.1b 2009-07-16 (complete) | 2115072 | ? (TO) | 1800.18 | 1805.59 |
SAT4J CSP 2.1.1 (complete) | 2064189 | ? (TO) | 1800.29 | 1808.5 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:28 4 0 7 28 25 30 13 8 41 29 9 25 14 34 0 15 5 23 7 12 20 2 28 41 13 27 9 11 13 13 35 15 21 8 42 31 34 4 9 25 6 28 36 25 8 38 12 44 16 0 43 28 11 37 13 19 1 0 39 29 40 42 11 16 14 24 11 43 22 44 8 14 2 42 15 27 20 23 1 24 34 35 42 34 23 29 36 30 44 32 22 26 3 36 35 26 39 18 0 38 28 27 14 44 41 25 29 0 43 43 41 2 3 1 30 29 31 31 20 36 18 11 40 24 27 40 7 33 15 43 7 11 3 35 39 42 33 6 5 13 17 34 40 5 38 24 32 5 13 7 42 14 4 40 29 2 39 9 8 6 17 1 13 6 0 37 31 25 3 36 36 20 37 12 0 10 16 19 34 31 9 22 4 31 41 18 12 21 37 19 25 20 13 11 1 36 12 31 39 8 38 26 6 30 5 18 23 2 6 0 3 10 44 12 39 41 42 10 31 4 28 34 8 33 12 6 31 39 30 33 39 3 14 10 4 32 35 5 23 0 35 4 1 40 38 27 10 7 18 33 19 15 17 44 17 3 19 44 1 26 14 12 26 4 35 17 44 35 44 43 31 32 22 18 12 10 33 33 2 32 37 32 41 30 11 11 26 23 5 17 32 22 18 10 24 16 9 9 9 43 21 12 20 18 41 32 10 42 2 29 29 34 27 16 13 15 33 37 27 21 1 38 39 10 29 29 16 40 11 4 39 9 0 8 2 42 15 32 30 7 38 1 6 40 44 35 3 39 37 8 36 7 12 30 1 43 36 28 3 37 33 27 25 13 42 21 26 14 43 5 16 15 16 37 36 10 17 43 43 35 2 41 36 17 18 34 1 19 38 14 38 3 42 9 35 15 2 23 26 15 44 8 5 37 4 27 40 21 38 5 14 40 2 22 10 7 14 6 17 41 6 40 21 24 9 5 25 33 7 4 8 34 7 22 3 24 32 16 38 8 2 7 6 9 3 8 10 7 2 2 4 7 7 10 6 0 3 9 10 2 9 2 3 7 9 0 1 6 6 0 7 7 0 4 7 9 1 9 2 0 1 6 7 6 5 4 9 10 5 9 3 7 4 1 5 5 3 8 10 1 10 2 10 9 3 7 8 1 1 1 6 6 0 1 2 8 10 1 1 2 9 10 3 7 7 5 9 1 5 2 9 9 1 3 5 10 4 4 5 5 2 5 9 6 4 1 8 1 6 5 8 6 9 9 10 9 8 7 8 0 2 1 9 9 1 0 9 7 6 0 4 5 8 0 5 5 0 3 9 8 3 4 3 6 0 1 9 5 7 1 0 8 0 1 0 5 1 7 9 9 0 5 1 4 3 10 5 9 3 8 4 1 0 8 2 7 7 7 8 3 0 7 4 4 5 10 0 1 9 0 2 7 2 2 4 10 5 0 9 2 2 1 8 2 0 8 5 8 6 0 0 1 9 10 0 9 9 9 10 1 1 2 3 1 7 0 1 8 6 4 6 7 5 8 8 7 9 8 0 10 1 7 7 4 3 6 6 2 3 3 9 9 8 3 7 4 8 7 6 7 1 4 3 3 8 6 2 4 8 7 6 10 6 7 6 0 9 6 3 5 8 6 3 0 0 7 8 10 7 1 8 10 9 5 10 8 3 5 6 8 9 3 0 5 1 1 10 8 7 7 4 6 9 3 3 8 8 6 3 3 2 1 7 2 6 10 1 8 9 6 3 8 4 10 9 4 3 4 7 7 9 8 7 2 4 3 5 2 4 1 6 3 1 9 0 9 1 10 10 3 10 10 8 4 10 7 6 4 10 10 4 5 0 7 2 4 4 4 2 6 1 0 5 10 0 5 10 1 8 2 7 2 6 10 2 4 4 8 0 1 0 8 4 2 10 7 7 10 10 1 10 5 10 2 3 8 0 10 9 6 2 6 8 8 9 2 10 5 0 5 0 0 5 0 6 0 0 6 6