Instances of family k_t4p_p solved by 2clsQ
QBFEVAL'06

InstanceResultTime
k_t4p_p-4UNSAT0.07
k_t4p_p-12UNSAT0.07
k_t4p_p-16UNSAT0.1
k_t4p_p-21UNSAT0.1
k_t4p_p-20UNSAT0.12
k_t4p_p-8UNSAT0.37