| Name | csp/super-queens/ normalized-super-queens-7.xml |
| MD5SUM | fc9f58475a614e928f4d65ba1e610c18 |
| Bench Category | 2-ARY-INT (binary constraints in intension) |
| Best result obtained on this benchmark | MSAT TO |
| Best Number of falsified constraints | 22 |
| Best CPU time to get the best result obtained on this benchmark | 3600.06 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 360 |
| Number of constraints | 48510 |
| Maximum constraint arity | 2 |
| Maximum domain size | 180 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 48510 |
| Global constraints used (with number of constraints) |
| Solver Name | TraceID | Answer | Number of falsified constraints | CPU time | Wall clock time |
|---|---|---|---|---|---|
| Concrete + CSP4J - MCRW Engine 2008-05-30 | 1112663 | MSAT (TO) | 22 | 3600.06 | 3632.62 |
| Concrete + CSP4J - Tabu Engine 2008-05-30 | 1112664 | MSAT (TO) | 41 | 3600.1 | 3626.52 |
| AbsconMax 112 pc-d | 1112666 | ? | 114.449 | 114.608 | |
| AbsconMax 112 pc-w | 1112665 | ? | 120.974 | 122.49 | |
| Sugar v1.13+minisat | 1112668 | ? | 188.897 | 194.723 | |
| Sugar++ v1.13+minisat-inc | 1112667 | ? | 192.826 | 201.214 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Number of falsified constraints: 2259 157 108 109 73 173 67 165 82 179 6 178 105 168 113 157 151 167 129 167 139 173 85 157 80 165 158 162 5 168 170 153 156 148 164 178 81 150 144 149 93 162 144 178 29 153 23 153 11 178 60 157 111 157 46 168 76 167 112 145 126 145 96 173 86 150 177 149 8 168 23 148 20 168 46 145 120 157 90 157 138 149 98 168 79 179 18 178 34 179 147 179 11 137 180 179 97 109 28 140 26 145 61 145 132 157 2 168 20 148 99 179 33 165 110 145 159 137 77 167 177 179 4 148 32 162 16 94 176 179 95 179 35 157 1 157 13 179 124 178 53 173 160 168 10 167 15 178 54 179 115 178 71 168 69 167 25 173 100 179 106 102 41 173 166 157 14 178 161 179 47 109 44 178 101 109 7 167 125 150 62 157 17 167 22 179 14 165 152 140 39 128 9 148 83 142 154 168 70 145 24 179 65 168 136 149 12 150 121 109 171 150 45 149 36 140 9 178 16 142 25 137 124 173 75 109 48 140 174 157 35 162 84 178 31 167 1 140 21 150 6 153 146 150 40 149 19 150 118 153 30 167 107 168 123 173 3 150 133 140 138 168 143 153 155 179 58 178 175 179 87 178 134 178 169 142 127 153 5 145 72 173 64 179 78 173 89 149 172 150 8 167 27 173 163 178 141 179 49 173 135 165 68 173 63 179 103 173 47 157 15 179 51 167 54 168 114 173 57 165 37 157 88 167 74 167 43 178 119 179 38 167 42 148 166 140 50 173 91 142 110 167 104 168 56 178 130 140 122 179 66 142 117 173 131 150 52 145 116 140