Name | csp/compet02/ normalized-patat-02-comp-18.xml |
MD5SUM | 7009ab8b0625ac3b74cd8e0d86a590c4 |
Bench Category | Alldiff (alldiff) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 37.5673 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 800 |
Number of constraints | 17910 |
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 | 17710 |
Global constraints used (with number of constraints) | alldifferent(200) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral 1.545 (complete) | 2064022 | SAT | 37.5673 | 37.8379 |
Sugar v1.14.6+picosat (complete) | 2064019 | SAT | 56.4744 | 57.1843 |
Abscon 112v4 AC (complete) | 2094289 | SAT | 632.064 | 635.267 |
Abscon 112v4 ESAC (complete) | 2094290 | ? (MO) | 5.71 | 5.8446 |
Sugar v1.14.6+minisat (complete) | 2064020 | ? (TO) | 1800.01 | 1818.32 |
bpsolver 09 (complete) | 2064023 | ? (TO) | 1800.08 | 1808.42 |
Concrete 2009-07-14 (complete) | 2064016 | ? (TO) | 1800.08 | 1809.12 |
Concrete DC 2009-07-14 (complete) | 2064017 | ? (TO) | 1800.09 | 1807.72 |
Choco2.1.1 2009-06-10 (complete) | 2064018 | ? (TO) | 1800.12 | 1809.46 |
Choco2.1.1b 2009-07-16 (complete) | 2115056 | ? (TO) | 1800.14 | 1801.15 |
SAT4J CSP 2.1.1 (complete) | 2064013 | ? (TO) | 1800.37 | 1810.79 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:25 0 38 1 9 5 6 42 9 40 20 18 5 17 2 0 23 19 8 42 16 21 30 11 43 1 24 29 25 7 26 34 26 42 27 32 35 10 28 14 26 30 11 30 41 23 18 42 3 5 16 11 24 29 38 16 12 20 44 1 44 22 9 17 6 43 33 6 40 15 3 42 21 19 38 41 27 43 35 2 37 16 3 19 41 40 4 29 17 37 10 3 1 15 39 34 41 8 27 38 40 40 22 11 10 8 17 27 29 33 13 37 21 24 32 13 20 32 37 42 10 41 4 11 39 0 36 11 36 5 4 13 19 40 4 20 21 24 6 41 15 35 44 31 5 28 21 32 4 37 44 8 34 2 12 34 13 1 2 13 36 0 12 30 38 31 3 36 17 15 6 17 14 29 38 43 22 15 30 43 32 6 31 36 16 43 24 2 14 39 16 36 12 7 19 36 15 37 13 27 37 8 0 21 22 8 0 5 0 19 26 44 18 8 6 39 31 26 2 7 20 25 30 15 14 35 20 30 5 20 28 44 20 25 44 42 32 35 24 33 12 3 39 34 36 9 17 23 12 13 4 7 9 28 17 33 10 34 31 2 1 16 43 15 24 4 8 40 20 33 41 10 2 11 40 9 29 29 38 42 24 22 25 7 6 0 1 35 11 39 42 7 16 33 8 4 35 31 27 10 22 30 7 23 44 19 44 0 18 36 23 0 12 29 32 14 31 34 10 40 42 43 9 33 19 2 23 34 3 30 11 40 36 5 28 39 20 7 13 38 37 29 39 10 18 18 14 33 44 12 41 14 4 25 38 7 31 22 24 28 26 6 28 4 17 11 35 25 31 9 12 38 35 39 33 37 26 28 32 5 43 21 1 14 31 23 14 3 41 2 39 18 1 26 43 10 8 3 5 37 7 8 4 1 3 0 2 8 2 1 7 9 9 1 2 1 7 9 1 7 3 3 5 1 9 5 7 8 2 2 6 5 4 6 0 0 9 3 8 5 9 0 4 8 6 8 3 9 3 3 2 3 5 0 8 6 9 8 6 9 0 9 0 9 1 5 8 9 2 1 5 1 1 7 1 5 1 4 8 4 6 0 9 2 0 7 6 9 0 4 4 1 6 2 4 0 1 6 3 6 0 8 4 0 0 7 3 2 3 5 9 7 7 9 1 4 3 8 5 0 2 8 0 6 5 9 8 8 1 2 5 5 3 5 8 2 2 0 3 2 7 6 7 2 7 6 5 9 4 3 4 4 8 7 8 4 2 2 9 1 3 2 5 9 5 5 6 7 8 5 6 4 8 5 9 2 7 0 7 3 3 8 4 5 1 1 1 6 1 2 9 4 2 7 1 0 9 2 7 7 1 8 3 9 3 0 5 4 6 5 3 1 5 9 0 8 0 1 1 6 4 1 2 4 4 7 9 1 5 5 3 9 1 0 8 3 6 1 8 4 3 2 3 3 9 1 5 9 1 0 3 0 8 9 6 2 8 7 6 8 8 7 6 3 3 2 2 3 0 1 9 1 0 2 4 5 2 1 7 2 4 1 8 5 5 7 4 4 9 9 5 8 8 0 5 1 2 8 9 5 0 6 1 2 5 0 2 4 1 6 3 0 7 7 5 9 9 1 9 9 4 0 9 9 4 5 1 9 0 3 5 6 2 1 5 1 6 9 3 0 9 6 6 6 7 2 2 7 3 4 7 7 7 9 2 3 3 2 2 1 0 7 2 9 7 7 0 3 1 7 0 3 3 7 3 0 2 7 7 6 8 0 7 0 7 0 3 7 3 3 0 0 3 7 7 7 3 8 8 8