Name | csp/bqwh-18-141_glb/ normalized-bqwh-18-141-2_glb.xml |
MD5SUM | 87f20fbad46de68e9a2974e63820da07 |
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.053991 |
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 | 1067270 | SAT | 0.053991 | 0.0614671 |
MDG-noprobe 2008-06-27 | 1067261 | SAT | 0.071988 | 0.0726399 |
bpsolver 2008-06-27 | 1067265 | SAT | 0.072987 | 0.0824579 |
casper zito | 1067271 | SAT | 0.160974 | 0.168614 |
Mistral-prime 1.313 | 1067269 | SAT | 0.411936 | 0.414358 |
cpHydra k_10 | 1067274 | SAT | 0.421935 | 0.429712 |
cpHydra k_40 | 1067275 | SAT | 0.430934 | 0.437419 |
Minion/Tailor 2008-07-04 | 1105336 | SAT | 0.450931 | 0.517511 |
MDG-probe 2008-06-27 | 1067260 | SAT | 0.969852 | 0.98166 |
choco2_dwdeg 2008-06-26 | 1067267 | SAT | 0.996848 | 0.888378 |
choco2_impwdeg 2008-06-26 | 1067266 | SAT | 1.09583 | 1.14819 |
Sugar v1.13+minisat | 1067264 | SAT | 1.3428 | 1.47781 |
Sugar v1.13+picosat | 1067263 | SAT | 1.43278 | 1.62807 |
Abscon 112v4 AC | 1067272 | SAT | 1.51577 | 1.56825 |
SAT4J CSP 2008-06-13 | 1067262 | SAT | 1.67974 | 1.85145 |
Abscon 112v4 ESAC | 1067273 | SAT | 4.68829 | 4.78821 |
Mistral-option 1.314 | 1067268 | SAT | 47.0818 | 47.3153 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:14 5 13 16 6 3 11 1 16 3 15 10 4 11 2 2 10 13 7 11 3 8 1 15 6 0 1 11 5 16 14 16 1 10 9 15 6 17 8 7 11 9 17 2 13 15 16 3 11 17 1 2 12 14 6 13 9 4 15 8 0 17 10 16 5 12 10 0 8 9 9 12 2 5 3 1 7 13 0 7 15 17 1 12 8 10 10 1 17 15 6 11 9 12 7 10 1 5 11 3 6 14 7 3 15 16 9 8 0 11 11 1 16 13 15 6 4 17 8 13 3 6 1 10 11 5 0 15 5 4 10 16 17 11 1 13 11 8 7 4 6