Name | composed/composed-75-1-40/ composed-75-1-40-4_ext.xml |
MD5SUM | cb232de8a0aaed5e654eba603242c145 |
Bench Category | 2-ARY-EXT (binary constraints in extension) |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.05899 |
Satisfiable | NO |
(Un)Satisfiability was proved | NO |
Number of variables | 83 |
Number of constraints | 662 |
Maximum constraint arity | 2 |
Maximum domain size | 10 |
Number of constraints which are defined in extension | 662 |
Number of constraints which are defined in intension | 0 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
VALCSP 3.0 | 219207 | UNSAT | 0.05899 | 0.062467 |
VALCSP 3.1 | 268705 | UNSAT | 0.06299 | 0.0637401 |
Tramontane 2006-12-04 | 219213 | UNSAT | 0.084986 | 0.086615 |
Mistral 2006-12-04 | 219212 | UNSAT | 0.095984 | 0.098855 |
BPrologCSPSolver70a 2006-12-13 | 219199 | UNSAT | 0.117981 | 0.118327 |
CSPtoSAT+minisat 0.3 | 219215 | UNSAT | 0.148977 | 0.18543 |
Diarmuid-wtdi 2006-12-21 | 219197 | UNSAT | 0.307952 | 0.310448 |
buggy_2_5 2007-01-08 | 219211 | UNSAT | 0.331949 | 0.335844 |
buggy_2_5_s 2007-01-08 | 219210 | UNSAT | 0.336948 | 0.387177 |
CSP4J - MAC 2006-12-19 | 219205 | UNSAT | 0.642901 | 0.718482 |
CSP4J - MAC 2007-01-16 | 271491 | UNSAT | 0.701892 | 0.766783 |
CSP4J - Combo 2006-12-19 | 219204 | UNSAT | 0.77888 | 0.813286 |
rjw-solver 2007-01-21 | 283491 | UNSAT | 0.835872 | 0.838263 |
rjw-solver 2006-12-09 | 219200 | UNSAT | 0.840871 | 0.849375 |
Abscon 109 ESAC | 219202 | UNSAT | 0.882864 | 0.916806 |
Abscon 109 AC | 219203 | UNSAT | 0.948854 | 0.967227 |
galacJ beta 1 | 219201 | UNSAT | 1.02384 | 1.04483 |
Diarmuid-rndi 2006-12-21 | 219198 | UNSAT | 1.41778 | 1.41904 |
galac 1 | 219206 | UNSAT | 1.46878 | 1.49908 |
sugar 0.40 | 219214 | UNSAT | 2.54 | 2.76488 |
SAT4JCSP-CACHED 1.7 RC BF3 | 219208 | UNSAT | 2.6036 | 1.68569 |
sat4jCSP 1.7 RC BF3 | 219209 | UNSAT | 2.6116 | 1.66358 |
Diarmuid-rndi 2007-01-22 | 286429 | UNSAT | 2.83257 | 2.83477 |