Instances of family s27 solved by ssolve-A
QBFEVAL'08

InstanceResultTime
s27_d2_sSAT0
s27_d3_uUNSAT0.08
s27_d4_uUNSAT10.82
s27_d5_uUNSAT280.87