The Hatzel graph is a planar hypohamiltonian graph on 57 vertices that was the smallest known example of such a graph until the discovery of the Zamfirescu graph on 48 vertices.
The Hatzel graph is implemented in the Wolfram Language as GraphData["HatzelGraph"].
The figures above show the adjacency, incidence, and graph distance matrices of the Hatzel graph.
