Instances of family s3330 solved by caqe-picosat-cert
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.

InstanceResultTime
s3330_d9_sFAIL183.13
s3330_d10_uFAIL187.1
s3330_d12_uFAIL195.97
s3330_d14_uFAIL212.96
s3330_d3_sFAIL233.79
s3330_d2_sFAIL252.93
s3330_d8_sFAIL600
s3330_d4_sFAIL600
s3330_d7_sFAIL600
s3330_d5_sFAIL600