| Name | csp/bqwh-15-106_glb/ normalized-bqwh-15-106-56_glb.xml |
| MD5SUM | b303d0b4ab55817d844ad311d5e35c8e |
| Bench Category | Alldiff (alldiff) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 0.041993 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 106 |
| Number of constraints | 30 |
| 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(30) |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| Mistral 1.545 (complete) | 2070512 | SAT | 0.041993 | 0.0496699 |
| bpsolver 09 (complete) | 2070513 | SAT | 0.046992 | 0.0481759 |
| Abscon 112v4 ESAC (complete) | 2095470 | SAT | 0.84787 | 0.886578 |
| Abscon 112v4 AC (complete) | 2095469 | SAT | 0.854869 | 0.846444 |
| Choco2.1.1 2009-06-10 (complete) | 2070508 | SAT | 0.947855 | 1.00404 |
| Choco2.1.1b 2009-07-16 (complete) | 2115646 | SAT | 0.988849 | 1.04414 |
| Concrete 2009-07-14 (complete) | 2070506 | SAT | 1.00485 | 1.1018 |
| SAT4J CSP 2.1.1 (complete) | 2070503 | SAT | 1.12983 | 1.18848 |
| Sugar v1.14.6+minisat (complete) | 2070510 | SAT | 1.16282 | 1.29982 |
| Sugar v1.14.6+picosat (complete) | 2070509 | SAT | 1.22881 | 1.309 |
| Concrete DC 2009-07-14 (complete) | 2070507 | SAT | 1.58276 | 1.60351 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:9 6 5 0 13 2 12 14 1 9 0 12 11 13 0 3 14 2 1 7 8 0 14 13 12 10 4 5 2 4 1 7 14 5 8 11 7 14 13 11 10 3 9 11 2 3 5 1 12 7 1 8 9 5 3 14 7 3 1 4 8 9 6 13 3 13 4 11 7 12 1 4 12 0 9 7 5 6 2 5 9 8 4 10 14 4 10 9 12 13 14 11 10 7 12 0 9 8 14 14 3 7 9 10 0 5