Instances of family s27 solved by QuBE6.1
QBFEVAL'08

InstanceResultTime
s27_d2_sSAT0.04
s27_d3_uUNSAT0.04
s27_d4_uUNSAT0.04
s27_d5_uUNSAT0.05