Instances of family incrementer-encoder solved by GhostQ-PG_cegar
QBFEVAL'18 - Prenex CNF Track

InstanceResultTime
incrementer-enc06-nonuniform-depth-5UNSAT1.43
incrementer-enc06-nonuniform-depth-10UNSAT2.98
incrementer-enc06-nonuniform-depth-15UNSAT4.67
incrementer-enc06-nonuniform-depth-20UNSAT6.49
incrementer-enc06-nonuniform-depth-25UNSAT8.38
incrementer-enc07-uniform-depth-25UNSAT9.04
incrementer-enc08-uniform-depth-33SAT9.65
incrementer-enc06-uniform-depth-24UNSAT10.27
incrementer-enc02-uniform-depth-58UNSAT26.85
incrementer-enc02-uniform-depth-63UNSAT29.8