| Name | csp/QG4/ normalized-quasigroup4-5.xml |
| MD5SUM | 579069250876c3001771c4e5b4baf69a |
| 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.014997 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 80 |
| Number of constraints | 59 |
| Maximum constraint arity | 27 |
| Maximum domain size | 25 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 24 |
| Global constraints used (with number of constraints) | alldifferent(10),element(25) |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| Mistral-option 1.314 | 1042604 | SAT | 0.014997 | 0.0218499 |
| MDG-noprobe 2008-06-27 | 1042597 | SAT | 0.014997 | 0.0214399 |
| MDG-probe 2008-06-27 | 1042596 | SAT | 0.014997 | 0.015264 |
| Mistral-prime 1.313 | 1042605 | SAT | 0.016997 | 0.022093 |
| cpHydra k_10 | 1045912 | SAT | 0.025995 | 0.0324239 |
| cpHydra k_40 | 1046541 | SAT | 0.025995 | 0.033061 |
| bpsolver 2008-06-27 | 1042601 | SAT | 0.051991 | 0.058732 |
| casper zao | 1043396 | SAT | 0.070988 | 0.0788941 |
| casper zito | 1044025 | SAT | 0.226964 | 0.237043 |
| Minion/Tailor 2008-07-04 | 1104724 | SAT | 0.566913 | 0.784256 |
| Sugar v1.13+minisat | 1042600 | SAT | 0.992848 | 1.09783 |
| choco2_dwdeg 2008-06-26 | 1042603 | SAT | 1.04284 | 1.09976 |
| Abscon 112v4 ESAC | 1045283 | SAT | 1.08083 | 1.10005 |
| choco2_impwdeg 2008-06-26 | 1042602 | SAT | 1.08183 | 1.10144 |
| Abscon 112v4 AC | 1044654 | SAT | 1.08983 | 1.10752 |
| Sugar v1.13+picosat | 1042599 | SAT | 1.38479 | 1.47966 |
| SAT4J CSP 2008-06-13 | 1042598 | ? | 1.89471 | 1.91262 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:1 4 5 2 3 3 2 1 5 4 4 5 3 1 2 5 3 2 4 1 2 1 4 3 5 1 1 1 14 1 20 1 22 1 8 1 18 2 1 7 2 21 2 15 2 4 2 24 3 5 3 1 13 3 6 3 17 3 10 4 23 4 2 4 1 19 4 11 4 12 5 16 5 9 5 3 5 1 25 5