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

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