Instances of family s1196 solved by aqua-s2v
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
s1196_d2_sSAT6.54
s1196_d7_uFAIL599.82
s1196_d4_uFAIL599.83
s1196_d5_uFAIL599.83
s1196_d3_uFAIL599.86
s1196_d6_uFAIL600