Name | csp/bqwh-18-141_glb/ normalized-bqwh-18-141-0_glb.xml |
MD5SUM | d810e5869138c555c10adce533b86e55 |
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.031994 |
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 |
---|---|---|---|---|
casper zao | 1067126 | SAT | 0.031994 | 0.0439751 |
Mistral-option 1.314 | 1067124 | SAT | 0.041993 | 0.0489271 |
MDG-noprobe 2008-06-27 | 1067117 | SAT | 0.042992 | 0.04905 |
bpsolver 2008-06-27 | 1067121 | SAT | 0.071988 | 0.0826559 |
cpHydra k_40 | 1067131 | SAT | 0.074987 | 0.0820179 |
cpHydra k_10 | 1067130 | SAT | 0.076987 | 0.08255 |
casper zito | 1067127 | SAT | 0.108982 | 0.117413 |
MDG-probe 2008-06-27 | 1067116 | SAT | 0.25496 | 0.255837 |
Mistral-prime 1.313 | 1067125 | SAT | 0.333948 | 0.340142 |
Minion/Tailor 2008-07-04 | 1105334 | SAT | 0.45593 | 0.522509 |
Abscon 112v4 ESAC | 1067129 | SAT | 0.962853 | 1.00826 |
choco2_dwdeg 2008-06-26 | 1067123 | SAT | 1.09883 | 1.15652 |
choco2_impwdeg 2008-06-26 | 1067122 | SAT | 1.11383 | 1.15545 |
Abscon 112v4 AC | 1067128 | SAT | 1.12483 | 1.14546 |
Sugar v1.13+minisat | 1067120 | SAT | 1.3468 | 1.45211 |
Sugar v1.13+picosat | 1067119 | SAT | 1.51277 | 1.60854 |
SAT4J CSP 2008-06-13 | 1067118 | SAT | 1.83172 | 1.86088 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:13 4 7 8 10 3 1 16 10 15 2 14 13 11 5 4 1 3 13 12 6 7 4 9 7 3 10 17 15 9 5 14 7 5 6 16 13 15 4 3 15 5 3 7 8 11 17 0 9 0 4 8 10 7 5 3 8 17 4 14 9 6 16 0 9 8 4 1 5 14 3 0 17 5 11 12 9 6 15 2 3 0 12 4 13 12 8 3 4 2 0 9 14 11 10 17 0 5 6 13 12 14 6 9 13 7 8 5 17 13 1 0 17 8 14 10 3 16 3 10 15 14 8 7 13 11 6 17 8 9 2 0 14 4 17 12 13 0 3 10 8