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

InstanceResultTime
k_d4_p-4UNSAT0.51
k_d4_p-8UNSAT0.51
k_d4_p-17UNSAT0.51
k_d4_p-10UNSAT0.51
k_d4_p-1UNSAT0.51
k_d4_p-7UNSAT0.51
k_d4_p-20UNSAT0.51
k_d4_p-13UNSAT0.51
k_d4_p-16UNSAT0.51
k_d4_p-11UNSAT0.51