Instances of family k_t4p_n solved by sSolve
QBFEVAL'06

InstanceResultTime
k_t4p_n-4SAT17.99
k_t4p_n-8SAT73.66
k_t4p_n-12SAT163.56
k_t4p_n-16SAT311.28
k_t4p_n-20SAT508.85
k_t4p_n-21SAT567.09