Instances of family incrementer-encoder solved by caqe-minisat-par
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.

InstanceResultTime
incrementer-enc05-uniform-depth-2UNSAT0.02
incrementer-enc03-nonuniform-depth-13UNSAT2.98
incrementer-enc07-nonuniform-depth-17UNSAT6.61
incrementer-enc03-nonuniform-depth-24UNSAT7.5
incrementer-enc07-nonuniform-depth-21UNSAT8.89
incrementer-enc02-nonuniform-depth-31UNSAT10.81
incrementer-enc06-uniform-depth-24FAIL600
incrementer-enc07-uniform-depth-25FAIL600
incrementer-enc02-uniform-depth-58FAIL600
incrementer-enc08-uniform-depth-33FAIL600