Instances of family s27 solved by iprover-QBF
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
s27_d2_sSAT1.92
s27_d3_uUNSAT71
s27_d4_uUNSAT74.65
s27_d5_uUNSAT77.22