Sota solver results for family s386
QBFEVAL'07


InstanceSolverResultTime
s386_d2_sncQuBE1.1SAT0.28