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

InstanceResultTime
s1269_d5_sFAIL599.71
s1269_d3_sFAIL599.72
s1269_d4_sFAIL599.72
s1269_d8_sFAIL599.72
s1269_d9_sFAIL599.73
s1269_d10_sFAIL599.74
s1269_d12_uFAIL599.78
s1269_d13_uFAIL599.81
s1269_d14_uFAIL599.83
s1269_d15_uFAIL599.88