Instances of family s713 solved by iprover-QBF-bloqqer
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
s713_d2_sSAT14.52
s713_d10_uFAIL64.33
s713_d11_uFAIL67.83
s713_d8_uFAIL93.73
s713_d9_uFAIL96.23
s713_d6_sFAIL167.24
s713_d7_uFAIL492.23
s713_d5_sFAIL599.22
s713_d4_sFAIL599.22
s713_d3_sFAIL599.23