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

InstanceResultTime
s499_d25_uFAIL51.21
s499_d24_uFAIL55.33
s499_d22_uFAIL63.85
s499_d19_sFAIL75.03
s499_d18_sFAIL78.35
s499_d17_sFAIL81.54
s499_d15_sFAIL89.93
s499_d12_sFAIL237.53
s499_d9_sFAIL599.22
s499_d7_sFAIL599.22