Name | csp/compet08/ normalized-patat-08-comp-14.xml |
MD5SUM | 872c261f2ab1a686494df34522240c16 |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 143.661 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 400 |
Number of constraints | 1599 |
Maximum constraint arity | 15 |
Maximum domain size | 26 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 1114 |
Global constraints used (with number of constraints) | alldifferent(485) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral-prime 1.313 | 1058077 | SAT | 143.661 | 144.228 |
Sugar v1.13+picosat | 1058071 | SAT | 168.193 | 169.933 |
Mistral-option 1.314 | 1058076 | SAT | 233.838 | 236.078 |
cpHydra k_10 | 1058082 | SAT | 726.095 | 726.412 |
cpHydra k_40 | 1058083 | SAT | 733.155 | 735.068 |
MDG-noprobe 2008-06-27 | 1058069 | ? (TO) | 1800.02 | 1819.51 |
MDG-probe 2008-06-27 | 1058068 | ? (TO) | 1800.03 | 1808.61 |
Sugar v1.13+minisat | 1058072 | ? (TO) | 1800.03 | 1807.65 |
bpsolver 2008-06-27 | 1058073 | ? (TO) | 1800.04 | 1806.91 |
casper zito | 1058079 | ? (TO) | 1800.05 | 1807.42 |
choco2_dwdeg 2008-06-26 | 1058075 | ? (TO) | 1800.07 | 1809.03 |
choco2_impwdeg 2008-06-26 | 1058074 | ? (TO) | 1800.08 | 1801.07 |
casper zao | 1058078 | ? (TO) | 1800.1 | 1808.12 |
Minion/Tailor 2008-07-04 | 1105383 | ? (TO) | 1800.11 | 1804.51 |
Abscon 112v4 ESAC | 1058081 | ? (TO) | 1800.12 | 1822.55 |
Abscon 112v4 AC | 1058080 | ? (TO) | 1800.16 | 1814.97 |
SAT4J CSP 2008-06-13 | 1058070 | ? (TO) | 1800.18 | 1807.04 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:11 26 13 41 15 32 8 26 6 24 40 44 17 16 17 22 27 37 31 15 11 14 4 31 9 3 44 14 24 7 32 8 17 39 25 10 11 0 9 2 27 19 13 5 34 36 29 13 1 35 17 25 38 30 16 12 18 8 4 10 26 10 22 16 39 22 7 5 13 21 35 20 28 32 37 35 8 23 9 2 10 14 29 28 0 18 2 8 41 26 22 1 0 9 26 8 38 15 8 16 34 43 18 11 37 21 0 2 41 28 43 5 35 5 2 15 33 25 12 34 3 34 31 1 6 9 26 32 12 13 24 4 5 23 30 4 0 5 0 28 8 1 19 20 30 8 7 14 21 18 9 5 8 40 10 6 0 0 6 17 17 2 42 25 4 31 16 4 13 3 19 42 44 40 3 44 6 19 27 22 42 13 11 13 20 33 3 18 7 30 39 8 36 1 43 38 23 21 20 30 3 14 15 1 1 16 15 8 12 9 5 8 12 17 17 9 5 0 19 8 2 1 9 16 11 4 2 0 12 15 9 11 0 14 5 8 8 17 12 17 12 17 1 9 1 13 2 8 7 5 8 12 17 12 7 0 5 10 11 0 9 10 1 5 19 0 5 17 3 5 10 13 8 10 5 8 14 5 1 13 2 7 17 5 16 11 6 3 0 1 6 5 7 5 7 4 13 3 2 4 15 1 0 0 1 14 2 4 2 6 5 13 16 5 15 4 5 2 15 19 9 4 4 6 5 8 5 0 2 10 4 1 15 17 19 0 9 2 6 11 0 12 14 8 2 12 2 9 4 6 9 14 1 4 9 1 11 0 11 13 5 19 7 8 17 0 8 2 7 5 7 12 5 1 12 9 17 8 9 8 15 0 19 13 0 8 3 15 8 8 5 9 17 0 7 5 2 7 19 1