Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Simon 6 hrs 36 mins 1 hr 39 mins Isabelle, Java, C++, C, CMake