gentoo-5950X-cpufreq-pstat-v3
AMD Ryzen 9 5950X 16-Core testing with a ASUS TUF GAMING X570-PLUS (WI-FI) (4403 BIOS) and eVGA NVIDIA GeForce GTX 1050 2GB on Gentoo 2.13 via the Phoronix Test Suite.


AMD Ryzen 9 5950X 16-Core: 

	Processor: AMD Ryzen 9 5950X 16-Core @ 3.40GHz (16 Cores / 32 Threads), Motherboard: ASUS TUF GAMING X570-PLUS (WI-FI) (4403 BIOS), Chipset: AMD Starship/Matisse, Memory: 2 x 32 GB DDR4-3600MT/s Kingston KF3600C18D4, Disk: 1000GB Samsung SSD 990 PRO 1TB + 1000GB Western Digital WDS100T2B0B + 2000GB EZRZ-00Z5HB0 + 8002GB Elements 25A3, Graphics: eVGA NVIDIA GeForce GTX 1050 2GB, Audio: Creative CA0110-IBG, Network: Realtek RTL8111/8168/8411 + Intel-AC 9260

	OS: Gentoo 2.13, Kernel: 6.3.8-gentoo-x86_64 (x86_64), Display Server: X Server 1.21.1.8, Display Driver: NVIDIA, Compiler: GCC 12.2.1 20230428 + Clang 15.0.7 + LLVM 15.0.7, File-System: ext4, Screen Resolution: 1024x768


Z3 Theorem Prover 4.12.1
SMT File: 1.smt2
Seconds < Lower Is Better
AMD Ryzen 9 5950X 16-Core . 23.03 |============================================


Z3 Theorem Prover 4.12.1
SMT File: 2.smt2
Seconds < Lower Is Better
AMD Ryzen 9 5950X 16-Core . 60.97 |============================================