| Name | csp/QCP-15/ normalized-qcp-15-120-5_ext.xml |
| MD5SUM | bc2a76bdfac2b8a963fd1d6b6e7ecb73 |
| Bench Category | 2-ARY-EXT (binary constraints in extension) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 0.130979 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 225 |
| Number of constraints | 2519 |
| Maximum constraint arity | 2 |
| Maximum domain size | 15 |
| Number of constraints which are defined in extension | 2519 |
| Number of constraints which are defined in intension | 0 |
| Global constraints used (with number of constraints) |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| pcs 0.3.2 (complete) | 2057117 | SAT | 0.130979 | 0.176565 |
| pcs-restart 0.3.2 (complete) | 2057118 | SAT | 0.527919 | 0.526089 |
| Mistral 1.545 (complete) | 2057125 | SAT | 1.46978 | 1.48646 |
| Sugar v1.14.6+minisat (complete) | 2057123 | SAT | 1.57876 | 1.70662 |
| Sugar v1.14.6+picosat (complete) | 2057122 | SAT | 1.84372 | 1.80628 |
| Abscon 112v4 AC (complete) | 2093035 | SAT | 2.07068 | 2.01391 |
| SAT4J CSP 2.1.1 (complete) | 2057116 | SAT | 3.2585 | 2.30025 |
| Choco2.1.1 2009-06-10 (complete) | 2057121 | SAT | 4.24035 | 3.96306 |
| Choco2.1.1b 2009-07-16 (complete) | 2114429 | SAT | 4.92925 | 4.65575 |
| Conquer 2009-07-10 (complete) | 2057124 | SAT | 6.92795 | 7.17389 |
| bpsolver 09 (complete) | 2057126 | SAT | 7.68383 | 7.68588 |
| Abscon 112v4 ESAC (complete) | 2093036 | SAT | 9.61254 | 9.43552 |
| Concrete 2009-07-14 (complete) | 2057119 | SAT | 172.461 | 173.331 |
| Concrete DC 2009-07-14 (complete) | 2057120 | SAT | 180.482 | 182.046 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:6 8 1 7 13 10 0 5 3 14 12 9 4 11 2 3 7 2 10 12 6 9 0 5 8 13 1 11 14 4 5 3 14 1 4 2 13 8 10 9 7 11 12 6 0 10 1 3 0 9 4 11 14 2 6 8 5 7 13 12 9 11 0 12 7 5 14 10 4 2 6 13 3 8 1 8 0 4 5 6 13 7 11 14 3 9 12 2 1 10 7 9 6 11 2 8 4 1 12 13 5 14 10 0 3 13 2 10 9 3 12 1 7 11 0 4 8 14 5 6 0 5 7 2 11 14 6 12 8 1 3 4 9 10 13 14 10 12 13 0 9 8 3 7 5 2 6 1 4 11 1 14 11 8 5 3 12 6 9 4 0 10 13 2 7 11 13 9 3 1 0 2 4 6 10 14 7 8 12 5 12 6 8 4 10 7 5 2 13 11 1 3 0 9 14 2 4 13 6 14 11 3 9 1 12 10 0 5 7 8 4 12 5 14 8 1 10 13 0 7 11 2 6 3 9