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

InstanceResultTime
incrementer-enc05-uniform-depth-2UNSAT0.02
incrementer-enc03-nonuniform-depth-13UNSAT0.49
incrementer-enc07-nonuniform-depth-17UNSAT1.84
incrementer-enc07-nonuniform-depth-21UNSAT2.16
incrementer-enc03-nonuniform-depth-24UNSAT2.34
incrementer-enc02-nonuniform-depth-31UNSAT2.95
incrementer-enc08-uniform-depth-33SAT326.96
incrementer-enc07-uniform-depth-25FAIL600
incrementer-enc02-uniform-depth-58FAIL600
incrementer-enc06-uniform-depth-24FAIL600