Instances of family s27 solved by sSolve
QBFEVAL'05

InstanceResultTime
s27_d2_sSAT0
s27_d5_uFAIL900.16
s27_d4_uFAIL900.25
s27_d3_uFAIL900.34