zz
AMD Ryzen 7 6800U testing with a System76 Pangolin (ARB928_V00.01_T0022ASY6_ms BIOS) and AMD Rembrandt 512MB on Pop 22.04 via the Phoronix Test Suite.


AMD Ryzen 7 6800U: 

	Processor: AMD Ryzen 7 6800U @ 2.70GHz (8 Cores / 16 Threads), Motherboard: System76 Pangolin (ARB928_V00.01_T0022ASY6_ms BIOS), Chipset: AMD Device 14b5, Memory: 32GB, Disk: 1000GB Samsung SSD 980 PRO 1TB, Graphics: AMD Rembrandt 512MB (2200/400MHz), Audio: AMD Device 1640, Network: Realtek RTL8111/8168/8411 + MEDIATEK Device 0608

	OS: Pop 22.04, Kernel: 6.2.6-76060206-generic (x86_64), Desktop: GNOME Shell 42.5, Display Server: X Server 1.21.1.3, OpenGL: 4.6 Mesa 22.3.5 (LLVM 15.0.6 DRM 3.49), Vulkan: 1.3.230, Compiler: GCC 11.3.0, File-System: ext4, Screen Resolution: 1920x1080

b: 

	Processor: AMD Ryzen 7 6800U @ 2.70GHz (8 Cores / 16 Threads), Motherboard: System76 Pangolin (ARB928_V00.01_T0022ASY6_ms BIOS), Chipset: AMD Device 14b5, Memory: 32GB, Disk: 1000GB Samsung SSD 980 PRO 1TB, Graphics: AMD Rembrandt 512MB (2200/400MHz), Audio: AMD Device 1640, Network: Realtek RTL8111/8168/8411 + MEDIATEK Device 0608

	OS: Pop 22.04, Kernel: 6.2.6-76060206-generic (x86_64), Desktop: GNOME Shell 42.5, Display Server: X Server 1.21.1.3, OpenGL: 4.6 Mesa 22.3.5 (LLVM 15.0.6 DRM 3.49), Vulkan: 1.3.230, Compiler: GCC 11.3.0, File-System: ext4, Screen Resolution: 1920x1080

c: 

	Processor: AMD Ryzen 7 6800U @ 2.70GHz (8 Cores / 16 Threads), Motherboard: System76 Pangolin (ARB928_V00.01_T0022ASY6_ms BIOS), Chipset: AMD Device 14b5, Memory: 32GB, Disk: 1000GB Samsung SSD 980 PRO 1TB, Graphics: AMD Rembrandt 512MB (2200/400MHz), Audio: AMD Device 1640, Network: Realtek RTL8111/8168/8411 + MEDIATEK Device 0608

	OS: Pop 22.04, Kernel: 6.2.6-76060206-generic (x86_64), Desktop: GNOME Shell 42.5, Display Server: X Server 1.21.1.3, OpenGL: 4.6 Mesa 22.3.5 (LLVM 15.0.6 DRM 3.49), Vulkan: 1.3.230, Compiler: GCC 11.3.0, File-System: ext4, Screen Resolution: 1920x1080


Z3 Theorem Prover 4.12.1
SMT File: 2.smt2
Seconds < Lower Is Better
AMD Ryzen 7 6800U . 77.77 |====================================================
b ................. 77.34 |===================================================
c ................. 78.39 |====================================================


Z3 Theorem Prover 4.12.1
SMT File: 1.smt2
Seconds < Lower Is Better
AMD Ryzen 7 6800U . 36.20 |===================================================
b ................. 36.76 |====================================================
c ................. 36.72 |====================================================