| Name | random/rand-3-20-20/ rand-3-20-20-60-632-29_ext.xml |
| MD5SUM | 1dccb7e9f0c68441fbea3ee60d9db5eb |
| 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 | 14.6028 |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Number of variables | 20 |
| Number of constraints | 57 |
| Maximum constraint arity | 3 |
| Maximum domain size | 20 |
| Number of constraints which are defined in extension | 57 |
| 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 | 218379 | SAT | 14.6028 | 14.7316 |
| Abscon 109 ESAC | 218372 | SAT | 20.3459 | 20.4513 |
| Tramontane 2006-12-04 | 218380 | SAT | 27.1859 | 27.2712 |
| Abscon 109 AC | 218373 | SAT | 31.5082 | 31.7146 |
| CSP4J - Combo 2006-12-19 | 218374 | SAT | 41.9366 | 42.0209 |
| CSP4J - MAC 2006-12-19 | 218375 | SAT | 46.8229 | 47.3216 |
| CSP4J - MAC 2007-01-16 | 271438 | SAT | 109.586 | 110.209 |
| SAT4JCSP-CACHED 1.7 RC BF3 | 218377 | SAT | 127.643 | 127.681 |
| sat4jCSP 1.7 RC BF3 | 218378 | SAT | 143.177 | 144.349 |
| BPrologCSPSolver70a 2006-12-13 | 218370 | SAT | 686.903 | 693.146 |
| galacJ beta 1 | 218371 | ? (TO) | 1800.07 | 1810.14 |
| galac 1 | 218376 | ? (TO) | 1800.08 | 1808.1 |
| CSPtoSAT+minisat 0.3 | 218382 | ? (TO) | 1800.11 | 1802.69 |
| sugar 0.40 | 218381 | ? (TO) | 1800.97 | 1811.45 |