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

InstanceResultTime
incrementer-enc05-uniform-depth-2UNSAT0.52
incrementer-enc03-nonuniform-depth-13UNSAT1.01
incrementer-enc03-nonuniform-depth-24UNSAT1.52
incrementer-enc07-nonuniform-depth-17UNSAT2.01
incrementer-enc07-nonuniform-depth-21UNSAT2.52
incrementer-enc02-nonuniform-depth-31UNSAT2.52
incrementer-enc06-uniform-depth-24FAIL600
incrementer-enc07-uniform-depth-25FAIL600
incrementer-enc02-uniform-depth-58FAIL600
incrementer-enc08-uniform-depth-33FAIL600