dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / tests / spec / unit / general / md_iffall.mzn
at develop 13 kB view raw
1/*** 2--- !Test 3solvers: [gecode, chuffed] 4options: 5 all_solutions: true 6expected: !Result 7 solution: !SolutionSet 8 - !Solution 9 b: false 10 bs: [[[false, false], [false, false]], [[false, false], [false, false]]] 11 - !Solution 12 b: false 13 bs: [[[false, false], [false, false]], [[false, false], [true, true]]] 14 - !Solution 15 b: false 16 bs: [[[false, false], [false, false]], [[false, true], [false, true]]] 17 - !Solution 18 b: false 19 bs: [[[false, false], [false, false]], [[false, true], [true, false]]] 20 - !Solution 21 b: false 22 bs: [[[false, false], [false, false]], [[true, false], [false, true]]] 23 - !Solution 24 b: false 25 bs: [[[false, false], [false, false]], [[true, false], [true, false]]] 26 - !Solution 27 b: false 28 bs: [[[false, false], [false, false]], [[true, true], [false, false]]] 29 - !Solution 30 b: false 31 bs: [[[false, false], [false, false]], [[true, true], [true, true]]] 32 - !Solution 33 b: false 34 bs: [[[false, false], [false, true]], [[false, false], [false, true]]] 35 - !Solution 36 b: false 37 bs: [[[false, false], [false, true]], [[false, false], [true, false]]] 38 - !Solution 39 b: false 40 bs: [[[false, false], [false, true]], [[false, true], [false, false]]] 41 - !Solution 42 b: false 43 bs: [[[false, false], [false, true]], [[false, true], [true, true]]] 44 - !Solution 45 b: false 46 bs: [[[false, false], [false, true]], [[true, false], [false, false]]] 47 - !Solution 48 b: false 49 bs: [[[false, false], [false, true]], [[true, false], [true, true]]] 50 - !Solution 51 b: false 52 bs: [[[false, false], [false, true]], [[true, true], [false, true]]] 53 - !Solution 54 b: false 55 bs: [[[false, false], [false, true]], [[true, true], [true, false]]] 56 - !Solution 57 b: false 58 bs: [[[false, false], [true, false]], [[false, false], [false, true]]] 59 - !Solution 60 b: false 61 bs: [[[false, false], [true, false]], [[false, false], [true, false]]] 62 - !Solution 63 b: false 64 bs: [[[false, false], [true, false]], [[false, true], [false, false]]] 65 - !Solution 66 b: false 67 bs: [[[false, false], [true, false]], [[false, true], [true, true]]] 68 - !Solution 69 b: false 70 bs: [[[false, false], [true, false]], [[true, false], [false, false]]] 71 - !Solution 72 b: false 73 bs: [[[false, false], [true, false]], [[true, false], [true, true]]] 74 - !Solution 75 b: false 76 bs: [[[false, false], [true, false]], [[true, true], [false, true]]] 77 - !Solution 78 b: false 79 bs: [[[false, false], [true, false]], [[true, true], [true, false]]] 80 - !Solution 81 b: false 82 bs: [[[false, false], [true, true]], [[false, false], [false, false]]] 83 - !Solution 84 b: false 85 bs: [[[false, false], [true, true]], [[false, false], [true, true]]] 86 - !Solution 87 b: false 88 bs: [[[false, false], [true, true]], [[false, true], [false, true]]] 89 - !Solution 90 b: false 91 bs: [[[false, false], [true, true]], [[false, true], [true, false]]] 92 - !Solution 93 b: false 94 bs: [[[false, false], [true, true]], [[true, false], [false, true]]] 95 - !Solution 96 b: false 97 bs: [[[false, false], [true, true]], [[true, false], [true, false]]] 98 - !Solution 99 b: false 100 bs: [[[false, false], [true, true]], [[true, true], [false, false]]] 101 - !Solution 102 b: false 103 bs: [[[false, false], [true, true]], [[true, true], [true, true]]] 104 - !Solution 105 b: false 106 bs: [[[false, true], [false, false]], [[false, false], [false, true]]] 107 - !Solution 108 b: false 109 bs: [[[false, true], [false, false]], [[false, false], [true, false]]] 110 - !Solution 111 b: false 112 bs: [[[false, true], [false, false]], [[false, true], [false, false]]] 113 - !Solution 114 b: false 115 bs: [[[false, true], [false, false]], [[false, true], [true, true]]] 116 - !Solution 117 b: false 118 bs: [[[false, true], [false, false]], [[true, false], [false, false]]] 119 - !Solution 120 b: false 121 bs: [[[false, true], [false, false]], [[true, false], [true, true]]] 122 - !Solution 123 b: false 124 bs: [[[false, true], [false, false]], [[true, true], [false, true]]] 125 - !Solution 126 b: false 127 bs: [[[false, true], [false, false]], [[true, true], [true, false]]] 128 - !Solution 129 b: false 130 bs: [[[false, true], [false, true]], [[false, false], [false, false]]] 131 - !Solution 132 b: false 133 bs: [[[false, true], [false, true]], [[false, false], [true, true]]] 134 - !Solution 135 b: false 136 bs: [[[false, true], [false, true]], [[false, true], [false, true]]] 137 - !Solution 138 b: false 139 bs: [[[false, true], [false, true]], [[false, true], [true, false]]] 140 - !Solution 141 b: false 142 bs: [[[false, true], [false, true]], [[true, false], [false, true]]] 143 - !Solution 144 b: false 145 bs: [[[false, true], [false, true]], [[true, false], [true, false]]] 146 - !Solution 147 b: false 148 bs: [[[false, true], [false, true]], [[true, true], [false, false]]] 149 - !Solution 150 b: false 151 bs: [[[false, true], [false, true]], [[true, true], [true, true]]] 152 - !Solution 153 b: false 154 bs: [[[false, true], [true, false]], [[false, false], [false, false]]] 155 - !Solution 156 b: false 157 bs: [[[false, true], [true, false]], [[false, false], [true, true]]] 158 - !Solution 159 b: false 160 bs: [[[false, true], [true, false]], [[false, true], [false, true]]] 161 - !Solution 162 b: false 163 bs: [[[false, true], [true, false]], [[false, true], [true, false]]] 164 - !Solution 165 b: false 166 bs: [[[false, true], [true, false]], [[true, false], [false, true]]] 167 - !Solution 168 b: false 169 bs: [[[false, true], [true, false]], [[true, false], [true, false]]] 170 - !Solution 171 b: false 172 bs: [[[false, true], [true, false]], [[true, true], [false, false]]] 173 - !Solution 174 b: false 175 bs: [[[false, true], [true, false]], [[true, true], [true, true]]] 176 - !Solution 177 b: false 178 bs: [[[false, true], [true, true]], [[false, false], [false, true]]] 179 - !Solution 180 b: false 181 bs: [[[false, true], [true, true]], [[false, false], [true, false]]] 182 - !Solution 183 b: false 184 bs: [[[false, true], [true, true]], [[false, true], [false, false]]] 185 - !Solution 186 b: false 187 bs: [[[false, true], [true, true]], [[false, true], [true, true]]] 188 - !Solution 189 b: false 190 bs: [[[false, true], [true, true]], [[true, false], [false, false]]] 191 - !Solution 192 b: false 193 bs: [[[false, true], [true, true]], [[true, false], [true, true]]] 194 - !Solution 195 b: false 196 bs: [[[false, true], [true, true]], [[true, true], [false, true]]] 197 - !Solution 198 b: false 199 bs: [[[false, true], [true, true]], [[true, true], [true, false]]] 200 - !Solution 201 b: false 202 bs: [[[true, false], [false, false]], [[false, false], [false, true]]] 203 - !Solution 204 b: false 205 bs: [[[true, false], [false, false]], [[false, false], [true, false]]] 206 - !Solution 207 b: false 208 bs: [[[true, false], [false, false]], [[false, true], [false, false]]] 209 - !Solution 210 b: false 211 bs: [[[true, false], [false, false]], [[false, true], [true, true]]] 212 - !Solution 213 b: false 214 bs: [[[true, false], [false, false]], [[true, false], [false, false]]] 215 - !Solution 216 b: false 217 bs: [[[true, false], [false, false]], [[true, false], [true, true]]] 218 - !Solution 219 b: false 220 bs: [[[true, false], [false, false]], [[true, true], [false, true]]] 221 - !Solution 222 b: false 223 bs: [[[true, false], [false, false]], [[true, true], [true, false]]] 224 - !Solution 225 b: false 226 bs: [[[true, false], [false, true]], [[false, false], [false, false]]] 227 - !Solution 228 b: false 229 bs: [[[true, false], [false, true]], [[false, false], [true, true]]] 230 - !Solution 231 b: false 232 bs: [[[true, false], [false, true]], [[false, true], [false, true]]] 233 - !Solution 234 b: false 235 bs: [[[true, false], [false, true]], [[false, true], [true, false]]] 236 - !Solution 237 b: false 238 bs: [[[true, false], [false, true]], [[true, false], [false, true]]] 239 - !Solution 240 b: false 241 bs: [[[true, false], [false, true]], [[true, false], [true, false]]] 242 - !Solution 243 b: false 244 bs: [[[true, false], [false, true]], [[true, true], [false, false]]] 245 - !Solution 246 b: false 247 bs: [[[true, false], [false, true]], [[true, true], [true, true]]] 248 - !Solution 249 b: false 250 bs: [[[true, false], [true, false]], [[false, false], [false, false]]] 251 - !Solution 252 b: false 253 bs: [[[true, false], [true, false]], [[false, false], [true, true]]] 254 - !Solution 255 b: false 256 bs: [[[true, false], [true, false]], [[false, true], [false, true]]] 257 - !Solution 258 b: false 259 bs: [[[true, false], [true, false]], [[false, true], [true, false]]] 260 - !Solution 261 b: false 262 bs: [[[true, false], [true, false]], [[true, false], [false, true]]] 263 - !Solution 264 b: false 265 bs: [[[true, false], [true, false]], [[true, false], [true, false]]] 266 - !Solution 267 b: false 268 bs: [[[true, false], [true, false]], [[true, true], [false, false]]] 269 - !Solution 270 b: false 271 bs: [[[true, false], [true, false]], [[true, true], [true, true]]] 272 - !Solution 273 b: false 274 bs: [[[true, false], [true, true]], [[false, false], [false, true]]] 275 - !Solution 276 b: false 277 bs: [[[true, false], [true, true]], [[false, false], [true, false]]] 278 - !Solution 279 b: false 280 bs: [[[true, false], [true, true]], [[false, true], [false, false]]] 281 - !Solution 282 b: false 283 bs: [[[true, false], [true, true]], [[false, true], [true, true]]] 284 - !Solution 285 b: false 286 bs: [[[true, false], [true, true]], [[true, false], [false, false]]] 287 - !Solution 288 b: false 289 bs: [[[true, false], [true, true]], [[true, false], [true, true]]] 290 - !Solution 291 b: false 292 bs: [[[true, false], [true, true]], [[true, true], [false, true]]] 293 - !Solution 294 b: false 295 bs: [[[true, false], [true, true]], [[true, true], [true, false]]] 296 - !Solution 297 b: false 298 bs: [[[true, true], [false, false]], [[false, false], [false, false]]] 299 - !Solution 300 b: false 301 bs: [[[true, true], [false, false]], [[false, false], [true, true]]] 302 - !Solution 303 b: false 304 bs: [[[true, true], [false, false]], [[false, true], [false, true]]] 305 - !Solution 306 b: false 307 bs: [[[true, true], [false, false]], [[false, true], [true, false]]] 308 - !Solution 309 b: false 310 bs: [[[true, true], [false, false]], [[true, false], [false, true]]] 311 - !Solution 312 b: false 313 bs: [[[true, true], [false, false]], [[true, false], [true, false]]] 314 - !Solution 315 b: false 316 bs: [[[true, true], [false, false]], [[true, true], [false, false]]] 317 - !Solution 318 b: false 319 bs: [[[true, true], [false, false]], [[true, true], [true, true]]] 320 - !Solution 321 b: false 322 bs: [[[true, true], [false, true]], [[false, false], [false, true]]] 323 - !Solution 324 b: false 325 bs: [[[true, true], [false, true]], [[false, false], [true, false]]] 326 - !Solution 327 b: false 328 bs: [[[true, true], [false, true]], [[false, true], [false, false]]] 329 - !Solution 330 b: false 331 bs: [[[true, true], [false, true]], [[false, true], [true, true]]] 332 - !Solution 333 b: false 334 bs: [[[true, true], [false, true]], [[true, false], [false, false]]] 335 - !Solution 336 b: false 337 bs: [[[true, true], [false, true]], [[true, false], [true, true]]] 338 - !Solution 339 b: false 340 bs: [[[true, true], [false, true]], [[true, true], [false, true]]] 341 - !Solution 342 b: false 343 bs: [[[true, true], [false, true]], [[true, true], [true, false]]] 344 - !Solution 345 b: false 346 bs: [[[true, true], [true, false]], [[false, false], [false, true]]] 347 - !Solution 348 b: false 349 bs: [[[true, true], [true, false]], [[false, false], [true, false]]] 350 - !Solution 351 b: false 352 bs: [[[true, true], [true, false]], [[false, true], [false, false]]] 353 - !Solution 354 b: false 355 bs: [[[true, true], [true, false]], [[false, true], [true, true]]] 356 - !Solution 357 b: false 358 bs: [[[true, true], [true, false]], [[true, false], [false, false]]] 359 - !Solution 360 b: false 361 bs: [[[true, true], [true, false]], [[true, false], [true, true]]] 362 - !Solution 363 b: false 364 bs: [[[true, true], [true, false]], [[true, true], [false, true]]] 365 - !Solution 366 b: false 367 bs: [[[true, true], [true, false]], [[true, true], [true, false]]] 368 - !Solution 369 b: false 370 bs: [[[true, true], [true, true]], [[false, false], [false, false]]] 371 - !Solution 372 b: false 373 bs: [[[true, true], [true, true]], [[false, false], [true, true]]] 374 - !Solution 375 b: false 376 bs: [[[true, true], [true, true]], [[false, true], [false, true]]] 377 - !Solution 378 b: false 379 bs: [[[true, true], [true, true]], [[false, true], [true, false]]] 380 - !Solution 381 b: false 382 bs: [[[true, true], [true, true]], [[true, false], [false, true]]] 383 - !Solution 384 b: false 385 bs: [[[true, true], [true, true]], [[true, false], [true, false]]] 386 - !Solution 387 b: false 388 bs: [[[true, true], [true, true]], [[true, true], [false, false]]] 389 - !Solution 390 b: false 391 bs: [[[true, true], [true, true]], [[true, true], [true, true]]] 392--- !Test 393solvers: [cbc] 394expected: !Result 395 solution: !Solution 396 b: false 397 bs: [[[false, false], [false, false]], [[false, false], [false, false]]] 398***/ 399 400bool: b :: add_to_output = iffall([|true, false | true /\ false, false|]); 401 402array[1..2,1..2,1..2] of var bool: bs :: add_to_output; 403constraint iffall(bs); 404 405solve satisfy;