| Name | csp/bqwh-18-141_glb/ normalized-bqwh-18-141-14_glb.xml |
| MD5SUM | 8969a0574e60945207e910a7f52448eb |
| 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.032994 |
| 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 zito | 1067159 | SAT | 0.032994 | 0.0394771 |
| casper zao | 1067158 | SAT | 0.033994 | 0.040691 |
| bpsolver 2008-06-27 | 1067153 | SAT | 0.314951 | 0.326181 |
| Minion/Tailor 2008-07-04 | 1105335 | SAT | 0.418935 | 0.433164 |
| cpHydra k_40 | 1067163 | SAT | 0.534917 | 0.546431 |
| cpHydra k_10 | 1067162 | SAT | 0.556914 | 0.705646 |
| MDG-noprobe 2008-06-27 | 1067149 | SAT | 0.704892 | 0.707969 |
| choco2_dwdeg 2008-06-26 | 1067155 | SAT | 0.794878 | 0.843494 |
| choco2_impwdeg 2008-06-26 | 1067154 | SAT | 0.795878 | 0.846611 |
| Mistral-prime 1.313 | 1067157 | SAT | 0.802877 | 0.807922 |
| MDG-probe 2008-06-27 | 1067148 | SAT | 0.870867 | 0.873013 |
| Sugar v1.13+picosat | 1067151 | SAT | 1.3208 | 1.37358 |
| Sugar v1.13+minisat | 1067152 | SAT | 1.3238 | 1.50453 |
| Abscon 112v4 ESAC | 1067161 | SAT | 1.56876 | 1.6369 |
| SAT4J CSP 2008-06-13 | 1067150 | SAT | 1.60376 | 1.6542 |
| Abscon 112v4 AC | 1067160 | SAT | 2.03669 | 2.08969 |
| Mistral-option 1.314 | 1067156 | SAT | 2.83857 | 2.86284 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:8 17 2 15 0 14 1 16 3 1 10 8 14 9 4 0 17 5 10 13 2 11 7 9 12 7 13 15 17 1 11 6 3 9 4 1 5 15 0 1 9 12 15 0 5 17 14 16 12 10 5 17 4 1 8 11 2 4 15 16 5 9 1 4 16 7 2 12 15 8 9 10 5 4 11 3 15 16 8 0 16 13 11 12 5 2 5 6 15 16 8 12 9 13 4 10 12 9 5 14 2 13 15 12 17 2 9 14 7 8 17 13 2 12 1 16 15 15 11 1 7 8 6 10 5 11 1 16 7 13 4 3 9 10 9 1 3 13 17 8 12