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.


HiSilicon TSV110: 

	Processor: HiSilicon TSV110 (96 Cores), Motherboard: Huawei TaiShan 200 (Model 2280) BC82AMDDRA (1.86 BIOS), Chipset: Huawei HiSilicon, Memory: 1008GB, Disk: 2 x 1200GB Seagate ST1200MM0009, Graphics: Huawei Hi171x [iBMC Intelligent Management chip w/VGA support], Network: 8 x Huawei HNS GE/10GE/25GE

	OS: Ubuntu 22.04, Kernel: 5.15.0-119-generic (aarch64), Vulkan: 1.3.255, Compiler: GCC 11.4.0, File-System: ext4, Screen Resolution: 1024x768


Z3 Theorem Prover 4.12.1
SMT File: 2.smt2
Seconds < Lower Is Better
HiSilicon TSV110 . 164.63 |====================================================


Z3 Theorem Prover 4.12.1
SMT File: 1.smt2
Seconds < Lower Is Better
HiSilicon TSV110 . 52.84 |=====================================================