Sota solver results for family s298
QBFEVAL'10 - Competitive Track.


InstanceSolverResultTime
s298_d11_sAIGSolveSAT90.53
s298_d2_sQuBE7SAT0.07
s298_d5_sAIGSolveSAT9.53
s298_d9_sAIGSolveSAT57.91