Instances of family incrementer-encoder solved by iProver-qbf-2017-07-27-v3
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
incrementer-enc03-nonuniform-depth-5UNSAT0.24
incrementer-enc06-nonuniform-depth-10UNSAT2.29
incrementer-enc08-nonuniform-depth-24UNSAT96.49
incrementer-enc04-nonuniform-depth-17SAT105.16
incrementer-enc05-nonuniform-depth-22UNSAT114.75
incrementer-enc06-uniform-depth-24UNSAT226.1
incrementer-enc07-uniform-depth-25UNSAT231.35
incrementer-enc02-nonuniform-depth-59UNSAT344.88
incrementer-enc02-nonuniform-depth-60UNSAT348.22
incrementer-enc02-nonuniform-depth-58UNSAT352.07
incrementer-enc02-uniform-depth-58UNSAT361.52
incrementer-enc02-uniform-depth-63UNSAT382.56
incrementer-enc08-uniform-depth-33SAT415.99