Name | csp/magicSquare/ normalized-magicSquare-11_glb.xml |
MD5SUM | c0c13fb85226e4e49c1e2f15160794cf |
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 | 6.93994 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 121 |
Number of constraints | 25 |
Maximum constraint arity | 121 |
Maximum domain size | 121 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 0 |
Global constraints used (with number of constraints) | alldifferent(1),weightedsum(24) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Choco2.1.1 2009-06-10 (complete) | 2060179 | SAT | 6.93994 | 6.88167 |
Choco2.1.1b 2009-07-16 (complete) | 2114707 | SAT | 7.2409 | 7.29379 |
bpsolver 09 (complete) | 2060184 | SAT | 899.564 | 904.049 |
Sugar v1.14.6+minisat (complete) | 2060181 | ? (MO) | 64.72 | 66.8551 |
Sugar v1.14.6+picosat (complete) | 2060180 | ? (MO) | 265.93 | 267.352 |
Abscon 112v4 AC (complete) | 2093591 | ? (TO) | 1800.04 | 1807.62 |
Abscon 112v4 ESAC (complete) | 2093592 | ? (TO) | 1800.1 | 1800.78 |
Mistral 1.545 (complete) | 2060183 | ? (TO) | 1800.1 | 1807.11 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:109 79 105 16 56 72 60 107 23 35 9 82 22 76 84 31 8 48 78 53 92 97 99 100 29 32 103 2 43 96 44 13 110 102 106 67 104 59 1 30 5 62 19 116 46 65 68 54 36 91 118 77 41 47 28 21 94 33 121 49 93 37 25 27 90 81 117 73 40 14 112 88 18 64 101 38 6 3 4 11 50 89 120 108 17 119 111 39 7 10 113 58 57 115 51 42 114 80 24 70 20 74 86 34 12 71 85 61 63 95 15 98 55 52 45 69 87 75 26 83 66