Instances of family s499 solved by ncQuBE1.1
QBFEVAL'07

InstanceResultTime
s499_d2_sSAT0.14
s499_d4_sSAT3.52