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 |====================================================