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

InstanceResultTime
s820_d2_sSAT10.5
s820_d3_sSAT483.4
s820_d11_uFAIL599.72
s820_d14_uFAIL599.72
s820_d10_sFAIL599.72
s820_d7_sFAIL599.72
s820_d12_uFAIL599.73
s820_d15_uFAIL599.74
s820_d8_sFAIL599.82
s820_d9_sFAIL599.82