Sota solver results for family k_path_n
QBFEVAL'07


InstanceSolverResultTime
k_path_n-12QUANTOR_2.15SAT0.04
k_path_n-16QUANTOR_2.15SAT0.05
k_path_n-20QUANTOR_2.15SAT0.07
k_path_n-21QUANTOR_2.15SAT0.07
k_path_n-8QUANTOR_2.15SAT0.03