| Name | csp/pseudoGLB/ normalized-t2001-13queen13-1110966688.xml |
| MD5SUM | 076861704b366fbcd926e002b283e06b |
| Bench Category | GLOBAL (global constraints) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 2.30665 |
| 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 | 1106386 | UNSAT | 2.30665 | 2.33713 |
| bpsolver 2008-06-27 | 1070619 | UNSAT | 9.48756 | 9.56801 |
| choco2_dwdeg 2008-06-26 | 1070621 | UNSAT | 13.9139 | 14.0122 |
| MDG-probe 2008-06-27 | 1070614 | UNSAT | 22.3026 | 22.393 |
| Sugar v1.13+minisat | 1070618 | UNSAT | 24.1393 | 23.9357 |
| choco2_impwdeg 2008-06-26 | 1070620 | UNSAT | 28.8056 | 29.1085 |
| MDG-noprobe 2008-06-27 | 1070615 | UNSAT | 30.1054 | 30.343 |
| Sugar v1.13+picosat | 1070617 | UNSAT | 30.9963 | 30.8166 |
| Mistral-option 1.314 | 1070622 | UNSAT | 58.4221 | 58.8722 |
| Mistral-prime 1.313 | 1070623 | UNSAT | 79.2719 | 79.5905 |
| cpHydra k_10 | 1070628 | UNSAT | 85.9199 | 86.0647 |
| Abscon 112v4 ESAC | 1070627 | UNSAT | 229.203 | 229.141 |
| casper zao | 1070624 | UNSAT | 290.62 | 292.831 |
| casper zito | 1070625 | UNSAT | 300.481 | 303.066 |
| cpHydra k_40 | 1070629 | UNSAT | 1311.56 | 1311.72 |
| Abscon 112v4 AC | 1070626 | UNSAT | 1395.12 | 1407.98 |
| SAT4J CSP 2008-06-13 | 1070616 | ? | 0.722889 | 0.51265 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found: