Instances of family s820 solved by QMRes
QBFEVAL'04

InstanceResultTime
s820_d9_sFAIL17.58
s820_d11_uFAIL17.73
s820_d14_uFAIL17.75
s820_d12_uFAIL17.96
s820_d8_sFAIL19.12
s820_d5_sFAIL901.02
s820_d3_sFAIL901.03
s820_d4_sFAIL901.04