Instances of family fpu solved by aqme-10
QBFEVAL'16 - Solver Portfolio Track.

InstanceResultTime
fpu-10Xh-error01-uniform-depth-5UNSAT4.72
fpu-10Xe-correct01-nonuniform-depth-6UNSAT5.58
fpu-10Xh-correct04-uniform-depth-8UNSAT7.08
fpu-10Xh-correct04-uniform-depth-14UNSAT11.25
fpu-10Xh-correct04-nonuniform-depth-27UNSAT11.93
fpu-10Xh-correct04-uniform-depth-15UNSAT12.41
fpu-10Xh-correct04-uniform-depth-16UNSAT12.96
fpu-10Xh-correct04-nonuniform-depth-18UNSAT16.04
fpu-10Xe-correct01-nonuniform-depth-24UNSAT18.58
fpu-10Xe-correct01-uniform-depth-22UNSAT19.02