| Name | chessboardColoration/ cc-8-8-3.xml |
| MD5SUM | ba689a08bb93415de74ab2650cffa70a |
| 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 | 0.088986 |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Number of variables | 64 |
| Number of constraints | 784 |
| Maximum constraint arity | 4 |
| Maximum domain size | 3 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 784 |
| Global constraints used (with number of constraints) |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| CSPtoSAT+minisat 0.3 | 218849 | SAT | 0.088986 | 0.0953671 |
| Abscon 109 AC | 218840 | SAT | 1.09083 | 1.12394 |
| Abscon 109 ESAC | 218839 | SAT | 1.10983 | 1.12837 |
| sugar 0.40 | 218848 | SAT | 1.81072 | 2.23292 |
| galacJ beta 1 | 218838 | SAT | 3.04354 | 3.13089 |
| SAT4JCSP-CACHED 1.7 RC BF3 | 218844 | SAT | 3.20851 | 3.27421 |
| sat4jCSP 1.7 RC BF3 | 218845 | SAT | 3.38049 | 3.43498 |
| galac 1 | 218843 | SAT | 3.76943 | 3.86572 |
| CSP4J - MAC 2007-01-16 | 271467 | SAT | 3.99039 | 4.11183 |
| CSP4J - MAC 2006-12-19 | 218842 | SAT | 4.35134 | 4.46303 |
| CSP4J - Combo 2006-12-19 | 218841 | SAT | 6.55 | 6.67941 |
| BPrologCSPSolver70a 2006-12-13 | 218837 | ? (TO) | 1800.07 | 1809.12 |
| Tramontane 2006-12-04 | 218847 | ? (TO) | 1800.07 | 1814.53 |
| Mistral 2006-12-04 | 218846 | ? (TO) | 1800.08 | 1816.74 |