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

InstanceResultTime
incrementer-enc03-nonuniform-depth-5UNSAT1.38
incrementer-enc06-nonuniform-depth-10UNSAT7.13
incrementer-enc08-nonuniform-depth-24UNSAT20.89
incrementer-enc05-nonuniform-depth-22UNSAT23.33
incrementer-enc06-uniform-depth-24UNSAT32.94
incrementer-enc07-uniform-depth-25UNSAT38.76
incrementer-enc02-nonuniform-depth-58UNSAT52.89
incrementer-enc02-nonuniform-depth-59UNSAT53.95
incrementer-enc02-nonuniform-depth-60UNSAT56.29
incrementer-enc02-uniform-depth-63UNSAT64.98
incrementer-enc08-uniform-depth-33SAT84.72
incrementer-enc02-uniform-depth-58UNSAT193.13
incrementer-enc04-nonuniform-depth-17SAT231.99