Instances of family s499 solved by QSAT
QBFEVAL'04

InstanceResultTime
s499_d14_sFAIL901
s499_d19_sFAIL901
s499_d18_sFAIL901
s499_d4_sFAIL901
s499_d2_sFAIL901
s499_d7_sFAIL901.01
s499_d10_sFAIL901.01
s499_d3_sFAIL901.01