Name | dimacs/aim-100/ aim-100-3-4-sat-2_ext.xml |
MD5SUM | 7de3e5ee8f8b728bed71bbe54df3882c |
Bench Category | N-ARY-EXT (n-ary constraints in extension) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 0.031994 |
Satisfiable | YES |
(Un)Satisfiability was proved | |
Number of variables | 100 |
Number of constraints | 316 |
Maximum constraint arity | 3 |
Maximum domain size | 2 |
Number of constraints which are defined in extension | 316 |
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 |
---|---|---|---|---|
Mistral 2006-12-04 | 242738 | SAT | 0.031994 | 0.0417831 |
CSPtoSAT+minisat 0.3 | 242741 | SAT | 0.033994 | 0.0359329 |
Tramontane 2006-12-04 | 242739 | SAT | 0.038993 | 0.040033 |
CSP4J - MAC 2006-12-19 | 242734 | SAT | 0.536918 | 0.597043 |
CSP4J - MAC 2007-01-16 | 272786 | SAT | 0.552915 | 0.638123 |
CSP4J - Combo 2006-12-19 | 242733 | SAT | 0.833872 | 0.866881 |
Abscon 109 AC | 242732 | SAT | 0.866867 | 0.921039 |
Abscon 109 ESAC | 242731 | SAT | 0.923859 | 0.965666 |
sugar 0.40 | 242740 | SAT | 0.98 | 1.18711 |
sat4jCSP 1.7 RC BF3 | 242737 | SAT | 1.06784 | 0.978661 |
SAT4JCSP-CACHED 1.7 RC BF3 | 242736 | SAT | 1.12283 | 1.04787 |
galacJ beta 1 | 242730 | SAT | 1.2858 | 1.35168 |
galac 1 | 242735 | SAT | 1.3058 | 1.47554 |
BPrologCSPSolver70a 2006-12-13 | 242729 | SAT | 2.43163 | 2.44554 |