date_utc=2026-08-17T07:09:46Z
kernel=Linux 7.0.0-28-generic x86_64 GNU/Linux
python=Python 3.12.3
cc=cc (Ubuntu 13.3.0-6ubuntu2~24.04.1) 13.3.0
clang17=Ubuntu clang version 17.0.6 (9ubuntu1)
clang18=Ubuntu clang version 18.1.3 (1ubuntu1)
z3=Z3 version 4.8.12 - 64 bit
ruff=ruff 0.15.20
pytest=pytest 9.1.1
cmake=cmake version 3.28.3
ninja=1.11.1
logical_cpus=192
memory_kib=263176860