Name | csp/pseudoGLB/ normalized-t2001-13queen13-1110975607.xml |
MD5SUM | a386965117038ce4d04e5bd4b2c18ddd |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 1.90671 |
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 | 1106394 | UNSAT | 1.90671 | 1.97959 |
choco2_dwdeg 2008-06-26 | 1070205 | UNSAT | 10.5304 | 10.5721 |
bpsolver 2008-06-27 | 1070203 | UNSAT | 11.8922 | 12.0003 |
MDG-probe 2008-06-27 | 1070198 | UNSAT | 13.7619 | 13.8684 |
Sugar v1.13+minisat | 1070202 | UNSAT | 19.868 | 20.136 |
MDG-noprobe 2008-06-27 | 1070199 | UNSAT | 22.0496 | 22.1502 |
Sugar v1.13+picosat | 1070201 | UNSAT | 25.3411 | 25.1328 |
choco2_impwdeg 2008-06-26 | 1070204 | UNSAT | 27.9537 | 28.1159 |
Mistral-prime 1.313 | 1070207 | UNSAT | 45.874 | 45.8919 |
cpHydra k_10 | 1070212 | UNSAT | 56.8794 | 57.4541 |
Mistral-option 1.314 | 1070206 | UNSAT | 90.2623 | 90.29 |
casper zao | 1070208 | UNSAT | 117.815 | 118.735 |
Abscon 112v4 ESAC | 1070211 | UNSAT | 211.581 | 213.611 |
casper zito | 1070209 | UNSAT | 286.032 | 288.219 |
Abscon 112v4 AC | 1070210 | UNSAT | 315.152 | 315.118 |
cpHydra k_40 | 1070213 | UNSAT | 325.434 | 330.876 |
SAT4J CSP 2008-06-13 | 1070200 | ? | 0.71989 | 0.566584 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found: