Name | csp/bqwh-15-106_glb/ normalized-bqwh-15-106-13_glb.xml |
MD5SUM | d7b56b8067f9f31beea9d615f910b57f |
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.010997 |
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 |
---|---|---|---|---|
MDG-noprobe 2008-06-27 | 1067325 | SAT | 0.010997 | 0.0238131 |
casper zito | 1067335 | SAT | 0.011997 | 0.0211829 |
casper zao | 1067334 | SAT | 0.014997 | 0.0216391 |
Mistral-prime 1.313 | 1067333 | SAT | 0.015997 | 0.0166751 |
Mistral-option 1.314 | 1067332 | SAT | 0.019996 | 0.025961 |
cpHydra k_40 | 1067339 | SAT | 0.022995 | 0.0304 |
cpHydra k_10 | 1067338 | SAT | 0.022996 | 0.022328 |
bpsolver 2008-06-27 | 1067329 | SAT | 0.043993 | 0.0539249 |
MDG-probe 2008-06-27 | 1067324 | SAT | 0.159974 | 0.168195 |
Minion/Tailor 2008-07-04 | 1105314 | SAT | 0.367943 | 0.40572 |
choco2_impwdeg 2008-06-26 | 1067330 | SAT | 0.51492 | 0.469601 |
choco2_dwdeg 2008-06-26 | 1067331 | SAT | 0.565913 | 0.581394 |
Abscon 112v4 AC | 1067336 | SAT | 0.794878 | 0.68703 |
Abscon 112v4 ESAC | 1067337 | SAT | 0.984849 | 1.00848 |
Sugar v1.13+picosat | 1067327 | SAT | 1.10183 | 0.937583 |
Sugar v1.13+minisat | 1067328 | SAT | 1.13383 | 1.26519 |
SAT4J CSP 2008-06-13 | 1067326 | SAT | 1.18082 | 1.20268 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:9 6 12 2 14 1 8 12 3 5 8 1 13 0 12 4 7 6 8 0 10 14 11 6 8 7 13 1 10 11 9 5 4 1 7 9 5 7 14 12 1 8 13 8 9 14 5 11 0 12 10 9 4 0 6 3 13 8 6 7 2 10 14 5 6 8 7 2 10 12 5 10 7 2 9 11 6 0 8 11 10 0 7 4 12 14 5 1 11 12 6 2 10 7 4 2 13 9 3 3 1 9 4 12 13 5