Instances of family s1196 solved by ijtihad_v2
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
s1196_d5_uFAIL900
s1196_d7_uFAIL900