Instances of family s3271 solved by orSAT
QBFEVAL'04

InstanceResultTime
s3271_d2_sFAIL0.2
s3271_d5_sFAIL0.96
s3271_d15_sFAIL3.26
s3271_d12_sFAIL4.03
s3271_d18_uFAIL7.99
s3271_d19_uFAIL8.78
s3271_d20_uFAIL9.6
s3271_d22_uFAIL11.47