Sota solver results for family fpu
QBFEVAL'16 - Prenex CNF Track.


InstanceSolverResultTime
fpu-10Xe-correct01-nonuniform-depth-24depqbf-v3UNSAT0.81
fpu-10Xe-correct01-nonuniform-depth-6depqbf-v3UNSAT0.23
fpu-10Xe-correct01-uniform-depth-22depqbf-v3UNSAT0.74
fpu-10Xh-correct04-nonuniform-depth-18depqbf-v3UNSAT0.62
fpu-10Xh-correct04-nonuniform-depth-27depqbf-v3UNSAT0.9
fpu-10Xh-correct04-uniform-depth-14depqbf-v3UNSAT0.5
fpu-10Xh-correct04-uniform-depth-15depqbf-v3UNSAT0.54
fpu-10Xh-correct04-uniform-depth-16depqbf-v3UNSAT0.58
fpu-10Xh-correct04-uniform-depth-8depqbf-v3UNSAT0.3
fpu-10Xh-error01-uniform-depth-5depqbf-v3UNSAT0.19