Name | csp/QG7/ normalized-quasigroup7-9.xml |
MD5SUM | faddf2cf53c4ca4326325c7475421126 |
Bench Category | Alldiff+Elt+WSum (alldiff,element,weightedsum) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 3.51447 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 403 |
Number of constraints | 323 |
Maximum constraint arity | 83 |
Maximum domain size | 73 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 144 |
Global constraints used (with number of constraints) | alldifferent(18),element(161) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Sugar v1.14.6+minisat (complete) | 2060049 | SAT | 3.51447 | 3.65048 |
Sugar v1.14.6+picosat (complete) | 2060048 | SAT | 4.14637 | 4.28358 |
Abscon 112v4 AC (complete) | 2093567 | SAT | 8.22375 | 8.35798 |
Abscon 112v4 ESAC (complete) | 2093568 | SAT | 13.8769 | 14.0312 |
bpsolver 09 (complete) | 2060052 | SAT | 15.3857 | 15.5466 |
Mistral 1.545 (complete) | 2060051 | SAT | 15.9566 | 16.0985 |
Choco2.1.1 2009-06-10 (complete) | 2060047 | SAT | 20.9188 | 21.0469 |
Choco2.1.1b 2009-07-16 (complete) | 2114695 | SAT | 23.0075 | 23.2821 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:1 8 6 7 2 9 5 3 4 6 2 5 8 7 4 1 9 3 4 1 3 5 6 7 9 2 8 2 3 7 4 9 1 8 5 6 3 6 9 1 5 8 4 7 2 7 9 8 3 4 6 2 1 5 8 4 2 9 3 5 7 6 1 9 5 4 6 1 2 3 8 7 5 7 1 2 8 3 6 4 9 68 1 47 9 9 30 9 7 13 9 8 23 9 6 60 9 5 70 9 3 80 9 4 45 9 2 64 9 17 9 73 11 9 11 2 3 9 10 6 22 9 12 5 50 9 15 4 78 9 18 3 34 9 13 8 44 9 14 7 63 9 16 1 46 9 24 7 38 9 23 6 73 21 9 21 3 58 9 25 9 77 9 27 8 69 9 26 2 16 9 20 1 35 9 22 5 9 9 19 4 55 9 34 8 65 9 35 5 39 9 32 9 73 31 9 31 4 5 9 28 2 24 9 30 7 79 9 36 6 53 9 33 1 18 9 29 3 10 9 38 6 56 9 43 4 48 9 42 8 76 9 45 2 73 41 9 41 5 33 9 40 1 25 9 39 9 8 9 37 3 72 9 44 7 73 9 54 5 29 9 49 3 57 9 52 2 4 9 46 7 68 9 53 1 73 51 9 51 6 43 9 50 4 17 9 47 9 27 9 48 8 37 9 59 3 2 9 55 8 75 9 63 1 67 9 62 6 32 9 58 9 15 9 56 4 73 61 9 61 7 26 9 57 2 54 9 60 5 19 9 66 4 74 9 72 7 12 9 65 5 40 9 68 1 59 9 70 3 6 9 64 9 52 9 69 2 73 71 9 71 8 36 9 67 6 28 9 76 2 20 9 75 1 66 9 80 4 49 9 78 3 14 9 74 7 42 9 77 8 7 9 73 5 62 9 79 6 73 81 9 81 9