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

InstanceResultTime
s1196_d3_uFAIL599.72
s1196_d5_uFAIL599.73
s1196_d6_uFAIL599.73
s1196_d4_uFAIL599.82
s1196_d2_sFAIL599.82
s1196_d7_uFAIL599.83