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

InstanceResultTime
s1269_d3_sSAT18.36
s1269_d4_sSAT61.79
s1269_d5_sSAT121.74
s1269_d13_uFAIL599.59
s1269_d15_uFAIL599.62
s1269_d12_uFAIL599.65
s1269_d10_sFAIL599.66
s1269_d9_sFAIL599.69
s1269_d8_sFAIL599.73
s1269_d14_uFAIL599.74