Instances of family incrementer-encoder solved by rareqs
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
incrementer-enc03-nonuniform-depth-5UNSAT0.1
incrementer-enc06-nonuniform-depth-10UNSAT0.65
incrementer-enc08-nonuniform-depth-24UNSAT1.33
incrementer-enc08-uniform-depth-33SAT1.45
incrementer-enc07-uniform-depth-25UNSAT1.46
incrementer-enc06-uniform-depth-24UNSAT1.66
incrementer-enc05-nonuniform-depth-22UNSAT2.03
incrementer-enc04-nonuniform-depth-17SAT2.28
incrementer-enc02-uniform-depth-58UNSAT2.81
incrementer-enc02-uniform-depth-63UNSAT3.08
incrementer-enc02-nonuniform-depth-58UNSAT5.15
incrementer-enc02-nonuniform-depth-59UNSAT5.42
incrementer-enc02-nonuniform-depth-60UNSAT5.53