sss
AMD Ryzen 7 9800X3D 8-Core testing with a ASRock X870E Taichi (3.09.AS03 BIOS) and AMD Radeon RX 7900 GRE 16GB on Ubuntu 24.04 via the Phoronix Test Suite.


a: 

	Processor: AMD Ryzen 7 9800X3D 8-Core @ 5.27GHz (8 Cores / 16 Threads), Motherboard: ASRock X870E Taichi (3.09.AS03 BIOS), Chipset: AMD Device 14d8, Memory: 2 x 16GB DDR5-6000MT/s F5-6000J2836G16G, Disk: Western Digital WD_BLACK SN850X 2000GB, Graphics: AMD Radeon RX 7900 GRE 16GB (2200/3000MHz), Audio: AMD Navi 31 HDMI/DP, Monitor: DELL U2723QE, Network: Realtek Device 8126 + MEDIATEK Device 0717

	OS: Ubuntu 24.04, Kernel: 6.12.0-rc7-phx-eraps (x86_64), Desktop: GNOME Shell 46.0, Display Server: X Server 1.21.1.11 + Wayland, OpenGL: 4.6 Mesa 24.2.0-devel (LLVM 18.1.7 DRM 3.59), OpenCL: OpenCL 2.1 AMD-APP (3625.0), Compiler: GCC 13.2.0, File-System: ext4, Screen Resolution: 3840x2160


Z3 Theorem Prover 4.12.1
SMT File: 2.smt2
Seconds < Lower Is Better
a . 33.32 |====================================================================


Z3 Theorem Prover 4.12.1
SMT File: 1.smt2
Seconds < Lower Is Better
a . 11.83 |====================================================================