Name | csp/compet02/ normalized-patat-02-comp-6.xml |
MD5SUM | 4557782171b25598d03a057775c7d656 |
Bench Category | Alldiff (alldiff) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 53.1189 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 700 |
Number of constraints | 45572 |
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 | 45272 |
Global constraints used (with number of constraints) | alldifferent(300) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral 1.545 (complete) | 2064088 | SAT | 53.1189 | 53.6177 |
Sugar v1.14.6+picosat (complete) | 2064085 | SAT | 111.098 | 114.998 |
Concrete 2009-07-14 (complete) | 2064082 | ? (TO) | 1800.05 | 1816.03 |
bpsolver 09 (complete) | 2064089 | ? (TO) | 1800.07 | 1816.82 |
Concrete DC 2009-07-14 (complete) | 2064083 | ? (TO) | 1800.1 | 1801.22 |
Choco2.1.1b 2009-07-16 (complete) | 2115062 | ? (TO) | 1800.13 | 1810.81 |
Choco2.1.1 2009-06-10 (complete) | 2064084 | ? (TO) | 1800.13 | 1802.53 |
SAT4J CSP 2.1.1 (complete) | 2064079 | ? (TO) | 1800.14 | 1810.4 |
Abscon 112v4 AC (complete) | 2094301 | ? (TO) | 1800.15 | 1801.03 |
Abscon 112v4 ESAC (complete) | 2094302 | ? (TO) | 1800.17 | 1813.68 |
Sugar v1.14.6+minisat (complete) | 2064086 | ? (TO) | 1800.21 | 1809.21 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:38 43 22 41 22 14 0 13 39 16 42 35 19 19 31 7 37 7 9 18 1 4 35 39 11 16 5 5 0 44 40 4 26 25 15 35 9 41 41 42 8 39 31 26 17 20 14 12 40 7 4 13 23 18 11 32 27 15 1 42 43 30 36 28 21 13 11 8 8 20 44 42 22 4 31 42 40 34 42 32 41 36 16 30 41 10 26 27 15 41 43 38 3 20 12 27 8 35 7 4 41 44 4 4 17 22 21 5 44 18 42 16 3 7 12 8 29 17 39 34 3 2 5 3 28 33 2 39 32 9 34 39 42 5 19 25 6 1 21 15 9 40 4 18 7 27 38 36 30 43 43 1 39 35 23 35 44 2 0 0 6 2 24 33 38 32 12 19 18 34 34 29 6 15 23 8 26 15 24 40 14 7 37 16 11 2 30 30 17 22 8 37 29 4 38 26 37 38 0 32 34 28 1 44 23 16 2 10 42 25 13 43 10 23 14 13 6 6 19 9 24 0 29 32 25 1 22 29 36 31 33 27 2 8 21 10 17 34 23 42 24 15 36 9 37 6 39 1 18 12 25 44 28 9 16 30 19 18 23 37 0 24 28 1 3 36 6 1 20 30 1 2 3 36 18 28 0 31 43 27 10 7 3 33 14 37 2 37 40 40 11 30 10 38 22 26 6 29 25 24 32 14 14 35 5 12 11 14 3 43 28 43 36 17 44 33 30 20 0 3 43 37 34 40 3 39 33 20 10 11 38 13 11 35 6 29 10 40 13 33 4 36 9 5 41 32 44 38 2 21 0 0 3 5 0 5 8 3 9 2 1 4 2 3 6 1 4 0 7 5 3 3 9 0 0 9 3 9 1 2 5 8 2 7 6 6 2 3 4 2 2 6 0 3 3 1 0 6 6 2 1 0 0 2 5 0 5 9 0 9 1 5 3 6 9 2 6 3 8 2 8 5 6 4 9 3 3 7 4 1 0 5 5 2 9 2 6 0 2 2 8 8 4 6 9 2 7 3 3 7 6 1 5 0 5 2 5 2 5 3 7 0 5 9 8 5 7 0 5 4 8 4 6 7 9 7 8 3 2 9 5 8 0 5 6 3 8 5 3 3 8 4 6 7 6 1 5 9 6 7 3 1 2 2 3 5 6 9 5 2 7 5 3 3 7 8 5 7 0 8 6 9 1 0 6 9 5 1 0 2 8 8 8 6 2 1 8 7 7 5 6 2 5 2 9 0 6 1 9 3 3 5 4 0 9 3 6 8 8 6 1 2 6 7 6 8 6 0 1 5 2 3 3 7 0 7 7 8 7 5 2 3 0 0 0 0 2 1 5 6 6 5 2 3 5 3 4 2 9 3 5 4 2 0 8 3 5 1 2 3 4 5 0 6 3 1 2 8 5 4 9 2 9 6 6 3 0 1 5 6 7 5 6 6 1 7 7 9 0 1 8 1 5 6 1 9 9 4 2 8 6 2 9 1 8 0 7 3 1 4 1 9 0 6 3 5 0 3 6 0 6 0 9 8 2 1 4 0 3 9 4 6 3 7 5 6 1 9 5 0 9 4 6 0 8 5 7 2 3 6