Name | csp/medium/ normalized-patat-02-medium-2.xml |
MD5SUM | deee800a676362b8ba7ef4a56056f1e3 |
Bench Category | Alldiff (alldiff) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 130.19 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 800 |
Number of constraints | 65133 |
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 | 64933 |
Global constraints used (with number of constraints) | alldifferent(200) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Sugar v1.14.6+picosat (complete) | 2077967 | SAT | 130.19 | 131.742 |
Mistral 1.545 (complete) | 2077970 | SAT | 149.475 | 150.224 |
Concrete 2009-07-14 (complete) | 2077964 | ? (TO) | 1800.05 | 1805.32 |
Concrete DC 2009-07-14 (complete) | 2077965 | ? (TO) | 1800.08 | 1803.82 |
bpsolver 09 (complete) | 2077971 | ? (TO) | 1800.1 | 1800.94 |
SAT4J CSP 2.1.1 (complete) | 2077961 | ? (TO) | 1800.15 | 1811.29 |
Abscon 112v4 ESAC (complete) | 2096826 | ? (TO) | 1800.15 | 1816.23 |
Choco2.1.1 2009-06-10 (complete) | 2077966 | ? (TO) | 1800.16 | 1812.16 |
Sugar v1.14.6+minisat (complete) | 2077968 | ? (TO) | 1800.21 | 1806.71 |
Choco2.1.1b 2009-07-16 (complete) | 2116324 | ? (TO) | 1800.23 | 1817.34 |
Abscon 112v4 AC (complete) | 2096825 | ? (TO) | 1800.24 | 1813.62 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:0 34 1 0 3 42 37 1 29 10 6 2 2 3 36 22 22 39 4 7 42 8 38 21 0 13 7 25 16 19 38 4 1 0 11 10 12 1 3 4 12 2 2 6 24 0 19 43 26 5 6 41 17 5 2 10 2 28 24 9 6 6 9 8 6 8 6 35 9 3 35 7 8 7 5 9 5 7 6 3 4 10 23 10 8 33 5 11 2 9 42 9 33 7 37 18 8 27 1 7 11 12 4 25 10 5 18 11 28 12 0 13 29 32 11 21 2 22 16 4 15 18 11 12 14 28 12 0 38 14 11 19 32 16 16 24 13 9 41 17 17 1 3 4 28 35 13 14 14 26 40 0 26 11 15 9 15 7 16 15 35 15 6 3 2 4 14 7 17 16 19 6 5 17 17 28 4 30 18 18 13 18 18 28 15 20 18 18 21 33 27 32 12 35 27 26 12 21 10 22 20 9 17 19 0 23 15 29 1 19 24 20 21 40 16 18 8 8 16 26 17 23 25 19 20 20 22 20 24 33 31 21 21 23 20 27 24 23 24 31 27 22 10 33 24 17 13 25 27 25 23 13 10 26 17 16 30 44 3 5 23 29 23 29 28 36 32 5 22 30 31 30 31 25 32 12 33 34 44 8 29 33 20 30 34 31 24 25 35 33 26 36 21 36 13 39 29 25 30 20 27 7 15 23 30 43 35 5 28 34 29 38 3 32 36 31 37 42 33 31 44 34 39 15 35 26 9 24 34 34 32 33 35 34 39 27 41 38 39 42 39 43 40 38 12 35 37 41 27 40 13 40 41 14 21 3 43 37 8 36 42 40 41 43 36 38 40 37 37 29 39 41 29 14 38 22 44 22 23 42 44 4 36 40 40 41 43 32 42 2 44 43 1 39 30 44 44 36 31 37 7 3 0 6 3 8 5 3 3 9 9 2 6 8 3 4 5 8 8 9 6 0 9 6 8 4 0 2 8 2 5 6 9 3 3 3 6 7 4 0 9 4 9 4 0 4 3 4 5 8 1 0 8 6 7 1 0 7 3 5 8 7 4 5 0 8 2 4 8 5 2 2 9 6 9 9 1 1 3 7 7 7 9 8 4 4 5 2 5 1 9 3 1 4 3 9 2 4 6 7 0 0 9 0 0 3 1 9 9 5 5 5 4 1 4 3 3 1 4 2 9 2 1 8 9 5 2 2 0 1 5 5 2 6 7 5 7 7 9 5 7 2 6 3 3 1 2 7 6 9 3 9 4 7 5 6 8 5 5 2 6 1 6 2 1 4 5 8 9 3 7 5 0 0 1 2 1 5 7 8 3 3 4 0 0 7 5 6 5 6 7 0 3 0 3 0 1 7 2 0 6 2 4 0 0 6 3 6 4 9 6 9 1 9 0 0 7 3 1 7 3 7 5 4 8 0 8 3 7 9 0 8 4 4 4 6 8 5 9 1 1 2 6 0 2 6 9 9 9 1 8 8 5 6 2 9 4 2 0 4 1 0 2 7 1 9 5 2 9 0 7 6 9 4 7 4 3 6 7 6 8 7 5 7 7 5 4 8 5 8 3 4 0 5 1 3 5 7 1 1 0 3 7 0 2 2 3 7 4 8 1 4 1 6 6 8 8 2 2 4 1 9 1 4 9 8 0 1 5 1 9 5 7 4 5 8 8 6 7 5 4 0 1 3 7 8 4 1 5 0 0 6 2 0 9 9 5 7 1 8 7 8 4 8 7 7 7 9 1 9 9 7 2 4 8 7 3 3 3 0 8 5 1 5 4 5 7 8 4 8 5 9 5 0 9 4 0 0 2 0