| Name | csp/rlfapGraphsMod/ normalized-graph13-w0.xml |
| MD5SUM | 34256d810d8565ae96b59ec5fdfe0fb3 |
| Bench Category | 2-ARY-INT (binary constraints in intension) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 0.12398 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 916 |
| Number of constraints | 458 |
| Maximum constraint arity | 2 |
| Maximum domain size | 44 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 458 |
| Global constraints used (with number of constraints) |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| Mistral 1.545 (complete) | 2076749 | SAT | 0.12398 | 0.13289 |
| bpsolver 09 (complete) | 2076750 | SAT | 0.210967 | 0.238942 |
| pcs 0.3.2 (complete) | 2076741 | SAT | 0.707891 | 0.718963 |
| pcs-restart 0.3.2 (complete) | 2076742 | SAT | 0.711891 | 0.720302 |
| Choco2.1.1b 2009-07-16 (complete) | 2116213 | SAT | 1.66275 | 1.69958 |
| Choco2.1.1 2009-06-10 (complete) | 2076745 | SAT | 1.76073 | 1.78485 |
| Abscon 112v4 ESAC (complete) | 2096604 | SAT | 3.2715 | 3.33781 |
| Sugar v1.14.6+minisat (complete) | 2076747 | SAT | 3.44248 | 3.57871 |
| Abscon 112v4 AC (complete) | 2096603 | SAT | 3.75343 | 3.8196 |
| Sugar v1.14.6+picosat (complete) | 2076746 | SAT | 3.82942 | 4.23989 |
| Concrete 2009-07-14 (complete) | 2076743 | SAT | 4.31734 | 4.32927 |
| SAT4J CSP 2.1.1 (complete) | 2076740 | SAT | 4.34534 | 4.37214 |
| Concrete DC 2009-07-14 (complete) | 2076744 | SAT | 11.8472 | 11.9549 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:254 16 254 16 254 16 30 268 16 254 16 254 254 16 30 268 30 268 16 254 30 268 254 16 16 254 268 30 30 268 16 254 254 16 268 30 30 268 268 30 254 16 30 268 254 16 16 254 254 16 30 268 254 16 30 268 16 254 16 254 142 380 268 30 30 268 268 30 30 268 30 268 268 30 16 254 16 254 268 30 142 380 254 16 254 16 254 16 16 254 16 254 16 254 268 30 16 254 254 16 254 16 16 254 268 30 30 268 254 16 268 30 16 254 16 254 16 254 142 380 16 254 254 16 16 254 16 254 254 16 30 268 254 16 16 254 30 268 30 268 380 142 16 254 16 254 16 254 268 30 30 268 254 16 268 30 254 16 268 30 254 16 254 16 30 268 16 254 16 254 254 16 30 268 254 16 16 254 16 254 268 30 254 16 16 254 254 16 380 142 254 16 30 268 16 254 268 30 254 16 30 268 268 30 268 30 254 16 30 268 16 254 254 16 16 254 30 268 30 268 254 16 254 16 16 254 254 16 254 16 268 30 254 16 16 254 30 268 268 30 142 380 254 16 16 254 268 30 30 268 16 254 268 30 268 30 30 268 16 254 268 30 16 254 268 30 30 268 254 16 16 254 142 380 380 142 142 380 268 30 254 16 30 268 16 254 254 16 16 254 254 16 16 254 268 30 268 30 268 30 268 30 16 254 16 254 16 254 268 30 16 254 16 254 30 268 254 16 16 254 16 254 16 254 254 16 268 30 30 268 30 268 268 30 254 16 30 268 268 30 16 254 142 380 16 254 30 268 268 30 16 254 254 16 254 16 16 254 30 268 254 16 254 16 16 254 254 16 254 16 16 254 16 254 268 30 30 268 268 30 268 30 30 268 16 254 30 268 30 268 380 142 254 16 16 254 30 268 16 254 268 30 16 254 16 254 16 254 16 254 268 30 254 16 254 16 268 30 16 254 16 254 254 16 254 16 380 142 16 254 16 254 254 16 16 254 268 30 254 16 16 254 268 30 254 16 268 30 380 142 16 254 380 142 16 254 254 16 16 254 254 16 30 268 254 16 30 268 268 30 268 30 254 16 16 254 254 16 30 268 30 268 16 254 268 30 268 30 142 380 254 16 16 254 254 16 30 268 16 254 254 16 16 254 30 268 16 254 380 142 16 254 30 268 254 16 30 268 16 254 254 16 30 268 16 254 268 30 30 268 30 268 268 30 16 254 16 254 16 254 16 254 30 268 30 268 254 16 16 254 16 254 30 268 254 16 254 16 30 268 254 16 16 254 16 254 16 254 268 30 268 30 268 30 254 16 30 268 16 254 142 380 30 268 254 16 268 30 16 254 16 254 30 268 142 380 16 254 142 380 30 268 30 268 254 16 268 30 142 380 16 254 254 16 16 254 16 254 268 30 254 16 16 254 268 30 142 380 16 254 30 268 30 268 254 16 30 268 268 30 254 16 16 254 254 16 16 254 30 268 16 254 16 254 16 254 16 254 16 254 254 16 268 30 30 268 30 268 142 380 268 30 268 30 254 16 30 268 16 254 254 16 16 254 16 254 16 254 254 16 16 254 254 16 380 142 268 30 254 16 254 16 268 30 30 268 16 254 254 16 30 268 268 30 16 254 254 16 254 16 16 254 30 268 254 16 30 268 268 30 16 254 16 254 268 30 268 30 254 16 254 16 380 142 30 268 16 254 16 254 30 268 30 268 254 16 16 254 16 254 254 16 254 16 16 254 254 16 30 268 16 254 16 254 254 16 254 16 16 254 30 268 30 268 30 268 254 16 16 254 268 30 254 16 16 254 16 254 16 254 30 268 268 30 16 254 30 268 254 16 16 254 30 268 16 254 380 142 30 268 254 16 254 16 268 30 30 268 268 30 30 268 30 268 16 254 16 254 268 30 254 16 30 268 254 16 30 268 268 30 380 142 30 268 380 142 16 254 16 254 30 268 254 16 380 142 30 268 30 268 380 142 16 254 16 254 16 254 16 254 30 268 380 142 30 268 268 30 268 30 254 16 268 30 268 30 16 254 16 254 254 16 30 268 16 254 16 254 254 16 30 268 16 254 16 254