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


InstanceSolverResultTime
s386_d12_uAIGSolveUNSAT715.71