7GUIs is a GUI programming usability benchmark.