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

InstanceResultTime
incrementer-enc08-nonuniform-depth-32UNSAT3.09
incrementer-enc07-uniform-depth-25UNSAT3.58
incrementer-enc02-uniform-depth-63UNSAT9.07
incrementer-enc09-nonuniform-depth-15UNSAT92.76
incrementer-enc09-uniform-depth-17FAIL900
incrementer-enc07-nonuniform-depth-25FAIL900
incrementer-enc06-uniform-depth-24FAIL900
incrementer-enc06-nonuniform-depth-33FAIL900
incrementer-enc02-uniform-depth-58FAIL900
incrementer-enc08-uniform-depth-33FAIL900