Instances of family s713 solved by rareqs-nn
QBFEVAL'16 - Prenex non-CNF Track.

InstanceResultTime
s713_d2_sSAT0.22
s713_d4_sSAT0.71
s713_d6_sSAT102.82
s713_d8_uFAIL599.71
s713_d7_uFAIL599.71