Instances of family incrementer-encoder solved by ghostq-cegar
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
incrementer-enc05-uniform-depth-2UNSAT0.53
incrementer-enc03-nonuniform-depth-13UNSAT2.25
incrementer-enc07-nonuniform-depth-17UNSAT3.7
incrementer-enc03-nonuniform-depth-24UNSAT4.49
incrementer-enc07-nonuniform-depth-21UNSAT4.75
incrementer-enc02-nonuniform-depth-31UNSAT6.1
incrementer-enc07-uniform-depth-25UNSAT7.16
incrementer-enc06-uniform-depth-24UNSAT7.72
incrementer-enc08-uniform-depth-33SAT8.34
incrementer-enc02-uniform-depth-58UNSAT15.43