yirkajk
commented
6 years ago This is the list of efficient_properties and graphs in all_graphs (up to isomorphism) for which values are missing after running with up to a 20 minutes timeout.
is_cartesian_product for Ionin-Kharaghani is missing.
is_cartesian_product for Janko-Kharaghani-Tonchev is missing.
is_cartesian_product for Mathon Strongly Regular Graph 0 is missing.
is_cartesian_product for Mathon Strongly Regular Graph 1 is missing.
is_cartesian_product for Mathon Strongly Regular Graph 2 is missing.
is_cartesian_product for Janko-Kharaghani 936 is missing.
is_even_hole_free for bt2_8 is missing.
is_perfect for Ionin-Kharaghani is missing.
is_perfect for Mathon Strongly Regular Graph 0 is missing.
is_perfect for Mathon Strongly Regular Graph 1 is missing.
is_perfect for Mathon Strongly Regular Graph 2 is missing.
is_perfect for Janko-Kharaghani 936 is missing.
is_perfect for triangleReplacedCoxeter is missing.
is_perfect for K06K11 is missing.
is_perfect for K06K10 is missing.
is_perfect for K06K12 is missing.
is_perfect for K06K15 is missing.
is_perfect for K06K14 is missing.
is_perfect for K06K16 is missing.
is_perfect for K06K13 is missing.
is_perfect for K04K17 is missing.
is_perfect for K04K16 is missing.
is_perfect for K04K15 is missing.
is_perfect for K04K14 is missing.
is_perfect for K04K19 is missing.
is_perfect for K04K18 is missing.
is_perfect for K08K08 is missing.
is_perfect for K08K09 is missing.
is_perfect for K04K20 is missing.
is_perfect for K09K10 is missing.
is_perfect for K09K11 is missing.
is_perfect for K05K09 is missing.
is_perfect for K08K12 is missing.
is_perfect for K08K11 is missing.
is_perfect for K08K10 is missing.
is_perfect for K07K12 is missing.
is_perfect for K07K13 is missing.
is_perfect for K07K10 is missing.
is_perfect for K07K11 is missing.
is_perfect for K07K14 is missing.
is_perfect for K09K09 is missing.
is_perfect for K07K09 is missing.
is_perfect for K07K08 is missing.
is_perfect for K05K20 is missing.
is_perfect for K07K07 is missing.
is_perfect for K06K07 is missing.
is_perfect for K06K08 is missing.
is_perfect for K06K09 is missing.
is_perfect for K10K10 is missing.
is_perfect for K05K18 is missing.
is_perfect for K05K19 is missing.
is_perfect for K05K10 is missing.
is_perfect for K05K11 is missing.
is_perfect for K05K12 is missing.
is_perfect for K05K13 is missing.
is_perfect for K05K14 is missing.
is_perfect for K05K15 is missing.
is_perfect for K05K16 is missing.
is_perfect for K05K17 is missing.
is_van_den_heuvel for Ionin-Kharaghani is missing.
is_van_den_heuvel for McLaughlin is missing.
is_van_den_heuvel for Cell120 is missing.
is_van_den_heuvel for Mathon Strongly Regular Graph 0 is missing.
is_van_den_heuvel for Mathon Strongly Regular Graph 1 is missing.
is_van_den_heuvel for Mathon Strongly Regular Graph 2 is missing.
is_van_den_heuvel for Janko-Kharaghani 936 is missing.
is_van_den_heuvel for bt2_8 is missing.
is_van_den_heuvel for paley_149 is missing.
is_van_den_heuvel for C97Pow16 is missing.
is_three_connected for Ionin-Kharaghani is missing.
is_three_connected for Janko-Kharaghani-Tonchev is missing.
is_three_connected for McLaughlin is missing.
is_three_connected for Cell120 is missing.
is_three_connected for Mathon Strongly Regular Graph 0 is missing.
is_three_connected for Mathon Strongly Regular Graph 1 is missing.
is_three_connected for Mathon Strongly Regular Graph 2 is missing.
is_three_connected for Janko-Kharaghani 936 is missing.
matching_covered for Ionin-Kharaghani is missing.
matching_covered for Janko-Kharaghani-Tonchev is missing.
matching_covered for Cameron Graph is missing.
matching_covered for McLaughlin is missing.
matching_covered for Mathon Strongly Regular Graph 0 is missing.
matching_covered for Mathon Strongly Regular Graph 1 is missing.
matching_covered for Mathon Strongly Regular Graph 2 is missing.
matching_covered for Janko-Kharaghani 936 is missing.
matching_covered for ce90 is missing.
matching_covered for ce133 is missing.
matching_covered for paley_101 is missing.
matching_covered for paley_149 is missing.
matching_covered for haemers is missing.
is_locally_two_connected for p29 is missing.
is_locally_two_connected for p102 is missing.
is_locally_two_connected for c22 is missing.
is_locally_two_connected for c34 is missing.
is_locally_two_connected for c102 is missing.
is_locally_two_connected for bt2_8 is missing.
is_locally_two_connected for ce121 is missing.
is_locally_two_connected for gallai_tree is missing.
is_locally_two_connected for jakovac fig 2a is missing.
is_locally_two_connected for jakovac fig 2b is missing.
is_locally_two_connected for henning fig 8 is missing.
alpha_leq_order_over_two for Ionin-Kharaghani is missing.
alpha_leq_order_over_two for Cameron Graph is missing.
alpha_leq_order_over_two for Cell120 is missing.
alpha_leq_order_over_two for Mathon Strongly Regular Graph 0 is missing.
is_independence_irreducible for Ionin-Kharaghani is missing.
is_independence_irreducible for Mathon Strongly Regular Graph 0 is missing.
is_independence_irreducible for Mathon Strongly Regular Graph 1 is missing.
is_independence_irreducible for Mathon Strongly Regular Graph 2 is missing.
is_independence_irreducible for Janko-Kharaghani 936 is missing.
is_four_connected for Ionin-Kharaghani is missing.
is_four_connected for Cell120 is missing.
is_four_connected for Mathon Strongly Regular Graph 0 is missing.
is_four_connected for Mathon Strongly Regular Graph 1 is missing.
is_four_connected for Mathon Strongly Regular Graph 2 is missing.
is_four_connected for Janko-Kharaghani 936 is missing.
is_circulant for k37 is missing.
is_polyhedral for Cell120 is missing.
is_polyhedral for Janko-Kharaghani 936 is missing.
Precomputed efficient properties up to a timeout of 20 minutes. Issue #551