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

InstanceResultTime
s27_d2_sSAT0.52
s27_d3_uUNSAT0.53
s27_d4_uUNSAT0.64
s27_d5_uUNSAT1.92