Name | composed/composed-75-1-40/ composed-75-1-40-5_ext.xml |
MD5SUM | 78976c66c916a0757f679e9dad7fe882 |
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.05999 |
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.1 | 268703 | UNSAT | 0.05899 | 0.0612519 |
VALCSP 3.0 | 219169 | UNSAT | 0.05999 | 0.062128 |
Tramontane 2006-12-04 | 219175 | UNSAT | 0.085986 | 0.0867181 |
Mistral 2006-12-04 | 219174 | UNSAT | 0.091985 | 0.0994521 |
BPrologCSPSolver70a 2006-12-13 | 219161 | UNSAT | 0.119981 | 0.122623 |
CSPtoSAT+minisat 0.3 | 219177 | UNSAT | 0.156975 | 0.186066 |
Diarmuid-wtdi 2006-12-21 | 219159 | UNSAT | 0.294955 | 0.30853 |
buggy_2_5 2007-01-08 | 219173 | UNSAT | 0.341947 | 0.353701 |
buggy_2_5_s 2007-01-08 | 219172 | UNSAT | 0.341947 | 0.357566 |
Diarmuid-rndi 2006-12-21 | 219160 | UNSAT | 0.6519 | 0.654696 |
CSP4J - MAC 2006-12-19 | 219167 | UNSAT | 0.714891 | 0.756695 |
CSP4J - MAC 2007-01-16 | 271489 | UNSAT | 0.733887 | 0.780896 |
CSP4J - Combo 2006-12-19 | 219166 | UNSAT | 0.791879 | 0.813503 |
Diarmuid-rndi 2007-01-22 | 286427 | UNSAT | 0.875866 | 0.886846 |
Abscon 109 ESAC | 219164 | UNSAT | 0.894863 | 0.919903 |
Abscon 109 AC | 219165 | UNSAT | 0.956853 | 1.02008 |
rjw-solver 2007-01-21 | 283489 | UNSAT | 1.01784 | 1.03089 |
galacJ beta 1 | 219163 | UNSAT | 1.05984 | 1.10329 |
rjw-solver 2006-12-09 | 219162 | UNSAT | 1.09683 | 1.11754 |
galac 1 | 219168 | UNSAT | 1.42078 | 1.51444 |
sugar 0.40 | 219176 | UNSAT | 2.56 | 2.78207 |
sat4jCSP 1.7 RC BF3 | 219171 | UNSAT | 2.56661 | 1.62282 |
SAT4JCSP-CACHED 1.7 RC BF3 | 219170 | UNSAT | 2.6286 | 1.71164 |