Instances of family s27 solved by skizzo_v0.5
QBFEVAL'05

InstanceResultTime
s27_d3_uUNSAT0.1
s27_d2_sSAT0.1
s27_d4_uUNSAT0.21
s27_d5_uUNSAT0.41