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

InstanceResultTime
s820_d15_uFAIL38.03
s820_d14_uFAIL46.34
s820_d12_uFAIL62.85
s820_d11_uFAIL70.44
s820_d10_sFAIL77.33
s820_d9_sFAIL83.83
s820_d8_sFAIL94.13
s820_d7_sFAIL135.34
s820_d3_sFAIL325.23
s820_d2_sFAIL525.64