| Name | csp/pseudoGLB/ normalized-t2001-13queen13-1110976935.xml |
| MD5SUM | 5f1941dc35e5292eeaad38c143a9232c |
| 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.84057 |
| 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 | 1106396 | UNSAT | 2.84057 | 2.92259 |
| bpsolver 2008-06-27 | 1069755 | UNSAT | 11.7902 | 11.885 |
| choco2_dwdeg 2008-06-26 | 1069757 | UNSAT | 14.3918 | 14.5346 |
| MDG-probe 2008-06-27 | 1069750 | UNSAT | 23.3524 | 23.5592 |
| Sugar v1.13+minisat | 1069754 | UNSAT | 32.704 | 33.1122 |
| MDG-noprobe 2008-06-27 | 1069751 | UNSAT | 32.766 | 33.0218 |
| Sugar v1.13+picosat | 1069753 | UNSAT | 36.4825 | 37.0515 |
| choco2_impwdeg 2008-06-26 | 1069756 | UNSAT | 53.0599 | 53.5889 |
| Mistral-option 1.314 | 1069758 | UNSAT | 96.1204 | 96.9506 |
| Mistral-prime 1.313 | 1069759 | UNSAT | 100.686 | 101.09 |
| cpHydra k_10 | 1069764 | UNSAT | 116.975 | 118.177 |
| casper zao | 1069760 | UNSAT | 187.841 | 191.162 |
| Abscon 112v4 AC | 1069762 | UNSAT | 236.513 | 237.301 |
| cpHydra k_40 | 1069765 | UNSAT | 239.683 | 240.367 |
| casper zito | 1069761 | UNSAT | 293.467 | 294.643 |
| Abscon 112v4 ESAC | 1069763 | UNSAT | 653.411 | 656.099 |
| SAT4J CSP 2008-06-13 | 1069752 | ? | 0.71989 | 0.980555 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found: