Instances of family s1196 solved by QSAT
QBFEVAL'04

InstanceResultTime
s1196_d4_uFAIL901
s1196_d2_sFAIL901
s1196_d5_uFAIL901
s1196_d6_uFAIL901
s1196_d3_uFAIL901.01
s1196_d7_uFAIL901.01