Name | csp/compet02/ normalized-patat-02-comp-4.xml |
MD5SUM | 9d111ad847d28c529e11463744b5c0db |
Bench Category | Alldiff (alldiff) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 58.6201 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 800 |
Number of constraints | 35311 |
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 | 35011 |
Global constraints used (with number of constraints) | alldifferent(300) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral 1.545 (complete) | 2064066 | SAT | 58.6201 | 59.1841 |
Sugar v1.14.6+picosat (complete) | 2064063 | SAT | 102.104 | 103.345 |
Sugar v1.14.6+minisat (complete) | 2064064 | SAT | 965.11 | 974.477 |
Concrete 2009-07-14 (complete) | 2064060 | ? (TO) | 1800.05 | 1801.24 |
bpsolver 09 (complete) | 2064067 | ? (TO) | 1800.06 | 1814.52 |
Choco2.1.1b 2009-07-16 (complete) | 2115060 | ? (TO) | 1800.08 | 1800.87 |
Concrete DC 2009-07-14 (complete) | 2064061 | ? (TO) | 1800.08 | 1814.84 |
Abscon 112v4 ESAC (complete) | 2094298 | ? (TO) | 1800.13 | 1814.67 |
Choco2.1.1 2009-06-10 (complete) | 2064062 | ? (TO) | 1800.14 | 1802.09 |
Abscon 112v4 AC (complete) | 2094297 | ? (TO) | 1800.21 | 1815.51 |
SAT4J CSP 2.1.1 (complete) | 2064057 | ? (TO) | 1800.33 | 1807.16 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:28 39 41 6 41 43 37 14 34 17 40 41 32 26 28 1 32 11 22 5 7 3 34 37 11 30 35 22 29 31 28 24 18 34 40 40 26 4 33 39 4 5 44 25 13 19 29 12 5 34 40 1 19 35 5 31 13 19 33 36 26 9 16 22 15 13 10 22 3 40 2 42 5 44 4 29 37 6 13 0 30 17 1 9 3 34 21 18 40 4 33 9 5 25 29 20 16 17 22 7 11 1 8 1 41 3 34 37 32 37 21 26 42 43 39 27 19 12 25 43 20 36 10 23 40 24 0 29 43 18 34 9 14 11 29 0 32 3 41 31 15 23 28 16 18 33 27 19 6 30 43 17 16 30 3 20 36 2 6 4 39 1 38 33 44 32 27 15 19 18 42 44 23 18 6 37 35 42 18 20 12 35 8 16 39 41 37 10 33 12 42 40 28 30 33 19 7 37 3 31 42 38 31 41 1 5 23 6 24 31 27 20 2 25 17 8 42 23 40 10 7 31 0 13 38 17 44 34 40 16 24 24 41 25 42 41 44 29 16 36 32 29 0 2 13 27 13 12 10 0 26 33 32 8 39 16 38 34 5 7 9 9 44 28 32 14 8 35 39 23 25 21 44 17 42 15 20 29 43 43 7 34 3 14 1 0 2 8 26 9 12 10 38 35 0 12 7 28 27 33 4 15 15 36 2 38 28 2 36 25 3 12 26 8 11 5 27 22 8 11 14 35 4 6 0 36 15 32 39 2 38 13 30 24 7 31 43 37 2 4 21 35 24 35 12 43 30 19 1 21 30 26 15 7 8 3 18 4 21 11 13 0 28 14 24 38 8 18 20 26 10 36 35 25 11 36 43 2 27 27 6 9 17 14 20 10 1 38 39 14 42 16 6 23 16 37 25 10 31 44 9 1 7 1 1 7 4 7 5 8 5 3 7 0 4 4 3 7 5 3 4 7 1 9 3 3 9 4 2 9 2 5 5 7 4 8 5 0 1 2 1 2 1 7 5 5 7 3 4 3 2 6 1 7 9 4 7 6 0 3 1 1 2 3 7 4 1 9 9 6 6 1 1 0 3 5 5 3 2 7 9 2 0 9 6 9 4 4 7 7 8 4 8 1 6 5 5 1 1 1 8 1 1 5 8 8 6 6 9 2 1 4 8 0 0 2 0 6 5 6 9 8 0 9 1 8 8 8 5 6 8 6 4 1 1 2 4 2 9 5 3 0 5 0 9 6 7 9 7 8 3 0 6 5 0 1 0 4 4 6 7 7 3 7 4 0 3 1 4 1 5 9 1 3 9 0 5 7 0 4 1 0 0 4 9 0 1 2 4 4 2 9 7 4 2 8 6 7 4 3 6 9 2 4 9 0 3 0 0 1 9 3 0 4 4 5 3 4 0 4 3 6 1 9 2 3 7 2 3 7 9 1 2 6 4 6 6 9 1 1 8 4 0 5 1 8 6 2 3 5 6 9 5 9 8 3 7 0 7 2 3 7 2 8 6 0 2 6 4 2 9 3 8 9 9 4 0 3 1 2 5 4 5 3 2 3 1 7 9 2 0 7 8 8 6 9 7 0 1 3 2 0 8 7 7 4 3 3 4 2 3 7 7 8 2 5 0 8 4 9 6 2 4 6 4 2 9 1 3 9 0 8 1 3 8 7 8 3 2 9 2 1 6 4 8 9 7 3 8 8 6 2 6 9 3 1 8 8 9 4 3 9 1 2 4 1 6 2 6 3 8 6 3 3 6 9 4 8 4 6 5 8 5 8 8 9 3 6 6 1 0 9 8 8 8 8 8 6 8 3