z3 raptor lake
Intel Core i9-13900K testing with a ASUS PRIME Z790-P WIFI (0812 BIOS) and AMD Radeon RX 6800 16GB on Fedora Linux 38 via the Phoronix Test Suite.


a: 

	Processor: Intel Core i9-13900K @ 5.50GHz (24 Cores / 32 Threads), Motherboard: ASUS PRIME Z790-P WIFI (0812 BIOS), Chipset: Intel Device 7a27, Memory: 32GB, Disk: 1000GB Western Digital WDS100T1X0E-00AFY0, Graphics: AMD Radeon RX 6800 16GB, Audio: Realtek ALC897, Monitor: ASUS VP28U

	OS: Fedora Linux 38, Kernel: 6.2.13-300.fc38.x86_64 (x86_64), Desktop: GNOME Shell 44.1, Display Server: X Server + Wayland, OpenGL: 4.6 Mesa 23.0.3 (LLVM 16.0.1 DRM 3.49), Compiler: GCC 13.1.1 20230426 + LLVM 16.0.1, File-System: btrfs, Screen Resolution: 3840x2160

b: 

	Processor: Intel Core i9-13900K @ 5.50GHz (24 Cores / 32 Threads), Motherboard: ASUS PRIME Z790-P WIFI (0812 BIOS), Chipset: Intel Device 7a27, Memory: 32GB, Disk: 1000GB Western Digital WDS100T1X0E-00AFY0, Graphics: AMD Radeon RX 6800 16GB, Audio: Realtek ALC897, Monitor: ASUS VP28U

	OS: Fedora Linux 38, Kernel: 6.2.13-300.fc38.x86_64 (x86_64), Desktop: GNOME Shell 44.1, Display Server: X Server + Wayland, OpenGL: 4.6 Mesa 23.0.3 (LLVM 16.0.1 DRM 3.49), Compiler: GCC 13.1.1 20230426 + LLVM 16.0.1, File-System: btrfs, Screen Resolution: 3840x2160

c: 

	Processor: Intel Core i9-13900K @ 5.50GHz (24 Cores / 32 Threads), Motherboard: ASUS PRIME Z790-P WIFI (0812 BIOS), Chipset: Intel Device 7a27, Memory: 32GB, Disk: 1000GB Western Digital WDS100T1X0E-00AFY0, Graphics: AMD Radeon RX 6800 16GB, Audio: Realtek ALC897, Monitor: ASUS VP28U

	OS: Fedora Linux 38, Kernel: 6.2.13-300.fc38.x86_64 (x86_64), Desktop: GNOME Shell 44.1, Display Server: X Server + Wayland, OpenGL: 4.6 Mesa 23.0.3 (LLVM 16.0.1 DRM 3.49), Compiler: GCC 13.1.1 20230426 + LLVM 16.0.1, File-System: btrfs, Screen Resolution: 3840x2160

d: 

	Processor: Intel Core i9-13900K @ 5.50GHz (24 Cores / 32 Threads), Motherboard: ASUS PRIME Z790-P WIFI (0812 BIOS), Chipset: Intel Device 7a27, Memory: 32GB, Disk: 1000GB Western Digital WDS100T1X0E-00AFY0, Graphics: AMD Radeon RX 6800 16GB, Audio: Realtek ALC897, Monitor: ASUS VP28U

	OS: Fedora Linux 38, Kernel: 6.2.13-300.fc38.x86_64 (x86_64), Desktop: GNOME Shell 44.1, Display Server: X Server + Wayland, OpenGL: 4.6 Mesa 23.0.3 (LLVM 16.0.1 DRM 3.49), Compiler: GCC 13.1.1 20230426 + LLVM 16.0.1, File-System: btrfs, Screen Resolution: 3840x2160


Z3 Theorem Prover 4.12.1
SMT File: 1.smt2
Seconds < Lower Is Better
a . 14.04 |====================================================================
b . 13.97 |====================================================================
c . 13.99 |====================================================================
d . 13.91 |===================================================================


Z3 Theorem Prover 4.12.1
SMT File: 2.smt2
Seconds < Lower Is Better
a . 50.90 |====================================================================
b . 50.89 |====================================================================
c . 50.88 |====================================================================
d . 50.84 |====================================================================