Instances of family s713 solved by QChaffLearn
QBFEVAL'05

InstanceResultTime
s713_d7_uFAIL899.89
s713_d6_sFAIL900
s713_d2_sFAIL900.49
s713_d4_sFAIL900.65