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

InstanceResultTime
s27_d5_uUNSAT0.06
s27_d4_uFAIL0.07