Name | composed/composed-25-1-80/ composed-25-1-80-1_ext.xml |
MD5SUM | 83c7b25af1f95bba2d05432f9ef312fa |
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.026995 |
Satisfiable | NO |
(Un)Satisfiability was proved | NO |
Number of variables | 33 |
Number of constraints | 302 |
Maximum constraint arity | 2 |
Maximum domain size | 10 |
Number of constraints which are defined in extension | 302 |
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 | 268283 | UNSAT | 0.024995 | 0.027889 |
VALCSP 3.0 | 202055 | UNSAT | 0.026995 | 0.0278261 |
Tramontane 2006-12-04 | 202061 | UNSAT | 0.042993 | 0.0503911 |
Mistral 2006-12-04 | 202060 | UNSAT | 0.045992 | 0.0538959 |
BPrologCSPSolver70a 2006-12-13 | 202047 | UNSAT | 0.069989 | 0.0703519 |
CSPtoSAT+minisat 0.3 | 202063 | UNSAT | 0.072988 | 0.0836289 |
rjw-solver 2006-12-09 | 202048 | UNSAT | 0.087985 | 0.184383 |
rjw-solver 2007-01-21 | 283325 | UNSAT | 0.088985 | 0.094858 |
Diarmuid-wtdi 2006-12-21 | 202045 | UNSAT | 0.100984 | 0.104329 |
buggy_2_5_s 2007-01-08 | 202058 | UNSAT | 0.170973 | 0.186918 |
buggy_2_5 2007-01-08 | 202059 | UNSAT | 0.172973 | 0.176732 |
CSP4J - Combo 2006-12-19 | 202052 | UNSAT | 0.496924 | 0.549223 |
CSP4J - MAC 2006-12-19 | 202053 | UNSAT | 0.504923 | 0.555901 |
CSP4J - MAC 2007-01-16 | 270355 | UNSAT | 0.52292 | 0.548451 |
Diarmuid-rndi 2007-01-22 | 286263 | UNSAT | 0.600908 | 0.610166 |
Abscon 109 ESAC | 202050 | UNSAT | 0.767882 | 0.813075 |
Abscon 109 AC | 202051 | UNSAT | 0.811875 | 0.882906 |
galacJ beta 1 | 202049 | UNSAT | 0.886865 | 0.89892 |
Diarmuid-rndi 2006-12-21 | 202046 | UNSAT | 0.942855 | 0.944691 |
galac 1 | 202054 | UNSAT | 1.03784 | 1.05662 |
sugar 0.40 | 202062 | UNSAT | 1.67974 | 1.71087 |
SAT4JCSP-CACHED 1.7 RC BF3 | 202056 | UNSAT | 1.77773 | 1.84249 |
sat4jCSP 1.7 RC BF3 | 202057 | UNSAT | 1.89671 | 1.93961 |