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: