Instances of family s3330 solved by GhostQ___plain_pcnf_2019
Prenex CNF Track

InstanceResultTime
s3330_d10_uFAIL900
s3330_d9_sFAIL900
s3330_d14_uFAIL900