Instances of family s820 solved by QChaffLearn
QBFEVAL'05

InstanceResultTime
s820_d11_uFAIL0.4
s820_d10_sFAIL899.15
s820_d8_sFAIL899.46
s820_d2_sFAIL900.59
s820_d4_sFAIL900.72