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

InstanceResultTime
s499_d7_sSAT128.05
s499_d9_sSAT165.24
s499_d12_sSAT407.2
s499_d15_sFAIL599.71
s499_d25_uFAIL599.72
s499_d17_sFAIL599.81
s499_d18_sFAIL599.81
s499_d22_uFAIL599.82
s499_d19_sFAIL599.82
s499_d24_uFAIL599.83