Instances of family s820 solved by depqbf-cert-v2
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.

InstanceResultTime
s820_d12_uFAIL617.22
s820_d3_sFAIL618.33
s820_d10_sFAIL619.87
s820_d15_uFAIL627.03
s820_d14_uFAIL628.53
s820_d9_sFAIL629.02
s820_d2_sFAIL633.33
s820_d8_sFAIL656.37
s820_d11_uFAIL663.74
s820_d7_sFAIL664.82