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

InstanceResultTime
fpu-10Xh-error01-uniform-depth-5UNSAT2.09
fpu-10Xe-correct01-nonuniform-depth-6UNSAT2.58
fpu-10Xh-correct04-uniform-depth-8UNSAT3.51
fpu-10Xh-correct04-uniform-depth-14UNSAT5.93
fpu-10Xh-correct04-uniform-depth-16UNSAT6.07
fpu-10Xh-correct04-uniform-depth-15UNSAT6.13
fpu-10Xh-correct04-nonuniform-depth-18UNSAT7.12
fpu-10Xe-correct01-uniform-depth-22UNSAT8.75
fpu-10Xe-correct01-nonuniform-depth-24UNSAT9
fpu-10Xh-correct04-nonuniform-depth-27UNSAT10.49