Name | csp/compet08/ normalized-patat-08-comp-14.xml |
MD5SUM | 872c261f2ab1a686494df34522240c16 |
Bench Category | Alldiff (alldiff) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 105.254 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 400 |
Number of constraints | 1599 |
Maximum constraint arity | 15 |
Maximum domain size | 26 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 1114 |
Global constraints used (with number of constraints) | alldifferent(485) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Sugar v1.14.6+picosat (complete) | 2063909 | SAT | 105.254 | 106.428 |
Mistral 1.545 (complete) | 2063912 | SAT | 478.394 | 482.171 |
SAT4J CSP 2.1.1 (complete) | 2063903 | SAT | 840.116 | 842.769 |
Concrete DC 2009-07-14 (complete) | 2063907 | SAT | 1754.57 | 1768.8 |
Sugar v1.14.6+minisat (complete) | 2063910 | ? (TO) | 1800.04 | 1809.84 |
bpsolver 09 (complete) | 2063913 | ? (TO) | 1800.05 | 1809.91 |
Concrete 2009-07-14 (complete) | 2063906 | ? (TO) | 1800.08 | 1808.12 |
Abscon 112v4 ESAC (complete) | 2094270 | ? (TO) | 1800.14 | 1809.73 |
Choco2.1.1 2009-06-10 (complete) | 2063908 | ? (TO) | 1800.16 | 1808.58 |
Choco2.1.1b 2009-07-16 (complete) | 2115046 | ? (TO) | 1800.17 | 1800.98 |
Abscon 112v4 AC (complete) | 2094269 | ? (TO) | 1800.19 | 1809.69 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:37 31 7 1 41 35 43 32 42 5 26 7 18 28 17 22 17 12 30 10 29 34 27 31 30 5 25 19 34 29 10 25 16 10 24 38 19 0 9 22 17 23 27 32 11 16 38 16 2 22 34 27 42 35 16 41 34 13 4 26 30 43 37 37 19 3 29 44 27 21 28 40 2 35 36 8 38 23 11 6 26 33 39 20 37 14 26 6 43 9 8 1 1 14 8 17 19 2 41 18 8 30 39 2 27 44 37 35 17 37 7 9 24 32 14 21 12 24 41 44 42 3 31 40 40 9 31 14 0 29 25 11 32 7 15 1 28 43 17 26 28 1 8 22 15 36 42 44 2 26 3 32 38 4 26 18 35 0 16 33 6 7 41 28 18 4 25 33 40 35 4 25 13 4 42 13 12 5 15 36 9 42 6 10 20 33 36 40 29 21 27 2 8 4 34 39 23 21 20 15 3 14 15 1 12 16 15 8 12 12 5 8 12 17 17 12 16 0 19 8 13 1 9 16 11 4 2 12 12 15 9 11 10 14 5 8 8 17 12 17 12 17 13 12 8 13 2 8 7 13 8 12 17 12 7 0 5 10 11 0 9 10 1 5 19 0 5 17 3 5 10 13 8 10 5 8 14 5 5 13 2 12 17 5 16 11 17 3 0 1 6 5 7 5 7 11 13 3 2 4 15 1 0 0 1 14 13 4 2 6 5 13 16 5 15 17 16 13 15 19 9 4 4 6 5 8 5 0 19 10 4 1 15 17 19 14 9 2 6 11 6 12 14 8 2 12 2 9 10 6 9 14 1 4 9 11 11 0 11 13 5 19 7 8 17 2 8 2 7 5 7 12 5 1 18 9 17 8 9 8 15 14 19 13 1 8 3 15 8 8 5 9 17 0 7 5 13 7 19 1