Name | csp/compet02/ normalized-patat-02-comp-20.xml |
MD5SUM | be35789960256c589543366605c747b5 |
Bench Category | Alldiff (alldiff) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 109.014 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 700 |
Number of constraints | 46582 |
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 | 46282 |
Global constraints used (with number of constraints) | alldifferent(300) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Sugar v1.14.6+picosat (complete) | 2064162 | SAT | 109.014 | 253.814 |
Mistral 1.545 (complete) | 2064165 | SAT | 141.142 | 142.449 |
Sugar v1.14.6+minisat (complete) | 2064163 | SAT | 1074.25 | 1087.16 |
Concrete DC 2009-07-14 (complete) | 2064160 | ? (TO) | 1800 | 1810.02 |
bpsolver 09 (complete) | 2064166 | ? (TO) | 1800.08 | 1804.83 |
Concrete 2009-07-14 (complete) | 2064159 | ? (TO) | 1800.09 | 1803.52 |
SAT4J CSP 2.1.1 (complete) | 2064156 | ? (TO) | 1800.16 | 1814.39 |
Abscon 112v4 AC (complete) | 2094315 | ? (TO) | 1800.16 | 1805.88 |
Choco2.1.1b 2009-07-16 (complete) | 2115069 | ? (TO) | 1800.18 | 1808.21 |
Choco2.1.1 2009-06-10 (complete) | 2064161 | ? (TO) | 1800.19 | 1816.3 |
Abscon 112v4 ESAC (complete) | 2094316 | ? (TO) | 1800.22 | 1814.12 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:16 21 0 0 37 19 18 39 22 18 20 11 8 11 31 22 5 37 9 20 1 3 6 42 30 8 5 0 26 11 0 6 7 1 5 35 15 5 2 2 7 23 8 37 10 1 35 36 7 5 8 7 10 3 8 34 9 11 15 4 13 12 5 2 0 5 3 29 30 29 4 4 25 6 8 12 19 42 4 13 28 22 2 24 32 7 1 38 4 10 28 14 13 11 12 3 9 6 14 13 25 16 1 17 8 14 1 15 14 34 15 16 29 41 33 27 0 10 17 20 36 5 6 3 0 18 24 24 9 43 14 7 1 18 7 13 35 33 10 4 20 13 17 2 21 3 18 1 19 10 30 44 12 38 22 16 17 19 29 24 23 20 4 4 6 16 24 9 21 23 29 14 18 16 11 23 20 11 44 12 43 21 11 20 22 24 17 30 19 21 27 23 20 25 31 23 25 24 25 23 10 3 26 3 27 12 19 28 25 19 13 23 28 21 29 29 44 31 26 2 32 25 26 30 25 22 28 30 31 32 31 15 31 36 33 26 42 9 29 34 26 30 16 2 33 8 32 8 16 34 28 32 12 9 31 33 34 5 35 34 22 37 36 34 35 15 36 38 32 39 40 31 25 13 27 14 22 33 37 38 26 37 36 43 33 39 15 35 35 34 24 9 14 38 36 2 6 44 40 33 38 37 38 37 39 40 31 38 16 39 37 18 40 41 3 41 10 44 40 41 40 41 43 40 21 1 42 27 42 41 42 4 39 43 32 43 43 42 21 43 44 44 43 44 42 26 30 18 35 27 4 8 2 4 8 2 6 2 6 7 8 8 5 3 5 8 2 4 8 9 3 8 6 7 3 2 1 5 5 4 3 8 9 5 6 5 5 4 6 8 4 1 4 7 6 8 6 4 0 3 1 2 8 1 8 3 3 0 4 0 5 5 8 2 9 5 9 8 1 4 7 9 9 0 9 4 3 8 6 0 4 9 7 4 2 6 9 2 3 9 2 8 6 2 9 7 7 9 4 4 0 9 7 9 0 5 4 3 9 9 1 8 0 2 8 8 8 7 5 7 9 7 5 5 6 2 3 5 0 8 2 5 0 3 3 7 4 4 0 8 2 2 4 5 3 4 9 6 5 4 7 6 2 4 3 3 2 0 5 6 0 5 5 4 2 5 7 9 1 3 3 6 5 2 5 6 1 6 4 6 6 2 9 6 4 2 3 0 9 9 2 4 4 4 6 8 3 8 5 5 3 0 2 6 9 1 8 5 1 4 3 2 8 7 2 1 7 0 8 4 3 8 1 8 7 1 9 5 9 5 1 2 8 8 2 7 2 2 9 2 4 2 7 3 7 7 4 3 6 4 3 7 3 6 2 5 6 9 2 7 5 2 5 5 3 7 0 7 8 4 9 4 2 8 4 7 2 0 6 3 3 5 3 4 9 7 9 8 0 8 0 4 3 1 2 9 3 2 5 3 9 3 8 1 3 8 3 5 0 8 9 8 2 5 2 9 2 8 7 8 4 3 1 0 4 2 6 5 9 4 4 2 9 2 9 5 3 3 0 0 1 9 9 5 5 9 9 4 9 1