Instances of family circuits solved by depqbf-v2
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
k3_1_1SAT0.12
k14_2_3FAIL592.12
k12_4_2FAIL592.22
k8_3_4FAIL593.02
k8_3_2FAIL593.32
k6_2_3FAIL593.42
k5_2_3FAIL593.42
k8_2_3FAIL593.42
k8_4_3FAIL593.52
k5_3_2FAIL593.62