Instances of family s27 solved by semprop
QBFEVAL'04

InstanceResultTime
s27_d2_sSAT0.01
s27_d3_uUNSAT0.34
s27_d4_uUNSAT38.86
s27_d5_uFAIL901.01