Instances of family s713 solved by xb-qsts_xbqsts2.0
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
s713_d7_uUNSAT110.32
s713_d11_uUNSAT269.97