Instances of family fpu solved by caqe-picosat-par
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.

InstanceResultTime
fpu-10Xh-error01-uniform-depth-5UNSAT1.07
fpu-10Xe-correct01-nonuniform-depth-6UNSAT1.3
fpu-10Xh-correct04-uniform-depth-8UNSAT1.77
fpu-10Xh-correct04-uniform-depth-14UNSAT2.96
fpu-10Xh-correct04-uniform-depth-15UNSAT3.09
fpu-10Xh-correct04-uniform-depth-16UNSAT3.27
fpu-10Xh-correct04-nonuniform-depth-18UNSAT3.6
fpu-10Xe-correct01-uniform-depth-22UNSAT4.3
fpu-10Xe-correct01-nonuniform-depth-24UNSAT4.61
fpu-10Xh-correct04-nonuniform-depth-27UNSAT5.14