benchmark: 1-3, 5, 8, 10, 11, 13