Instances of family s3330 solved by ssolveC
QBFEVAL'08

InstanceResultTime
s3330_d10_uFAIL14.01
s3330_d11_uFAIL16.79
s3330_d12_uFAIL20.34
s3330_d13_uFAIL24.85
s3330_d14_uFAIL29.33
s3330_d2_sFAIL600
s3330_d5_sFAIL600
s3330_d6_sFAIL600
s3330_d4_sFAIL600
s3330_d3_sFAIL600
s3330_d9_sFAIL600
s3330_d7_sFAIL600
s3330_d8_sFAIL600