Instances of family k_d4_p solved by qsts
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
k_d4_p-1UNSAT0.01
k_d4_p-4UNSAT0.02
k_d4_p-7UNSAT0.02
k_d4_p-8UNSAT0.03
k_d4_p-10UNSAT0.03
k_d4_p-11UNSAT0.04
k_d4_p-16UNSAT0.05
k_d4_p-13UNSAT0.05
k_d4_p-17UNSAT0.06
k_d4_p-20UNSAT0.06