Instances of family s298 solved by sKizzo-0.9-grn
QBFEVAL'06

InstanceResultTime
s298_d2_sSAT0.22
s298_d4_sSAT16.31