Instances of family s27 solved by Adaptive2clsQ
QBFEVAL'07

InstanceResultTime
s27_d4_uUNSAT0.31
s27_d5_uUNSAT2.6