Instances of family s820 solved by sKizzo-0.10-qck
QBFEVAL'07

InstanceResultTime
s820_d2_sSAT32.41