Instances of family fpu solved by nanoqbf_hqspre
Prenex CNF Track

InstanceResultTime
fpu-10Xh-correct04-nonuniform-depth-14UNSAT3.88
fpu-01Xh-error02-nonuniform-depth-18UNSAT4.9
fpu-10Xh-correct04-uniform-depth-18UNSAT5.1
fpu-10Xh-error01-uniform-depth-20UNSAT5.5
fpu-01Xh-error02-uniform-depth-24UNSAT6.5
fpu-10Xh-error01-uniform-depth-25UNSAT6.78
fpu-01Xh-error02-nonuniform-depth-27SAT429.08
fpu-10Xh-correct04-nonuniform-depth-28SAT489.62
fpu-10Xh-correct04-uniform-depth-28SAT499.78
fpu-10Xh-error01-nonuniform-depth-27SAT515.62