Instances of family s713 solved by Qute_opt500
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
s713_d7_uUNSAT74.48
s713_d11_uFAIL900