Instances of family fpu solved by AIGSolve
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
fpu-10Xh-error01-uniform-depth-5UNSAT0.46
fpu-10Xe-correct01-nonuniform-depth-6UNSAT0.78
fpu-10Xh-correct04-uniform-depth-8UNSAT1.16
fpu-10Xh-correct04-uniform-depth-14UNSAT2.05
fpu-10Xh-correct04-uniform-depth-15UNSAT2.2
fpu-10Xh-correct04-uniform-depth-16UNSAT2.35
fpu-10Xh-correct04-nonuniform-depth-18UNSAT2.66
fpu-10Xe-correct01-uniform-depth-22UNSAT3.25
fpu-10Xe-correct01-nonuniform-depth-24UNSAT3.56
fpu-10Xh-correct04-nonuniform-depth-27UNSAT4.03