Instances of family s499 solved by qube5.0
QBFEVAL'06

InstanceResultTime
s499_d2_sSAT0.19
s499_d4_sSAT4.86