Instances of family k_t4p_p solved by AQME-C4.5
QBFEVAL'07

InstanceResultTime
k_t4p_p-4UNSAT0.62
k_t4p_p-12UNSAT0.65
k_t4p_p-16UNSAT0.67
k_t4p_p-20UNSAT0.7
k_t4p_p-21UNSAT0.72
k_t4p_p-8UNSAT0.95