Instances of family s27 solved by AQME-C4.5
QBFEVAL'07

InstanceResultTime
s27_d4_uUNSAT0.62
s27_d5_uUNSAT0.64