Name | csp/bqwh-18-141_glb/ normalized-bqwh-18-141-76_glb.xml |
MD5SUM | 85c7741cdb2aa2a978f04696b01e5f3c |
Bench Category | Alldiff (alldiff) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 0.180972 |
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 |
---|---|---|---|---|
bpsolver 09 (complete) | 2070337 | SAT | 0.180972 | 0.194875 |
Mistral 1.545 (complete) | 2070336 | SAT | 0.544916 | 0.545255 |
Abscon 112v4 AC (complete) | 2095437 | SAT | 0.97885 | 1.04932 |
Concrete 2009-07-14 (complete) | 2070330 | SAT | 1.00685 | 1.03317 |
Choco2.1.1b 2009-07-16 (complete) | 2115630 | SAT | 1.10583 | 1.16901 |
Choco2.1.1 2009-06-10 (complete) | 2070332 | SAT | 1.16482 | 1.21257 |
SAT4J CSP 2.1.1 (complete) | 2070327 | SAT | 1.23981 | 1.29044 |
Sugar v1.14.6+minisat (complete) | 2070334 | SAT | 1.3028 | 1.57421 |
Sugar v1.14.6+picosat (complete) | 2070333 | SAT | 1.56776 | 1.62737 |
Abscon 112v4 ESAC (complete) | 2095438 | SAT | 1.61075 | 1.67402 |
Concrete DC 2009-07-14 (complete) | 2070331 | SAT | 4.25935 | 4.3136 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:13 16 2 17 4 9 15 8 11 10 14 7 12 16 5 2 3 11 0 17 8 14 10 10 12 15 3 11 17 1 0 15 6 10 0 7 1 14 17 6 14 0 13 3 1 2 7 16 3 14 15 13 5 6 12 10 4 17 9 14 7 2 1 14 0 16 12 15 2 1 9 9 10 11 5 8 12 13 7 8 15 1 5 3 2 14 9 15 16 13 14 4 9 0 11 0 15 3 8 9 2 6 12 2 9 6 7 5 4 3 6 5 10 11 8 14 0 9 8 7 17 14 0 5 13 11 14 6 12 9 13 2 3 5 16 9 2 7 12 0 4