The double star snark is a snark on 30 vertices with edge chromatic number 4. It is implemented in the Wolfram Language as GraphData["DoubleStarSnark"].
The double star snark is a platypus graph. It has graph crossing number 8 (E. Weisstein, Oct. 5, 2026).