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

InstanceResultTime
k_t4p_p-4UNSAT17.81
k_t4p_p-12FAIL592.62
k_t4p_p-16FAIL592.63
k_t4p_p-18FAIL592.73
k_t4p_p-6FAIL593.12
k_t4p_p-15FAIL593.12
k_t4p_p-10FAIL593.12
k_t4p_p-20FAIL593.32
k_t4p_p-9FAIL593.42
k_t4p_p-17FAIL593.52