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 |