z3 0905 HiSilicon TSV110 testing with a Huawei TaiShan 200 (Model 2280) BC82AMDDRA (1.86 BIOS) and Huawei Hi171x [iBMC Intelligent Management chip w/VGA support] on Ubuntu 22.04 via the Phoronix Test Suite.
HTML result view exported from: https://openbenchmarking.org/result/2409062-NE-Z3090575121 .
z3 0905 Processor Motherboard Chipset Memory Disk Graphics Network OS Kernel Vulkan Compiler File-System Screen Resolution HiSilicon TSV110 HiSilicon TSV110 (96 Cores) Huawei TaiShan 200 (Model 2280) BC82AMDDRA (1.86 BIOS) Huawei HiSilicon 1008GB 2 x 1200GB Seagate ST1200MM0009 Huawei Hi171x [iBMC Intelligent Management chip w/VGA support] 8 x Huawei HNS GE/10GE/25GE Ubuntu 22.04 5.15.0-119-generic (aarch64) 1.3.255 GCC 11.4.0 ext4 1024x768 OpenBenchmarking.org - Transparent Huge Pages: madvise - --build=aarch64-linux-gnu --disable-libquadmath --disable-libquadmath-support --disable-werror --enable-bootstrap --enable-checking=release --enable-clocale=gnu --enable-default-pie --enable-fix-cortex-a53-843419 --enable-gnu-unique-object --enable-languages=c,ada,c++,go,d,fortran,objc,obj-c++,m2 --enable-libphobos-checking=release --enable-libstdcxx-debug --enable-libstdcxx-time=yes --enable-link-serialization=2 --enable-multiarch --enable-nls --enable-objc-gc=auto --enable-plugin --enable-shared --enable-threads=posix --host=aarch64-linux-gnu --program-prefix=aarch64-linux-gnu- --target=aarch64-linux-gnu --with-build-config=bootstrap-lto-lean --with-default-libstdcxx-abi=new --with-gcc-major-version-only --with-target-system-zlib=auto -v - Python 3.10.12 - gather_data_sampling: Not affected + itlb_multihit: Not affected + l1tf: Not affected + mds: Not affected + meltdown: Not affected + mmio_stale_data: Not affected + reg_file_data_sampling: Not affected + retbleed: Not affected + spec_rstack_overflow: Not affected + spec_store_bypass: Not affected + spectre_v1: Mitigation of __user pointer sanitization + spectre_v2: Not affected + srbds: Not affected + tsx_async_abort: Not affected
z3 0905 z3: 1.smt2 z3: 2.smt2 HiSilicon TSV110 52.842 164.630 OpenBenchmarking.org
Z3 Theorem Prover SMT File: 1.smt2 OpenBenchmarking.org Seconds, Fewer Is Better Z3 Theorem Prover 4.12.1 SMT File: 1.smt2 HiSilicon TSV110 12 24 36 48 60 SE +/- 0.12, N = 3 52.84 1. (CXX) g++ options: -lpthread -std=c++17 -fvisibility=hidden -O3 -fPIC
Z3 Theorem Prover SMT File: 2.smt2 OpenBenchmarking.org Seconds, Fewer Is Better Z3 Theorem Prover 4.12.1 SMT File: 2.smt2 HiSilicon TSV110 40 80 120 160 200 SE +/- 0.03, N = 3 164.63 1. (CXX) g++ options: -lpthread -std=c++17 -fvisibility=hidden -O3 -fPIC
Phoronix Test Suite v10.8.5