| Name | pseudoSeries/ logic-synthesis/rot-b.xml |
| MD5SUM | 8c570b456644ab122b17e3eae27d3d86 |
| Bench Category | N-ARY-INT (n-ary constraints in intension) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 0.6499 |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Number of variables | 1451 |
| Number of constraints | 2898 |
| Maximum constraint arity | 81 |
| Maximum domain size | 2 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 2898 |
| Global constraints used (with number of constraints) |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| BPrologCSPSolver70a 2006-12-13 | 214831 | SAT | 0.6499 | 0.661394 |
| CSPtoSAT+minisat 0.3 | 214843 | SAT | 0.656899 | 0.657777 |
| Mistral 2006-12-04 | 214840 | SAT | 2.6536 | 2.71388 |
| Tramontane 2006-12-04 | 214841 | SAT | 2.67459 | 2.73262 |
| Abscon 109 AC | 214834 | SAT | 6.06508 | 6.12744 |
| sugar 0.40 | 214842 | SAT | 7.05793 | 7.22586 |
| Abscon 109 ESAC | 214833 | SAT | 8.24975 | 8.38916 |
| CSP4J - MAC 2006-12-19 | 214836 | ? | 16.3005 | 16.4837 |
| CSP4J - Combo 2006-12-19 | 214835 | ? | 16.3485 | 16.497 |
| CSP4J - MAC 2007-01-16 | 271197 | ? | 19.3111 | 19.587 |
| SAT4JCSP-CACHED 1.7 RC BF3 | 214838 | ? (MO) | 3.64844 | 3.69821 |
| sat4jCSP 1.7 RC BF3 | 214839 | ? (MO) | 9.1926 | 9.24817 |
| galac 1 | 214837 | ? (TO) | 1800.05 | 1812.41 |
| galacJ beta 1 | 214832 | ? (TO) | 1800.08 | 1803.25 |