Name | csp/pseudoGLB/ normalized-t2001-13queen13-1111221203.xml |
MD5SUM | 0080b674ecf15942b5f6832a42012b70 |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 5.05623 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 169 |
Number of constraints | 101 |
Maximum constraint arity | 169 |
Maximum domain size | 2 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 0 |
Global constraints used (with number of constraints) | weightedsum(101) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Minion/Tailor 2008-07-04 | 1106403 | UNSAT | 5.05623 | 5.17321 |
bpsolver 2008-06-27 | 1070187 | UNSAT | 9.80451 | 9.86959 |
choco2_dwdeg 2008-06-26 | 1070189 | UNSAT | 19.492 | 19.639 |
MDG-probe 2008-06-27 | 1070182 | UNSAT | 23.7574 | 23.8681 |
Sugar v1.13+minisat | 1070186 | UNSAT | 29.7665 | 30.1401 |
choco2_impwdeg 2008-06-26 | 1070188 | UNSAT | 37.0374 | 37.449 |
MDG-noprobe 2008-06-27 | 1070183 | UNSAT | 38.5531 | 38.601 |
Sugar v1.13+picosat | 1070185 | UNSAT | 42.4485 | 42.8692 |
Mistral-prime 1.313 | 1070191 | UNSAT | 130.875 | 131.411 |
cpHydra k_10 | 1070196 | UNSAT | 145.937 | 146.666 |
casper zao | 1070192 | UNSAT | 197.623 | 199.155 |
Mistral-option 1.314 | 1070190 | UNSAT | 201.693 | 201.795 |
casper zito | 1070193 | UNSAT | 298.528 | 300.822 |
Abscon 112v4 ESAC | 1070195 | UNSAT | 714.867 | 720.43 |
cpHydra k_40 | 1070197 | UNSAT | 1650.62 | 1658.17 |
SAT4J CSP 2008-06-13 | 1070184 | ? | 0.694894 | 0.724886 |
Abscon 112v4 AC | 1070194 | ? (TO) | 1800.12 | 1815.97 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found: