Instances of family s27 solved by sKizzo-0.9-abs
QBFEVAL'06

InstanceResultTime
s27_d3_uUNSAT0.05
s27_d4_uUNSAT0.16
s27_d5_uUNSAT0.29