The Z3 Theorem Prover / SMT solver is developed by Microsoft Research under the MIT license.
To run this test with the Phoronix Test Suite, the basic command is: phoronix-test-suite benchmark z3.
OpenBenchmarking.org metrics for this test profile configuration based on 708 public results since 5 May 2023 with the latest data as of 16 August 2024.
Below is an overview of the generalized performance for components where there is sufficient statistically significant data based upon user-uploaded results. It is important to keep in mind particularly in the Linux/open-source space there can be vastly different OS configurations, with this overview intended to offer just general guidance as to the performance expectations.
Based on OpenBenchmarking.org data, the selected test / test configuration (Z3 Theorem Prover 4.12.1 - SMT File: 2.smt2) has an average run-time of 4 minutes. By default this test profile is set to run at least 3 times but may increase if the standard deviation exceeds pre-defined defaults or other calculations deem additional runs necessary for greater statistical accuracy of the result.
Based on public OpenBenchmarking.org results, the selected test / test configuration has an average standard deviation of 0.1%.
No, based on the automated analysis of the collected public benchmark data, this test / test settings does not generally scale well with increasing CPU core counts. Data based on publicly available results for this test / test settings, separated by vendor, result divided by the reference CPU clock speed, grouped by matching physical CPU core count, and normalized against the smallest core count tested from each vendor for each CPU having a sufficient number of test samples and statistically significant data.
Notable instruction set extensions supported by this test, based on an automatic analysis by the Phoronix Test Suite / OpenBenchmarking.org analytics engine.
This test profile binary relies on the shared libraries libm.so.6, libc.so.6.
This benchmark has been successfully tested on the below mentioned architectures. The CPU architectures listed is where successful OpenBenchmarking.org result uploads occurred, namely for helping to determine if a given test is compatible with various alternative CPU architectures.
1 System - 2 Benchmark Results |
2 x AMD EPYC 9J14 96-Core - Oracle Asm MB+Tray E5-2c - AMD Device 14a4 Ubuntu 22.04 - 6.5.0-1026-oracle - 1.3.255 |
1 System - 2 Benchmark Results |
ARMv8 Neoverse-N1 - Oracle TLA MB TRAY A1-2c - 1008GB Ubuntu 22.04 - 6.5.0-1026-oracle - 1.3.255 |
1 System - 2 Benchmark Results |
2 x AMD EPYC 9J14 96-Core - Oracle Asm MB+Tray E5-2c - AMD Device 14a4 Ubuntu 22.04 - 6.5.0-1026-oracle - 1.3.255 |
1 System - 2 Benchmark Results |
ARMv8 Neoverse-N1 - Oracle TLA MB TRAY A1-2c - 1008GB Ubuntu 22.04 - 6.5.0-1026-oracle - 1.3.255 |
1 System - 2 Benchmark Results |
2 x AMD EPYC 9J14 96-Core - Oracle Asm MB+Tray E5-2c - AMD Device 14a4 Ubuntu 22.04 - 6.5.0-1026-oracle - 1.3.255 |
1 System - 2 Benchmark Results |
2 x AMD EPYC 9J14 96-Core - Oracle Asm MB+Tray E5-2c - AMD Device 14a4 Ubuntu 22.04 - 6.5.0-1026-oracle - 1.3.255 |
2 Systems - 91 Benchmark Results |
AMD Ryzen Threadripper 3970X 32-Core - ASUS ROG ZENITH II EXTREME - AMD Starship Ubuntu 22.04 - 6.5.0-35-generic - GNOME Shell 42.9 |
2 Systems - 91 Benchmark Results |
AMD Ryzen Threadripper 3970X 32-Core - ASUS ROG ZENITH II EXTREME - AMD Starship Ubuntu 22.04 - 6.5.0-35-generic - GNOME Shell 42.9 |
1 System - 2 Benchmark Results |
ARMv8 Neoverse-N1 - Oracle TLA MB TRAY A1-2c - 1008GB Ubuntu 22.04 - 6.5.0-1026-oracle - 1.3.255 |
1 System - 2 Benchmark Results |
2 x AMD EPYC 9J14 96-Core - Oracle Asm MB+Tray E5-2c - AMD Device 14a4 Ubuntu 22.04 - 6.5.0-1026-oracle - 1.3.255 |
1 System - 2 Benchmark Results |
2 x AMD EPYC 9J14 96-Core - Oracle Asm MB+Tray E5-2c - AMD Device 14a4 Ubuntu 22.04 - 6.5.0-1026-oracle - 1.3.255 |
1 System - 2 Benchmark Results |
ARMv8 Neoverse-N1 - Oracle TLA MB TRAY A1-2c - 1008GB Ubuntu 22.04 - 6.5.0-1026-oracle - 1.3.255 |
1 System - 2 Benchmark Results |
2 x AMD EPYC 9J14 96-Core - Oracle Asm MB+Tray E5-2c - AMD Device 14a4 Ubuntu 22.04 - 6.5.0-1026-oracle - 1.3.255 |
1 System - 2 Benchmark Results |
2 x AMD EPYC 9J14 96-Core - Oracle Asm MB+Tray E5-2c - AMD Device 14a4 Ubuntu 22.04 - 6.5.0-1026-oracle - 1.3.255 |
1 System - 2 Benchmark Results |
ARMv8 Neoverse-N1 - Oracle TLA MB TRAY A1-2c - 1008GB Ubuntu 22.04 - 6.5.0-1026-oracle - 1.3.255 |
12 Systems - 69 Benchmark Results |
2 x AMD EPYC 9754 128-Core - AMD Titanite_4G - AMD Device 14a4 Ubuntu 23.04 - 6.2.0-23-generic - GNOME Shell 44.0 |
Featured Processor Comparison |
AMD Ryzen 7 5800X 8-Core - ASUS ROG CROSSHAIR VIII HERO - AMD Starship Ubuntu 22.04 - 5.19.0-46-generic - GNOME Shell 42.5 |
2 Systems - 831 Benchmark Results |
Intel Core Ultra 7 155H - MTL Coral_MTH - Intel Device 7e7f Ubuntu 23.10 - 6.7.0-060700rc5-generic - GNOME Shell 45.1 |
10 Systems - 272 Benchmark Results |
AMD Ryzen 7 5800X 8-Core - ASUS ROG CROSSHAIR VIII HERO - AMD Starship Ubuntu 22.04 - 5.19.0-46-generic - GNOME Shell 42.5 |
8 Systems - 271 Benchmark Results |
AMD Ryzen 7 5800X3D 8-Core - ASUS ROG CROSSHAIR VIII HERO - AMD Starship Ubuntu 22.04 - 5.19.0-46-generic - GNOME Shell 42.5 |
2 Systems - 35 Benchmark Results |
AMD Ryzen 9 7950X3D 16-Core - ASRock X670E PG Lightning - AMD Device 14d8 Ubuntu 22.10 - 5.19.0-23-generic - GNOME Shell 43.0 |
2 Systems - 191 Benchmark Results |
AMD Ryzen Z1 Extreme - ASUS RC71L v1.0 - AMD Device 14e8 Ubuntu 23.04 - 6.4.0-060400rc6-generic - GNOME Shell 44.2 |
2 Systems - 234 Benchmark Results |
AMD Ryzen Threadripper 3970X 32-Core - ASUS ROG ZENITH II EXTREME - AMD Starship Ubuntu 22.04 - 5.19.0-051900rc7-generic - GNOME Shell 42.2 |
7 Systems - 223 Benchmark Results |
AMD Ryzen 7 7840U - Framework FRANMDCP07 - AMD Device 14e8 Ubuntu 23.10 - 6.5.0-5-generic - GNOME Shell 45.0 |
8 Systems - 271 Benchmark Results |
AMD Ryzen 9 5900X 12-Core - ASUS ROG CROSSHAIR VIII HERO - AMD Starship Ubuntu 22.04 - 5.19.0-46-generic - GNOME Shell 42.5 |
3 Systems - 49 Benchmark Results |
AMD Ryzen 5 4500U - LENOVO LNVNB161216 - AMD Renoir Pop 22.04 - 5.17.5-76051705-generic - GNOME Shell 42.1 |
3 Systems - 37 Benchmark Results |
Intel Core i7-1065G7 - Dell 06CDVY - Intel Ice Lake-LP DRAM Ubuntu 22.04 - 5.19.0-38-generic - GNOME Shell 42.2 |
3 Systems - 22 Benchmark Results |
AMD Ryzen 5 5500U - NB01 NL5xNU - AMD Renoir Tuxedo 22.04 - 6.0.0-1010-oem - KDE Plasma 5.26.5 |
2 Systems - 234 Benchmark Results |
AMD Ryzen Threadripper 3970X 32-Core - ASUS ROG ZENITH II EXTREME - AMD Starship Ubuntu 22.04 - 5.19.0-051900rc7-generic - GNOME Shell 42.2 |
3 Systems - 16 Benchmark Results |
Intel Core i7-1185G7 - Dell 0DXP1F - Intel Tiger Lake-LP Ubuntu 22.04 - 5.19.0-40-generic - GNOME Shell 42.2 |