Compare your own system(s) to this result file with the
Phoronix Test Suite by running the command:
phoronix-test-suite benchmark 2408293-NE-Z3100FNOD07
z3-1.0.0-fno-delete-null-pointer-checks
z3-1.0.0-fno-delete-null-pointer-checks
,,"z3-1.0.0-fno-delete-null-pointer-checks"
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-fno-delete-null-pointer-checks"
"Z3 Theorem Prover - SMT File: 1.smt2 (sec)",LIB,40.972
"Z3 Theorem Prover - SMT File: 2.smt2 (sec)",LIB,72.110