Instances of family s499 solved by sKizzo-0.10-qck
QBFEVAL'07

InstanceResultTime
s499_d2_sSAT0.11
s499_d4_sSAT23.33