Name | csp/compet08/ normalized-patat-08-comp-12.xml |
MD5SUM | 3aaedc74d6ee49711e76829517479c6b |
Bench Category | Alldiff (alldiff) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 23.1345 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 800 |
Number of constraints | 33494 |
Maximum constraint arity | 23 |
Maximum domain size | 34 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 33194 |
Global constraints used (with number of constraints) | alldifferent(300) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral 1.545 (complete) | 2063923 | SAT | 23.1345 | 23.1526 |
Sugar v1.14.6+picosat (complete) | 2063920 | SAT | 142.876 | 144.639 |
Abscon 112v4 ESAC (complete) | 2094272 | SAT | 244.406 | 246.776 |
Sugar v1.14.6+minisat (complete) | 2063921 | SAT | 303.713 | 305.438 |
Abscon 112v4 AC (complete) | 2094271 | SAT | 347.934 | 348.309 |
Choco2.1.1 2009-06-10 (complete) | 2063919 | SAT | 1492.89 | 1505.77 |
Concrete 2009-07-14 (complete) | 2063917 | SAT | 1735.75 | 1741.84 |
Concrete DC 2009-07-14 (complete) | 2063918 | ? (TO) | 1800 | 1806.02 |
bpsolver 09 (complete) | 2063924 | ? (TO) | 1800.08 | 1808.62 |
Choco2.1.1b 2009-07-16 (complete) | 2115047 | ? (TO) | 1800.1 | 1817.09 |
SAT4J CSP 2.1.1 (complete) | 2063914 | ? (TO) | 1800.15 | 1802.98 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:8 10 15 7 24 22 30 4 43 35 26 17 22 43 28 1 5 19 42 23 16 33 27 15 20 36 39 38 21 14 11 22 33 43 34 26 14 2 35 9 17 10 13 36 30 32 40 39 14 44 21 9 21 30 12 0 27 42 20 24 30 23 17 34 6 20 33 19 35 44 11 23 27 4 35 29 20 14 25 20 35 2 28 13 18 7 21 8 41 7 11 31 40 8 32 31 13 17 25 34 39 10 13 22 39 39 7 25 15 26 16 1 5 9 11 36 24 6 36 9 25 17 0 40 38 38 0 12 41 44 24 19 18 8 5 38 42 32 24 42 29 27 23 33 7 32 2 25 23 10 9 11 19 10 3 24 36 34 1 19 38 21 11 17 32 42 5 26 31 30 37 0 10 5 16 18 3 18 37 7 18 43 24 5 26 0 23 44 17 14 27 12 6 26 6 18 2 16 8 16 4 30 44 31 37 15 34 31 27 42 12 30 30 41 19 19 38 44 29 3 37 2 32 26 1 35 38 33 0 35 21 22 39 37 10 21 20 8 24 7 23 43 41 26 40 42 40 10 43 28 28 21 37 37 43 36 5 41 28 25 27 44 43 7 26 11 8 8 22 16 3 18 14 16 39 0 31 44 9 24 6 41 17 28 18 44 41 26 12 34 29 33 31 12 2 6 20 22 16 29 12 4 31 3 30 41 28 23 16 12 2 21 28 15 3 38 3 22 1 7 4 4 1 33 3 31 8 29 3 37 6 40 20 12 2 0 6 26 29 17 4 1 8 35 4 26 13 39 38 1 29 39 36 1 36 14 26 39 31 22 44 41 43 10 5 43 5 22 36 30 13 20 41 12 38 42 2 5 21 13 27 42 1 16 25 29 8 8 13 9 15 34 6 32 14 15 44 8 42 35 3 19 19 0 19 0 12 4 5 2 9 6 12 10 9 8 0 12 12 19 19 5 17 11 5 17 17 19 14 3 17 1 0 11 17 4 0 9 9 10 18 2 11 19 1 3 1 6 2 12 12 6 1 4 19 2 10 0 3 2 18 3 3 3 10 11 3 0 17 19 10 18 18 3 1 7 19 12 17 0 0 8 0 18 1 17 5 6 10 16 9 3 19 18 15 10 15 1 11 16 15 1 19 19 4 0 12 19 2 14 14 19 15 18 12 10 0 19 18 19 12 9 1 5 0 1 15 0 8 9 3 2 19 4 2 17 2 14 8 18 6 3 10 8 19 0 10 8 12 6 0 7 1 10 9 9 5 11 12 6 18 2 19 17 17 6 1 2 19 19 10 19 12 17 17 6 0 2 11 1 3 8 11 12 1 14 8 8 2 10 14 1 18 19 6 18 6 16 2 1 19 2 1 5 6 12 19 12 19 3 5 0 17 17 19 3 3 15 0 19 9 19 19 17 13 6 16 4 10 19 10 6 1 1 18 0 12 17 10 18 0 1 11 6 0 19 2 3 19 17 3 3 8 18 18 9 5 0 16 18 6 17 16 3 0 13 9 12 10 2 1 0 17 0 16 3 0 10 17 1 8 12 19 2 4 3 19 10 6 0 19 9 18 12 1 15 18 11 18 1 2 12 4 5 5 1 19 1 3 15 18 19 18 13 12 2 2 15 1 6 14 1 0 1 17 1 5 2 15 19 0 10 9 11 0 0 16 11 4 0 0 10 1 10 5 3 0 19 5 11 3 3 0 6 6 1 12 12 9 18 6 9 4 0 16 17 10 8 16 11 9 1 18 9 14 5 12 19 8 12 0 10 9 6 0 5 19 11 17 1 0 18 17 18 19 9 13 0 9 18