| Name | csp/pseudoGLB/ normalized-t2001-13queen13-1110968898.xml |
| MD5SUM | 51d086a60ac6c0b389a70a275fdaafc4 |
| 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.47962 |
| 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 | 1106388 | UNSAT | 2.47962 | 2.53454 |
| bpsolver 2008-06-27 | 1069947 | UNSAT | 11.4693 | 11.476 |
| choco2_dwdeg 2008-06-26 | 1069949 | UNSAT | 25.9271 | 26.191 |
| MDG-probe 2008-06-27 | 1069942 | UNSAT | 33.3719 | 33.5093 |
| Sugar v1.13+minisat | 1069946 | UNSAT | 38.7701 | 39.2451 |
| choco2_impwdeg 2008-06-26 | 1069948 | UNSAT | 40.8248 | 41.2482 |
| Sugar v1.13+picosat | 1069945 | UNSAT | 43.1654 | 43.2824 |
| MDG-noprobe 2008-06-27 | 1069943 | UNSAT | 43.5004 | 43.8651 |
| Mistral-option 1.314 | 1069950 | UNSAT | 87.1218 | 87.4698 |
| Mistral-prime 1.313 | 1069951 | UNSAT | 90.0923 | 90.7823 |
| cpHydra k_10 | 1069956 | UNSAT | 98.2311 | 99.1816 |
| casper zito | 1069953 | UNSAT | 204.766 | 204.848 |
| casper zao | 1069952 | UNSAT | 255.713 | 255.846 |
| Abscon 112v4 ESAC | 1069955 | UNSAT | 304.532 | 304.688 |
| Abscon 112v4 AC | 1069954 | UNSAT | 807.428 | 807.985 |
| cpHydra k_40 | 1069957 | UNSAT | 823.616 | 823.669 |
| SAT4J CSP 2008-06-13 | 1069944 | ? | 0.745885 | 0.772951 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found: