Name | composed/composed-25-1-2/ composed-25-1-2-2_ext.xml |
MD5SUM | f00e1c34c689f6a82768ba3d7eb9d13c |
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.022996 |
Satisfiable | NO |
(Un)Satisfiability was proved | NO |
Number of variables | 33 |
Number of constraints | 224 |
Maximum constraint arity | 2 |
Maximum domain size | 10 |
Number of constraints which are defined in extension | 224 |
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 | 268684 | UNSAT | 0.022995 | 0.024116 |
VALCSP 3.0 | 218578 | UNSAT | 0.022996 | 0.0268009 |
Tramontane 2006-12-04 | 218584 | UNSAT | 0.037993 | 0.0458909 |
Mistral 2006-12-04 | 218583 | UNSAT | 0.045992 | 0.0483409 |
CSPtoSAT+minisat 0.3 | 218586 | UNSAT | 0.055991 | 0.073881 |
BPrologCSPSolver70a 2006-12-13 | 218570 | UNSAT | 0.062989 | 0.0698239 |
Diarmuid-wtdi 2006-12-21 | 218568 | UNSAT | 0.118981 | 0.127734 |
Diarmuid-rndi 2007-01-22 | 286418 | UNSAT | 0.137978 | 0.139962 |
buggy_2_5 2007-01-08 | 218582 | UNSAT | 0.153976 | 0.15732 |
buggy_2_5_s 2007-01-08 | 218581 | UNSAT | 0.156975 | 0.164843 |
Diarmuid-rndi 2006-12-21 | 218569 | UNSAT | 0.299954 | 0.302923 |
rjw-solver 2007-01-21 | 283480 | UNSAT | 0.318951 | 0.342054 |
rjw-solver 2006-12-09 | 218571 | UNSAT | 0.339947 | 0.360908 |
CSP4J - MAC 2006-12-19 | 218576 | UNSAT | 0.521919 | 0.550413 |
CSP4J - MAC 2007-01-16 | 271450 | UNSAT | 0.547916 | 0.609041 |
CSP4J - Combo 2006-12-19 | 218575 | UNSAT | 0.570912 | 0.623508 |
Abscon 109 ESAC | 218573 | UNSAT | 0.753884 | 0.81769 |
Abscon 109 AC | 218574 | UNSAT | 0.864868 | 0.934616 |
galacJ beta 1 | 218572 | UNSAT | 0.926858 | 0.96302 |
galac 1 | 218577 | UNSAT | 1.06384 | 1.12311 |
sugar 0.40 | 218585 | UNSAT | 1.56176 | 1.60319 |
SAT4JCSP-CACHED 1.7 RC BF3 | 218579 | UNSAT | 1.66474 | 1.67906 |
sat4jCSP 1.7 RC BF3 | 218580 | UNSAT | 1.67674 | 1.16289 |