Name | csp/compet02/ normalized-patat-02-comp-16.xml |
MD5SUM | f584a0bdadad6a616787946f67b79e6d |
Bench Category | Alldiff (alldiff) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 98.933 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 880 |
Number of constraints | 44094 |
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 | 43874 |
Global constraints used (with number of constraints) | alldifferent(220) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Sugar v1.14.6+picosat (complete) | 2064151 | SAT | 98.933 | 99.5978 |
Mistral 1.545 (complete) | 2064154 | SAT | 207.516 | 209.489 |
Concrete DC 2009-07-14 (complete) | 2064149 | ? (TO) | 1800.01 | 1808.92 |
bpsolver 09 (complete) | 2064155 | ? (TO) | 1800.07 | 1808.13 |
Concrete 2009-07-14 (complete) | 2064148 | ? (TO) | 1800.09 | 1803.12 |
Sugar v1.14.6+minisat (complete) | 2064152 | ? (TO) | 1800.12 | 1803.3 |
Choco2.1.1b 2009-07-16 (complete) | 2115068 | ? (TO) | 1800.16 | 1812.9 |
Abscon 112v4 AC (complete) | 2094313 | ? (TO) | 1800.17 | 1805.79 |
Choco2.1.1 2009-06-10 (complete) | 2064150 | ? (TO) | 1800.18 | 1811.49 |
SAT4J CSP 2.1.1 (complete) | 2064145 | ? (TO) | 1800.18 | 1805.98 |
Abscon 112v4 ESAC (complete) | 2094314 | ? (TO) | 1800.21 | 1813.71 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:24 44 28 10 3 3 27 8 10 9 1 2 0 0 3 35 2 2 14 15 1 3 6 36 3 19 1 36 5 11 5 4 2 14 9 0 38 11 4 0 10 15 9 6 14 4 5 10 1 9 8 7 12 16 2 10 36 18 4 17 5 3 16 11 4 33 12 3 5 18 42 5 7 5 0 11 22 31 4 22 8 27 14 17 2 18 7 3 34 6 8 4 15 1 26 33 5 6 12 38 7 13 8 7 19 13 1 16 9 6 8 17 23 13 6 32 10 13 20 12 17 9 12 0 35 33 17 11 12 5 24 6 4 11 12 11 15 14 1 10 25 14 18 7 14 13 13 14 15 17 17 32 16 4 17 18 19 18 15 20 16 19 21 9 21 13 11 3 28 10 21 21 20 11 0 10 23 14 1 2 22 23 26 21 1 25 20 8 24 13 8 18 17 18 7 24 26 21 19 21 13 22 19 36 25 31 20 15 23 2 16 22 38 22 12 9 4 20 23 20 29 24 23 26 27 34 25 26 15 3 44 27 19 41 41 29 16 0 27 29 23 30 25 24 3 21 4 18 27 27 10 31 24 22 26 12 25 12 7 25 24 5 6 25 27 28 32 31 29 28 26 30 1 28 31 17 8 20 26 32 6 27 25 30 32 21 15 29 21 34 29 31 30 27 16 27 28 41 31 42 22 43 41 32 33 36 34 29 25 33 28 33 8 35 6 29 30 31 35 7 37 23 29 11 34 29 13 30 28 9 31 36 14 36 37 15 39 23 38 19 29 37 30 34 2 9 43 44 38 33 34 40 36 1 19 30 39 13 32 39 30 30 34 21 7 31 7 32 38 35 32 33 40 35 37 39 35 42 37 26 38 38 39 40 41 39 35 42 5 39 24 34 35 34 22 36 8 37 6 39 43 40 43 28 40 44 28 40 42 41 44 43 41 40 37 25 41 41 43 42 40 39 42 16 44 19 28 41 44 35 40 0 40 43 32 44 37 38 40 43 1 0 1 10 10 3 7 1 7 7 9 6 7 9 1 5 5 7 7 6 4 2 7 6 5 6 0 7 8 9 1 10 0 1 4 10 4 3 5 2 6 8 2 6 6 3 7 0 7 0 0 8 10 7 10 8 0 5 4 6 4 8 6 6 2 5 7 7 3 6 1 0 0 2 6 5 0 6 0 4 2 2 0 4 3 10 1 0 7 3 6 8 10 6 5 4 9 8 6 1 10 2 7 2 3 6 8 10 9 10 9 0 6 9 9 5 5 10 2 9 1 1 4 4 4 8 8 10 0 10 4 4 6 1 8 7 2 4 10 4 1 10 2 3 8 8 7 9 7 10 2 3 1 9 5 4 2 0 0 5 4 10 3 6 10 4 4 6 6 3 8 6 0 8 1 9 9 2 1 9 7 4 10 7 5 4 10 10 5 3 3 9 7 7 4 6 2 2 1 5 5 5 9 4 2 4 7 1 0 8 2 8 6 10 2 10 7 6 10 1 2 3 8 6 9 2 8 1 9 4 10 1 7 10 1 0 3 3 4 5 3 2 6 10 9 0 1 3 0 5 1 5 0 2 0 5 3 1 7 7 7 6 1 9 10 3 1 1 7 5 4 7 3 2 10 9 5 4 7 10 2 6 5 0 8 9 3 3 4 3 10 2 10 8 0 3 9 6 0 10 6 4 0 4 10 10 10 6 10 6 10 0 8 10 0 1 3 7 8 6 2 5 8 0 0 4 0 1 0 5 3 1 5 9 4 5 3 2 9 5 9 3 9 5 4 3 0 1 5 1 9 2 5 2 8 5 5 1 0 10 4 6 4 1 9 8 5 9 10 6 7 7 1 7 10 9 1 0 9 3 3 2 1 0 9 6 0 5 5 0 2 1 2 6 1 2 4 5 5 7 7 7 8 8 3 2 7 8 6 2 9 6 8 9 1 0 4 3 3 4 4 4 8 5 4 4 4 5 5 3 10 5 5 5 6 6 6 0 6 10