Sota solver results for family s713
QBFEVAL'06


InstanceSolverResultTime
s713_d2_sqube5.0SAT0.81