Instances of family s641 solved by depqbf-v1
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
s641_d8_uFAIL591.75
s641_d7_uFAIL592.22
s641_d10_uFAIL592.32
s641_d6_sFAIL592.42
s641_d11_uFAIL592.42
s641_d5_sFAIL592.42
s641_d4_sFAIL592.85
s641_d3_sFAIL593.22
s641_d2_sFAIL593.42