Add clock_gettime model #11362

Job	Run time
check-ubuntu-22_04-cmake-gcc-32bit	16m 1s
check-ubuntu-24_04-cmake-gcc-THOROUGH	6m 33s
check-ubuntu-24_04-make-gcc	33m 29s
check-ubuntu-24_04-make-clang	24m 56s
check-ubuntu-24_04-cmake-gcc-14	1m 20s
check-ubuntu-24_04-cmake-gcc-KNOWNBUG	3m 51s
check-ubuntu-24_04-arm-cmake-gcc	1m 57s
check-ubuntu-24_04-make-clang-smt-z3	8m 28s
check-macos-15-intel-make-clang	39m 41s
check-ubuntu-24_04-cmake-gcc	5m 37s
check-ubuntu-22_04-make-clang	19m 10s
check-ubuntu-22_04-cmake-gcc	30m 22s
check-docker-image	21m 3s
include-what-you-use	15m 4s
check-vs-2022-make-build-and-test	7m 47s
check-macos-14-cmake-clang	2h 14m 37s
windows-msi-package	5m 58s
check-vs-2025-cmake-build-and-test	36m 8s
check-string-table	1m 43s
	6h 53m 45s

Provide feedback