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

InstanceResultTime
incrementer-enc09-nonuniform-depth-15UNSAT14.21
incrementer-enc09-uniform-depth-17SAT16.53
incrementer-enc08-nonuniform-depth-32UNSAT19.79
incrementer-enc07-uniform-depth-25UNSAT20
incrementer-enc08-uniform-depth-33SAT20.74
incrementer-enc07-nonuniform-depth-25UNSAT21
incrementer-enc06-uniform-depth-24UNSAT24.46
incrementer-enc02-uniform-depth-58UNSAT38.58
incrementer-enc02-uniform-depth-63UNSAT41.56
incrementer-enc06-nonuniform-depth-33SAT59.34