Instances of family s499 solved by caqe-picosat-cert
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.

InstanceResultTime
s499_d9_sFAIL275.24
s499_d7_sFAIL287.1
s499_d12_sFAIL315.33
s499_d24_uFAIL600
s499_d15_sFAIL600
s499_d22_uFAIL600
s499_d25_uFAIL600
s499_d17_sFAIL600
s499_d19_sFAIL600
s499_d18_sFAIL600