Instances of family s713 solved by aqua-s3o
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
s713_d2_sSAT0.43
s713_d3_sSAT3.18
s713_d4_sSAT11.46
s713_d5_sSAT50.09
s713_d6_sSAT113.8
s713_d9_uFAIL599.72
s713_d8_uFAIL599.72
s713_d10_uFAIL600
s713_d11_uFAIL600
s713_d7_uFAIL600