Run your research: on the effectiveness of lightweight mechanization