Compare your own system(s) to this result file with the
Phoronix Test Suite by running the command:
phoronix-test-suite benchmark 2408202-NE-Z3100FDRO46
z3-1.0.0-fdrop-noalias-restrict-attr
z3-1.0.0-fdrop-noalias-restrict-attr
,,"z3-1.0.0-fdrop-noalias-restrict-attr"
Processor,,ARMv8 Neoverse-N1 @ 3.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-fdrop-noalias-restrict-attr"
"Z3 Theorem Prover - SMT File: 2.smt2 (sec)",LIB,54.153
"Z3 Theorem Prover - SMT File: 1.smt2 (sec)",LIB,33.541