| 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