Name | composed/composed-75-1-25/ composed-75-1-25-8_ext.xml |
MD5SUM | 82cba33cdf6917c29f06d7b6cb92d5d1 |
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 | 191801 | UNSAT | 0.06099 | 0.0625769 |
VALCSP 3.1 | 267800 | UNSAT | 0.061989 | 0.090537 |
Mistral 2006-12-04 | 191806 | UNSAT | 0.082987 | 0.088825 |
Tramontane 2006-12-04 | 191807 | UNSAT | 0.086986 | 0.087066 |
BPrologCSPSolver70a 2006-12-13 | 191793 | UNSAT | 0.119981 | 0.126201 |
CSPtoSAT+minisat 0.3 | 191809 | UNSAT | 0.146976 | 0.149697 |
Diarmuid-wtdi 2006-12-21 | 191791 | UNSAT | 0.292955 | 0.295416 |
buggy_2_5 2007-01-08 | 191805 | UNSAT | 0.326949 | 0.347089 |
buggy_2_5_s 2007-01-08 | 191804 | UNSAT | 0.337948 | 0.381098 |
CSP4J - MAC 2007-01-16 | 269759 | UNSAT | 0.71489 | 0.782304 |
CSP4J - MAC 2006-12-19 | 191799 | UNSAT | 0.737887 | 0.776441 |
CSP4J - Combo 2006-12-19 | 191798 | UNSAT | 0.745885 | 0.757421 |
rjw-solver 2007-01-21 | 283060 | UNSAT | 0.869866 | 0.985824 |
rjw-solver 2006-12-09 | 191794 | UNSAT | 0.884865 | 0.886855 |
Abscon 109 ESAC | 191796 | UNSAT | 0.896863 | 0.922501 |
Diarmuid-rndi 2007-01-22 | 285998 | UNSAT | 0.901862 | 0.901239 |
Abscon 109 AC | 191797 | UNSAT | 0.97385 | 1.10357 |
galacJ beta 1 | 191795 | UNSAT | 1.06084 | 1.28656 |
galac 1 | 191800 | UNSAT | 1.37779 | 1.4512 |
sugar 0.40 | 191808 | UNSAT | 2.31 | 3.91916 |
Diarmuid-rndi 2006-12-21 | 191792 | UNSAT | 2.42063 | 2.49161 |
SAT4JCSP-CACHED 1.7 RC BF3 | 191802 | UNSAT | 2.49562 | 2.57327 |
sat4jCSP 1.7 RC BF3 | 191803 | UNSAT | 2.67959 | 2.94242 |