Name | csp/costasArray/ normalized-costasArray-10.xml |
MD5SUM | 9375d5226b43c8fec5f9bde14748bffa |
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.010997 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 52 |
Number of constraints | 51 |
Maximum constraint arity | 10 |
Maximum domain size | 18 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 43 |
Global constraints used (with number of constraints) | alldifferent(8) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
MDG-noprobe 2008-06-27 | 1041197 | SAT | 0.010997 | 0.017879 |
Mistral-prime 1.313 | 1041205 | SAT | 0.011997 | 0.0174639 |
MDG-probe 2008-06-27 | 1041196 | SAT | 0.013997 | 0.022168 |
casper zito | 1043885 | SAT | 0.017997 | 0.017905 |
cpHydra k_40 | 1046401 | SAT | 0.020996 | 0.0265349 |
cpHydra k_10 | 1045772 | SAT | 0.023996 | 0.0295439 |
bpsolver 2008-06-27 | 1041201 | SAT | 0.036994 | 0.0453299 |
Mistral-option 1.314 | 1041204 | SAT | 0.097984 | 0.109137 |
casper zao | 1043256 | SAT | 0.12198 | 0.124387 |
Minion/Tailor 2008-07-04 | 1104584 | SAT | 0.38794 | 0.450467 |
Abscon 112v4 AC | 1044514 | SAT | 0.832872 | 0.887054 |
Abscon 112v4 ESAC | 1045143 | SAT | 0.937857 | 0.993416 |
Sugar v1.13+picosat | 1041199 | SAT | 0.993847 | 1.1018 |
Sugar v1.13+minisat | 1041200 | SAT | 1.06484 | 1.16952 |
choco2_impwdeg 2008-06-26 | 1041202 | SAT | 1.09383 | 1.1484 |
choco2_dwdeg 2008-06-26 | 1041203 | SAT | 1.22681 | 1.25979 |
SAT4J CSP 2008-06-13 | 1041198 | SAT | 3.68744 | 3.74432 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:6 1 2 4 8 5 10 9 7 3 5 -1 -2 -4 3 -5 1 2 4 4 -3 -6 -1 -2 -4 3 6 2 -7 -3 -6 -1 -2 7 -2 -4 -8 -5 1 2 1 -9 -7 -3 5 -4 -8 -5 1 -3 -6 -1