Name | csp/QG4/ normalized-quasigroup4-9.xml |
MD5SUM | d0d864992a962c8beff5238515ba838d |
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 | 0.241962 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 252 |
Number of constraints | 179 |
Maximum constraint arity | 83 |
Maximum domain size | 81 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 80 |
Global constraints used (with number of constraints) | alldifferent(18),element(81) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral 1.545 (complete) | 2062669 | SAT | 0.241962 | 0.252069 |
bpsolver 09 (complete) | 2062670 | SAT | 2.11268 | 2.14196 |
Sugar v1.14.6+minisat (complete) | 2062667 | SAT | 2.34964 | 2.08395 |
Sugar v1.14.6+picosat (complete) | 2062666 | SAT | 2.57761 | 2.70717 |
Abscon 112v4 AC (complete) | 2094043 | SAT | 4.50431 | 4.60556 |
Abscon 112v4 ESAC (complete) | 2094044 | SAT | 7.30789 | 7.42335 |
Choco2.1.1 2009-06-10 (complete) | 2062665 | SAT | 32.3591 | 32.4249 |
Choco2.1.1b 2009-07-16 (complete) | 2114933 | SAT | 35.9365 | 36.0092 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:1 9 8 7 3 5 6 4 2 6 2 4 3 9 8 1 5 7 7 8 3 5 1 4 2 9 6 2 6 1 4 7 9 5 3 8 4 1 6 9 5 7 8 2 3 3 5 2 8 4 6 9 7 1 8 4 9 6 2 3 7 1 5 9 7 5 2 6 1 3 8 4 5 3 7 1 8 2 4 6 9 73 69 1 54 1 62 1 16 1 30 1 23 1 69 1 76 1 38 1 78 2 1 11 2 67 2 48 2 9 2 44 2 28 2 59 2 25 2 70 3 35 3 1 21 3 5 3 46 3 13 3 74 3 45 3 60 3 56 4 24 4 37 4 73 31 4 79 4 72 4 50 4 12 4 8 4 22 5 73 5 6 5 63 5 73 41 5 34 5 17 5 47 5 66 5 39 6 68 6 29 6 80 6 58 6 73 51 6 27 6 7 6 10 6 53 7 4 7 18 7 42 7 65 7 75 7 73 61 7 19 7 32 7 36 8 43 8 77 8 20 8 15 8 55 8 3 8 73 71 8 49 8 14 9 57 9 52 9 64 9 26 9 2 9 40 9 33 9 1 81 9