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

InstanceResultTime
k_t4p_n-2SAT0.09
k_t4p_n-4SAT64.24
k_t4p_n-5FAIL599.71
k_t4p_n-6FAIL599.71
k_t4p_n-8FAIL599.71
k_t4p_n-9FAIL599.81
k_t4p_n-14FAIL599.81
k_t4p_n-15FAIL599.81
k_t4p_n-13FAIL599.81
k_t4p_n-12FAIL599.81