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

InstanceResultTime
s1269_d15_uFAIL876.81
s1269_d13_uFAIL877.21
s1269_d12_uFAIL877.31