Name | csp/compet02/ normalized-patat-02-comp-2.xml |
MD5SUM | bdbe2078ed8387e97052ed05a12c408b |
Bench Category | Alldiff (alldiff) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 63.8163 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 800 |
Number of constraints | 22714 |
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 | 22514 |
Global constraints used (with number of constraints) | alldifferent(200) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Sugar v1.14.6+picosat (complete) | 2064140 | SAT | 63.8163 | 64.2041 |
Mistral 1.545 (complete) | 2064143 | SAT | 186.724 | 186.796 |
Abscon 112v4 ESAC (complete) | 2094312 | SAT | 509.76 | 512.4 |
Sugar v1.14.6+minisat (complete) | 2064141 | SAT | 660.532 | 665.966 |
Abscon 112v4 AC (complete) | 2094311 | SAT | 742.12 | 745.886 |
Concrete 2009-07-14 (complete) | 2064137 | ? (TO) | 1800.01 | 1811.02 |
Concrete DC 2009-07-14 (complete) | 2064138 | ? (TO) | 1800.04 | 1812.92 |
Choco2.1.1 2009-06-10 (complete) | 2064139 | ? (TO) | 1800.1 | 1804.57 |
bpsolver 09 (complete) | 2064144 | ? (TO) | 1800.12 | 1801.92 |
Choco2.1.1b 2009-07-16 (complete) | 2115067 | ? (TO) | 1800.13 | 1805.58 |
SAT4J CSP 2.1.1 (complete) | 2064134 | ? (TO) | 1800.34 | 1807.86 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:23 8 11 9 6 10 6 5 8 1 2 43 11 12 7 0 3 1 2 12 4 21 0 23 21 29 42 6 2 31 41 40 3 16 2 37 18 35 11 37 7 20 5 0 5 9 44 3 8 38 25 44 10 42 6 17 7 8 36 2 41 9 7 10 0 42 22 11 5 11 12 14 2 14 13 4 32 7 4 34 26 13 4 39 5 44 12 20 13 23 16 16 1 30 9 2 15 9 14 12 2 17 22 5 6 5 29 10 40 29 28 6 36 12 38 5 26 19 6 15 14 17 11 6 42 3 15 24 40 7 3 23 17 43 15 18 19 10 12 20 8 17 9 14 36 18 10 2 13 15 9 21 25 19 20 8 0 1 22 12 11 10 12 43 31 13 32 5 8 15 18 4 16 0 16 27 17 44 17 7 14 14 30 31 18 35 42 23 1 29 34 39 25 15 28 33 33 9 1 20 17 22 39 21 21 22 3 16 17 35 24 27 26 14 15 26 25 36 8 8 18 19 19 24 44 20 19 22 20 29 21 21 22 43 23 3 24 25 19 14 20 23 27 28 25 6 14 13 19 22 24 33 24 28 28 30 25 32 27 29 24 27 1 30 28 31 28 26 33 11 21 29 31 25 32 32 12 13 0 26 30 30 33 39 36 34 15 29 35 35 37 27 34 36 40 38 10 11 39 31 28 24 31 34 31 18 30 36 13 32 28 33 3 37 25 35 20 1 25 27 43 23 41 4 4 26 32 17 37 37 33 4 35 19 40 41 1 37 38 36 24 30 21 34 2 16 40 5 38 36 16 38 27 39 32 40 0 32 42 29 38 20 41 35 27 3 7 40 39 38 43 27 31 7 24 26 23 33 42 38 43 10 34 26 13 4 41 9 44 37 10 42 34 4 18 38 41 40 39 43 2 7 9 1 6 3 5 9 0 2 5 5 4 5 4 7 9 4 1 1 6 0 8 5 2 6 9 4 9 6 3 0 6 5 7 0 8 8 3 4 6 1 1 6 0 9 1 0 9 6 2 5 8 6 8 7 0 3 2 4 2 5 2 9 4 2 8 8 4 6 0 3 0 0 2 0 7 8 7 8 0 0 9 8 2 2 6 8 8 4 2 1 7 3 6 3 5 0 5 8 2 9 2 6 0 3 8 0 8 3 5 9 3 7 8 7 5 5 1 0 1 3 2 7 8 4 7 0 3 7 3 1 2 8 4 2 8 1 3 7 2 8 8 9 5 1 2 6 5 2 2 5 9 2 6 4 0 5 6 2 0 6 4 4 1 7 6 8 8 8 7 8 7 1 3 4 6 8 4 3 2 4 5 0 4 2 0 3 0 9 1 5 0 9 6 7 0 7 6 9 5 4 2 6 3 3 1 8 0 0 2 6 9 6 3 8 5 6 1 6 6 1 6 9 9 5 4 1 4 4 9 8 9 1 0 2 4 3 9 7 2 6 0 9 4 3 8 6 3 0 8 5 6 4 2 7 6 2 9 2 1 3 8 0 1 3 7 7 6 7 4 1 4 1 0 1 9 9 2 1 4 2 8 0 1 7 1 7 5 9 9 8 3 8 9 0 7 1 7 8 8 7 7 0 5 0 1 7 1 3 0 4 7 2 7 4 3 1 8 7 0 8 7 1 3 2 4 1 8 7 3 2 1 7 7 9 3 3 4 4 5 6 1 2 8 0 5 5 5 0 4 1 5 9 8 4 5 5 4 5 7 0 0 3 1 8 1 2 4 2 2 2 2 5 3 3 7 2 3 3 3 4 4 4 4 4 4 4 4 5 5 5 5 5 5 9 5 6 6 6