Instances of family incrementer-encoder solved by caqe-picosat
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
incrementer-enc05-uniform-depth-2UNSAT0.03
incrementer-enc03-nonuniform-depth-13UNSAT6.54
incrementer-enc07-nonuniform-depth-17UNSAT24.45
incrementer-enc03-nonuniform-depth-24UNSAT24.57
incrementer-enc07-nonuniform-depth-21UNSAT32.01
incrementer-enc02-nonuniform-depth-31UNSAT38.51
incrementer-enc02-uniform-depth-58FAIL599.71
incrementer-enc08-uniform-depth-33FAIL599.71
incrementer-enc06-uniform-depth-24FAIL599.71
incrementer-enc07-uniform-depth-25FAIL599.73