Name | csp/ortholatin/ normalized-ortholatin-7.xml |
MD5SUM | ecb6f233f61e5d259266e5fb1cd34725 |
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.288955 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 147 |
Number of constraints | 78 |
Maximum constraint arity | 49 |
Maximum domain size | 49 |
Number of constraints which are defined in extension | 49 |
Number of constraints which are defined in intension | 0 |
Global constraints used (with number of constraints) | alldifferent(29) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Abscon 112v4 ESAC | 1045299 | SAT | 8.97463 | 9.13142 |
MDG-probe 2008-06-27 | 1042756 | SAT | 18.6992 | 18.7746 |
casper zito | 1044041 | SAT | 20.9288 | 20.935 |
MDG-noprobe 2008-06-27 | 1042757 | SAT | 30.8863 | 31.1257 |
Sugar v1.13+minisat | 1042760 | SAT | 54.1558 | 54.4321 |
Abscon 112v4 AC | 1044670 | SAT | 82.1405 | 83.768 |
casper zao | 1043412 | SAT | 138.026 | 139.235 |
Mistral-option 1.314 | 1042764 | SAT | 270.375 | 272.428 |
SAT4J CSP 2008-06-13 | 1042758 | SAT | 383.197 | 386.782 |
Sugar v1.13+picosat | 1042759 | SAT | 456.542 | 458.841 |
cpHydra k_40 | 1046557 | ? (TO) | 1800.06 | 1803.03 |
cpHydra k_10 | 1045928 | ? (TO) | 1800.08 | 1806.73 |
Mistral-prime 1.313 | 1042765 | ? (TO) | 1800.09 | 1815.11 |
bpsolver 2008-06-27 | 1042761 | ? (TO) | 1800.1 | 1802.01 |
Minion/Tailor 2008-07-04 | 1104740 | ? (TO) | 1800.1 | 1809.61 |
choco2_impwdeg 2008-06-26 | 1042762 | ? (TO) | 1800.16 | 1810.17 |
choco2_dwdeg 2008-06-26 | 1042763 | ? (TO) | 1800.23 | 1813.27 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:1 2 3 4 5 6 7 2 6 4 1 7 3 5 3 5 6 2 1 7 4 4 1 2 7 3 5 6 5 3 7 6 4 1 2 6 7 1 5 2 4 3 7 4 5 3 6 2 1 6 3 4 1 2 5 7 7 1 2 5 6 3 4 1 5 7 6 4 2 3 4 2 5 3 7 1 6 3 6 1 4 5 7 2 2 4 3 7 1 6 5 5 7 6 2 3 4 1 6 10 18 22 30 40 49 14 36 23 5 48 17 32 15 33 42 13 4 44 24 25 2 12 45 21 29 41 31 20 43 39 26 7 9 37 46 3 35 8 27 19 47 28 34 16 38 11 1