Name | csp/costasArray/ normalized-costasArray-14.xml |
MD5SUM | b4df73a864ad6339175f39fc07813513 |
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.206968 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 102 |
Number of constraints | 101 |
Maximum constraint arity | 14 |
Maximum domain size | 26 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 89 |
Global constraints used (with number of constraints) | alldifferent(12) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
bpsolver 2008-06-27 | 1041241 | SAT | 0.206968 | 0.217523 |
MDG-probe 2008-06-27 | 1041236 | SAT | 0.370943 | 0.377979 |
cpHydra k_40 | 1046405 | SAT | 0.71589 | 0.718805 |
Minion/Tailor 2008-07-04 | 1104588 | SAT | 0.762883 | 0.777473 |
cpHydra k_10 | 1045776 | SAT | 0.765883 | 0.783938 |
Mistral-option 1.314 | 1041244 | SAT | 0.920859 | 0.921673 |
Abscon 112v4 AC | 1044518 | SAT | 1.21181 | 1.25813 |
MDG-noprobe 2008-06-27 | 1041237 | SAT | 1.45878 | 1.50316 |
casper zao | 1043260 | SAT | 1.77473 | 1.79881 |
Mistral-prime 1.313 | 1041245 | SAT | 1.9587 | 1.97992 |
Abscon 112v4 ESAC | 1045147 | SAT | 1.9867 | 2.03456 |
casper zito | 1043889 | SAT | 2.50362 | 2.53007 |
Sugar v1.13+minisat | 1041240 | SAT | 2.73958 | 2.86411 |
choco2_impwdeg 2008-06-26 | 1041242 | SAT | 2.98155 | 3.03909 |
choco2_dwdeg 2008-06-26 | 1041243 | SAT | 3.23451 | 3.2983 |
Sugar v1.13+picosat | 1041239 | SAT | 4.46132 | 4.60281 |
SAT4J CSP 2008-06-13 | 1041238 | SAT | 6.597 | 6.69028 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:10 3 13 14 5 12 6 11 8 4 2 1 7 9 7 -10 -1 9 -7 6 -5 3 4 2 1 -6 -2 -3 -11 8 2 -1 1 -2 7 6 3 -5 -8 -4 -2 1 8 -6 4 2 9 7 -3 -7 5 -9 7 3 -3 8 4 10 1 -5 -2 -3 2 6 1 10 5 4 -1 4 -8 5 10 3 11 -1 2 -1 -5 9 12 4 5 -3 2 -1 11 13 -2 3 6 1 12 7 -4 8 2 6 5 9 -4 4