Instances of family s713 solved by ghostq-cegar
QBFEVAL'16 - Prenex non-CNF Track.

InstanceResultTime
s713_d2_sSAT0.17
s713_d4_sSAT0.44
s713_d6_sSAT1.46
s713_d7_uUNSAT49.59
s713_d8_uUNSAT77.65