Name | csp/costasArray/ normalized-costasArray-11.xml |
MD5SUM | 5c9df631b88e35e3fa082ee78ef746bc |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 0.015997 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 63 |
Number of constraints | 62 |
Maximum constraint arity | 11 |
Maximum domain size | 20 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 53 |
Global constraints used (with number of constraints) | alldifferent(9) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral-prime 1.313 | 1041195 | SAT | 0.015997 | 0.02167 |
bpsolver 2008-06-27 | 1041191 | SAT | 0.039993 | 0.0474329 |
MDG-noprobe 2008-06-27 | 1041187 | SAT | 0.05799 | 0.0654029 |
casper zito | 1043884 | SAT | 0.070988 | 0.073019 |
Mistral-option 1.314 | 1041194 | SAT | 0.074988 | 0.0803469 |
cpHydra k_10 | 1045771 | SAT | 0.084986 | 0.0884149 |
cpHydra k_40 | 1046400 | SAT | 0.088986 | 0.096255 |
casper zao | 1043255 | SAT | 0.143977 | 0.145492 |
MDG-probe 2008-06-27 | 1041186 | SAT | 0.197969 | 0.204352 |
Minion/Tailor 2008-07-04 | 1104583 | SAT | 0.45293 | 0.509268 |
Abscon 112v4 AC | 1044513 | SAT | 1.02384 | 1.10183 |
Abscon 112v4 ESAC | 1045142 | SAT | 1.08883 | 1.15494 |
Sugar v1.13+minisat | 1041190 | SAT | 1.27281 | 1.34567 |
Sugar v1.13+picosat | 1041189 | SAT | 1.44178 | 1.53112 |
choco2_impwdeg 2008-06-26 | 1041192 | SAT | 1.45978 | 1.47552 |
choco2_dwdeg 2008-06-26 | 1041193 | SAT | 1.66574 | 1.69505 |
SAT4J CSP 2008-06-13 | 1041188 | SAT | 4.20436 | 4.16314 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:10 2 9 4 3 1 7 11 5 6 8 8 -7 5 1 2 -6 -4 6 -1 -2 1 -2 6 3 -4 -10 2 5 -3 6 -1 8 -3 -8 -4 1 3 7 1 2 -7 -2 -5 -1 9 -5 -2 -1 -3 -7 3 -9 4 -2 -5 -1 -3 3 -4 5 -4 1