2409066-NE-Z3100ALL280

z3-1.0.0-all

ARMv8 Neoverse-N1 @ 2.00GHz (160 Cores); Oracle TLA MB TRAY A1-2c (77015500 BIOS); 215GB BlockVolume; mgag200drmfb; Ubuntu 22.04; 6.5.0-1026-oracle (aarch64)