Sota solver results for family k_t4p_n
QBFEVAL'07


InstanceSolverResultTime
k_t4p_n-12AQME-1NNSAT0.68
k_t4p_n-16AQME-1NNSAT0.78
k_t4p_n-20QUANTOR_2.15SAT0.38
k_t4p_n-21QUANTOR_2.15SAT0.42
k_t4p_n-4QUANTOR_2.15SAT0.06
k_t4p_n-8sKizzo-0.10-qckSAT0.53