Instances of family s713 solved by struqs-10
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
s713_d2_sSAT44.41
s713_d3_sSAT175.86
s713_d11_uFAIL599.75
s713_d4_sFAIL599.81
s713_d10_uFAIL599.82
s713_d5_sFAIL599.82
s713_d7_uFAIL599.82
s713_d6_sFAIL599.82
s713_d8_uFAIL599.82
s713_d9_uFAIL599.82