Instances of family incrementer-encoder solved by hiqqer1
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
incrementer-enc05-uniform-depth-2UNSAT0.05
incrementer-enc03-nonuniform-depth-13UNSAT0.72
incrementer-enc07-nonuniform-depth-17UNSAT2.29
incrementer-enc07-nonuniform-depth-21UNSAT2.78
incrementer-enc03-nonuniform-depth-24UNSAT2.82
incrementer-enc02-nonuniform-depth-31UNSAT3.51
incrementer-enc06-uniform-depth-24FAIL599.71
incrementer-enc02-uniform-depth-58FAIL599.81
incrementer-enc08-uniform-depth-33FAIL599.81
incrementer-enc07-uniform-depth-25FAIL599.81