Instances of family k_t4p_n solved by sKizzo-0.9-abs
QBFEVAL'06

InstanceResultTime
k_t4p_n-4SAT0.19
k_t4p_n-8SAT0.5
k_t4p_n-12SAT1.02
k_t4p_n-16SAT1.69
k_t4p_n-20SAT2.64
k_t4p_n-21SAT3.31