Instances of family incrementer-encoder solved by aqua-f3v
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
incrementer-enc05-uniform-depth-2UNSAT0.02
incrementer-enc03-nonuniform-depth-13UNSAT0.35
incrementer-enc07-nonuniform-depth-17UNSAT0.7
incrementer-enc07-nonuniform-depth-21UNSAT0.93
incrementer-enc02-nonuniform-depth-31UNSAT1.16
incrementer-enc03-nonuniform-depth-24UNSAT1.58
incrementer-enc06-uniform-depth-24FAIL599.82
incrementer-enc07-uniform-depth-25FAIL599.95
incrementer-enc08-uniform-depth-33FAIL599.95
incrementer-enc02-uniform-depth-58FAIL600