Instances of family s27 solved by depqbf-v2
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
s27_d2_sSAT0.02
s27_d3_uUNSAT0.09
s27_d4_uUNSAT0.41
s27_d5_uUNSAT2.31