Instances of family fpu solved by xb-qsts_xbqsts1.0
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.35
fpu-10Xh-correct04-uniform-depth-3UNSAT1.48
fpu-10Xe-correct02-nonuniform-depth-6UNSAT2.55
fpu-01Xh-error02-nonuniform-depth-7UNSAT3.19
fpu-01Xh-error02-uniform-depth-8UNSAT3.4
fpu-10Xh-correct02-nonuniform-depth-8UNSAT3.6
fpu-10Xh-correct03-uniform-depth-10UNSAT4.19
fpu-10Xh-correct04-nonuniform-depth-13UNSAT5.3
fpu-01Xh-error02-nonuniform-depth-13UNSAT5.36
fpu-10Xh-correct02-uniform-depth-13UNSAT5.68
fpu-10Xh-correct03-uniform-depth-14UNSAT5.73
fpu-01Xh-error02-uniform-depth-18UNSAT7.4
fpu-10Xe-correct02-nonuniform-depth-16UNSAT7.45
fpu-10Xh-correct03-nonuniform-depth-22UNSAT8.54
fpu-01Xh-error02-nonuniform-depth-22UNSAT8.55
fpu-10Xe-correct02-uniform-depth-20UNSAT8.96
fpu-10Xh-correct04-uniform-depth-24UNSAT9.13
fpu-10Xh-correct03-nonuniform-depth-26UNSAT10.76