Instances of family s27 solved by ncQuBE1.1
QBFEVAL'07

InstanceResultTime
s27_d5_uUNSAT0.06
s27_d4_uUNSAT0.08