Instances of family s499 solved by ssolve+ut
QBFEVAL'06

InstanceResultTime
s499_d2_sFAIL599.93
s499_d4_sFAIL5997.83