Instances of family s386 solved by sSolve
QBFEVAL'06

InstanceResultTime
s386_d2_sFAIL599.97