Instances of family k_t4p_p solved by AQME-RIPPER
QBFEVAL'07

InstanceResultTime
k_t4p_p-4UNSAT0.68
k_t4p_p-12UNSAT0.7
k_t4p_p-16UNSAT0.72
k_t4p_p-20UNSAT0.76
k_t4p_p-21UNSAT0.76
k_t4p_p-8UNSAT1