Instances of family s1196 solved by qsts
QBFEVAL'16 - Prenex non-CNF Track.

InstanceResultTime
s1196_d2_sSAT0.02
s1196_d3_uUNSAT0.63
s1196_d5_uUNSAT1.02