松弛验证主要延长的正是推理类任务的推理轨迹（reasoning traces）。