That's making an argument about hours worked?

> According to a detailed “time diary” dataset that measures work wherever and whenever it takes place, government employees work around three fewer hours per week and roughly one less month per year than private-sector workers. Substantial differences in work time persist even after controlling for occupational and skill differences between sectors.

https://journals.sagepub.com/doi/10.1177/0275074003258823 would suggest the effort is on-par, which strikes me as reasonable. If you have good job security why butt-in-seat if you're done for the day?