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