Instances of family s27 solved by WalkQSAT
QBFEVAL'05

InstanceResultTime
s27_d2_sSAT0.06
s27_d3_uUNSAT32.57
s27_d4_uFAIL901
s27_d5_uFAIL901.01