The Meredith graph is a quartic nonhamiltonian graph on 70 nodes and 140 edges that is a counterexample to the conjecture that
every 4-regular 4-connected graph is Hamiltonian.
Bondy, J. A. and Murty, U. S. R. Graph Theory with Applications. New York: North Holland, pp. 236-239, 1976.Bondy,
J. A. and Murty, U. S. R. Graph
Theory. Berlin: Springer-Verlag, p. 407, 2008.Holton, D. A.
and Sheehan, J. The
Petersen Graph. Cambridge, England: Cambridge University Press, p. 103-104,
1993.Meredith, G. H. J. "Regular -Valent -Connected Nonhamiltonian Non--Edge-Colorable Graphs." J. Combin. Th. B14,
55-60, 1973.