Instances of family s3330 solved by QuAbS_2017
QBFEVAL'17 - Prenex non-CNF Track

InstanceResultTime
s3330_d12_uFAIL900
s3330_d9_sFAIL900