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

InstanceResultTime
s1269_d5_sSAT149.64
s1269_d10_sFAIL900