Instances of family fpu solved by struqs-10
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
fpu-10Xh-error01-uniform-depth-5UNSAT0.41
fpu-10Xe-correct01-nonuniform-depth-6UNSAT0.55
fpu-10Xh-correct04-uniform-depth-8UNSAT0.65
fpu-10Xh-correct04-uniform-depth-14UNSAT1.08
fpu-10Xh-correct04-uniform-depth-15UNSAT1.17
fpu-10Xh-correct04-uniform-depth-16UNSAT1.23
fpu-10Xh-correct04-nonuniform-depth-18UNSAT1.49
fpu-10Xe-correct01-uniform-depth-22UNSAT1.65
fpu-10Xe-correct01-nonuniform-depth-24UNSAT1.94
fpu-10Xh-correct04-nonuniform-depth-27UNSAT2.19