test
AMD Ryzen 5 4500 6-Core testing with a MSI MAG B550 TOMAHAWK (MS-7C91) v2.0 (A.C0 BIOS) and ASUS NVIDIA GeForce GTX 560 Ti 1GB on Linuxmint 20.3 via the Phoronix Test Suite.
AMD Ryzen 5 4500 6-Core
Processor: AMD Ryzen 5 4500 6-Core @ 3.60GHz (6 Cores / 12 Threads), Motherboard: MSI MAG B550 TOMAHAWK (MS-7C91) v2.0 (A.C0 BIOS), Chipset: AMD Renoir Root Complex, Memory: 16GB, Disk: 1000GB Western Digital WD10EZEX-75W + 1000GB Western Digital WD1001FALS-4 + 80GB SAMSUNG HD082GJ, Graphics: ASUS NVIDIA GeForce GTX 560 Ti 1GB, Audio: NVIDIA GF114 HDMI Audio, Monitor: VS248, Network: Realtek RTL8111/8168/8411 + Realtek RTL8125 2.5GbE
OS: Linuxmint 20.3, Kernel: 5.15.0-71-generic (x86_64), Desktop: Cinnamon 5.2.7, Display Server: X Server 1.20.13, Display Driver: NVIDIA 390.157, OpenGL: 4.6.0, Compiler: GCC 9.4.0, File-System: ext4 (ecryptfs), Screen Resolution: 1920x1080
Kernel Notes: Transparent Huge Pages: madvise
Compiler Notes: --build=x86_64-linux-gnu --disable-vtable-verify --disable-werror --enable-checking=release --enable-clocale=gnu --enable-default-pie --enable-gnu-unique-object --enable-languages=c,ada,c++,go,brig,d,fortran,objc,obj-c++,gm2 --enable-libstdcxx-debug --enable-libstdcxx-time=yes --enable-multiarch --enable-multilib --enable-nls --enable-objc-gc=auto --enable-offload-targets=nvptx-none=/build/gcc-9-Av3uEd/gcc-9-9.4.0/debian/tmp-nvptx/usr,hsa --enable-plugin --enable-shared --enable-threads=posix --host=x86_64-linux-gnu --program-prefix=x86_64-linux-gnu- --target=x86_64-linux-gnu --with-abi=m64 --with-arch-32=i686 --with-default-libstdcxx-abi=new --with-gcc-major-version-only --with-multilib-list=m32,m64,mx32 --with-target-system-zlib=auto --with-tune=generic --without-cuda-driver -v
Processor Notes: Scaling Governor: acpi-cpufreq ondemand (Boost: Enabled) - CPU Microcode: 0x8600109
Python Notes: Python 2.7.18 + Python 3.8.10
Security Notes: itlb_multihit: Not affected + l1tf: Not affected + mds: Not affected + meltdown: Not affected + mmio_stale_data: Not affected + retbleed: Mitigation of untrained return thunk; SMT enabled with STIBP protection + spec_store_bypass: Mitigation of SSB disabled via prctl and seccomp + spectre_v1: Mitigation of usercopy/swapgs barriers and __user pointer sanitization + spectre_v2: Mitigation of Retpolines IBPB: conditional STIBP: always-on RSB filling PBRSB-eIBRS: Not affected + srbds: Not affected + tsx_async_abort: Not affected
Z3 Theorem Prover
The Z3 Theorem Prover / SMT solver is developed by Microsoft Research under the MIT license. Learn more via the OpenBenchmarking.org test page.
AMD Ryzen 5 4500 6-Core
Processor: AMD Ryzen 5 4500 6-Core @ 3.60GHz (6 Cores / 12 Threads), Motherboard: MSI MAG B550 TOMAHAWK (MS-7C91) v2.0 (A.C0 BIOS), Chipset: AMD Renoir Root Complex, Memory: 16GB, Disk: 1000GB Western Digital WD10EZEX-75W + 1000GB Western Digital WD1001FALS-4 + 80GB SAMSUNG HD082GJ, Graphics: ASUS NVIDIA GeForce GTX 560 Ti 1GB, Audio: NVIDIA GF114 HDMI Audio, Monitor: VS248, Network: Realtek RTL8111/8168/8411 + Realtek RTL8125 2.5GbE
OS: Linuxmint 20.3, Kernel: 5.15.0-71-generic (x86_64), Desktop: Cinnamon 5.2.7, Display Server: X Server 1.20.13, Display Driver: NVIDIA 390.157, OpenGL: 4.6.0, Compiler: GCC 9.4.0, File-System: ext4 (ecryptfs), Screen Resolution: 1920x1080
Kernel Notes: Transparent Huge Pages: madvise
Compiler Notes: --build=x86_64-linux-gnu --disable-vtable-verify --disable-werror --enable-checking=release --enable-clocale=gnu --enable-default-pie --enable-gnu-unique-object --enable-languages=c,ada,c++,go,brig,d,fortran,objc,obj-c++,gm2 --enable-libstdcxx-debug --enable-libstdcxx-time=yes --enable-multiarch --enable-multilib --enable-nls --enable-objc-gc=auto --enable-offload-targets=nvptx-none=/build/gcc-9-Av3uEd/gcc-9-9.4.0/debian/tmp-nvptx/usr,hsa --enable-plugin --enable-shared --enable-threads=posix --host=x86_64-linux-gnu --program-prefix=x86_64-linux-gnu- --target=x86_64-linux-gnu --with-abi=m64 --with-arch-32=i686 --with-default-libstdcxx-abi=new --with-gcc-major-version-only --with-multilib-list=m32,m64,mx32 --with-target-system-zlib=auto --with-tune=generic --without-cuda-driver -v
Processor Notes: Scaling Governor: acpi-cpufreq ondemand (Boost: Enabled) - CPU Microcode: 0x8600109
Python Notes: Python 2.7.18 + Python 3.8.10
Security Notes: itlb_multihit: Not affected + l1tf: Not affected + mds: Not affected + meltdown: Not affected + mmio_stale_data: Not affected + retbleed: Mitigation of untrained return thunk; SMT enabled with STIBP protection + spec_store_bypass: Mitigation of SSB disabled via prctl and seccomp + spectre_v1: Mitigation of usercopy/swapgs barriers and __user pointer sanitization + spectre_v2: Mitigation of Retpolines IBPB: conditional STIBP: always-on RSB filling PBRSB-eIBRS: Not affected + srbds: Not affected + tsx_async_abort: Not affected
Testing initiated at 17 May 2023 22:35 by user roger.