Name | csp/costasArray/ normalized-costasArray-19.xml |
MD5SUM | 1f48dd964e65e46ae9ae01e392c8ce73 |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 270.332 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 187 |
Number of constraints | 186 |
Maximum constraint arity | 19 |
Maximum domain size | 36 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 169 |
Global constraints used (with number of constraints) | alldifferent(17) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
casper zao | 1043258 | SAT | 270.332 | 270.496 |
choco2_impwdeg 2008-06-26 | 1041222 | SAT | 293.928 | 296.675 |
MDG-probe 2008-06-27 | 1041216 | SAT | 1103.56 | 1104.98 |
Mistral-option 1.314 | 1041224 | ? (TO) | 1800.02 | 1807.21 |
casper zito | 1043887 | ? (TO) | 1800.04 | 1805.71 |
Sugar v1.13+minisat | 1041220 | ? (TO) | 1800.04 | 1801.92 |
MDG-noprobe 2008-06-27 | 1041217 | ? (TO) | 1800.05 | 1802.01 |
bpsolver 2008-06-27 | 1041221 | ? (TO) | 1800.05 | 1800.91 |
Sugar v1.13+picosat | 1041219 | ? (TO) | 1800.05 | 1802.02 |
cpHydra k_40 | 1046403 | ? (TO) | 1800.07 | 1816.04 |
Minion/Tailor 2008-07-04 | 1104586 | ? (TO) | 1800.07 | 1813.71 |
Mistral-prime 1.313 | 1041225 | ? (TO) | 1800.08 | 1806.91 |
cpHydra k_10 | 1045774 | ? (TO) | 1800.1 | 1831.44 |
Abscon 112v4 AC | 1044516 | ? (TO) | 1800.14 | 1801.24 |
choco2_dwdeg 2008-06-26 | 1041223 | ? (TO) | 1800.14 | 1807.67 |
Abscon 112v4 ESAC | 1045145 | ? (TO) | 1800.15 | 1812.55 |
SAT4J CSP 2008-06-13 | 1041218 | ? (TO) | 1800.19 | 1805.82 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:7 18 8 12 13 9 2 16 1 11 5 14 17 4 10 15 6 3 19 -11 10 -4 -1 4 7 -14 15 -10 6 -9 -3 13 -6 -5 9 3 -16 -1 6 -5 3 11 -7 1 5 -4 -3 -12 10 7 -11 4 12 -13 -5 5 -1 10 -3 8 -9 11 -13 -6 1 4 2 -2 7 -4 -6 9 6 -4 12 -2 -3 2 -16 7 -5 -1 11 1 -9 -2 16 -8 11 2 4 -12 -1 -3 1 -10 8 14 -15 5 2 7 1 8 -5 -15 12 -9 -4 -1 11 -2 -9 17 -3 7 -1 -8 -2 6 -14 5 2 -5 6 7 3 -2 -4 5 -8 1 -5 8 -14 -4 13 -6 -5 9 -1 -13 10 -2 -8 2 4 -9 8 3 -6 -4 13 -18 -7 1 4 2 -2 3 -1 -3 -10 14 -2 -3 7 6 -17 3 8 -7 6 10 -10 -3 3 2 9 -6 -8 12 5 -7 1 15 -11