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

InstanceResultTime
fpu-10Xh-error01-uniform-depth-5FAIL2.17
fpu-10Xe-correct01-nonuniform-depth-6FAIL2.66
fpu-10Xh-correct04-uniform-depth-8FAIL4
fpu-10Xh-correct04-uniform-depth-14FAIL9.66
fpu-10Xh-correct04-uniform-depth-15FAIL10.47
fpu-10Xh-correct04-uniform-depth-16FAIL11.92
fpu-10Xh-correct04-nonuniform-depth-18FAIL15.1
fpu-10Xe-correct01-uniform-depth-22FAIL19.8
fpu-10Xe-correct01-nonuniform-depth-24FAIL24.92
fpu-10Xh-correct04-nonuniform-depth-27FAIL30.97