Name | csp/bqwh-18-141_glb/ normalized-bqwh-18-141-37_glb.xml |
MD5SUM | 5637486a76f49982d40083e325cc94b6 |
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.029995 |
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 |
---|---|---|---|---|
Mistral-prime 1.313 | 1067141 | SAT | 0.029995 | 0.037034 |
MDG-noprobe 2008-06-27 | 1067133 | SAT | 0.090985 | 0.096854 |
casper zao | 1067142 | SAT | 0.130979 | 0.132832 |
casper zito | 1067143 | SAT | 0.164974 | 0.170636 |
bpsolver 2008-06-27 | 1067137 | SAT | 0.203968 | 0.207084 |
cpHydra k_10 | 1067146 | SAT | 0.226964 | 0.233683 |
cpHydra k_40 | 1067147 | SAT | 0.233963 | 0.814804 |
MDG-probe 2008-06-27 | 1067132 | SAT | 0.332948 | 0.339661 |
Minion/Tailor 2008-07-04 | 1105337 | SAT | 0.467928 | 0.479175 |
Mistral-option 1.314 | 1067140 | SAT | 0.931858 | 0.944499 |
choco2_dwdeg 2008-06-26 | 1067139 | SAT | 0.984849 | 1.00273 |
Abscon 112v4 ESAC | 1067145 | SAT | 1.07783 | 1.11114 |
Abscon 112v4 AC | 1067144 | SAT | 1.15482 | 1.1989 |
choco2_impwdeg 2008-06-26 | 1067138 | SAT | 1.22281 | 1.27609 |
Sugar v1.13+minisat | 1067136 | SAT | 1.3108 | 1.40304 |
Sugar v1.13+picosat | 1067135 | SAT | 1.41878 | 1.50522 |
SAT4J CSP 2008-06-13 | 1067134 | SAT | 1.62975 | 1.66671 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:12 9 8 0 5 6 2 10 8 0 1 10 14 5 3 7 14 6 8 13 9 15 3 0 15 14 16 6 1 9 4 1 12 13 2 17 16 15 17 14 3 6 2 8 0 9 12 10 3 7 8 14 16 12 11 6 9 4 5 8 7 2 15 1 7 16 11 4 9 13 17 14 4 15 0 7 11 14 2 17 6 4 10 1 9 1 15 16 9 17 2 13 14 15 12 10 8 14 13 2 0 1 4 15 5 3 14 13 6 2 12 14 13 7 16 10 1 4 13 9 14 0 2 3 12 14 13 8 9 10 12 7 16 17 8 0 4 2 3 12 13