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

InstanceResultTime
s820_d8_sFAIL602.12
s820_d15_uFAIL604.62
s820_d9_sFAIL605.12
s820_d2_sFAIL608.43
s820_d14_uFAIL612.65
s820_d11_uFAIL614.95
s820_d10_sFAIL619.72
s820_d3_sFAIL622.32
s820_d12_uFAIL625.62
s820_d7_sFAIL629.81