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

InstanceResultTime
incrementer-enc06-nonuniform-depth-5UNSAT1.44
incrementer-enc06-nonuniform-depth-10UNSAT2.93
incrementer-enc06-nonuniform-depth-15UNSAT4.66
incrementer-enc06-nonuniform-depth-20UNSAT6.28
incrementer-enc06-nonuniform-depth-25UNSAT8.46
incrementer-enc06-uniform-depth-24FAIL900
incrementer-enc08-uniform-depth-33FAIL900.01
incrementer-enc02-uniform-depth-58FAIL900.01
incrementer-enc07-uniform-depth-25FAIL900.02
incrementer-enc02-uniform-depth-63FAIL900.03