On some conjectures of Graffiti
The computer program Galatea Gabriella Graffiti  made several conjectures concerning the chromatic numbers of graphs, related to the work of DeLaVina and Fajtlowicz . We prove one of these conjectures, and disprove four.
Bollobás, B., & Riordan, O. (1998). On some conjectures of Graffiti. Discrete Mathematics, 179 (1-3), 223-230. https://doi.org/10.1016/S0012-365X(97)00093-9