Instances of family s499 solved by caqe-portfolio
QBFEVAL'16 - Solver Portfolio Track.

InstanceResultTime
s499_d9_sSAT21.96
s499_d7_sSAT33.48
s499_d12_sSAT67.44
s499_d15_sSAT121.54
s499_d18_sSAT202.59
s499_d17_sSAT203.4
s499_d25_uFAIL299.73
s499_d24_uFAIL299.78
s499_d19_sFAIL299.79
s499_d22_uFAIL299.84