Name | composed/composed-75-1-2/ composed-75-1-2-5_ext.xml |
MD5SUM | 050c7b9010d6f7a258084862214a094f |
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 | 624 |
Maximum constraint arity | 2 |
Maximum domain size | 10 |
Number of constraints which are defined in extension | 624 |
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 | 267825 | UNSAT | 0.05599 | 0.0601479 |
VALCSP 3.0 | 192234 | UNSAT | 0.05899 | 0.0613851 |
Tramontane 2006-12-04 | 192240 | UNSAT | 0.082986 | 0.0892999 |
Mistral 2006-12-04 | 192239 | UNSAT | 0.099984 | 0.11717 |
BPrologCSPSolver70a 2006-12-13 | 192226 | UNSAT | 0.115981 | 0.117551 |
CSPtoSAT+minisat 0.3 | 192242 | UNSAT | 0.141978 | 0.147897 |
Diarmuid-wtdi 2006-12-21 | 192224 | UNSAT | 0.273957 | 0.28512 |
buggy_2_5 2007-01-08 | 192238 | UNSAT | 0.325949 | 0.329958 |
buggy_2_5_s 2007-01-08 | 192237 | UNSAT | 0.330949 | 0.341828 |
Diarmuid-rndi 2007-01-22 | 286009 | UNSAT | 0.467927 | 0.470242 |
CSP4J - MAC 2006-12-19 | 192232 | UNSAT | 0.704892 | 0.870331 |
CSP4J - MAC 2007-01-16 | 269784 | UNSAT | 0.709891 | 0.758074 |
CSP4J - Combo 2006-12-19 | 192231 | UNSAT | 0.869867 | 0.929657 |
Abscon 109 ESAC | 192229 | UNSAT | 0.877866 | 0.921517 |
Abscon 109 AC | 192230 | UNSAT | 0.898863 | 1.02434 |
galacJ beta 1 | 192228 | UNSAT | 1.01684 | 1.10675 |
rjw-solver 2007-01-21 | 283071 | UNSAT | 1.16082 | 1.21135 |
rjw-solver 2006-12-09 | 192227 | UNSAT | 1.16382 | 1.17645 |
galac 1 | 192233 | UNSAT | 1.40879 | 1.46949 |
Diarmuid-rndi 2006-12-21 | 192225 | UNSAT | 2.41863 | 2.45107 |
sugar 0.40 | 192241 | UNSAT | 2.44663 | 2.60716 |
SAT4JCSP-CACHED 1.7 RC BF3 | 192235 | UNSAT | 2.57661 | 2.54024 |
sat4jCSP 1.7 RC BF3 | 192236 | UNSAT | 2.5996 | 1.78177 |