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: