Instances of family s499 solved by aqme-10
QBFEVAL'16 - Solver Portfolio Track.

InstanceResultTime
s499_d19_sFAIL600
s499_d18_sFAIL600
s499_d9_sFAIL600
s499_d24_uFAIL600
s499_d12_sFAIL600
s499_d15_sFAIL600
s499_d22_uFAIL600
s499_d25_uFAIL600
s499_d7_sFAIL600
s499_d17_sFAIL600