Name | csp/medium/ normalized-patat-02-medium-3.xml |
MD5SUM | 3f95c8d29be0573ddfe6516241da88fb |
Bench Category | Alldiff (alldiff) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 129.188 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 800 |
Number of constraints | 64020 |
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 | 63820 |
Global constraints used (with number of constraints) | alldifferent(200) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Sugar v1.14.6+picosat (complete) | 2077978 | SAT | 129.188 | 130.717 |
Mistral 1.545 (complete) | 2077981 | SAT | 330.821 | 333.825 |
Concrete 2009-07-14 (complete) | 2077975 | ? (TO) | 1800.02 | 1816.72 |
Concrete DC 2009-07-14 (complete) | 2077976 | ? (TO) | 1800.06 | 1807.82 |
bpsolver 09 (complete) | 2077982 | ? (TO) | 1800.09 | 1815.63 |
Choco2.1.1 2009-06-10 (complete) | 2077977 | ? (TO) | 1800.17 | 1813.04 |
Abscon 112v4 AC (complete) | 2096827 | ? (TO) | 1800.18 | 1801.96 |
SAT4J CSP 2.1.1 (complete) | 2077972 | ? (TO) | 1800.2 | 1808.39 |
Choco2.1.1b 2009-07-16 (complete) | 2116325 | ? (TO) | 1800.23 | 1806.95 |
Abscon 112v4 ESAC (complete) | 2096828 | ? (TO) | 1800.25 | 1809.54 |
Sugar v1.14.6+minisat (complete) | 2077979 | ? (TO) | 1800.26 | 1803.33 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:41 16 29 25 24 32 43 18 16 44 35 40 2 2 2 27 40 14 36 37 4 34 36 10 0 27 44 30 9 11 24 31 9 0 12 2 43 19 18 17 31 36 6 1 5 39 2 12 4 24 15 26 5 2 5 13 17 19 42 4 7 3 9 34 44 7 35 16 14 7 17 28 21 27 31 31 33 4 7 43 24 3 12 28 5 20 10 32 44 33 6 10 2 7 35 18 42 27 26 43 18 8 8 14 12 1 1 21 18 7 15 1 16 15 13 12 20 42 8 6 30 3 44 4 6 13 6 20 7 39 26 40 11 19 10 11 24 14 13 15 10 1 20 21 2 41 34 20 20 9 8 39 9 19 4 9 32 8 5 14 23 34 5 18 13 8 19 0 6 10 11 17 20 32 9 14 40 15 11 14 3 10 21 17 13 25 22 6 3 23 25 10 20 19 17 17 38 11 42 15 30 5 18 24 11 19 26 16 7 9 14 43 11 29 21 12 30 12 20 12 42 1 11 22 42 26 32 21 8 4 35 30 19 25 13 16 25 36 20 6 33 26 12 7 29 3 4 19 17 23 40 6 22 15 14 22 13 22 22 44 21 23 37 28 31 34 25 44 1 24 39 30 19 35 25 26 9 26 33 27 41 29 10 15 14 3 30 18 25 36 0 23 27 15 25 34 3 28 27 11 31 26 22 16 32 22 4 28 3 16 5 33 5 27 1 9 43 27 28 0 24 23 32 29 35 29 29 40 42 15 32 6 35 34 37 36 22 38 39 23 29 0 40 33 28 41 37 34 33 36 23 28 10 34 1 44 1 16 31 29 39 37 41 16 43 0 44 13 35 35 39 8 30 39 37 5 38 0 38 33 17 36 39 41 41 12 42 38 21 38 25 26 42 3 17 33 32 43 40 38 7 3 7 1 3 3 0 4 8 4 5 0 5 7 8 0 3 1 7 4 7 7 8 7 5 9 6 1 7 9 4 6 6 6 9 3 7 7 6 9 8 3 5 6 7 9 2 0 6 0 9 9 1 6 9 9 8 0 8 3 6 8 4 4 2 2 7 9 5 4 0 6 5 5 7 2 9 2 0 1 6 0 4 3 0 1 5 9 0 7 1 0 9 8 3 5 2 3 6 6 1 4 5 7 8 1 2 3 2 3 3 3 5 5 0 7 5 1 1 8 4 2 7 4 3 3 4 6 1 4 0 6 2 4 8 8 8 3 4 1 3 0 2 9 4 1 6 7 4 9 3 2 2 3 0 1 8 2 5 2 5 8 2 3 8 0 5 9 7 1 6 7 9 2 3 9 2 0 1 4 1 9 2 1 2 4 2 9 5 0 7 6 8 2 6 4 6 3 4 8 6 4 0 1 7 8 4 6 7 8 0 3 4 0 1 6 3 2 0 1 6 4 0 1 0 1 7 6 8 9 1 8 1 9 1 2 6 4 3 0 8 5 3 5 8 3 5 6 2 1 4 6 6 7 8 8 5 3 7 5 8 3 3 7 3 2 8 8 9 2 3 7 9 8 3 8 5 7 0 2 4 6 2 2 6 7 2 8 0 2 7 6 8 6 2 9 4 2 6 5 4 2 4 1 6 5 8 4 9 4 8 2 3 1 7 0 2 7 1 8 5 4 0 1 2 2 5 1 7 4 1 2 6 3 2 9 0 8 6 2 3 2 8 3 8 2 1 0 1 1 8 5 4 1 5 9 8 7 0 4 8 6 6 0 8 4 3 6 4 0 0 6 5 1 8 6 3 3 5 6 3 6 7 3 8 5 3 2 4 4 5 3 5 6 5 5 5 5 5 0