Instances of family fpu solved by Qute_default
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
fpu-10Xh-correct02-nonuniform-depth-2UNSAT0.41
fpu-01Xh-error02-nonuniform-depth-3UNSAT0.54
fpu-10Xh-correct04-uniform-depth-3UNSAT0.55
fpu-10Xh-correct03-uniform-depth-3UNSAT0.56
fpu-10Xe-correct02-nonuniform-depth-6UNSAT1.16
fpu-01Xh-error02-nonuniform-depth-7UNSAT1.37
fpu-10Xh-correct02-nonuniform-depth-8UNSAT1.53
fpu-01Xh-error02-uniform-depth-8UNSAT1.57
fpu-10Xh-correct03-uniform-depth-10UNSAT1.87
fpu-10Xh-correct04-nonuniform-depth-13UNSAT2.27
fpu-01Xh-error02-nonuniform-depth-13UNSAT2.28
fpu-10Xh-correct02-uniform-depth-13UNSAT2.36
fpu-10Xh-correct03-uniform-depth-14UNSAT2.52
fpu-10Xe-correct02-nonuniform-depth-16UNSAT3.03
fpu-01Xh-error02-uniform-depth-18UNSAT3.15
fpu-01Xh-error02-nonuniform-depth-22UNSAT3.59
fpu-10Xh-correct03-nonuniform-depth-22UNSAT3.64
fpu-10Xe-correct02-uniform-depth-20UNSAT3.91
fpu-10Xh-correct04-uniform-depth-24UNSAT4.08
fpu-10Xh-correct03-nonuniform-depth-26UNSAT4.95