Name | pseudoSeries/ttp/ data-8-3.xml |
MD5SUM | 4a6ed926c351140e8834a0ef1f973750 |
Bench Category | N-ARY-INT (n-ary constraints in intension) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 13.9529 |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Number of variables | 1344 |
Number of constraints | 16376 |
Maximum constraint arity | 28 |
Maximum domain size | 2 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 16376 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
sugar 0.40 | 211273 | SAT | 13.9529 | 17.6009 |
Abscon 109 AC | 211265 | SAT | 167.962 | 169.569 |
Abscon 109 ESAC | 211264 | SAT | 489.221 | 489.559 |
CSPtoSAT+minisat 0.3 | 211274 | SAT | 541.572 | 544.75 |
galacJ beta 1 | 211263 | SAT | 612.594 | 613.208 |
galac 1 | 211268 | SAT | 695.389 | 702.001 |
Tramontane 2006-12-04 | 211272 | SAT | 1731.45 | 1739.75 |
sat4jCSP 1.7 RC BF3 | 211270 | ? (MO) | 31.0673 | 26.6866 |
SAT4JCSP-CACHED 1.7 RC BF3 | 211269 | ? (MO) | 33.2309 | 33.4079 |
CSP4J - MAC 2007-01-16 | 270923 | ? (TO) | 0.002998 | 1801.36 |
CSP4J - MAC 2006-12-19 | 211267 | ? (TO) | 0.006998 | 1809.81 |
BPrologCSPSolver70a 2006-12-13 | 211262 | ? (TO) | 1800.08 | 1810.26 |
CSP4J - Combo 2006-12-19 | 211266 | ? (TO) | 1800.08 | 1814.07 |
Mistral 2006-12-04 | 211271 | ? (TO) | 1800.13 | 1806.33 |