Instances of family incrementer-encoder solved by caqe-pre
Prenex CNF Track

InstanceResultTime
incrementer-enc09-nonuniform-depth-15UNSAT1.36
incrementer-enc09-uniform-depth-17SAT3.32
incrementer-enc08-nonuniform-depth-32UNSAT3.53
incrementer-enc07-nonuniform-depth-25UNSAT3.67
incrementer-enc06-uniform-depth-24UNSAT6.71
incrementer-enc08-uniform-depth-33SAT7.58
incrementer-enc07-uniform-depth-25UNSAT8.66
incrementer-enc02-uniform-depth-58UNSAT22.36
incrementer-enc02-uniform-depth-63UNSAT24.72
incrementer-enc06-nonuniform-depth-33SAT273.57