added bench for F_4
F4: Implemented, but not as efficient as Buchberger’s Algorithm