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

InstanceResultTime
s641_d10_uFAIL608.65
s641_d11_uFAIL612.32
s641_d4_sFAIL623.43
s641_d7_uFAIL623.82
s641_d8_uFAIL625.42
s641_d2_sFAIL632.62
s641_d6_sFAIL639.32
s641_d5_sFAIL649.43
s641_d3_sFAIL660.52