Instances of family s820 solved by ssolve-ut
QBFEVAL'06

InstanceResultTime
s820_d2_sFAIL6000.33