Instances of family s386 solved by QSAT
QBFEVAL'04

InstanceResultTime
s386_d4_sFAIL901
s386_d8_uFAIL901
s386_d5_sFAIL901
s386_d10_uFAIL901
s386_d3_sFAIL901
s386_d7_sFAIL901.01
s386_d9_uFAIL901.01
s386_d12_uFAIL901.01