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

InstanceResultTime
s820_d2_sSAT0.58
s820_d3_sSAT6.06
s820_d7_sSAT219.67
s820_d8_sSAT299.25
s820_d9_sFAIL599.85
s820_d12_uFAIL600
s820_d14_uFAIL600
s820_d10_sFAIL600
s820_d15_uFAIL600
s820_d11_uFAIL600