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

InstanceResultTime
s386_d12_uFAIL591.92
s386_d9_uFAIL592.32
s386_d11_uFAIL592.42
s386_d10_uFAIL592.42
s386_d2_sFAIL592.62
s386_d7_sFAIL592.62
s386_d8_uFAIL592.62
s386_d6_sFAIL592.93
s386_d4_sFAIL592.94
s386_d3_sFAIL593.62