Instances of family k_t4p_p solved by semprop
QBFEVAL'05

InstanceResultTime
k_t4p_p-4UNSAT2.24
k_t4p_p-8UNSAT667.63
k_t4p_p-16FAIL900.99
k_t4p_p-21FAIL901
k_t4p_p-20FAIL901
k_t4p_p-12FAIL901.01