Total coloring of snarks is NP-complete

Snarks are bridgeless cubic graphs that do not allow 3-edgecolorings. We prove that the problem of determining if a snark is of Type 1 is NP-complete.