Name | csp/QG3/ normalized-quasigroup3-8.xml |
MD5SUM | ed64780daa04783cd6a30139c48e1815 |
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.172973 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 200 |
Number of constraints | 143 |
Maximum constraint arity | 66 |
Maximum domain size | 64 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 63 |
Global constraints used (with number of constraints) | alldifferent(16),element(64) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral-option 1.314 | 1042654 | SAT | 0.172973 | 0.178574 |
bpsolver 2008-06-27 | 1042651 | SAT | 0.18597 | 0.193331 |
Mistral-prime 1.313 | 1042655 | SAT | 0.203968 | 0.20848 |
MDG-noprobe 2008-06-27 | 1042647 | SAT | 0.247961 | 0.255048 |
cpHydra k_40 | 1046546 | SAT | 0.269958 | 0.279697 |
cpHydra k_10 | 1045917 | SAT | 0.271958 | 0.280568 |
casper zao | 1043401 | SAT | 0.473927 | 0.481939 |
Minion/Tailor 2008-07-04 | 1104729 | SAT | 0.84287 | 0.925097 |
Sugar v1.13+minisat | 1042650 | SAT | 1.75973 | 1.92115 |
MDG-probe 2008-06-27 | 1042646 | SAT | 1.85572 | 1.87362 |
Sugar v1.13+picosat | 1042649 | SAT | 2.05669 | 2.1735 |
Abscon 112v4 ESAC | 1045288 | SAT | 2.33964 | 2.40294 |
Abscon 112v4 AC | 1044659 | SAT | 2.38164 | 2.46443 |
casper zito | 1044030 | SAT | 4.11337 | 4.19116 |
choco2_dwdeg 2008-06-26 | 1042653 | SAT | 14.4928 | 14.6521 |
choco2_impwdeg 2008-06-26 | 1042652 | SAT | 17.5103 | 17.7043 |
SAT4J CSP 2008-06-13 | 1042648 | ? | 3.07553 | 3.12542 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:1 3 6 2 4 8 5 7 5 2 7 3 6 4 8 1 7 5 3 8 1 2 4 6 8 6 5 4 7 1 2 3 6 8 2 1 5 7 3 4 3 7 4 5 8 6 1 2 4 1 8 6 2 3 7 5 2 4 1 7 3 5 6 8 1 1 1 21 1 47 1 16 1 30 1 59 1 36 1 50 1 35 2 1 10 2 53 2 22 2 48 2 31 2 57 2 4 2 54 3 39 3 1 19 3 61 3 2 3 12 3 32 3 41 3 58 4 43 4 40 4 1 28 4 49 4 5 4 14 4 23 4 44 5 62 5 9 5 7 5 1 37 5 56 5 18 5 27 5 24 6 52 6 26 6 33 6 63 6 1 46 6 3 6 13 6 29 7 8 7 60 7 42 7 11 7 17 7 1 55 7 38 7 15 8 25 8 6 8 51 8 20 8 34 8 45 8 1 64 8