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

InstanceResultTime
fpu-10Xh-error01-uniform-depth-5UNSAT7.12
fpu-10Xe-correct01-nonuniform-depth-6UNSAT8.84
fpu-10Xh-correct04-uniform-depth-8UNSAT13.24
fpu-10Xh-correct04-uniform-depth-14UNSAT33.84
fpu-10Xh-correct04-uniform-depth-15UNSAT38.75
fpu-10Xh-correct04-uniform-depth-16UNSAT42.25
fpu-10Xh-correct04-nonuniform-depth-18UNSAT51.06
fpu-10Xe-correct01-uniform-depth-22UNSAT72.58
fpu-10Xe-correct01-nonuniform-depth-24UNSAT82.76
fpu-10Xh-correct04-nonuniform-depth-27UNSAT102.39