| Name | pseudoSeries/par/ par-8-1-c.xml |
| MD5SUM | 56676378a1dc16aecfb13262bc5602d0 |
| 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.034994 |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Number of variables | 128 |
| Number of constraints | 318 |
| 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 | 318 |
| Global constraints used (with number of constraints) |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| BPrologCSPSolver70a 2006-12-13 | 214077 | SAT | 0.034994 | 0.0363001 |
| Tramontane 2006-12-04 | 214087 | SAT | 0.038993 | 0.044502 |
| Mistral 2006-12-04 | 214086 | SAT | 0.040993 | 0.0496569 |
| CSPtoSAT+minisat 0.3 | 214089 | SAT | 0.045992 | 0.0542631 |
| Abscon 109 ESAC | 214079 | SAT | 0.91186 | 1.06439 |
| sugar 0.40 | 214088 | SAT | 0.933857 | 1.15767 |
| Abscon 109 AC | 214080 | SAT | 0.957853 | 1.02955 |
| CSP4J - Combo 2006-12-19 | 214081 | SAT | 1.05884 | 1.1211 |
| CSP4J - MAC 2006-12-19 | 214082 | SAT | 1.14582 | 1.18855 |
| CSP4J - MAC 2007-01-16 | 271139 | SAT | 1.16082 | 1.23614 |
| galacJ beta 1 | 214078 | SAT | 1.68274 | 1.76949 |
| galac 1 | 214083 | SAT | 1.74473 | 1.83151 |
| sat4jCSP 1.7 RC BF3 | 214085 | SAT | 1.79473 | 1.8096 |
| SAT4JCSP-CACHED 1.7 RC BF3 | 214084 | SAT | 1.9777 | 1.35627 |