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

InstanceResultTime
incrementer-enc05-uniform-depth-2UNSAT0.07
incrementer-enc03-nonuniform-depth-13UNSAT0.56
incrementer-enc07-nonuniform-depth-17UNSAT2.85
incrementer-enc03-nonuniform-depth-24UNSAT3.89
incrementer-enc02-nonuniform-depth-31UNSAT5.37
incrementer-enc07-nonuniform-depth-21UNSAT6.03
incrementer-enc02-uniform-depth-58FAIL601.35
incrementer-enc06-uniform-depth-24FAIL604.43
incrementer-enc07-uniform-depth-25FAIL615.94
incrementer-enc08-uniform-depth-33FAIL617.07