Instances of family s1269 solved by xb-qsts_bqsts2.0
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
s1269_d5_sSAT63.94
s1269_d10_sFAIL900