| Name | csp/bqwh-15-106_glb/ normalized-bqwh-15-106-98_glb.xml |
| MD5SUM | d9caa980eb2639c758f546b723b67842 |
| 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.014997 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 106 |
| Number of constraints | 30 |
| Maximum constraint arity | 8 |
| Maximum domain size | 5 |
| 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(30) |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| MDG-noprobe 2008-06-27 | 1067277 | SAT | 0.014997 | 0.0217251 |
| Mistral-option 1.314 | 1067284 | SAT | 0.022996 | 0.028698 |
| Mistral-prime 1.313 | 1067285 | SAT | 0.023995 | 0.0271301 |
| cpHydra k_40 | 1067291 | SAT | 0.025995 | 0.0255049 |
| cpHydra k_10 | 1067290 | SAT | 0.025995 | 0.034336 |
| bpsolver 2008-06-27 | 1067281 | SAT | 0.045992 | 0.0619269 |
| casper zao | 1067286 | SAT | 0.050992 | 0.0563369 |
| casper zito | 1067287 | SAT | 0.05699 | 0.0633559 |
| MDG-probe 2008-06-27 | 1067276 | SAT | 0.157975 | 0.161093 |
| Minion/Tailor 2008-07-04 | 1105322 | SAT | 0.347946 | 0.36535 |
| choco2_impwdeg 2008-06-26 | 1067282 | SAT | 0.660898 | 0.675384 |
| choco2_dwdeg 2008-06-26 | 1067283 | SAT | 0.694893 | 0.738775 |
| Abscon 112v4 ESAC | 1067289 | SAT | 0.814875 | 0.844272 |
| Abscon 112v4 AC | 1067288 | SAT | 0.898863 | 0.945339 |
| SAT4J CSP 2008-06-13 | 1067278 | SAT | 0.970851 | 1.03856 |
| Sugar v1.13+minisat | 1067280 | SAT | 1.08983 | 1.25246 |
| Sugar v1.13+picosat | 1067279 | SAT | 1.12483 | 1.20593 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:4 13 0 3 2 6 7 4 10 6 12 8 11 7 14 11 1 10 9 2 7 9 7 2 12 14 3 1 0 8 10 1 3 14 12 13 12 2 4 14 8 11 9 14 13 7 9 0 8 2 8 3 6 2 0 4 10 6 11 0 7 10 8 9 10 13 12 0 1 4 8 9 2 10 5 13 7 3 13 4 5 14 6 7 9 13 10 7 14 11 4 12 5 11 9 8 0 2 12 5 12 10 1 11 2 13