Instances of family s27 solved by orSAT
QBFEVAL'04

InstanceResultTime
s27_d2_sSAT15.49
s27_d3_uFAIL450.85
s27_d4_uFAIL547.65
s27_d5_uFAIL636.71