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

InstanceResultTime
s1269_d10_sFAIL896.61
s1269_d5_sFAIL900