Name | csp/bqwh-18-141_glb/ normalized-bqwh-18-141-64_glb.xml |
MD5SUM | 65bda9b2b3c186caedd5e0471e2e7a6c |
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.033994 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 141 |
Number of constraints | 36 |
Maximum constraint arity | 8 |
Maximum domain size | 7 |
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 |
---|---|---|---|---|
MDG-noprobe 2008-06-27 | 1067245 | SAT | 0.033994 | 0.0395589 |
casper zao | 1067254 | SAT | 0.050991 | 0.058935 |
casper zito | 1067255 | SAT | 0.060989 | 0.0659901 |
cpHydra k_10 | 1067258 | SAT | 0.069988 | 0.0764541 |
cpHydra k_40 | 1067259 | SAT | 0.071988 | 0.122491 |
MDG-probe 2008-06-27 | 1067244 | SAT | 0.207967 | 0.210621 |
bpsolver 2008-06-27 | 1067249 | SAT | 0.350946 | 0.364478 |
Mistral-option 1.314 | 1067252 | SAT | 0.403937 | 0.412498 |
Minion/Tailor 2008-07-04 | 1105340 | SAT | 0.488924 | 0.508663 |
Abscon 112v4 AC | 1067256 | SAT | 0.810875 | 0.811841 |
choco2_dwdeg 2008-06-26 | 1067251 | SAT | 0.934857 | 0.943643 |
choco2_impwdeg 2008-06-26 | 1067250 | SAT | 1.00285 | 1.05898 |
Sugar v1.13+picosat | 1067247 | SAT | 1.45678 | 1.56401 |
Sugar v1.13+minisat | 1067248 | SAT | 1.47678 | 1.6163 |
SAT4J CSP 2008-06-13 | 1067246 | SAT | 1.81872 | 2.00805 |
Abscon 112v4 ESAC | 1067257 | SAT | 1.83372 | 1.88911 |
Mistral-prime 1.313 | 1067253 | SAT | 2.72958 | 2.75186 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:4 14 17 2 6 13 11 11 12 3 6 7 14 0 4 11 3 5 4 1 16 6 0 15 4 0 1 16 14 13 15 16 2 12 4 6 3 14 13 12 15 16 10 5 14 17 6 5 15 1 7 3 12 8 1 11 16 10 8 5 15 9 12 8 5 14 11 17 3 1 15 7 14 9 0 13 1 3 13 17 11 12 9 15 2 16 12 8 2 9 5 4 14 14 0 2 1 7 6 9 15 6 9 3 5 13 15 0 10 3 14 12 10 17 16 0 2 2 17 10 15 14 6 1 12 17 14 1 2 11 7 10 12 14 9 11 13 17 5 10 8