Instances of family circuits solved by par-pd-depqbf
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.

InstanceResultTime
k3_1_1SAT0.51
k8_2_3FAIL600
k8_3_2FAIL600
k14_2_3FAIL600
k8_4_3FAIL600
k12_4_2FAIL600
k6_2_3FAIL600
k8_3_4FAIL600
k5_2_3FAIL600
k5_3_2FAIL600