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

InstanceResultTime
k_d4_n-1SAT0.02
k_d4_n-2SAT0.1
k_d4_n-3SAT0.31
k_d4_n-20FAIL592.72
k_d4_n-7FAIL592.72
k_d4_n-10FAIL593.12
k_d4_n-16FAIL593.22
k_d4_n-14FAIL593.52
k_d4_n-15FAIL593.52
k_d4_n-8FAIL593.62