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


Z3 Theorem Prover 4.12.1
SMT File: 1.smt2
Seconds < Lower Is Better
AMD Ryzen 5 4500 6-Core . 44.82 |==============================================


Z3 Theorem Prover 4.12.1
SMT File: 2.smt2
Seconds < Lower Is Better
AMD Ryzen 5 4500 6-Core . 104.85 |=============================================