| Name | csp/pseudoGLB/ normalized-t2001-13queen13-1110969577.xml |
| MD5SUM | e240e15b05bd0610f11b0537a801e539 |
| 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.41263 |
| 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 | 1106389 | UNSAT | 2.41263 | 2.47379 |
| bpsolver 2008-06-27 | 1070731 | UNSAT | 7.67183 | 7.70202 |
| MDG-probe 2008-06-27 | 1070726 | UNSAT | 21.9527 | 21.9609 |
| MDG-noprobe 2008-06-27 | 1070727 | UNSAT | 22.5536 | 22.7531 |
| choco2_dwdeg 2008-06-26 | 1070733 | UNSAT | 26.7539 | 27.0403 |
| choco2_impwdeg 2008-06-26 | 1070732 | UNSAT | 30.9243 | 31.5664 |
| Sugar v1.13+minisat | 1070730 | UNSAT | 30.9833 | 31.396 |
| Sugar v1.13+picosat | 1070729 | UNSAT | 37.0334 | 37.4764 |
| Mistral-prime 1.313 | 1070735 | UNSAT | 78.812 | 78.8352 |
| cpHydra k_10 | 1070740 | UNSAT | 93.7647 | 95.7344 |
| Mistral-option 1.314 | 1070734 | UNSAT | 95.7824 | 96.6038 |
| casper zito | 1070737 | UNSAT | 136.159 | 136.834 |
| casper zao | 1070736 | UNSAT | 265.654 | 265.755 |
| cpHydra k_40 | 1070741 | UNSAT | 625.594 | 637.498 |
| Abscon 112v4 AC | 1070738 | UNSAT | 662.843 | 668.58 |
| Abscon 112v4 ESAC | 1070739 | UNSAT | 758.389 | 764.912 |
| SAT4J CSP 2008-06-13 | 1070728 | ? | 0.729888 | 0.771863 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found: