Instances of family s27 solved by QSAT
QBFEVAL'04

InstanceResultTime
s27_d2_sSAT0.02
s27_d3_uUNSAT115.21
s27_d5_uFAIL901
s27_d4_uFAIL901.01