Instances of family s820 solved by QBFL-JW
QBFEVAL'04

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