Sota solver results for family k_path_n
QBFEVAL'16 - Prenex CNF Track.


InstanceSolverResultTime
k_path_n-12qestoSAT0.02
k_path_n-13qestoSAT0.02
k_path_n-14qestoSAT0.03
k_path_n-16qestoSAT0.03
k_path_n-19qestoSAT0.04
k_path_n-3qestoSAT0
k_path_n-4qestoSAT0.01
k_path_n-5qestoSAT0.01
k_path_n-6qestoSAT0.01
k_path_n-9rareqsSAT0.01