Name | csp/compet02/ normalized-patat-02-comp-18.xml |
MD5SUM | 7009ab8b0625ac3b74cd8e0d86a590c4 |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 58.7711 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 800 |
Number of constraints | 17910 |
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 | 17710 |
Global constraints used (with number of constraints) | alldifferent(200) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Sugar v1.13+picosat | 1058231 | SAT | 58.7711 | 59.6751 |
Mistral-prime 1.313 | 1058237 | SAT | 87.3817 | 87.4191 |
cpHydra k_10 | 1058242 | SAT | 98.957 | 100.175 |
Abscon 112v4 AC | 1058240 | SAT | 642.684 | 642.996 |
cpHydra k_40 | 1058243 | SAT | 671.211 | 672.843 |
Abscon 112v4 ESAC | 1058241 | SAT | 812.173 | 813.704 |
Mistral-option 1.314 | 1058236 | SAT | 974.014 | 979.898 |
Minion/Tailor 2008-07-04 | 1105367 | ? (TO) | 1800.03 | 1806.81 |
casper zito | 1058239 | ? (TO) | 1800.03 | 1812.03 |
MDG-probe 2008-06-27 | 1058228 | ? (TO) | 1800.07 | 1816.32 |
Sugar v1.13+minisat | 1058232 | ? (TO) | 1800.07 | 1812.03 |
bpsolver 2008-06-27 | 1058233 | ? (TO) | 1800.09 | 1816.61 |
casper zao | 1058238 | ? (TO) | 1800.09 | 1808.88 |
choco2_impwdeg 2008-06-26 | 1058234 | ? (TO) | 1800.1 | 1808.87 |
MDG-noprobe 2008-06-27 | 1058229 | ? (TO) | 1800.11 | 1810.72 |
choco2_dwdeg 2008-06-26 | 1058235 | ? (TO) | 1800.18 | 1815.39 |
SAT4J CSP 2008-06-13 | 1058230 | ? (TO) | 1800.26 | 1807.31 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:17 26 27 0 35 27 14 36 36 9 1 9 2 4 1 5 10 36 11 28 11 4 2 19 16 0 5 7 24 16 18 6 40 14 0 17 19 17 1 5 29 30 20 2 4 33 33 13 5 23 37 6 42 3 2 0 34 3 24 32 12 5 6 39 3 35 40 1 1 3 19 7 23 7 0 17 2 6 24 9 36 0 37 35 14 4 6 4 3 18 2 37 6 44 16 38 8 0 2 9 21 21 17 37 2 14 15 7 3 9 7 6 9 31 19 22 18 31 36 44 27 40 8 7 34 42 6 0 34 18 3 44 8 4 5 41 23 9 36 43 11 8 12 28 29 15 23 0 11 24 32 1 10 1 11 6 12 18 9 16 10 25 2 26 37 7 9 12 4 24 17 10 19 15 10 18 13 10 21 29 11 22 10 43 7 24 36 7 12 8 13 28 34 0 35 40 17 11 13 23 15 28 1 3 25 11 10 35 20 12 15 10 8 25 7 33 12 13 30 10 5 33 21 12 13 15 3 39 1 39 26 28 28 13 8 14 23 15 16 32 27 17 16 44 30 31 21 19 17 19 19 16 29 11 22 6 5 24 25 21 16 37 14 38 28 33 12 34 15 42 41 5 42 38 21 18 33 41 20 44 8 15 25 13 20 19 31 29 24 15 16 27 33 34 31 22 39 30 25 27 32 28 25 26 30 1 29 20 40 16 30 24 27 4 22 44 20 35 38 18 21 31 23 14 25 40 26 21 34 39 38 13 40 14 29 20 18 43 41 36 22 27 2 39 30 31 8 25 31 34 22 43 26 33 23 21 37 32 22 27 39 23 38 40 34 31 42 40 43 42 35 18 32 32 22 26 30 44 41 37 44 42 39 33 38 41 20 35 42 43 43 5 38 17 40 20 27 41 26 43 8 6 4 2 3 0 2 7 2 1 6 6 9 1 2 2 7 9 1 7 6 3 2 1 9 5 7 8 2 2 7 5 4 6 4 0 9 3 8 5 9 0 0 7 6 7 3 9 3 3 2 3 5 8 8 3 9 6 6 9 3 9 0 9 1 5 8 9 1 2 5 4 1 7 1 5 1 4 8 2 6 0 9 9 0 7 6 9 0 4 4 1 9 2 4 0 1 6 3 3 0 8 4 0 0 7 8 2 3 5 9 7 7 9 0 4 0 6 5 0 2 6 0 3 5 9 8 8 1 1 5 5 3 5 8 2 0 0 3 2 7 6 8 2 7 6 5 9 4 3 1 4 8 7 8 1 2 2 9 1 3 0 5 9 5 5 8 7 8 5 6 4 8 5 9 6 8 0 7 3 3 8 2 5 1 1 1 6 9 9 6 4 2 7 2 0 9 2 7 8 2 8 3 9 3 0 5 4 6 5 3 1 5 9 0 8 0 1 1 6 4 1 2 4 4 7 7 1 5 5 3 9 1 0 8 3 6 4 6 4 9 2 3 3 9 1 5 2 1 4 3 0 8 9 6 2 6 7 6 6 8 7 8 6 3 2 1 3 0 1 9 1 2 2 4 5 5 1 8 1 4 1 8 5 5 7 4 4 9 9 5 8 6 0 5 1 2 8 2 5 0 6 1 2 5 0 2 4 1 7 3 0 7 2 5 9 9 1 9 9 1 0 9 9 4 5 1 9 6 3 5 3 2 1 5 1 8 9 3 0 9 6 6 6 7 2 2 7 3 4 7 7 7 9 2 3 3 2 2 1 0 7 1 9 7 7 4 3 1 7 0 3 3 7 3 0 2 7 7 8 8 0 7 0 7 0 3 7 3 3 0 0 3 7 7 7 3 8 8 8