2407292-NE-Z3100XCLA49
z3-1.0.0-Xclang-no-enable-noundef-analysis
ARMv8 Neoverse-N1 @ 3.00GHz (160 Cores); Oracle TLA MB TRAY A1-2c (77015500 BIOS); 215GB BlockVolume; mgag200drmfb; Ubuntu 22.04; 6.5.0-1025-oracle (aarch64)