| Name | csp/QG3/ normalized-quasigroup3-4.xml |
| MD5SUM | ca22e2230a62e25984fb143194eff8d1 |
| 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.007998 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 52 |
| Number of constraints | 39 |
| Maximum constraint arity | 18 |
| Maximum domain size | 16 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 15 |
| Global constraints used (with number of constraints) | alldifferent(8),element(16) |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| MDG-probe 2008-06-27 | 1042686 | SAT | 0.007998 | 0.016809 |
| MDG-noprobe 2008-06-27 | 1042687 | SAT | 0.008998 | 0.01637 |
| Mistral-option 1.314 | 1042694 | SAT | 0.009997 | 0.0164189 |
| Mistral-prime 1.313 | 1042695 | SAT | 0.009997 | 0.0167 |
| cpHydra k_10 | 1045921 | SAT | 0.020996 | 0.0284299 |
| cpHydra k_40 | 1046550 | SAT | 0.022996 | 0.027546 |
| casper zao | 1043405 | SAT | 0.026995 | 0.035489 |
| bpsolver 2008-06-27 | 1042691 | SAT | 0.039993 | 0.046761 |
| casper zito | 1044034 | SAT | 0.042992 | 0.0501669 |
| Minion/Tailor 2008-07-04 | 1104733 | SAT | 0.425935 | 0.468487 |
| choco2_impwdeg 2008-06-26 | 1042692 | SAT | 0.71489 | 0.734183 |
| choco2_dwdeg 2008-06-26 | 1042693 | SAT | 0.747885 | 0.789039 |
| Sugar v1.13+picosat | 1042689 | SAT | 0.852869 | 0.917955 |
| Sugar v1.13+minisat | 1042690 | SAT | 0.858868 | 0.931312 |
| Abscon 112v4 ESAC | 1045292 | SAT | 0.91486 | 0.938515 |
| Abscon 112v4 AC | 1044663 | SAT | 0.934857 | 1.0075 |
| SAT4J CSP 2008-06-13 | 1042688 | ? | 1.08283 | 1.13788 |
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 2 3 3 2 4 1 4 1 3 2 2 3 1 4 1 1 1 15 1 8 1 10 1 12 2 1 6 2 13 2 3 2 14 3 4 3 1 11 3 5 3 7 4 9 4 2 4 1 16 4