We generate 200 problems for each number of required rules. Considering different premise orders and numbers of distracting rules, each problem includes 15 variants, resulting in a total of 27K problems in our benchmark.
우리는 필요한 규칙 수마다 200개의 문제를 생성합니다. 다양한 전제 순서와 방해 규칙의 수를 고려하여, 각 문제는 15개의 변형을 포함하며, 우리 벤치마크에는 총 27K개의 문제가 포함됩니다.
필요한 규칙 수에 따라 200개의 문제를 생성합니다. 전제 순서와 산만한 규칙의 수를 다르게 고려하여 각 문제에는 15가지 변형이 포함되어 벤치마크에는 총 27K개의 문제가 포함됩니다.