Instances of family k_t4p_p solved by QUANTOR_hc
QBFEVAL'06

InstanceResultTime
k_t4p_p-8UNSAT0.01
k_t4p_p-4UNSAT0.01
k_t4p_p-16UNSAT0.02
k_t4p_p-20UNSAT0.02
k_t4p_p-12UNSAT0.02
k_t4p_p-21UNSAT0.02