Name | csp/costasArray/ normalized-costasArray-17.xml |
MD5SUM | a859df5bbc3805b2a959faf75cbcf472 |
Bench Category | Alldiff (alldiff) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 35.7776 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 150 |
Number of constraints | 149 |
Maximum constraint arity | 17 |
Maximum domain size | 32 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 134 |
Global constraints used (with number of constraints) | alldifferent(15) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral 1.545 (complete) | 2061184 | SAT | 35.7776 | 35.9282 |
Concrete 2009-07-14 (complete) | 2061178 | SAT | 131.831 | 132.459 |
bpsolver 09 (complete) | 2061185 | SAT | 145.97 | 147.111 |
Choco2.1.1b 2009-07-16 (complete) | 2114798 | SAT | 162.049 | 162.888 |
Choco2.1.1 2009-06-10 (complete) | 2061180 | SAT | 216.625 | 217.937 |
SAT4J CSP 2.1.1 (complete) | 2061175 | SAT | 301.253 | 301.065 |
Sugar v1.14.6+picosat (complete) | 2061181 | SAT | 520.327 | 525.256 |
Abscon 112v4 AC (complete) | 2093773 | SAT | 596.264 | 601.918 |
Sugar v1.14.6+minisat (complete) | 2061182 | SAT | 1430.55 | 1440.88 |
Abscon 112v4 ESAC (complete) | 2093774 | SAT | 1450.62 | 1464.37 |
Concrete DC 2009-07-14 (complete) | 2061179 | ? (TO) | 1800.01 | 1814.22 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:10 7 11 6 9 16 14 1 2 17 8 13 15 3 12 5 4 3 -4 5 -3 -7 2 13 -1 -15 9 -5 -2 12 -9 7 1 -1 1 2 -10 -5 15 12 -16 -6 4 -7 10 3 -2 8 4 -2 -5 -8 8 14 -3 -7 -11 2 5 1 10 -1 1 -9 -3 5 7 -1 6 -12 -13 14 -4 8 11 -6 -7 10 4 -8 8 1 -14 -1 5 3 9 -4 6 9 -11 1 3 -1 -2 -10 12 4 9 5 -6 -2 -4 1 11 -11 -3 13 8 -10 3 -7 -6 13 2 -4 -2 -7 -1 -2 -9 6 4 9 -3 2 -6 -4 3 -3 11 10 -3 -8 8 -6 4 12 -5 4 -1 1 5 7 -5 6 2 -2 2 7