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 |