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

InstanceResultTime
s713_d7_uUNSAT45.72
s713_d11_uUNSAT176.03