Instances of family s499 solved by QuBE7-m
QBFEVAL'10 - Competitive Track.

InstanceResultTime
s499_d4_sSAT4.53
s499_d15_sFAIL1200.06