Instances of family s499 solved by struqs-10
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
s499_d24_uFAIL599.82
s499_d12_sFAIL599.82
s499_d15_sFAIL599.82
s499_d22_uFAIL599.82
s499_d7_sFAIL599.82
s499_d17_sFAIL599.82
s499_d18_sFAIL599.82
s499_d9_sFAIL599.82
s499_d19_sFAIL599.83
s499_d25_uFAIL599.84