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

InstanceResultTime
incrementer-enc05-uniform-depth-2UNSAT0.02
incrementer-enc03-nonuniform-depth-13UNSAT0.35
incrementer-enc07-nonuniform-depth-17UNSAT0.63
incrementer-enc07-nonuniform-depth-21UNSAT0.89
incrementer-enc02-nonuniform-depth-31UNSAT1.14
incrementer-enc03-nonuniform-depth-24UNSAT1.59
incrementer-enc02-uniform-depth-58FAIL599.87
incrementer-enc08-uniform-depth-33FAIL599.87
incrementer-enc06-uniform-depth-24FAIL599.97
incrementer-enc07-uniform-depth-25FAIL600.14