Instances of family k_t4p_p solved by sKizzo-0.9-std
QBFEVAL'06

InstanceResultTime
k_t4p_p-4UNSAT0.03
k_t4p_p-8UNSAT0.08
k_t4p_p-12UNSAT0.14
k_t4p_p-16UNSAT0.23
k_t4p_p-20UNSAT0.44
k_t4p_p-21UNSAT0.47