Reading two quadrature encoders using Encoder.h library

I have tried the hardware quadrature decoder, but was only successful with the one on TC0, additionally I was not yet able to properly reset the counter whenever I want to.

Have you tried "resetting" the output register before?