Instances of family s3330 solved by QuBE6.1
QBFEVAL'08

InstanceResultTime
s3330_d2_sSAT5.12
s3330_d3_sSAT29.99
s3330_d4_sSAT106.44
s3330_d13_uFAIL600
s3330_d10_uFAIL600
s3330_d14_uFAIL600
s3330_d9_sFAIL600
s3330_d7_sFAIL600
s3330_d8_sFAIL600
s3330_d11_uFAIL600
s3330_d5_sFAIL600
s3330_d6_sFAIL600
s3330_d12_uFAIL600