| Name | csp/magicSquare/ normalized-magicSquare-12_glb.xml |
| MD5SUM | cd5b883393acd0fa1b14ec778755c15e |
| Bench Category | GLOBAL (global constraints) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 5.18721 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 144 |
| Number of constraints | 27 |
| Maximum constraint arity | 144 |
| Maximum domain size | 144 |
| 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(26) |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| Mistral-option 1.314 | 1039834 | SAT | 5.18721 | 5.21285 |
| casper zao | 1043119 | SAT | 13.175 | 13.3013 |
| casper zito | 1043748 | SAT | 17.8603 | 17.9535 |
| Mistral-prime 1.313 | 1039835 | SAT | 168.943 | 169.617 |
| cpHydra k_10 | 1045635 | SAT | 177.024 | 177.91 |
| cpHydra k_40 | 1046264 | SAT | 1039.5 | 1057.6 |
| bpsolver 2008-06-27 | 1039831 | SAT | 1127.58 | 1129.48 |
| SAT4J CSP 2008-06-13 | 1039828 | ? | 1.03584 | 1.07964 |
| Sugar v1.13+minisat | 1039830 | ? (MO) | 143.12 | 146.758 |
| Sugar v1.13+picosat | 1039829 | ? (MO) | 349.53 | 354.131 |
| MDG-probe 2008-06-27 | 1039826 | ? (TO) | 1800.02 | 1807.31 |
| choco2_dwdeg 2008-06-26 | 1039833 | ? (TO) | 1800.03 | 1801.43 |
| MDG-noprobe 2008-06-27 | 1039827 | ? (TO) | 1800.06 | 1804.41 |
| Minion/Tailor 2008-07-04 | 1104447 | ? (TO) | 1800.07 | 1812.91 |
| Abscon 112v4 ESAC | 1045006 | ? (TO) | 1800.07 | 1814.23 |
| Abscon 112v4 AC | 1044377 | ? (TO) | 1800.11 | 1807.23 |
| choco2_impwdeg 2008-06-26 | 1039832 | ? (TO) | 1800.12 | 1816.97 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:17 55 97 89 83 90 45 126 84 10 103 71 109 18 56 58 59 70 43 130 57 134 26 110 52 94 117 53 51 67 42 131 49 135 29 50 40 47 72 123 46 69 41 105 39 139 101 48 111 112 108 32 128 106 28 15 33 136 30 31 60 54 78 95 93 104 44 9 77 137 27 92 74 100 37 86 38 34 129 76 35 138 87 36 116 121 25 24 82 102 118 8 122 16 113 23 61 85 79 81 62 107 64 133 13 5 115 65 68 63 80 91 66 98 73 119 96 6 22 88 19 120 114 127 21 20 99 14 125 12 75 124 143 1 7 11 141 3 144 4 140 2 142 132