Instances of family incrementer-encoder solved by Qute_opt617
QBFEVAL'17 - Prenex non-CNF Track

InstanceResultTime
incrementer-enc07-uniform-depth-25UNSAT6.55
incrementer-enc08-uniform-depth-33FAIL900
incrementer-enc02-uniform-depth-58FAIL900