Instances of family s27 solved by SQBF
QBFEVAL'06

InstanceResultTime
s27_d3_uUNSAT0.03
s27_d4_uUNSAT0.38
s27_d5_uUNSAT2.87