Instances of family s3271 solved by QBFL-BS
QBFEVAL'04

InstanceResultTime
s3271_d2_sUNSAT0.02
s3271_d5_sUNSAT0.05
s3271_d12_sUNSAT0.18
s3271_d15_sUNSAT0.22
s3271_d18_uUNSAT0.31
s3271_d19_uUNSAT0.32
s3271_d20_uUNSAT0.36
s3271_d22_uUNSAT0.44