Sota solver results for family fpu
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.


InstanceSolverResultTime
fpu-10Xe-correct01-nonuniform-depth-24hiqqerforkUNSAT1.56
fpu-10Xe-correct01-nonuniform-depth-6hiqqerforkUNSAT0.44
fpu-10Xe-correct01-uniform-depth-22hiqqerforkUNSAT1.46
fpu-10Xh-correct04-nonuniform-depth-18hiqqerforkUNSAT1.77
fpu-10Xh-correct04-nonuniform-depth-27hiqqerforkUNSAT2.54
fpu-10Xh-correct04-uniform-depth-14hiqqerforkUNSAT1.11
fpu-10Xh-correct04-uniform-depth-15hiqqerforkUNSAT1.05
fpu-10Xh-correct04-uniform-depth-16hiqqerforkUNSAT1.11
fpu-10Xh-correct04-uniform-depth-8hiqqerforkUNSAT0.59
fpu-10Xh-error01-uniform-depth-5hiqqerforkUNSAT0.36