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

InstanceResultTime
k_d4_p-8UNSAT0.03
k_d4_p-11UNSAT0.04
k_d4_p-17UNSAT0.05
k_d4_p-13UNSAT0.05
k_d4_p-20UNSAT0.06