s1是一个简单的测试时间缩放方法，能基于1000个示例和预算限制实现强推理性能。