Instances of family s27 solved by QUBE-LRN
QBFEVAL'04

InstanceResultTime
s27_d2_sSAT1.06
s27_d3_uFAIL901.03
s27_d5_uFAIL901.03
s27_d4_uFAIL901.03