Instances of family incrementer-encoder solved by GhostQ___cegar_pcnf_2019
Prenex CNF Track

InstanceResultTime
incrementer-enc09-nonuniform-depth-15UNSAT4.76
incrementer-enc09-uniform-depth-17SAT6.59
incrementer-enc07-nonuniform-depth-25UNSAT6.9
incrementer-enc08-nonuniform-depth-32UNSAT7.34
incrementer-enc07-uniform-depth-25UNSAT9.2
incrementer-enc08-uniform-depth-33SAT9.79
incrementer-enc06-uniform-depth-24UNSAT10.58
incrementer-enc06-nonuniform-depth-33SAT11.38
incrementer-enc02-uniform-depth-58UNSAT24.61
incrementer-enc02-uniform-depth-63UNSAT29.83