Instances of family k_t4p_n solved by sKizzo-0.10-qck
QBFEVAL'07

InstanceResultTime
k_t4p_n-4SAT0.2
k_t4p_n-8SAT0.53
k_t4p_n-12SAT1.09
k_t4p_n-16SAT1.79
k_t4p_n-20SAT2.79
k_t4p_n-21SAT3.55