Instances of family s298 solved by sKizzo-0.10-std
QBFEVAL'07

InstanceResultTime
s298_d2_sSAT0.24
s298_d4_sSAT16.6