Instances of family incrementer-encoder solved by iprover-QBF-bloqqer
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
incrementer-enc05-uniform-depth-2FAIL0.06
incrementer-enc03-nonuniform-depth-13UNSAT17.8
incrementer-enc07-nonuniform-depth-17UNSAT58.93
incrementer-enc07-nonuniform-depth-21UNSAT85.98
incrementer-enc03-nonuniform-depth-24UNSAT100.26
incrementer-enc02-nonuniform-depth-31UNSAT147.8
incrementer-enc07-uniform-depth-25UNSAT171.93
incrementer-enc06-uniform-depth-24UNSAT217.15
incrementer-enc08-uniform-depth-33FAIL599.13
incrementer-enc02-uniform-depth-58FAIL599.22