Instances of family s27 solved by openQbf
QBFEVAL'05

InstanceResultTime
s27_d2_sSAT0.28
s27_d4_uFAIL900.87
s27_d3_uFAIL900.89
s27_d5_uFAIL900.9