Name | csp/bqwh-18-141_glb/ normalized-bqwh-18-141-17_glb.xml |
MD5SUM | 70fc22474f51996c67704f768dac63a1 |
Bench Category | Alldiff (alldiff) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 0.06399 |
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 1.545 (complete) | 2070435 | SAT | 0.06399 | 0.069777 |
bpsolver 09 (complete) | 2070436 | SAT | 0.069988 | 0.0819619 |
Choco2.1.1 2009-06-10 (complete) | 2070431 | SAT | 0.711891 | 0.737789 |
Choco2.1.1b 2009-07-16 (complete) | 2115639 | SAT | 0.745886 | 0.786431 |
Abscon 112v4 ESAC (complete) | 2095456 | SAT | 1.08883 | 1.72657 |
Abscon 112v4 AC (complete) | 2095455 | SAT | 1.11483 | 1.14749 |
Sugar v1.14.6+minisat (complete) | 2070433 | SAT | 1.25381 | 1.68432 |
Sugar v1.14.6+picosat (complete) | 2070432 | SAT | 1.3258 | 1.46032 |
SAT4J CSP 2.1.1 (complete) | 2070426 | SAT | 1.3448 | 0.925715 |
Concrete 2009-07-14 (complete) | 2070429 | SAT | 1.72074 | 1.76203 |
Concrete DC 2009-07-14 (complete) | 2070430 | SAT | 5.67914 | 5.7702 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:12 16 1 6 2 10 9 14 17 0 8 5 16 7 14 3 6 17 13 2 16 0 5 15 15 16 0 6 3 13 12 17 8 9 13 4 15 5 6 11 3 5 4 13 2 14 6 11 5 0 14 3 6 16 12 7 11 17 16 14 4 12 6 3 2 15 14 17 7 8 0 13 15 7 17 12 8 16 11 6 0 12 9 16 5 13 15 10 1 7 8 9 11 14 13 9 10 5 7 15 11 12 13 3 6 10 11 7 4 5 1 4 12 11 10 0 2 6 0 15 3 10 13 17 14 12 16 10 1 13 5 14 17 11 9 1 17 12 14 3 15