Instances of family s820 solved by qube4.0
QBFEVAL'06

InstanceResultTime
s820_d2_sFAIL1105.6