Instances of family s499 solved by qbfrelay-limited-depqbf
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
s499_d19_sFAIL900
s499_d25_uFAIL900