Name | csp/QG3/ normalized-quasigroup3-7.xml |
MD5SUM | fafe0dcba984bf536ec9e261fa39bfe8 |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 1.62875 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 154 |
Number of constraints | 111 |
Maximum constraint arity | 51 |
Maximum domain size | 49 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 48 |
Global constraints used (with number of constraints) | alldifferent(14),element(49) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Minion/Tailor 2008-07-04 | 1104731 | UNSAT | 1.62875 | 1.75184 |
bpsolver 2008-06-27 | 1042671 | UNSAT | 1.83972 | 1.85917 |
Sugar v1.13+minisat | 1042670 | UNSAT | 2.71459 | 2.85951 |
Sugar v1.13+picosat | 1042669 | UNSAT | 3.9334 | 4.05742 |
casper zao | 1043403 | UNSAT | 11.3373 | 11.4346 |
choco2_impwdeg 2008-06-26 | 1042672 | UNSAT | 12.7491 | 12.8629 |
MDG-noprobe 2008-06-27 | 1042667 | UNSAT | 15.8176 | 15.8247 |
Abscon 112v4 AC | 1044661 | UNSAT | 20.3099 | 20.51 |
Abscon 112v4 ESAC | 1045290 | UNSAT | 21.6467 | 21.8691 |
cpHydra k_40 | 1046548 | UNSAT | 26.221 | 26.4923 |
MDG-probe 2008-06-27 | 1042666 | UNSAT | 26.496 | 26.7084 |
Mistral-prime 1.313 | 1042675 | UNSAT | 30.4464 | 30.7157 |
Mistral-option 1.314 | 1042674 | UNSAT | 35.9795 | 35.9907 |
choco2_dwdeg 2008-06-26 | 1042673 | UNSAT | 38.9401 | 38.9772 |
casper zito | 1044032 | UNSAT | 47.3208 | 47.6851 |
cpHydra k_10 | 1045919 | UNSAT | 48.0307 | 48.7759 |
SAT4J CSP 2008-06-13 | 1042668 | ? | 2.76658 | 2.81476 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found: