Instances of family k_t4p_n solved by skizzo_v0.5
QBFEVAL'05

InstanceResultTime
k_t4p_n-4FAIL3.3
k_t4p_n-8SAT3.57
k_t4p_n-12SAT6.29
k_t4p_n-20SAT12.03
k_t4p_n-21FAIL54.73
k_t4p_n-16FAIL204.34