Instances of family s27 solved by QMRes
QBFEVAL'04

InstanceResultTime
s27_d2_sSAT0.03
s27_d3_uUNSAT0.12
s27_d4_uUNSAT1.51
s27_d5_uUNSAT25.96