Name | csp/costasArray/ normalized-costasArray-17.xml |
MD5SUM | a859df5bbc3805b2a959faf75cbcf472 |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 13.8329 |
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 |
---|---|---|---|---|
choco2_impwdeg 2008-06-26 | 1041232 | SAT | 13.8329 | 13.9999 |
MDG-probe 2008-06-27 | 1041226 | SAT | 33.107 | 33.4192 |
Mistral-prime 1.313 | 1041235 | SAT | 40.8338 | 41.0111 |
Sugar v1.13+minisat | 1041230 | SAT | 41.0678 | 41.5077 |
bpsolver 2008-06-27 | 1041231 | SAT | 55.3306 | 55.561 |
casper zao | 1043259 | SAT | 95.6215 | 96.5202 |
Mistral-option 1.314 | 1041234 | SAT | 99.3539 | 100.122 |
Sugar v1.13+picosat | 1041229 | SAT | 148.646 | 150.134 |
choco2_dwdeg 2008-06-26 | 1041233 | SAT | 171.314 | 172.323 |
cpHydra k_10 | 1045775 | SAT | 178.976 | 179.934 |
casper zito | 1043888 | SAT | 278.657 | 280.058 |
cpHydra k_40 | 1046404 | SAT | 560.795 | 570.71 |
Abscon 112v4 AC | 1044517 | SAT | 563.132 | 565.455 |
MDG-noprobe 2008-06-27 | 1041227 | SAT | 662.907 | 663.394 |
Minion/Tailor 2008-07-04 | 1104587 | SAT | 701.482 | 704.863 |
Abscon 112v4 ESAC | 1045146 | SAT | 1346.44 | 1347.64 |
SAT4J CSP 2008-06-13 | 1041228 | ? (TO) | 1800.13 | 1799.68 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:8 12 5 2 13 1 7 15 17 4 3 6 16 11 9 14 10 -4 7 3 -11 12 -6 -8 -2 13 1 -3 -10 5 2 -5 4 3 10 -8 1 6 -14 -10 11 14 -2 -13 -5 7 -3 -1 6 -1 4 -5 -2 -16 3 12 11 -12 -8 -3 2 1 -5 11 -2 -13 -4 -3 4 9 1 -7 -6 -8 6 7 5 -10 -15 9 -2 1 -1 6 -5 -11 -4 1 -3 -12 -2 10 -5 -9 4 8 -10 -7 -7 -5 1 -1 7 -15 -4 6 3 -6 -9 8 2 -4 -3 -10 -2 1 7 4 9 -1 -14 2 -8 -7 5 5 6 -11 -9 4 -13 -3 2 -4 -6 -7 -1 -9 -8 1 -4 -12 3 -3 3 -9 -8 -1 -2 -5