Name | composed/composed-75-1-80/ composed-75-1-80-5_ext.xml |
MD5SUM | d350ded4476695b6faf15d599d5f8933 |
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.065989 |
Satisfiable | NO |
(Un)Satisfiability was proved | NO |
Number of variables | 83 |
Number of constraints | 702 |
Maximum constraint arity | 2 |
Maximum domain size | 10 |
Number of constraints which are defined in extension | 702 |
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 | 267794 | UNSAT | 0.064989 | 0.188777 |
VALCSP 3.0 | 191687 | UNSAT | 0.065989 | 0.0667089 |
Tramontane 2006-12-04 | 191693 | UNSAT | 0.090985 | 0.0987449 |
Mistral 2006-12-04 | 191692 | UNSAT | 0.101984 | 0.112691 |
BPrologCSPSolver70a 2006-12-13 | 191679 | UNSAT | 0.120981 | 0.122775 |
CSPtoSAT+minisat 0.3 | 191695 | UNSAT | 0.150976 | 0.155128 |
buggy_2_5_s 2007-01-08 | 191690 | UNSAT | 0.337948 | 0.356249 |
buggy_2_5 2007-01-08 | 191691 | UNSAT | 0.365943 | 0.777285 |
Diarmuid-wtdi 2006-12-21 | 191677 | UNSAT | 0.374942 | 0.383433 |
CSP4J - MAC 2006-12-19 | 191685 | UNSAT | 0.743886 | 0.904993 |
CSP4J - MAC 2007-01-16 | 269753 | UNSAT | 0.765883 | 0.841112 |
CSP4J - Combo 2006-12-19 | 191684 | UNSAT | 0.837871 | 0.877986 |
Abscon 109 ESAC | 191682 | UNSAT | 0.880866 | 0.935194 |
Abscon 109 AC | 191683 | UNSAT | 0.952854 | 1.05629 |
galacJ beta 1 | 191681 | UNSAT | 1.07184 | 1.32164 |
rjw-solver 2007-01-21 | 283054 | UNSAT | 1.20781 | 1.27954 |
rjw-solver 2006-12-09 | 191680 | UNSAT | 1.22781 | 1.23074 |
galac 1 | 191686 | UNSAT | 1.51077 | 1.55024 |
Diarmuid-rndi 2006-12-21 | 191678 | UNSAT | 2.04569 | 2.12112 |
sugar 0.40 | 191694 | UNSAT | 2.6026 | 3.4913 |
sat4jCSP 1.7 RC BF3 | 191689 | UNSAT | 2.76358 | 1.85469 |
SAT4JCSP-CACHED 1.7 RC BF3 | 191688 | UNSAT | 2.82057 | 2.39451 |
Diarmuid-rndi 2007-01-22 | 285992 | UNSAT | 4.96724 | 4.97434 |