Instance | Result | Time | |
---|---|---|---|
incrementer-enc05-uniform-depth-2 | FAIL | 0.06 | |
incrementer-enc03-nonuniform-depth-13 | UNSAT | 17.8 | |
incrementer-enc07-nonuniform-depth-17 | UNSAT | 58.93 | |
incrementer-enc07-nonuniform-depth-21 | UNSAT | 85.98 | |
incrementer-enc03-nonuniform-depth-24 | UNSAT | 100.26 | |
incrementer-enc02-nonuniform-depth-31 | UNSAT | 147.8 | |
incrementer-enc07-uniform-depth-25 | UNSAT | 171.93 | |
incrementer-enc06-uniform-depth-24 | UNSAT | 217.15 | |
incrementer-enc08-uniform-depth-33 | FAIL | 599.13 | |
incrementer-enc02-uniform-depth-58 | FAIL | 599.22 |