Sota solver results for family k_t4p_n
QBFEVAL'06


InstanceSolverResultTime
k_t4p_n-12QUANTOR_hcUNSAT0.02
k_t4p_n-16QUANTOR_hcUNSAT0.01
k_t4p_n-20QUANTOR_hcUNSAT0.04
k_t4p_n-21QUANTOR_hcUNSAT0.04
k_t4p_n-4QUANTOR_hcUNSAT0.01
k_t4p_n-8QUANTOR_hcUNSAT0.02