Name | csp/medium/ normalized-patat-02-medium-5.xml |
MD5SUM | b160d17227d48e89c0f648593d000571 |
Bench Category | Alldiff (alldiff) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 96.7663 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 800 |
Number of constraints | 44958 |
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 | 44758 |
Global constraints used (with number of constraints) | alldifferent(200) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Sugar v1.14.6+picosat (complete) | 2077956 | SAT | 96.7663 | 97.8367 |
Mistral 1.545 (complete) | 2077959 | SAT | 298.172 | 300.982 |
Concrete 2009-07-14 (complete) | 2077953 | ? (TO) | 1800.01 | 1804.22 |
bpsolver 09 (complete) | 2077960 | ? (TO) | 1800.04 | 1813.52 |
Concrete DC 2009-07-14 (complete) | 2077954 | ? (TO) | 1800.08 | 1805.42 |
Choco2.1.1b 2009-07-16 (complete) | 2116323 | ? (TO) | 1800.15 | 1816.62 |
Choco2.1.1 2009-06-10 (complete) | 2077955 | ? (TO) | 1800.16 | 1809.73 |
Sugar v1.14.6+minisat (complete) | 2077957 | ? (TO) | 1800.17 | 1806.29 |
Abscon 112v4 AC (complete) | 2096823 | ? (TO) | 1800.18 | 1816.41 |
Abscon 112v4 ESAC (complete) | 2096824 | ? (TO) | 1800.19 | 1806.09 |
SAT4J CSP 2.1.1 (complete) | 2077950 | ? (TO) | 1800.21 | 1808.45 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:31 5 17 24 0 42 29 20 20 7 38 5 29 32 13 23 28 21 4 5 9 2 1 33 2 19 1 2 22 1 19 43 3 16 23 0 7 3 20 8 3 33 2 4 3 1 15 18 6 29 40 5 41 30 5 6 32 3 24 36 9 7 8 43 6 4 19 28 24 8 18 17 5 7 4 13 2 3 15 10 2 22 8 6 5 1 3 4 0 8 43 22 8 14 33 26 11 0 13 20 6 4 35 3 16 10 10 18 1 9 11 32 41 3 32 25 7 13 8 9 21 10 0 19 0 41 10 21 33 11 41 20 44 10 11 32 40 10 38 33 11 42 24 34 2 15 14 15 14 11 22 39 1 44 16 16 4 16 2 40 12 18 8 10 21 9 42 12 30 12 29 7 13 12 18 23 16 6 14 9 16 35 34 16 12 18 21 24 37 0 25 19 11 25 28 2 19 26 9 5 14 4 17 27 22 18 29 9 42 23 23 20 14 35 28 2 17 24 21 12 7 18 21 17 12 15 25 20 0 6 13 33 16 22 34 27 27 11 17 23 27 25 25 19 26 10 15 7 43 25 14 24 29 18 5 24 14 19 12 29 1 32 30 38 35 27 16 10 4 38 27 30 30 21 17 14 7 30 32 12 26 36 31 8 13 34 26 33 4 28 1 37 20 13 31 17 0 20 6 35 27 28 34 29 22 11 33 33 36 36 35 0 30 36 37 27 37 36 38 34 7 22 23 35 34 9 36 38 39 44 20 25 28 37 31 40 37 37 23 23 29 36 34 17 38 37 39 31 12 15 27 5 41 26 3 40 42 28 26 35 6 40 9 13 42 44 39 41 31 42 42 30 36 44 39 35 37 39 37 44 38 33 43 1 44 43 40 44 36 32 15 39 41 42 44 38 43 40 44 43 2 8 8 5 5 6 4 2 5 7 5 9 5 4 6 3 1 9 7 1 7 5 8 8 4 9 2 1 5 4 2 6 6 7 9 6 9 7 3 1 4 7 6 6 1 7 0 9 0 8 4 7 6 2 0 4 6 0 4 4 3 4 6 5 8 0 5 9 8 2 5 6 4 1 4 5 8 2 9 3 0 9 5 9 2 5 3 2 7 9 4 4 0 7 2 8 7 4 8 7 3 9 4 9 0 6 1 6 0 6 6 9 2 8 3 2 8 0 7 9 5 4 2 8 0 0 7 4 1 2 5 0 1 5 8 2 7 9 8 4 0 8 3 4 7 6 6 4 5 3 6 3 1 9 9 2 1 5 9 8 7 2 8 8 0 8 7 9 8 0 0 3 4 2 3 6 1 2 3 4 4 7 3 8 8 8 6 6 1 9 5 4 4 0 7 2 6 0 0 5 0 8 3 6 0 7 6 1 2 7 0 1 9 3 8 3 2 0 7 1 6 4 8 4 3 5 4 8 3 7 9 0 6 8 8 8 4 5 0 5 9 6 3 0 6 2 2 2 1 8 4 7 2 0 3 2 8 7 4 7 9 8 7 2 8 7 3 0 3 7 0 0 9 2 9 2 5 6 0 5 7 6 4 4 7 0 5 3 5 6 3 8 9 2 0 1 8 4 5 0 5 2 7 9 7 9 9 5 1 8 6 1 4 9 0 2 9 5 9 6 0 2 4 2 2 2 0 4 5 4 6 7 4 4 7 5 5 3 2 8 1 3 5 5 0 7 6 8 6 8 1 6 4 4 5 6 3 0 2 5 6 3 5 3 1 3 8 8 6 5 4 5 2 7 4 1 6 0 2 5 6 6 2 6 6 7 2 8 7 7 7 2 3 0 2 3 0 0 0 8