Instances of family k_d4_n solved by depqbf-v3
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
k_d4_n-1SAT0.01
k_d4_n-2SAT0.08
k_d4_n-3SAT0.13
k_d4_n-7SAT260.53
k_d4_n-10FAIL599.71
k_d4_n-14FAIL599.71
k_d4_n-16FAIL599.81
k_d4_n-15FAIL599.81
k_d4_n-8FAIL599.81
k_d4_n-20FAIL599.81