Instances of family s1196 solved by openQbf
QBFEVAL'05

InstanceResultTime
s1196_d2_sFAIL900.88
s1196_d3_uFAIL900.96