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

InstanceResultTime
s713_d7_uFAIL616.42
s713_d3_sFAIL618.92
s713_d2_sFAIL624.02
s713_d10_uFAIL624.32
s713_d11_uFAIL625.52
s713_d4_sFAIL633.14
s713_d6_sFAIL636.02
s713_d9_uFAIL636.94
s713_d8_uFAIL638.52
s713_d5_sFAIL639.15