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

InstanceResultTime
k_d4_p-4UNSAT0.05
k_d4_p-1UNSAT0.05
k_d4_p-8UNSAT0.06
k_d4_p-10UNSAT0.07
k_d4_p-7UNSAT0.07
k_d4_p-11UNSAT0.07
k_d4_p-16UNSAT0.08
k_d4_p-17UNSAT0.09
k_d4_p-20UNSAT0.09
k_d4_p-13UNSAT0.09