논리 검사 시간 초과

이 속성은 명제에서 시간 초과가 발생하기까지의 시간(초)을 지정합니다. 기본값은 420입니다.