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