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

InstanceResultTime
s499_d7_sSAT33.33
s499_d9_sSAT51.65
s499_d12_sSAT71.83
s499_d15_sSAT132.35
s499_d17_sSAT153.64
s499_d18_sSAT203.96
s499_d19_sSAT234.88
s499_d22_uUNSAT320.01
s499_d24_uUNSAT395.7
s499_d25_uUNSAT501.4