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

InstanceResultTime
s713_d7_uUNSAT222.69
s713_d11_uUNSAT333.1