Name | composed/composed-75-1-25/ composed-75-1-25-3_ext.xml |
MD5SUM | 5b2d1182a60b69ac86a4f0dc4f7bee5f |
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.06099 |
Satisfiable | NO |
(Un)Satisfiability was proved | NO |
Number of variables | 83 |
Number of constraints | 647 |
Maximum constraint arity | 2 |
Maximum domain size | 10 |
Number of constraints which are defined in extension | 647 |
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 | 191896 | UNSAT | 0.06099 | 0.0712659 |
VALCSP 3.1 | 267805 | UNSAT | 0.062989 | 0.065008 |
Tramontane 2006-12-04 | 191902 | UNSAT | 0.077987 | 0.0899101 |
Mistral 2006-12-04 | 191901 | UNSAT | 0.101983 | 0.109534 |
BPrologCSPSolver70a 2006-12-13 | 191888 | UNSAT | 0.117981 | 0.118939 |
CSPtoSAT+minisat 0.3 | 191904 | UNSAT | 0.142977 | 0.147854 |
Diarmuid-wtdi 2006-12-21 | 191886 | UNSAT | 0.288955 | 0.290218 |
buggy_2_5_s 2007-01-08 | 191899 | UNSAT | 0.32795 | 0.341445 |
buggy_2_5 2007-01-08 | 191900 | UNSAT | 0.332948 | 0.341196 |
CSP4J - MAC 2006-12-19 | 191894 | UNSAT | 0.698892 | 0.766437 |
CSP4J - MAC 2007-01-16 | 269764 | UNSAT | 0.723889 | 0.793065 |
Diarmuid-rndi 2006-12-21 | 191887 | UNSAT | 0.752885 | 0.764941 |
CSP4J - Combo 2006-12-19 | 191893 | UNSAT | 0.758884 | 0.855227 |
Abscon 109 ESAC | 191891 | UNSAT | 0.887864 | 0.936183 |
Abscon 109 AC | 191892 | UNSAT | 0.956854 | 0.983389 |
galacJ beta 1 | 191890 | UNSAT | 1.04184 | 1.12943 |
rjw-solver 2007-01-21 | 283065 | UNSAT | 1.20781 | 1.23597 |
rjw-solver 2006-12-09 | 191889 | UNSAT | 1.23181 | 1.30056 |
galac 1 | 191895 | UNSAT | 1.42878 | 1.43518 |
Diarmuid-rndi 2007-01-22 | 286003 | UNSAT | 1.62975 | 1.63924 |
sugar 0.40 | 191903 | UNSAT | 2.49562 | 3.62968 |
sat4jCSP 1.7 RC BF3 | 191898 | UNSAT | 2.55161 | 1.71125 |
SAT4JCSP-CACHED 1.7 RC BF3 | 191897 | UNSAT | 2.6146 | 1.71155 |