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

InstanceResultTime
s3330_d4_sFAIL1200
s3330_d10_uFAIL1200.24