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

InstanceResultTime
s1196_d2_sSAT0.22
s1196_d3_uSAT0.45
s1196_d5_uSAT1.17