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

InstanceResultTime
s713_d9_uFAIL137.46
s713_d10_uFAIL138.12
s713_d8_uFAIL144.12
s713_d7_uFAIL148.34
s713_d6_sFAIL157.59
s713_d4_sFAIL204.62
s713_d3_sFAIL270.14
s713_d2_sFAIL463.92