Instances of family s1269 solved by QUANTOR
QBFEVAL'04

InstanceResultTime
s1269_d2_sFAIL434.65
s1269_d15_uFAIL901
s1269_d10_sFAIL901
s1269_d5_sFAIL901
s1269_d9_sFAIL901
s1269_d4_sFAIL901.01
s1269_d6_sFAIL901.01
s1269_d3_sFAIL901.02