| Name | csp/latinSquare/ normalized-latinSquare-dg-8_all.xml |
| MD5SUM | 0c177442828a6d2881a24fd8c0888647 |
| Bench Category | GLOBAL (global constraints) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 1.03884 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 64 |
| Number of constraints | 32 |
| Maximum constraint arity | 8 |
| Maximum domain size | 8 |
| 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(32) |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| Sugar v1.13+minisat | 1041360 | UNSAT | 1.03884 | 1.12974 |
| Sugar v1.13+picosat | 1041359 | UNSAT | 1.03884 | 1.11742 |
| Minion/Tailor 2008-07-04 | 1104600 | UNSAT | 152.087 | 152.262 |
| casper zao | 1043272 | UNSAT | 204.56 | 206.333 |
| Abscon 112v4 ESAC | 1045159 | UNSAT | 670.173 | 674.71 |
| Abscon 112v4 AC | 1044530 | UNSAT | 673.617 | 679.726 |
| casper zito | 1043901 | UNSAT | 1223.9 | 1225.91 |
| cpHydra k_40 | 1046417 | ? (TO) | 1800.04 | 1820.44 |
| Mistral-prime 1.313 | 1041365 | ? (TO) | 1800.06 | 1807.31 |
| bpsolver 2008-06-27 | 1041361 | ? (TO) | 1800.08 | 1802.51 |
| cpHydra k_10 | 1045788 | ? (TO) | 1800.08 | 1817.24 |
| Mistral-option 1.314 | 1041364 | ? (TO) | 1800.08 | 1808.91 |
| MDG-noprobe 2008-06-27 | 1041357 | ? (TO) | 1800.1 | 1800.81 |
| MDG-probe 2008-06-27 | 1041356 | ? (TO) | 1800.1 | 1814.71 |
| SAT4J CSP 2008-06-13 | 1041358 | ? (TO) | 1800.12 | 1803.17 |
| choco2_impwdeg 2008-06-26 | 1041362 | ? (TO) | 1800.14 | 1803.64 |
| choco2_dwdeg 2008-06-26 | 1041363 | ? (TO) | 1800.41 | 1801.17 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found: