Name | csp/compet02/ normalized-patat-02-comp-19.xml |
MD5SUM | 88348dabf1de3aab78e1de9f2b35d337 |
Bench Category | Alldiff (alldiff) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 149.487 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 800 |
Number of constraints | 64077 |
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 | 63777 |
Global constraints used (with number of constraints) | alldifferent(300) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Sugar v1.14.6+picosat (complete) | 2064118 | SAT | 149.487 | 151.473 |
Mistral 1.545 (complete) | 2064121 | SAT | 297.758 | 299.466 |
Sugar v1.14.6+minisat (complete) | 2064119 | ? (MO) | 1661.21 | 1674.47 |
Concrete DC 2009-07-14 (complete) | 2064116 | ? (TO) | 1800 | 1805.84 |
bpsolver 09 (complete) | 2064122 | ? (TO) | 1800.07 | 1813.53 |
Concrete 2009-07-14 (complete) | 2064115 | ? (TO) | 1800.08 | 1808.22 |
SAT4J CSP 2.1.1 (complete) | 2064112 | ? (TO) | 1800.13 | 1807.89 |
Abscon 112v4 AC (complete) | 2094307 | ? (TO) | 1800.14 | 1802.73 |
Abscon 112v4 ESAC (complete) | 2094308 | ? (TO) | 1800.14 | 1803.83 |
Choco2.1.1b 2009-07-16 (complete) | 2115065 | ? (TO) | 1800.15 | 1809.12 |
Choco2.1.1 2009-06-10 (complete) | 2064117 | ? (TO) | 1800.17 | 1809.95 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:36 5 25 38 7 22 17 32 1 43 12 37 22 41 28 23 11 43 42 6 7 44 30 3 3 40 44 14 19 4 3 5 20 26 1 33 8 22 6 0 1 30 33 30 29 10 0 1 0 12 5 15 4 42 40 8 5 5 13 17 44 6 1 12 0 7 2 12 41 14 6 2 1 6 35 0 16 34 26 18 25 40 12 4 24 0 11 22 5 20 4 42 16 36 2 27 37 4 7 34 14 9 31 27 29 32 14 9 6 4 38 25 10 17 4 32 41 18 33 8 13 10 21 7 7 37 8 39 27 7 32 7 11 42 11 16 15 19 12 14 10 16 13 20 17 26 20 13 17 10 40 14 39 15 12 27 36 24 14 10 8 0 19 23 15 33 23 16 37 38 23 1 20 34 20 1 11 19 15 21 16 11 18 36 8 4 43 30 30 22 39 14 21 6 29 13 20 1 5 15 33 29 6 29 21 21 2 22 42 19 2 17 28 24 25 24 19 0 18 35 26 22 29 31 3 34 26 27 28 24 0 4 39 26 23 2 22 27 32 10 28 39 25 4 25 16 32 34 27 24 6 17 41 11 26 2 28 38 12 18 3 31 11 22 41 36 2 10 15 8 30 28 33 39 3 13 30 19 30 24 31 23 36 39 31 17 44 13 26 31 32 14 9 32 27 33 16 18 19 29 5 16 33 2 9 33 23 43 19 35 38 35 5 3 22 11 0 15 35 9 27 35 36 11 44 31 21 30 31 18 38 18 36 30 9 29 15 35 20 43 40 38 40 1 13 34 31 3 41 8 35 37 28 38 9 35 44 23 23 41 39 36 29 25 35 8 28 5 9 42 44 21 32 21 36 8 40 9 7 43 25 37 43 6 20 43 18 24 12 43 10 34 39 24 37 42 3 21 44 17 4 7 7 3 3 8 7 5 2 7 1 8 2 7 2 8 5 4 7 6 6 4 4 6 9 3 2 0 7 1 2 3 8 8 1 2 2 4 8 9 9 0 8 1 3 0 8 8 0 6 2 2 2 8 7 8 6 4 3 6 6 2 3 7 4 0 4 3 4 1 7 8 4 5 8 1 5 2 1 8 1 9 4 9 6 3 8 0 9 7 7 4 3 3 7 0 6 6 7 7 8 0 7 8 8 0 4 4 0 5 4 2 3 2 8 7 2 7 1 5 7 6 0 5 8 7 6 9 3 4 3 2 7 3 4 7 6 2 5 6 4 8 8 6 0 2 1 6 3 9 4 3 6 3 2 1 0 7 7 2 1 7 3 3 4 6 9 9 4 2 4 7 4 4 2 6 3 6 1 8 0 6 2 7 3 4 8 8 3 3 1 2 3 3 4 0 5 0 5 8 0 0 4 9 5 6 0 1 2 0 3 1 1 3 4 8 8 2 0 0 3 6 7 8 0 6 0 7 4 0 5 3 3 7 0 5 5 6 2 8 6 0 6 0 3 6 6 8 2 9 9 5 5 2 6 2 9 1 8 4 1 9 9 7 6 2 9 7 5 4 5 8 7 4 4 5 9 4 2 1 6 6 5 7 0 4 7 4 4 1 8 9 5 4 5 4 4 3 5 6 1 2 5 6 8 3 1 2 1 4 7 5 0 8 9 0 6 7 6 2 4 7 8 1 8 4 4 6 3 6 6 5 6 7 6 1 0 3 3 1 8 0 2 5 2 3 2 7 8 9 9 3 7 8 7 1 1 2 7 3 8 9 2 5 2 0 3 8 9 1 5 7 1 1 1 7 6 3 1 6 8 0 0 1 9 3 9 4 9 9 1 1 2 2 2 6 3 2 3 8