Instances of family s499 solved by xb-qsts
QBFEVAL'16 - Prenex non-CNF Track.

InstanceResultTime
s499_d7_sSAT0.39
s499_d15_sSAT1.52
s499_d17_sSAT2.92
s499_d22_uSAT4.47
s499_d24_uSAT5.25