Instances of family s1269 solved by AIGSolve
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
s1269_d10_sFAIL900
s1269_d5_sFAIL900