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

InstanceResultTime
incrementer-enc05-uniform-depth-2UNSAT0.37
incrementer-enc03-nonuniform-depth-13UNSAT21.4
incrementer-enc07-nonuniform-depth-17UNSAT78.03
incrementer-enc07-nonuniform-depth-21UNSAT123.59
incrementer-enc03-nonuniform-depth-24UNSAT134.49
incrementer-enc02-nonuniform-depth-31UNSAT223.17
incrementer-enc07-uniform-depth-25UNSAT400.06
incrementer-enc06-uniform-depth-24FAIL599.22
incrementer-enc02-uniform-depth-58FAIL599.22
incrementer-enc08-uniform-depth-33FAIL599.22