Instances of family s386 solved by QuBE7-m
QBFEVAL'10 - Competitive Track.

InstanceResultTime
s386_d12_uUNSAT882.9