| Name | pseudoSeries/ ii/ii-8a3.xml |
| MD5SUM | a0ad1975540c48858b1729b8ef2263f0 |
| 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.156975 |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Number of variables | 528 |
| Number of constraints | 1816 |
| Maximum constraint arity | 8 |
| Maximum domain size | 2 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 1816 |
| Global constraints used (with number of constraints) |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| Mistral 2006-12-04 | 214983 | SAT | 0.156975 | 0.1652 |
| Tramontane 2006-12-04 | 214984 | SAT | 0.160975 | 0.164261 |
| BPrologCSPSolver70a 2006-12-13 | 214974 | SAT | 0.281956 | 0.305916 |
| sugar 0.40 | 214985 | SAT | 1.24 | 1.61592 |
| Abscon 109 ESAC | 214976 | SAT | 1.27081 | 1.33277 |
| CSPtoSAT+minisat 0.3 | 214986 | SAT | 1.82472 | 1.847 |
| Abscon 109 AC | 214977 | SAT | 1.9667 | 2.0265 |
| CSP4J - MAC 2007-01-16 | 271208 | SAT | 3.10353 | 3.26747 |
| galacJ beta 1 | 214975 | SAT | 3.20951 | 3.26249 |
| galac 1 | 214980 | SAT | 3.24251 | 3.68489 |
| CSP4J - MAC 2006-12-19 | 214979 | SAT | 3.33749 | 3.43255 |
| sat4jCSP 1.7 RC BF3 | 214982 | SAT | 4.93225 | 3.07359 |
| CSP4J - Combo 2006-12-19 | 214978 | SAT | 35.5996 | 35.6702 |
| SAT4JCSP-CACHED 1.7 RC BF3 | 214981 | ? (MO) | 2.42163 | 2.09182 |