이론 솔버의 실행 시간을 트리거하십시오.

Question

이론 솔버의 실행 시간을 트리거하여 각 이론 검사에 소요되는 시간을 확인하고 싶습니다. 누구든지 어떤 파일을보고 어떤 변수를보아야합니까? 통계 방법에이 옵션이 있는지 나는 모른다.

Answer 1

this answer에 따르면 Christoph Wintersteiger은 "정확하게 계산해서는 안되며 정확히 계산해서는 안되는 것이 명확하지 않기 때문에 중요하지 않습니다." Z3의 SAT 해결사의 특별한 경우를 들어

는 Leonardo de Moura에 의해 this answer이 특정 하위 솔버에 속하는 Z3의 소스의 특정 C++ 파일 ( smt_context.cpp)에서 여러 가지 방법 (예 : bcp() 및 decide())을 언급하고있다.