Instances of family incrementer-encoder solved by qfun0.1
QBFEVAL'17 - Prenex non-CNF Track

InstanceResultTime
incrementer-enc07-uniform-depth-25UNSAT1.19
incrementer-enc08-uniform-depth-33SAT1.47
incrementer-enc02-uniform-depth-58UNSAT3.18