Name | csp/bqwh-15-106_glb/ normalized-bqwh-15-106-67_glb.xml |
MD5SUM | addcd844c16647b51659816467a49ca1 |
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 | 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(30) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
casper zito | 1067319 | SAT | 0.014997 | 0.0151829 |
casper zao | 1067318 | SAT | 0.017996 | 0.0247021 |
Mistral-option 1.314 | 1067316 | SAT | 0.022995 | 0.0298461 |
Mistral-prime 1.313 | 1067317 | SAT | 0.027995 | 0.0350229 |
MDG-noprobe 2008-06-27 | 1067309 | SAT | 0.031994 | 0.0387261 |
cpHydra k_10 | 1067322 | SAT | 0.035994 | 0.043781 |
cpHydra k_40 | 1067323 | SAT | 0.038994 | 0.0475181 |
bpsolver 2008-06-27 | 1067313 | SAT | 0.06199 | 0.076237 |
MDG-probe 2008-06-27 | 1067308 | SAT | 0.172973 | 0.179175 |
Minion/Tailor 2008-07-04 | 1105318 | SAT | 0.366943 | 0.4045 |
choco2_dwdeg 2008-06-26 | 1067315 | SAT | 0.537917 | 0.594691 |
choco2_impwdeg 2008-06-26 | 1067314 | SAT | 0.544916 | 0.497013 |
Abscon 112v4 AC | 1067320 | SAT | 0.830872 | 0.892647 |
Abscon 112v4 ESAC | 1067321 | SAT | 0.861868 | 0.890234 |
SAT4J CSP 2008-06-13 | 1067310 | SAT | 1.06784 | 1.11748 |
Sugar v1.13+minisat | 1067312 | SAT | 1.13483 | 1.30302 |
Sugar v1.13+picosat | 1067311 | SAT | 1.17382 | 1.26168 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:1 13 10 4 0 9 7 13 5 10 4 6 7 1 1 7 8 11 0 14 6 7 9 1 12 5 11 3 0 6 3 1 4 10 7 14 13 3 4 10 8 2 9 4 14 13 5 1 0 9 9 10 0 8 12 4 1 10 7 3 1 5 9 11 7 5 4 2 8 14 11 2 3 5 1 14 10 4 10 1 8 14 9 5 3 3 8 12 2 6 9 11 8 13 11 12 4 2 7 6 10 2 12 0 4 8