z3 0905
2 x Intel Xeon Gold 6248 testing with a Dell PowerEdge R740xd 0WXD1Y (2.21.2 BIOS) and Matrox G200eW3 on Ubuntu 24.04 via the Phoronix Test Suite.


2 x Intel Xeon Gold 6248: 

	Processor: 2 x Intel Xeon Gold 6248 @ 3.90GHz (40 Cores / 80 Threads), Motherboard: Dell PowerEdge R740xd 0WXD1Y (2.21.2 BIOS), Chipset: Intel Sky Lake-E DMI3 Registers, Memory: 768GB, Disk: 8 x Dell Flash NVMe P4800X 375GB SFF + 16 x 960GB Dell Flash CD5 960G SFF + 240GB DELLBOSS VD, Graphics: Matrox G200eW3, Network: 2 x Mellanox MT27710 + 4 x Mellanox MT28800

	OS: Ubuntu 24.04, Kernel: 6.8.0-41-generic (x86_64), Compiler: GCC 13.2.0, File-System: ext4, Screen Resolution: 1024x768


Z3 Theorem Prover 4.12.1
SMT File: 1.smt2
Seconds < Lower Is Better
2 x Intel Xeon Gold 6248 . 40.92 |=============================================


Z3 Theorem Prover 4.12.1
SMT File: 2.smt2
Seconds < Lower Is Better
2 x Intel Xeon Gold 6248 . 154.21 |============================================