| Name | pseudoSeries/ttp/ data-8-3.xml |
| MD5SUM | 4a6ed926c351140e8834a0ef1f973750 |
| 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 | 13.9529 |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Number of variables | 1344 |
| Number of constraints | 16376 |
| Maximum constraint arity | 28 |
| Maximum domain size | 2 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 16376 |
| Global constraints used (with number of constraints) |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| sugar 0.40 | 211273 | SAT | 13.9529 | 17.6009 |
| Abscon 109 AC | 211265 | SAT | 167.962 | 169.569 |
| Abscon 109 ESAC | 211264 | SAT | 489.221 | 489.559 |
| CSPtoSAT+minisat 0.3 | 211274 | SAT | 541.572 | 544.75 |
| galacJ beta 1 | 211263 | SAT | 612.594 | 613.208 |
| galac 1 | 211268 | SAT | 695.389 | 702.001 |
| Tramontane 2006-12-04 | 211272 | SAT | 1731.45 | 1739.75 |
| sat4jCSP 1.7 RC BF3 | 211270 | ? (MO) | 31.0673 | 26.6866 |
| SAT4JCSP-CACHED 1.7 RC BF3 | 211269 | ? (MO) | 33.2309 | 33.4079 |
| CSP4J - MAC 2007-01-16 | 270923 | ? (TO) | 0.002998 | 1801.36 |
| CSP4J - MAC 2006-12-19 | 211267 | ? (TO) | 0.006998 | 1809.81 |
| BPrologCSPSolver70a 2006-12-13 | 211262 | ? (TO) | 1800.08 | 1810.26 |
| CSP4J - Combo 2006-12-19 | 211266 | ? (TO) | 1800.08 | 1814.07 |
| Mistral 2006-12-04 | 211271 | ? (TO) | 1800.13 | 1806.33 |