Instances of family s3330 solved by Qute_rrs
Prenex CNF Track

InstanceResultTime
s3330_d10_uFAIL900
s3330_d9_sFAIL900
s3330_d14_uFAIL900