Instances of family s1269 solved by squeezebf+aqme
QBFEVAL'16 - Solver Portfolio Track.

InstanceResultTime
s1269_d8_sFAIL600
s1269_d5_sFAIL600
s1269_d9_sFAIL600
s1269_d15_uFAIL600
s1269_d3_sFAIL600
s1269_d13_uFAIL600
s1269_d10_sFAIL600
s1269_d12_uFAIL600
s1269_d4_sFAIL600
s1269_d14_uFAIL600