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

InstanceResultTime
s499_d9_sSAT28.2
s499_d7_sSAT76.86
s499_d12_sSAT273.49
s499_d17_sSAT462.48
s499_d15_sFAIL599.81
s499_d22_uFAIL599.81
s499_d25_uFAIL599.81
s499_d19_sFAIL599.81
s499_d18_sFAIL599.81
s499_d24_uFAIL599.81