Tweak formatting of times in checker
Add Problem 15
Add Problem 16
Add Problem 17
Add Problem 18
Add Problems 19 and 20