Name | csp/compet02/ normalized-patat-02-comp-13.xml |
MD5SUM | 96388d2f788c0ec6e36289d5c4da0a58 |
Bench Category | Alldiff (alldiff) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 83.0484 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 800 |
Number of constraints | 30204 |
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 | 29954 |
Global constraints used (with number of constraints) | alldifferent(250) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Sugar v1.14.6+picosat (complete) | 2064184 | SAT | 83.0484 | 83.9878 |
Mistral 1.545 (complete) | 2064187 | SAT | 99.4889 | 99.5609 |
Abscon 112v4 AC (complete) | 2094319 | SAT | 1295.63 | 1302.02 |
Abscon 112v4 ESAC (complete) | 2094320 | SAT | 1450.94 | 1458.27 |
Concrete 2009-07-14 (complete) | 2064181 | ? (TO) | 1800.05 | 1800.73 |
bpsolver 09 (complete) | 2064188 | ? (TO) | 1800.08 | 1808.01 |
Concrete DC 2009-07-14 (complete) | 2064182 | ? (TO) | 1800.09 | 1802.52 |
Sugar v1.14.6+minisat (complete) | 2064185 | ? (TO) | 1800.11 | 1808.37 |
Choco2.1.1 2009-06-10 (complete) | 2064183 | ? (TO) | 1800.14 | 1812.29 |
Choco2.1.1b 2009-07-16 (complete) | 2115071 | ? (TO) | 1800.18 | 1805.4 |
SAT4J CSP 2.1.1 (complete) | 2064178 | ? (TO) | 1800.36 | 1804.67 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:26 38 23 19 27 6 35 3 32 16 17 35 24 31 10 14 17 19 15 12 22 4 2 8 39 36 37 43 4 11 40 15 12 0 9 21 42 5 7 9 13 6 31 8 31 27 4 4 25 1 39 4 21 7 32 42 18 39 43 6 16 7 2 0 3 20 44 38 3 9 13 17 40 33 25 2 22 1 4 4 10 24 5 9 32 6 33 7 5 8 9 7 5 44 9 12 6 35 4 31 1 5 19 9 42 10 2 34 27 6 39 42 26 25 27 39 8 1 2 9 23 11 20 10 6 12 3 42 40 29 18 41 10 3 37 14 11 10 12 11 23 17 3 43 10 14 43 15 23 34 5 21 30 17 18 16 13 19 30 0 14 30 5 24 15 16 12 16 20 7 16 21 14 18 29 17 28 35 29 42 18 28 17 22 24 3 3 9 27 30 20 29 35 2 20 19 29 6 19 16 14 0 13 30 18 22 20 25 21 30 17 33 27 4 0 13 0 23 20 22 0 26 18 27 21 24 35 14 1 29 24 19 36 28 32 4 29 25 2 26 26 7 30 10 41 26 8 15 8 10 19 5 33 16 11 18 34 27 41 27 30 2 28 29 25 36 8 38 38 19 26 42 30 14 28 32 32 34 25 1 28 8 35 23 11 15 35 32 17 33 27 26 30 32 15 18 36 38 15 21 13 11 22 12 21 20 6 37 2 19 37 1 40 31 22 8 14 41 13 33 24 38 38 15 37 25 37 33 12 28 11 20 28 34 7 21 31 28 16 31 13 23 41 39 38 12 40 44 43 44 26 9 5 24 22 33 17 25 26 41 42 41 31 42 43 34 3 14 41 23 40 22 36 39 41 37 2 34 34 0 31 13 40 36 44 40 43 44 18 44 36 39 24 33 32 21 3 7 11 43 1 6 7 5 9 5 1 2 9 9 5 5 8 6 5 1 9 1 2 7 1 4 3 0 4 2 0 5 1 6 3 7 2 9 4 5 6 9 4 2 9 9 1 6 4 1 0 6 6 5 9 9 6 8 2 7 1 5 4 6 7 6 4 5 8 1 3 4 4 6 8 6 4 9 0 9 4 9 5 8 9 7 0 9 7 4 1 9 7 5 1 5 3 4 3 5 8 7 2 3 4 6 3 0 0 0 5 3 6 3 6 8 9 8 7 1 9 1 0 5 6 5 8 6 1 0 9 4 8 8 7 6 8 6 4 9 8 3 4 4 4 2 5 6 4 0 3 4 1 6 1 7 3 3 4 3 4 7 5 0 6 4 4 1 3 6 9 0 6 3 8 8 8 9 1 0 4 3 5 2 3 1 4 3 9 1 3 8 3 1 3 3 0 1 4 9 9 7 4 4 5 6 3 0 2 0 2 1 4 8 8 4 4 7 1 1 4 8 9 6 3 5 5 8 2 3 4 2 3 6 4 8 4 3 4 3 0 9 7 4 2 1 9 1 2 6 7 1 1 2 0 8 7 5 9 8 4 0 3 5 7 6 6 4 3 6 8 7 2 2 8 3 2 3 7 8 1 5 5 6 0 3 6 0 7 8 9 3 1 6 2 7 6 6 6 6 9 9 9 1 7 2 9 6 9 7 0 6 8 6 3 8 6 5 2 4 4 0 6 3 6 3 8 0 8 4 9 8 1 8 1 0 5 0 7 3 8 9 1 7 5 3 8 3 5 3 5 0 1 7 3 7 5 5 5 5 7 7 0 7 9 1 9 1 8 1 7 7 9 9 2 7 3 7 4 7 2 9 7 7 0 0 0 8 8 9 9 9 0 2 0 0 0 0 0 0 0 0 0 0