Instances of family s1196 solved by QuBE7-c
QBFEVAL'10 - Competitive Track.

InstanceResultTime
s1196_d3_uSAT275.13