Instances of family s298 solved by aigqbf_sr
QBFEVAL'07

InstanceResultTime
s298_d2_sSAT3.01
s298_d4_sSAT208.93