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

InstanceResultTime
fpu-10Xh-error01-uniform-depth-5UNSAT1.94
fpu-10Xe-correct01-nonuniform-depth-6UNSAT2.63
fpu-10Xh-correct04-uniform-depth-8UNSAT3.95
fpu-10Xh-correct04-uniform-depth-14UNSAT9.74
fpu-10Xh-correct04-uniform-depth-15UNSAT10.42
fpu-10Xh-correct04-uniform-depth-16UNSAT11.98
fpu-10Xh-correct04-nonuniform-depth-18UNSAT15.06
fpu-10Xe-correct01-uniform-depth-22UNSAT20.51
fpu-10Xe-correct01-nonuniform-depth-24UNSAT25.12
fpu-10Xh-correct04-nonuniform-depth-27UNSAT31.74