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

InstanceResultTime
s713_d2_sSAT0.6
s713_d3_sSAT1.56
s713_d4_sSAT3.49
s713_d5_sSAT4.54
s713_d6_sSAT6.62
s713_d7_uUNSAT45.95
s713_d8_uUNSAT69.3
s713_d9_uUNSAT101.06
s713_d10_uUNSAT148.12
s713_d11_uUNSAT172.89