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

InstanceResultTime
s713_d2_sSAT11.43
s713_d4_sFAIL327.22
s713_d11_uFAIL396.22
s713_d6_sFAIL461.73
s713_d7_uFAIL464.72
s713_d5_sFAIL476.42
s713_d8_uFAIL519.12
s713_d3_sFAIL546.32
s713_d10_uFAIL599.71
s713_d9_uFAIL599.71