Multiple definitions of snarks exist which vary in strength. In the definition we used, snarks are (simple) cyclically 4-edge connected cubic graphs with chromatic index 4 (i.e. they cannot be properly edge-coloured using 3 colours).
In some definitions snarks are cyclically 5-edge connected or have girth at least 5. But the most important part is the colourability requirement, which is the same in all definitions.
We denote the cyclic edge connectivity of a graph by λc.
The graph lists are currently only available in 'graph6' format. The larger files are compressed with gzip.
The following lists are available:
All numbers up to 32 vertices were independently verified by minibaum and snarkhunter. The graphs with more than 32 vertices were generated with snarkhunter. Several conjectures were refuted by these new lists of snarks (see  and  for more information).
For snarks with 38 vertices and snarks with girth 6 and 40 vertices only a sample was generated as it is currently computationally infeasible to generate the complete lists in these cases (see  for more information). The counts of these incomplete cases are indicated with a '≥' in the table. In all other cases the numbers are the counts of the complete sets of snarks.
|Vertices||girth ≥ 4||girth ≥ 5||girth ≥ 6||girth ≥ 7||λc ≥ 5|
A graph G without k-flow is k-edge-critical (or k-vertex-critical) if, for every edge e (or for every pair (u,v) of vertices) of G, contracting e (or identifying u and v) yields (without simplifying multiple edges) a graph that has a k-flow.
The table below lists all 4-edge-critical and 4-vertex-critical snarks of order at most 36. They were determined by Carneiro, da Silva and McKay (see  for more information).
In  Edita Máčajová and Martin Škoviera showed that a snark is 4-edge-critical if and on if it is critical and that a snark is 4-vertex-critical if and only if it is bicritical. (A snark is critical if the removal of any two adjacent vertices produces a 3-edge-colourable graph and bicritical if the removal of any two distinct vertices produces a 3-edge-colourable graph). Futhermore, in  Roman Nedela and Martin Škoviera showed that a snark is irreducible if and only if it is bicritical. (A snark is irreducible if the removal of every edge-cut which is not the set of all edges incident with a vertex yields a 3-edge-colourable graph).
|Vertices||girth ≥ 5||Edge-critical||Vertex-critical|
A graph G is hypohamiltonian if G is non-hamiltonian and G-v is hamiltonian for every vertex v of G.
The table below lists all hypohamiltonian snarks of order at most 36. They were determined by Brinkmann et al. in . In  all hypohamiltonian snarks with at least 38 and at most 44 vertices which can be obtained by performing a dot product on two smaller hypohamiltonian snarks were determined. These graphs are also listed in the table.
|Vertices||All||λc ≥ 5|
A snark is a permutation snark if it has a 2-factor that consists of two induced cycles. Permutation snarks must be of order 2 mod 4 since otherwise they would have a 2-factor that consists of two even components and therefore be colourable. All known permutation snarks have 8k + 2 vertices (for ≥ 1). It is not known if there exist permutation snarks with 8k + 6 vertices.
The table below lists all permutation snarks of order at most 36. They were determined by Brinkmann et al. in . The 12 permutation snarks on 34 vertices with λc ≥ 5 are counterexamples to a conjecture of Zhang  that the Petersen graph is the only cyclically 5-edge-connected permutation graph.
|Vertices||All||λc ≥ 5|
Let r ≥ 2 be a real number, a circular nowhere-zero r-flow in a graph G is a flow in some orientation of G such that the flow value on each edge lies in the interval [1,r-1] and such that the sum of the inner and outer flow in every vertex is zero. The circular flow number of a graph G, denoted by Φ(G), is the infimum of the real numbers r such that G has a circular nowhere-zero r-flow.
The table below lists all snarks with circular flow number 5 of order at most 36. They were determined in .
|Vertices||Φ(G) = 5|
The oddness of a bridgeless cubic graph is the minimum number of odd components in any 2-factor of the graph. Snarks have oddness at least 2. In  it was proven that the smallest snarks with oddness 4 and cyclic edge connectivity 4 have 44 vertices and in  it was proven that there are exactly 31 snarks on 44 vertices with oddness 4 and cyclic edge connectivity 4. In the latter article also samples of snarks with oddness 4 were determined up to 52 vertices. These can be downloaded in the table below. We refer to  for the smallest snarks of oddness 4 with lower connectivity.
 G. Brinkmann, J. Goedgebeur, J. Hagglund and K. Markstrom, Generation and properties of Snarks, Journal of Combinatorial Theory, Series B, 103(4):468-488, 2013.
 J. Goedgebeur, E. Macajova and M. Skoviera, Smallest snarks with oddness 4 and cyclic connectivity 4 have order 44, Ars Mathematica Contemporanea, 16(2): 277-298, 2019.
 G. Brinkmann and J. Goedgebeur, Generation of cubic graphs and snarks with large girth, Journal of Graph Theory, 86(2):255-272, 2017.
 A.B. Carneiro, C.N. da Silva and B.D. McKay, A Faster Test for 4-Flow-Criticality in Snarks, In: VIII Latin-American Algorithms, Graphs and Optimization Symposium, Electronic Notes in Discrete Mathematics, 50:193-198, 2015.
 J. Goedgebeur, D. Mattiolo and G. Mazzuoccolo, A unified approach to construct snarks with circular flow number 5, submitted, 2018. Preprint: arXiv:1804.00957
 J. Goedgebeur and C.T. Zamfirescu, On Hypohamiltonian Snarks and a Theorem of Fiorini, Ars Mathematica Contemporanea, 14(2):227-249, 2018.
 E. Máčajová and M. Škoviera, Critical and flow-critical snarks coincide, 2017. Preprint: arXiv:1709.08111
 R. Nedela and M. Škoviera, Decompositions and reductions of snarks, Journal of Graph Theory, 22(3):253-279, 1996.
 J. Goedgebeur, E. Macajova and M. Skoviera, The smallest nontrivial snarks of oddness 4, manuscript, 2018.
 J. Goedgebeur, On the smallest snarks with oddness 4 and connectivity 2, Electronic Journal of Combinatorics, 25(2), 2018.
 C.Q. Zhang, Integer flows and cycle covers of graphs, Monographs and Textbooks in Pure and Applied Mathematics, vol. 205, Marcel Dekker Inc., New York, 1997.