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

InstanceResultTime
k_t4p_n-4SAT0.2
k_t4p_n-8SAT0.53
k_t4p_n-12SAT1.08
k_t4p_n-16SAT1.8
k_t4p_n-20SAT2.8
k_t4p_n-21SAT3.67