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

InstanceResultTime
s713_d2_sSAT0.16
s713_d4_sSAT0.4
s713_d6_sSAT0.98
s713_d7_uUNSAT31.3
s713_d8_uUNSAT41.01