• handleSignal() : benchmax.cpp
• init_application() : benchmax.cpp
• main() : benchmax.cpp , smtratSolver.cpp
• print_statistics() : smtratSolver.cpp
• setup_logging() : smtratSolver.cpp
• signal_handler() : smtratSolver.cpp
• store_validation_formulas() : smtratSolver.cpp