Instances of family k_t4p_p solved by QMRes
QBFEVAL'04

InstanceResultTime
k_t4p_p-1UNSAT0.08
k_t4p_p-4UNSAT0.34
k_t4p_p-10UNSAT1.73
k_t4p_p-12UNSAT2.58
k_t4p_p-15UNSAT3.52
k_t4p_p-16UNSAT4.12
k_t4p_p-18UNSAT5.07
k_t4p_p-19UNSAT5.48