Instances of family incrementer-encoder solved by depqbf-cert-v1
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.

InstanceResultTime
incrementer-enc05-uniform-depth-2UNSAT0.11
incrementer-enc03-nonuniform-depth-13UNSAT0.61
incrementer-enc07-nonuniform-depth-17UNSAT2.11
incrementer-enc02-nonuniform-depth-31UNSAT4.11
incrementer-enc07-nonuniform-depth-21UNSAT4.32
incrementer-enc03-nonuniform-depth-24UNSAT6.91
incrementer-enc06-uniform-depth-24FAIL620.23
incrementer-enc02-uniform-depth-58FAIL632.96
incrementer-enc08-uniform-depth-33FAIL639.62
incrementer-enc07-uniform-depth-25FAIL648.72