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