Instances of family s27 solved by aigqbf_sr
QBFEVAL'07

InstanceResultTime
s27_d4_uUNSAT0.61
s27_d5_uUNSAT1.24