Instances of family s1196 solved by qbfbdd
QBFEVAL'05

InstanceResultTime
s1196_d2_sFAIL861.05
s1196_d3_uFAIL899.5