| Name | csp/QG7/ normalized-quasigroup7-6.xml |
| MD5SUM | 790ca124b1ffc62329583a537a34d57f |
| Bench Category | GLOBAL (global constraints) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 0.167974 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 178 |
| Number of constraints | 143 |
| Maximum constraint arity | 38 |
| Maximum domain size | 31 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 60 |
| Global constraints used (with number of constraints) | alldifferent(12),element(71) |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| bpsolver 2008-06-27 | 1039771 | UNSAT | 0.167974 | 0.1684 |
| casper zao | 1043113 | UNSAT | 0.485925 | 0.487234 |
| Mistral-prime 1.313 | 1039775 | UNSAT | 0.533918 | 0.53629 |
| casper zito | 1043742 | UNSAT | 0.545916 | 0.548475 |
| MDG-noprobe 2008-06-27 | 1039767 | UNSAT | 0.58191 | 0.589988 |
| cpHydra k_40 | 1046258 | UNSAT | 0.583911 | 0.587201 |
| cpHydra k_10 | 1045629 | UNSAT | 0.58691 | 0.58834 |
| Minion/Tailor 2008-07-04 | 1104441 | UNSAT | 0.684895 | 0.567996 |
| Mistral-option 1.314 | 1039774 | UNSAT | 0.727889 | 0.732077 |
| Sugar v1.13+picosat | 1039769 | UNSAT | 1.42978 | 1.56145 |
| Sugar v1.13+minisat | 1039770 | UNSAT | 1.45178 | 1.4832 |
| choco2_dwdeg 2008-06-26 | 1039773 | UNSAT | 1.48977 | 1.44313 |
| choco2_impwdeg 2008-06-26 | 1039772 | UNSAT | 1.64075 | 1.73168 |
| Abscon 112v4 AC | 1044371 | UNSAT | 2.12568 | 2.20137 |
| MDG-probe 2008-06-27 | 1039766 | UNSAT | 2.85756 | 2.87459 |
| Abscon 112v4 ESAC | 1045000 | UNSAT | 2.99254 | 3.0795 |
| SAT4J CSP 2008-06-13 | 1039768 | ? | 1.56176 | 1.36478 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found: