| Name | pseudoSeries/ garden/g-2x2.xml |
| MD5SUM | d1ad83e5d5134ceab86d999aa73d431c |
| 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.010997 |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Number of variables | 4 |
| Number of constraints | 4 |
| Maximum constraint arity | 3 |
| Maximum domain size | 2 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 4 |
| Global constraints used (with number of constraints) |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| Mistral 2006-12-04 | 210079 | SAT | 0.010997 | 0.0197701 |
| Tramontane 2006-12-04 | 210080 | SAT | 0.011997 | 0.019856 |
| CSPtoSAT+minisat 0.3 | 210082 | SAT | 0.012997 | 0.0151351 |
| BPrologCSPSolver70a 2006-12-13 | 210070 | SAT | 0.017996 | 0.0199141 |
| CSP4J - MAC 2006-12-19 | 210075 | SAT | 0.340947 | 0.398044 |
| CSP4J - MAC 2007-01-16 | 270834 | SAT | 0.345947 | 0.416532 |
| CSP4J - Combo 2006-12-19 | 210074 | SAT | 0.364943 | 0.40966 |
| sugar 0.40 | 210081 | SAT | 0.409937 | 0.660277 |
| Abscon 109 AC | 210073 | SAT | 0.606907 | 0.659834 |
| Abscon 109 ESAC | 210072 | SAT | 0.616905 | 0.669109 |
| sat4jCSP 1.7 RC BF3 | 210078 | SAT | 0.761883 | 0.75233 |
| SAT4JCSP-CACHED 1.7 RC BF3 | 210077 | SAT | 0.762883 | 0.631707 |
| galac 1 | 210076 | SAT | 0.78588 | 0.834441 |
| galacJ beta 1 | 210071 | SAT | 0.896863 | 1.06101 |