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