Instances of family s820 solved by QSAT
QBFEVAL'04

InstanceResultTime
s820_d14_uFAIL901
s820_d5_sFAIL901
s820_d9_sFAIL901
s820_d12_uFAIL901.01
s820_d3_sFAIL901.01
s820_d8_sFAIL901.01
s820_d11_uFAIL901.01
s820_d4_sFAIL901.01