Compare your own system(s) to this result file with the
Phoronix Test Suite by running the command:
phoronix-test-suite benchmark 2408258-NE-Z3100BASE88
z3-1.0.0-base
z3-1.0.0-base
,,"z3-1.0.0-base"
Processor,,ARMv8 Neoverse-N1 @ 2.00GHz (160 Cores)
Motherboard,,Oracle TLA MB TRAY A1-2c (77015500 BIOS)
Memory,,1008GB
Disk,,215GB BlockVolume
Graphics,,mgag200drmfb
OS,,Ubuntu 22.04
Kernel,,6.5.0-1026-oracle (aarch64)
Vulkan,,1.3.255
Compiler,,GCC 11.4.0
File-System,,ext4
Screen Resolution,,1024x768
,,"z3-1.0.0-base"
"Z3 Theorem Prover - SMT File: 1.smt2 (sec)",LIB,40.737
"Z3 Theorem Prover - SMT File: 2.smt2 (sec)",LIB,72.009