Instances of family s1269 solved by xb-qsts
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
s1269_d3_sSAT19.35
s1269_d4_sSAT66.39
s1269_d14_uFAIL599.53
s1269_d13_uFAIL599.53
s1269_d8_sFAIL599.61
s1269_d9_sFAIL599.61
s1269_d10_sFAIL599.61
s1269_d12_uFAIL599.62
s1269_d5_sFAIL599.71
s1269_d15_uFAIL599.71