Name | csp/magicSquare/ normalized-magicSquare-13_glb.xml |
MD5SUM | c3269871e50aabd5e086ba0b887ebcbd |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 2.87856 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 169 |
Number of constraints | 29 |
Maximum constraint arity | 169 |
Maximum domain size | 169 |
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(28) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
casper zao | 1043131 | SAT | 2.87856 | 2.94348 |
casper zito | 1043760 | SAT | 51.3642 | 52.3822 |
choco2_impwdeg 2008-06-26 | 1039952 | SAT | 436.179 | 438.328 |
MDG-noprobe 2008-06-27 | 1039947 | SAT | 459.794 | 460.081 |
bpsolver 2008-06-27 | 1039951 | SAT | 949.141 | 953.012 |
SAT4J CSP 2008-06-13 | 1039948 | ? | 0.970852 | 0.98927 |
Sugar v1.13+minisat | 1039950 | ? | 173.272 | 177.308 |
Sugar v1.13+picosat | 1039949 | ? | 180.475 | 186.938 |
cpHydra k_10 | 1045647 | ? (TO) | 1800.01 | 1800.63 |
Mistral-option 1.314 | 1039954 | ? (TO) | 1800.02 | 1815.31 |
cpHydra k_40 | 1046276 | ? (TO) | 1800.03 | 1809.44 |
Mistral-prime 1.313 | 1039955 | ? (TO) | 1800.05 | 1810.91 |
MDG-probe 2008-06-27 | 1039946 | ? (TO) | 1800.05 | 1806.31 |
Abscon 112v4 ESAC | 1045018 | ? (TO) | 1800.1 | 1816.75 |
Abscon 112v4 AC | 1044389 | ? (TO) | 1800.1 | 1813.17 |
Minion/Tailor 2008-07-04 | 1104459 | ? (TO) | 1800.11 | 1813.81 |
choco2_dwdeg 2008-06-26 | 1039953 | ? (TO) | 1800.12 | 1801.74 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:144 124 129 130 132 133 8 136 2 3 5 4 155 156 158 70 134 117 152 28 118 14 11 19 115 13 60 165 131 79 167 41 112 15 51 92 7 57 128 21 50 62 39 137 46 109 49 47 162 102 143 138 160 151 45 106 55 135 71 85 120 6 82 20 69 64 88 93 61 111 9 43 75 67 164 126 107 97 40 142 148 94 100 68 66 59 108 101 157 10 12 140 76 114 30 27 122 24 84 154 159 81 17 77 23 37 121 125 89 38 87 48 58 166 119 103 91 29 33 83 26 36 163 127 161 153 16 147 96 35 63 31 1 105 44 98 139 110 150 99 54 169 42 56 18 74 104 65 78 145 113 86 73 90 123 80 149 32 34 72 25 22 146 52 95 53 116 141 168