| Name | latinSquare/ latinSquare-dg-5_all.xml |
| MD5SUM | 056ca432838cb0f9d818ed84451eef19 |
| Bench Category | GLOBAL (global constraints) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 0.012997 |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Number of variables | 25 |
| Number of constraints | 20 |
| Maximum constraint arity | 5 |
| Maximum domain size | 5 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 0 |
| Global constraints used (with number of constraints) | allDifferent(20) |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| CSPtoSAT+minisat 0.3 | 217412 | SAT | 0.012997 | 0.0207561 |
| Tramontane 2006-12-04 | 217410 | SAT | 0.013997 | 0.0318009 |
| Mistral 2006-12-04 | 217409 | SAT | 0.014997 | 0.0190289 |
| BPrologCSPSolver70a 2006-12-13 | 217400 | SAT | 0.017996 | 0.021767 |
| CSP4J - MAC 2006-12-19 | 217405 | SAT | 0.281956 | 0.361919 |
| CSP4J - MAC 2007-01-16 | 271377 | SAT | 0.307952 | 0.35607 |
| CSP4J - Combo 2006-12-19 | 217404 | SAT | 0.31795 | 0.3647 |
| SAT4JCSP-CACHED 1.7 RC BF3 | 217407 | SAT | 0.570913 | 0.655908 |
| sat4jCSP 1.7 RC BF3 | 217408 | SAT | 0.605907 | 0.675769 |
| Abscon 109 AC | 217403 | SAT | 0.623904 | 0.65354 |
| Abscon 109 ESAC | 217402 | SAT | 0.667898 | 0.728862 |
| sugar 0.40 | 217411 | SAT | 0.795878 | 4.40818 |
| galacJ beta 1 | 217401 | SAT | 1.24081 | 1.35698 |
| galac 1 | 217406 | SAT | 1.38479 | 1.46223 |