Instances of family fpu solved by iProver-qbf-bloqqer-2017-07-27-v3
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
fpu-10Xh-correct02-nonuniform-depth-2UNSAT0.97
fpu-01Xh-error02-nonuniform-depth-3UNSAT1.35
fpu-10Xh-correct03-uniform-depth-3UNSAT1.38
fpu-10Xh-correct04-uniform-depth-3UNSAT1.43
fpu-10Xe-correct02-nonuniform-depth-6UNSAT2.52
fpu-01Xh-error02-nonuniform-depth-7UNSAT3.01
fpu-01Xh-error02-uniform-depth-8UNSAT3.39
fpu-10Xh-correct02-nonuniform-depth-8UNSAT3.41
fpu-10Xh-correct03-uniform-depth-10UNSAT4.22
fpu-10Xh-correct04-nonuniform-depth-13UNSAT5.32
fpu-01Xh-error02-nonuniform-depth-13UNSAT5.35
fpu-10Xh-correct02-uniform-depth-13UNSAT5.35
fpu-10Xh-correct03-uniform-depth-14UNSAT5.6
fpu-01Xh-error02-uniform-depth-18UNSAT7.08
fpu-10Xe-correct02-nonuniform-depth-16UNSAT7.38
fpu-01Xh-error02-nonuniform-depth-22UNSAT8.3
fpu-10Xh-correct03-nonuniform-depth-22UNSAT8.33
fpu-10Xe-correct02-uniform-depth-20UNSAT9.09
fpu-10Xh-correct03-nonuniform-depth-26UNSAT9.63
fpu-10Xh-correct04-uniform-depth-24UNSAT9.63