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

InstanceResultTime
s1269_d3_sSAT5.78
s1269_d5_sSAT40.17
s1269_d9_sFAIL599.71
s1269_d15_uFAIL599.71
s1269_d13_uFAIL599.71
s1269_d10_sFAIL599.71
s1269_d12_uFAIL599.71
s1269_d14_uFAIL599.71
s1269_d8_sFAIL599.71
s1269_d4_sFAIL599.81