z3 zen 4
AMD Ryzen 9 7950X 16-Core testing with a ASUS ROG CROSSHAIR X670E HERO (1101 BIOS) and AMD Radeon RX 7900 XTX 24GB on Ubuntu 22.04 via the Phoronix Test Suite.


a: 

	Processor: AMD Ryzen 9 7950X 16-Core @ 4.50GHz (16 Cores / 32 Threads), Motherboard: ASUS ROG CROSSHAIR X670E HERO (1101 BIOS), Chipset: AMD Device 14d8, Memory: 32GB, Disk: 2048GB SOLIDIGM SSDPFKKW020X7 + 2000GB, Graphics: AMD Radeon RX 7900 XTX 24GB (2304/1249MHz), Audio: AMD Device ab30, Monitor: ASUS MG28U, Network: Intel I225-V + Intel Wi-Fi 6 AX210/AX211/AX411

	OS: Ubuntu 22.04, Kernel: 6.3.0-060300rc7daily20230417-generic (x86_64), Desktop: GNOME Shell 42.5, Display Server: X Server 1.21.1.3 + Wayland, OpenGL: 4.6 Mesa 23.2.0-devel (git-f6fb189 2023-04-18 jammy-oibaf-ppa) (LLVM 15.0.7 DRM 3.52), Vulkan: 1.3.246, Compiler: GCC 11.3.0, File-System: ext4, Screen Resolution: 3840x2160

b: 

	Processor: AMD Ryzen 9 7950X 16-Core @ 4.50GHz (16 Cores / 32 Threads), Motherboard: ASUS ROG CROSSHAIR X670E HERO (1101 BIOS), Chipset: AMD Device 14d8, Memory: 32GB, Disk: 2048GB SOLIDIGM SSDPFKKW020X7 + 2000GB, Graphics: AMD Radeon RX 7900 XTX 24GB (2304/1249MHz), Audio: AMD Device ab30, Monitor: ASUS MG28U, Network: Intel I225-V + Intel Wi-Fi 6 AX210/AX211/AX411

	OS: Ubuntu 22.04, Kernel: 6.3.0-060300rc7daily20230417-generic (x86_64), Desktop: GNOME Shell 42.5, Display Server: X Server 1.21.1.3 + Wayland, OpenGL: 4.6 Mesa 23.2.0-devel (git-f6fb189 2023-04-18 jammy-oibaf-ppa) (LLVM 15.0.7 DRM 3.52), Vulkan: 1.3.246, Compiler: GCC 11.3.0, File-System: ext4, Screen Resolution: 3840x2160

c: 

	Processor: AMD Ryzen 9 7950X 16-Core @ 4.50GHz (16 Cores / 32 Threads), Motherboard: ASUS ROG CROSSHAIR X670E HERO (1101 BIOS), Chipset: AMD Device 14d8, Memory: 32GB, Disk: 2048GB SOLIDIGM SSDPFKKW020X7 + 2000GB, Graphics: AMD Radeon RX 7900 XTX 24GB (2304/1249MHz), Audio: AMD Device ab30, Monitor: ASUS MG28U, Network: Intel I225-V + Intel Wi-Fi 6 AX210/AX211/AX411

	OS: Ubuntu 22.04, Kernel: 6.3.0-060300rc7daily20230417-generic (x86_64), Desktop: GNOME Shell 42.5, Display Server: X Server 1.21.1.3 + Wayland, OpenGL: 4.6 Mesa 23.2.0-devel (git-f6fb189 2023-04-18 jammy-oibaf-ppa) (LLVM 15.0.7 DRM 3.52), Vulkan: 1.3.246, Compiler: GCC 11.3.0, File-System: ext4, Screen Resolution: 3840x2160

d: 

	Processor: AMD Ryzen 9 7950X 16-Core @ 4.50GHz (16 Cores / 32 Threads), Motherboard: ASUS ROG CROSSHAIR X670E HERO (1101 BIOS), Chipset: AMD Device 14d8, Memory: 32GB, Disk: 2048GB SOLIDIGM SSDPFKKW020X7 + 2000GB, Graphics: AMD Radeon RX 7900 XTX 24GB (2304/1249MHz), Audio: AMD Device ab30, Monitor: ASUS MG28U, Network: Intel I225-V + Intel Wi-Fi 6 AX210/AX211/AX411

	OS: Ubuntu 22.04, Kernel: 6.3.0-060300rc7daily20230417-generic (x86_64), Desktop: GNOME Shell 42.5, Display Server: X Server 1.21.1.3 + Wayland, OpenGL: 4.6 Mesa 23.2.0-devel (git-f6fb189 2023-04-18 jammy-oibaf-ppa) (LLVM 15.0.7 DRM 3.52), Vulkan: 1.3.246, Compiler: GCC 11.3.0, File-System: ext4, Screen Resolution: 3840x2160

e: 

	Processor: AMD Ryzen 9 7950X 16-Core @ 4.50GHz (16 Cores / 32 Threads), Motherboard: ASUS ROG CROSSHAIR X670E HERO (1101 BIOS), Chipset: AMD Device 14d8, Memory: 32GB, Disk: 2048GB SOLIDIGM SSDPFKKW020X7 + 2000GB, Graphics: AMD Radeon RX 7900 XTX 24GB (2304/1249MHz), Audio: AMD Device ab30, Monitor: ASUS MG28U, Network: Intel I225-V + Intel Wi-Fi 6 AX210/AX211/AX411

	OS: Ubuntu 22.04, Kernel: 6.3.0-060300rc7daily20230417-generic (x86_64), Desktop: GNOME Shell 42.5, Display Server: X Server 1.21.1.3 + Wayland, OpenGL: 4.6 Mesa 23.2.0-devel (git-f6fb189 2023-04-18 jammy-oibaf-ppa) (LLVM 15.0.7 DRM 3.52), Vulkan: 1.3.246, Compiler: GCC 11.3.0, File-System: ext4, Screen Resolution: 3840x2160


Z3 Theorem Prover 4.12.1
SMT File: 1.smt2
Seconds < Lower Is Better
a . 17.39 |====================================================================
b . 17.17 |===================================================================
c . 17.06 |===================================================================
d . 17.07 |===================================================================
e . 17.25 |===================================================================


Z3 Theorem Prover 4.12.1
SMT File: 2.smt2
Seconds < Lower Is Better
a . 44.60 |===================================================================
b . 44.66 |===================================================================
c . 44.51 |===================================================================
d . 44.26 |===================================================================
e . 45.05 |====================================================================