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

InstanceResultTime
k_t4p_p-6UNSAT0.05
k_t4p_p-4UNSAT0.05
k_t4p_p-9UNSAT0.06
k_t4p_p-10UNSAT0.06
k_t4p_p-12UNSAT0.07
k_t4p_p-15UNSAT0.08
k_t4p_p-16UNSAT0.08
k_t4p_p-18UNSAT0.09
k_t4p_p-17UNSAT0.09
k_t4p_p-20UNSAT0.1