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

InstanceResultTime
s1269_d3_sSAT486.51
s1269_d15_uFAIL592.43
s1269_d12_uFAIL592.43
s1269_d14_uFAIL592.63
s1269_d4_sFAIL592.72
s1269_d5_sFAIL592.72
s1269_d9_sFAIL592.72
s1269_d8_sFAIL592.94
s1269_d10_sFAIL592.94
s1269_d13_uFAIL593.12