Instances of family s298 solved by AIGSolve
QBFEVAL'10 - Competitive Track.

InstanceResultTime
s298_d2_sSAT0.29
s298_d5_sSAT9.53
s298_d9_sSAT57.91
s298_d11_sSAT90.53