Instances of family k_t4p_p solved by ncQuBE1.0
QBFEVAL'07

InstanceResultTime
k_t4p_p-4UNSAT18.46
k_t4p_p-20FAIL304.43
k_t4p_p-16FAIL325.49
k_t4p_p-8FAIL329.38
k_t4p_p-12FAIL387.44
k_t4p_p-21FAIL414.11