Name | csp/compet02/ normalized-patat-02-comp-11.xml |
MD5SUM | 995ab5e30175a498c1eb15b93ed7231d |
Bench Category | Alldiff (alldiff) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 65.3741 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 800 |
Number of constraints | 28733 |
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 | 28513 |
Global constraints used (with number of constraints) | alldifferent(220) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral 1.545 (complete) | 2064176 | SAT | 65.3741 | 65.7058 |
Sugar v1.14.6+picosat (complete) | 2064173 | SAT | 76.8263 | 77.8759 |
Concrete 2009-07-14 (complete) | 2064170 | ? (TO) | 1800.03 | 1806.13 |
Sugar v1.14.6+minisat (complete) | 2064174 | ? (TO) | 1800.08 | 1817.55 |
bpsolver 09 (complete) | 2064177 | ? (TO) | 1800.08 | 1805.62 |
Concrete DC 2009-07-14 (complete) | 2064171 | ? (TO) | 1800.09 | 1800.63 |
Abscon 112v4 ESAC (complete) | 2094318 | ? (TO) | 1800.11 | 1808.68 |
Choco2.1.1b 2009-07-16 (complete) | 2115070 | ? (TO) | 1800.15 | 1817.81 |
Choco2.1.1 2009-06-10 (complete) | 2064172 | ? (TO) | 1800.16 | 1807.5 |
Abscon 112v4 AC (complete) | 2094317 | ? (TO) | 1800.17 | 1817.37 |
SAT4J CSP 2.1.1 (complete) | 2064167 | ? (TO) | 1800.29 | 1807.07 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:36 0 6 18 30 13 13 32 42 2 8 3 23 8 41 38 25 43 24 17 1 5 14 30 10 38 5 39 25 26 30 29 21 43 36 20 16 24 7 36 33 0 19 20 10 19 28 21 36 32 5 18 10 38 19 8 34 37 15 18 34 6 6 5 18 4 14 17 0 12 42 18 36 12 39 28 35 30 10 15 32 35 34 1 31 44 33 23 43 30 11 15 9 23 34 25 15 5 30 1 21 37 35 3 8 35 1 31 38 14 1 16 35 10 9 32 4 29 38 11 11 4 3 8 41 43 24 29 5 8 38 39 27 20 16 14 33 9 20 7 29 44 30 31 25 37 2 27 15 18 3 20 43 40 44 33 10 22 13 25 6 40 18 19 9 34 38 28 1 33 3 34 26 23 13 43 0 11 41 0 41 13 22 39 23 4 24 25 24 21 15 35 17 44 39 7 40 12 33 31 12 10 24 32 9 5 30 39 13 37 42 7 0 44 33 28 6 11 29 35 36 16 28 2 16 32 29 28 13 4 42 15 6 31 22 0 23 22 20 9 0 26 37 26 11 5 21 16 1 10 33 3 2 36 37 16 3 28 44 36 6 17 31 41 16 0 1 22 4 35 3 17 27 19 27 2 41 44 11 14 36 27 14 29 10 4 37 41 29 31 7 6 27 17 37 26 12 12 0 40 1 43 4 42 13 4 9 5 29 26 14 39 41 34 42 43 32 22 26 8 22 11 39 40 8 21 38 23 2 33 20 7 32 1 17 42 27 6 40 44 24 4 44 18 12 24 16 7 19 7 40 14 3 9 43 9 42 16 30 13 41 34 28 2 35 32 3 40 38 34 26 14 39 12 25 42 31 6 8 20 37 25 19 21 12 42 2 28 17 43 7 27 22 19 40 17 40 25 44 41 5 0 8 6 6 9 5 8 7 5 2 9 3 1 9 5 1 5 9 2 9 6 6 4 1 6 8 2 4 7 0 9 3 3 1 2 3 8 3 3 7 6 7 7 4 3 7 7 6 9 4 7 0 1 2 0 2 9 2 4 7 0 2 1 2 7 8 6 7 3 3 8 8 8 5 4 6 3 9 8 6 4 6 3 9 1 2 2 9 8 5 6 3 9 4 3 1 7 2 8 8 5 3 5 5 2 2 0 4 9 4 6 8 8 6 3 5 6 8 0 6 4 6 3 0 2 3 7 2 8 2 8 5 6 9 3 1 1 0 0 1 9 7 3 8 6 4 3 3 5 8 3 6 0 4 3 7 8 4 9 1 8 3 0 7 0 7 9 7 9 4 3 6 7 8 7 5 7 8 1 3 2 4 7 6 6 5 5 2 9 7 7 8 2 3 7 6 2 8 7 0 3 7 2 0 9 1 0 3 2 1 6 8 6 6 3 4 8 2 0 2 4 2 3 8 0 3 5 7 9 2 5 7 5 2 9 5 6 4 4 2 5 3 4 3 0 2 0 0 5 5 2 2 9 0 7 0 8 0 7 3 7 6 4 2 4 1 5 3 5 3 5 6 4 2 0 2 3 1 1 0 7 2 5 6 1 7 5 8 2 2 5 4 3 8 3 9 7 3 2 5 4 0 8 1 2 2 3 4 2 7 6 7 5 0 1 4 3 8 7 7 2 4 4 4 0 0 8 7 4 5 4 7 6 4 4 0 6 3 8 6 8 5 9 4 1 1 1 8 8 7 4 7 8 0 5 5 5 5 6 6 1 0 8 1 5 1 5 3 8 9 5 1 1 2 9 8 9 6 8 1 6 6 6 6 6 6 6 1 8 5 8 1 1 9 9 1 7 7 1