a(18) = 1879665 was conjectured by Dillencourt and verified by direct computation by Sean A. Irvine, Sep 26 2017.
By Steinitz's theorem non-Hamiltonian simplicial polyhedra correspond to non-Hamiltonian maximal planar graphs. - William P. Orrick, Feb 25 2021
REFERENCES
M. B. Dillencourt, Polyhedra of small orders and their Hamiltonian properties. Tech. Rep. 92-91, Info. and Comp. Sci. Dept., Univ. Calif. Irvine, 1992.
N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).
Wikimedia, Goldner-Harary graphs, additional images of the graph and related simplicial polyhedron created by David Eppstein and Richard J. Mathar. - William P. Orrick, Feb 25 2021
The unique non-Hamiltonian maximal planar graph of 11 vertices is the Goldner-Harary graph. A corresponding simplicial polyhedron can be obtained by attaching a tetrahedron to each of the six faces of a triangular bipyramid. - William P. Orrick, Feb 25 2021