Name | csp/compet08/ normalized-patat-08-comp-6.xml |
MD5SUM | 5ef5412c0ffa303b60f6d13c783c47df |
Bench Category | Alldiff (alldiff) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 116.03 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 800 |
Number of constraints | 39827 |
Maximum constraint arity | 24 |
Maximum domain size | 36 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 39527 |
Global constraints used (with number of constraints) | alldifferent(300) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Sugar v1.14.6+minisat (complete) | 2063976 | SAT | 116.03 | 117.289 |
Sugar v1.14.6+picosat (complete) | 2063975 | SAT | 156.986 | 158.719 |
Abscon 112v4 ESAC (complete) | 2094282 | SAT | 1318.21 | 1330.73 |
Concrete DC 2009-07-14 (complete) | 2063973 | ? (TO) | 1800.05 | 1812.32 |
bpsolver 09 (complete) | 2063979 | ? (TO) | 1800.05 | 1807.23 |
SAT4J CSP 2.1.1 (complete) | 2063969 | ? (TO) | 1800.07 | 1803.76 |
Concrete 2009-07-14 (complete) | 2063972 | ? (TO) | 1800.08 | 1808.52 |
Choco2.1.1 2009-06-10 (complete) | 2063974 | ? (TO) | 1800.1 | 1800.8 |
Mistral 1.545 (complete) | 2063978 | ? (TO) | 1800.12 | 1819.63 |
Choco2.1.1b 2009-07-16 (complete) | 2115052 | ? (TO) | 1800.16 | 1808.63 |
Abscon 112v4 AC (complete) | 2094281 | ? (TO) | 1800.18 | 1809.82 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:9 24 15 23 24 15 5 44 42 29 0 19 28 1 17 28 11 19 8 26 8 43 27 29 32 10 39 41 14 20 32 20 16 16 11 7 15 3 8 2 21 34 37 36 23 1 43 22 13 19 19 26 3 1 39 13 17 2 24 20 10 12 19 36 24 21 2 21 6 4 40 2 10 8 23 42 13 42 37 28 11 30 8 1 42 33 33 0 15 8 13 21 5 29 7 11 35 28 12 23 17 29 18 36 23 8 7 34 24 41 7 44 28 25 31 25 23 17 27 38 9 35 6 21 24 15 44 41 11 9 19 7 40 29 34 14 7 35 9 42 27 16 13 8 44 8 38 39 28 21 18 33 25 7 35 3 37 20 23 18 3 42 12 12 7 36 1 18 22 35 13 40 14 2 27 13 5 0 14 28 0 30 5 23 16 29 36 5 5 7 3 44 31 43 9 15 36 1 1 30 0 30 4 25 16 30 18 20 42 16 5 38 20 40 40 2 42 33 37 43 5 35 6 10 3 14 28 44 12 35 25 25 27 38 24 0 8 13 28 2 25 0 32 4 31 31 24 29 14 38 26 40 43 37 9 36 25 32 1 35 16 26 4 32 12 0 44 17 26 12 43 35 16 43 31 2 22 30 36 0 17 41 6 33 10 17 12 0 23 34 3 41 26 41 22 27 13 9 23 28 24 4 37 17 40 32 21 29 33 22 3 26 6 9 14 37 15 6 15 44 1 34 10 11 19 1 30 1 6 3 7 26 39 23 33 22 38 9 31 27 4 7 14 3 2 40 17 4 20 9 22 39 6 2 34 18 2 11 8 10 24 36 31 38 37 11 9 39 4 11 31 16 41 11 4 9 19 41 20 37 8 2 38 16 10 10 7 5 32 15 1 43 29 39 25 18 2 35 34 20 17 14 17 10 7 0 15 17 19 13 4 16 17 1 17 13 14 14 12 15 18 10 14 12 18 4 2 0 11 1 8 3 0 8 13 11 19 2 6 1 13 14 10 5 14 13 7 4 15 19 1 17 11 2 7 0 8 0 17 0 16 7 10 3 13 12 2 6 13 19 0 4 7 17 17 7 3 8 8 16 10 0 11 19 13 13 11 13 4 1 12 3 11 17 17 6 7 3 12 11 0 19 6 2 4 7 19 18 11 7 4 13 19 17 1 5 0 4 0 17 2 6 0 2 8 10 7 11 1 13 17 10 14 0 17 4 1 12 8 14 7 17 19 16 10 0 11 17 5 10 0 3 16 3 13 9 7 6 2 2 17 15 1 8 18 14 7 19 3 11 7 4 2 17 19 17 6 2 9 1 10 16 18 7 13 11 10 0 10 6 6 2 6 9 10 3 7 0 6 17 1 3 4 3 4 4 14 17 3 16 13 13 4 13 17 7 16 14 17 17 3 16 6 1 7 12 8 14 6 15 18 8 11 4 18 16 4 18 7 12 13 11 19 13 17 18 10 10 19 7 11 15 4 13 19 11 15 15 9 18 12 16 12 14 19 19 9 2 19 17 8 10 19 6 19 13 18 10 6 18 16 8 3 10 18 15 18 7 1 19 8 3 14 18 19 18 4 16 3 0 9 18 19 19 3 17 8 16 17 6 15 12 19 15 8 18 7 18 12 12 3 13 8 0 11 8 6 4 12 19 13 13 19 12 12 8 10 3 2 4 14 7 15 18 3 19 18 16 19 12 16 16 17 11 15 7 8 7 13 14 19 4 12 8 3 3 0 12 17 12 4 14 10 11 8 18 18 19 12 15 15 6 19 11 19 3 0 4 7 13 5 13 14 8 6 11 5 9 12 8