| Name | csp/bqwh-18-141_glb/ normalized-bqwh-18-141-91_glb.xml |
| MD5SUM | 10566dc99e7e9e024106f9a2291f41b9 |
| Bench Category | GLOBAL (global constraints) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 0.145977 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 141 |
| Number of constraints | 36 |
| Maximum constraint arity | 8 |
| Maximum domain size | 6 |
| 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) | alldifferent(36) |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| casper zao | 1067222 | SAT | 0.145977 | 0.14841 |
| casper zito | 1067223 | SAT | 0.150976 | 0.156291 |
| Mistral-prime 1.313 | 1067221 | SAT | 0.185971 | 0.185965 |
| bpsolver 2008-06-27 | 1067217 | SAT | 0.187971 | 0.200092 |
| MDG-noprobe 2008-06-27 | 1067213 | SAT | 0.249961 | 0.25714 |
| cpHydra k_40 | 1067227 | SAT | 0.298953 | 0.305274 |
| cpHydra k_10 | 1067226 | SAT | 0.304952 | 0.325829 |
| Mistral-option 1.314 | 1067220 | SAT | 0.507922 | 0.514385 |
| Minion/Tailor 2008-07-04 | 1105343 | SAT | 0.52492 | 0.54386 |
| MDG-probe 2008-06-27 | 1067212 | SAT | 0.895863 | 0.906629 |
| choco2_dwdeg 2008-06-26 | 1067219 | SAT | 0.940856 | 0.84603 |
| choco2_impwdeg 2008-06-26 | 1067218 | SAT | 1.09083 | 1.1128 |
| Sugar v1.13+minisat | 1067216 | SAT | 1.2778 | 1.40391 |
| Sugar v1.13+picosat | 1067215 | SAT | 1.3228 | 1.43917 |
| Abscon 112v4 ESAC | 1067225 | SAT | 1.52077 | 1.58004 |
| SAT4J CSP 2008-06-13 | 1067214 | SAT | 1.71374 | 1.77166 |
| Abscon 112v4 AC | 1067224 | SAT | 2.73358 | 2.77218 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:3 2 6 5 11 15 9 2 1 17 3 7 13 16 5 12 9 2 8 5 15 16 13 14 16 17 7 10 12 9 2 10 17 1 14 12 5 9 2 10 17 0 4 9 12 6 15 4 16 0 2 11 3 14 13 12 4 7 9 16 1 15 10 5 15 6 0 14 7 17 10 11 15 13 1 12 4 5 15 16 13 5 9 10 8 4 9 5 10 7 13 2 17 0 7 3 8 9 12 13 0 6 6 1 0 13 7 16 12 3 8 12 5 1 3 17 14 4 5 15 8 11 12 3 0 10 6 1 17 0 3 10 16 17 12 4 15 11 16 10 5