Instances of family s3271 solved by QUBE-LRN
QBFEVAL'04

InstanceResultTime
s3271_d2_sUNSAT1.05
s3271_d5_sUNSAT1.15
s3271_d15_sFAIL2.9
s3271_d22_uFAIL3.37
s3271_d19_uFAIL3.49
s3271_d12_sUNSAT4.11
s3271_d20_uFAIL4.12
s3271_d18_uFAIL5.3