Instances of family s713 solved by QBFL-BS
QBFEVAL'04

InstanceResultTime
s713_d2_sFAIL901
s713_d8_uFAIL901
s713_d7_uFAIL901.01
s713_d6_sFAIL901.01
s713_d10_uFAIL901.01
s713_d4_sFAIL901.02
s713_d9_uFAIL901.02
s713_d3_sFAIL901.02