Instances of family s27 solved by xb-bid-qsts
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
s27_d2_sSAT0.01
s27_d3_uUNSAT0.04
s27_d4_uUNSAT0.19
s27_d5_uUNSAT0.39