Instance | Result | Time | |
---|---|---|---|
incrementer-enc03-nonuniform-depth-5 | UNSAT | 1.38 | |
incrementer-enc06-nonuniform-depth-10 | UNSAT | 7.13 | |
incrementer-enc08-nonuniform-depth-24 | UNSAT | 20.89 | |
incrementer-enc05-nonuniform-depth-22 | UNSAT | 23.33 | |
incrementer-enc06-uniform-depth-24 | UNSAT | 32.94 | |
incrementer-enc07-uniform-depth-25 | UNSAT | 38.76 | |
incrementer-enc02-nonuniform-depth-58 | UNSAT | 52.89 | |
incrementer-enc02-nonuniform-depth-59 | UNSAT | 53.95 | |
incrementer-enc02-nonuniform-depth-60 | UNSAT | 56.29 | |
incrementer-enc02-uniform-depth-63 | UNSAT | 64.98 | |
incrementer-enc08-uniform-depth-33 | SAT | 84.72 | |
incrementer-enc02-uniform-depth-58 | UNSAT | 193.13 | |
incrementer-enc04-nonuniform-depth-17 | SAT | 231.99 |