nopbo vs PBO 20250111 AMD Ryzen 7 9700X 8-Core testing with a MSI B650 GAMING PLUS WIFI (MS-7E26) v1.0 (1.I0 BIOS) and ASUS NVIDIA GeForce RTX 2070 SUPER 8GB on Arch rolling via the Phoronix Test Suite.
Compare your own system(s) to this result file with the
Phoronix Test Suite by running the command:
phoronix-test-suite benchmark 2501146-NE-MERGE893840 PBO Disabled - Tightest - EXPO1 Kernel Notes: NVIDIA_drm.modeset=1 - Transparent Huge Pages: alwaysProcessor Notes: Scaling Governor: amd-pstate-epp powersave (Boost: Enabled EPP: performance) - CPU Microcode: 0xb404023Python Notes: Python 3.13.1Security Notes: gather_data_sampling: Not affected + itlb_multihit: Not affected + l1tf: Not affected + mds: Not affected + meltdown: Not affected + mmio_stale_data: Not affected + reg_file_data_sampling: Not affected + retbleed: Not affected + spec_rstack_overflow: Not affected + spec_store_bypass: Mitigation of SSB disabled via prctl + spectre_v1: Mitigation of usercopy/swapgs barriers and __user pointer sanitization + spectre_v2: Mitigation of Enhanced / Automatic IBRS; IBPB: conditional; STIBP: always-on; RSB filling; PBRSB-eIBRS: Not affected; BHI: Not affected + srbds: Not affected + tsx_async_abort: Not affected
PBO AMD - Tightest - EXPO1 Processor: AMD Ryzen 7 9700X 8-Core @ 5.58GHz (8 Cores / 16 Threads), Motherboard: MSI B650 GAMING PLUS WIFI (MS-7E26) v1.0 (1.I0 BIOS), Chipset: AMD Raphael/Granite, Memory: 32GB, Disk: 256GB SAMSUNG MZVPW256HEGL-00000 + Western Digital WD_BLACK SN850X 1000GB + 4001GB Seagate ST4000DM000-1F21 + 1000GB HGST HTS721010A9 + 8002GB Seagate ST8000DM004-2U91 + 512GB Samsung SSD 850, Graphics: ASUS NVIDIA GeForce RTX 2070 SUPER 8GB, Audio: NVIDIA TU104 HD Audio, Monitor: SAMSUNG, Network: Realtek RTL8125 2.5GbE + MEDIATEK MT7922 802.11ax PCI
OS: Arch rolling, Kernel: 6.12.8-arch1-1 (x86_64), Desktop: KDE Plasma 6.2.5, Display Server: X Server 1.21.1.15 + Wayland, Display Driver: NVIDIA 565.77, OpenGL: 4.6.0, OpenCL: OpenCL 3.0 CUDA 12.7.33, Compiler: GCC 14.2.1 20240910 + Clang 18.1.8 + LLVM 18.1.8 + CUDA 12.6, File-System: ext4, Screen Resolution: 3840x2160
Timed Linux Kernel Compilation This test times how long it takes to build the Linux kernel in a default configuration (defconfig) for the architecture being tested or alternatively an allmodconfig for building all possible kernel modules for the build. Learn more via the OpenBenchmarking.org test page.
Result
CPU Fan Speed
Min Avg Max PBO Disabled - Tightest - EXPO1 729 1291 1746 PBO AMD - Tightest - EXPO1 809 1898 2020 OpenBenchmarking.org RPM, Fewer Is Better Timed Linux Kernel Compilation 6.8 CPU Fan Speed Monitor 500 1000 1500 2000 2500 CPU Freq (CPU0
Min Avg Max PBO Disabled - Tightest - EXPO1 600 4186 5616 PBO AMD - Tightest - EXPO1 600 4762 5615 OpenBenchmarking.org Megahertz, More Is Better Timed Linux Kernel Compilation 6.8 CPU Frequency (CPU0) Monitor 1400 2800 4200 5600 7000 CPU Freq (CPU1
Min Avg Max PBO Disabled - Tightest - EXPO1 600 4440 5621 PBO AMD - Tightest - EXPO1 600 4869 5621 OpenBenchmarking.org Megahertz, More Is Better Timed Linux Kernel Compilation 6.8 CPU Frequency (CPU1) Monitor 1400 2800 4200 5600 7000 CPU Freq (CPU2
Min Avg Max PBO Disabled - Tightest - EXPO1 600 4137 5614 PBO AMD - Tightest - EXPO1 600 4592 5552 OpenBenchmarking.org Megahertz, More Is Better Timed Linux Kernel Compilation 6.8 CPU Frequency (CPU2) Monitor 1400 2800 4200 5600 7000 CPU Freq (CPU3
Min Avg Max PBO Disabled - Tightest - EXPO1 600 4305 5609 PBO AMD - Tightest - EXPO1 600 4847 5610 OpenBenchmarking.org Megahertz, More Is Better Timed Linux Kernel Compilation 6.8 CPU Frequency (CPU3) Monitor 1400 2800 4200 5600 7000 CPU Freq (CPU4
Min Avg Max PBO Disabled - Tightest - EXPO1 600 4143 5419 PBO AMD - Tightest - EXPO1 600 4637 5611 OpenBenchmarking.org Megahertz, More Is Better Timed Linux Kernel Compilation 6.8 CPU Frequency (CPU4) Monitor 1400 2800 4200 5600 7000 CPU Freq (CPU5
Min Avg Max PBO Disabled - Tightest - EXPO1 600 4211 5610 PBO AMD - Tightest - EXPO1 600 4675 5565 OpenBenchmarking.org Megahertz, More Is Better Timed Linux Kernel Compilation 6.8 CPU Frequency (CPU5) Monitor 1400 2800 4200 5600 7000 CPU Freq (CPU6
Min Avg Max PBO Disabled - Tightest - EXPO1 600 4110 5478 PBO AMD - Tightest - EXPO1 600 4627 5592 OpenBenchmarking.org Megahertz, More Is Better Timed Linux Kernel Compilation 6.8 CPU Frequency (CPU6) Monitor 1400 2800 4200 5600 7000 CPU Freq (CPU7
Min Avg Max PBO Disabled - Tightest - EXPO1 600 4139 5559 PBO AMD - Tightest - EXPO1 600 4635 5510 OpenBenchmarking.org Megahertz, More Is Better Timed Linux Kernel Compilation 6.8 CPU Frequency (CPU7) Monitor 1400 2800 4200 5600 7000 CPU Freq (CPU8
Min Avg Max PBO Disabled - Tightest - EXPO1 600 4076 5603 PBO AMD - Tightest - EXPO1 600 4589 5615 OpenBenchmarking.org Megahertz, More Is Better Timed Linux Kernel Compilation 6.8 CPU Frequency (CPU8) Monitor 1400 2800 4200 5600 7000 CPU Freq (CPU9
Min Avg Max PBO Disabled - Tightest - EXPO1 600 4109 5610 PBO AMD - Tightest - EXPO1 600 4730 5616 OpenBenchmarking.org Megahertz, More Is Better Timed Linux Kernel Compilation 6.8 CPU Frequency (CPU9) Monitor 1400 2800 4200 5600 7000 CPU Freq (CPU10
Min Avg Max PBO Disabled - Tightest - EXPO1 600 4156 5610 PBO AMD - Tightest - EXPO1 600 4732 5612 OpenBenchmarking.org Megahertz, More Is Better Timed Linux Kernel Compilation 6.8 CPU Frequency (CPU10) Monitor 1400 2800 4200 5600 7000 CPU Freq (CPU11
Min Avg Max PBO Disabled - Tightest - EXPO1 600 4204 5620 PBO AMD - Tightest - EXPO1 600 4669 5603 OpenBenchmarking.org Megahertz, More Is Better Timed Linux Kernel Compilation 6.8 CPU Frequency (CPU11) Monitor 1400 2800 4200 5600 7000 CPU Freq (CPU12
Min Avg Max PBO Disabled - Tightest - EXPO1 600 4025 5631 PBO AMD - Tightest - EXPO1 600 4590 5564 OpenBenchmarking.org Megahertz, More Is Better Timed Linux Kernel Compilation 6.8 CPU Frequency (CPU12) Monitor 1400 2800 4200 5600 7000 CPU Freq (CPU13
Min Avg Max PBO Disabled - Tightest - EXPO1 600 4141 5613 PBO AMD - Tightest - EXPO1 600 4568 5617 OpenBenchmarking.org Megahertz, More Is Better Timed Linux Kernel Compilation 6.8 CPU Frequency (CPU13) Monitor 1400 2800 4200 5600 7000 CPU Freq (CPU14
Min Avg Max PBO Disabled - Tightest - EXPO1 600 4039 5612 PBO AMD - Tightest - EXPO1 600 4529 5593 OpenBenchmarking.org Megahertz, More Is Better Timed Linux Kernel Compilation 6.8 CPU Frequency (CPU14) Monitor 1400 2800 4200 5600 7000 CPU Freq (CPU15
Min Avg Max PBO Disabled - Tightest - EXPO1 600 4087 5604 PBO AMD - Tightest - EXPO1 600 4563 5601 OpenBenchmarking.org Megahertz, More Is Better Timed Linux Kernel Compilation 6.8 CPU Frequency (CPU15) Monitor 1400 2800 4200 5600 7000 CPU Peak Freq (Highest CPU Core Frequency
Min Avg Max PBO Disabled - Tightest - EXPO1 4414 4783 5631 PBO AMD - Tightest - EXPO1 4482 5302 5621 OpenBenchmarking.org Megahertz, More Is Better Timed Linux Kernel Compilation 6.8 CPU Peak Freq (Highest CPU Core Frequency) Monitor 1400 2800 4200 5600 7000 CPU Temp
Min Avg Max PBO Disabled - Tightest - EXPO1 43.0 61.1 78.1 PBO AMD - Tightest - EXPO1 46.4 90.6 95.9 OpenBenchmarking.org Celsius, Fewer Is Better Timed Linux Kernel Compilation 6.8 CPU Temperature Monitor 20 40 60 80 100 CPU Usage (CPU0
Min Avg Max PBO Disabled - Tightest - EXPO1 0.0 83.8 100.0 PBO AMD - Tightest - EXPO1 0.0 81.4 100.0 OpenBenchmarking.org Percent, Fewer Is Better Timed Linux Kernel Compilation 6.8 CPU Usage (CPU0) Monitor 20 40 60 80 100 CPU Usage (CPU1
Min Avg Max PBO Disabled - Tightest - EXPO1 0.0 86.8 100.0 PBO AMD - Tightest - EXPO1 0.0 84.9 100.0 OpenBenchmarking.org Percent, Fewer Is Better Timed Linux Kernel Compilation 6.8 CPU Usage (CPU1) Monitor 20 40 60 80 100 CPU Usage (CPU2
Min Avg Max PBO Disabled - Tightest - EXPO1 0.0 83.5 100.0 PBO AMD - Tightest - EXPO1 0.0 81.3 100.0 OpenBenchmarking.org Percent, Fewer Is Better Timed Linux Kernel Compilation 6.8 CPU Usage (CPU2) Monitor 20 40 60 80 100 CPU Usage (CPU3
Min Avg Max PBO Disabled - Tightest - EXPO1 0.0 86.9 100.0 PBO AMD - Tightest - EXPO1 0.0 86.4 100.0 OpenBenchmarking.org Percent, Fewer Is Better Timed Linux Kernel Compilation 6.8 CPU Usage (CPU3) Monitor 20 40 60 80 100 CPU Usage (CPU4
Min Avg Max PBO Disabled - Tightest - EXPO1 0.0 83.7 100.0 PBO AMD - Tightest - EXPO1 0.0 82.0 100.0 OpenBenchmarking.org Percent, Fewer Is Better Timed Linux Kernel Compilation 6.8 CPU Usage (CPU4) Monitor 20 40 60 80 100 CPU Usage (CPU5
Min Avg Max PBO Disabled - Tightest - EXPO1 0.0 83.8 100.0 PBO AMD - Tightest - EXPO1 0.0 82.1 100.0 OpenBenchmarking.org Percent, Fewer Is Better Timed Linux Kernel Compilation 6.8 CPU Usage (CPU5) Monitor 20 40 60 80 100 CPU Usage (CPU6
Min Avg Max PBO Disabled - Tightest - EXPO1 0.0 83.2 100.0 PBO AMD - Tightest - EXPO1 0.0 81.0 100.0 OpenBenchmarking.org Percent, Fewer Is Better Timed Linux Kernel Compilation 6.8 CPU Usage (CPU6) Monitor 20 40 60 80 100 CPU Usage (CPU7
Min Avg Max PBO Disabled - Tightest - EXPO1 0.0 82.8 100.0 PBO AMD - Tightest - EXPO1 0.0 81.2 100.0 OpenBenchmarking.org Percent, Fewer Is Better Timed Linux Kernel Compilation 6.8 CPU Usage (CPU7) Monitor 20 40 60 80 100 CPU Usage (CPU8
Min Avg Max PBO Disabled - Tightest - EXPO1 0.0 83.5 100.0 PBO AMD - Tightest - EXPO1 0.0 81.6 100.0 OpenBenchmarking.org Percent, Fewer Is Better Timed Linux Kernel Compilation 6.8 CPU Usage (CPU8) Monitor 20 40 60 80 100 CPU Usage (CPU9
Min Avg Max PBO Disabled - Tightest - EXPO1 0.0 84.7 100.0 PBO AMD - Tightest - EXPO1 0.0 83.2 100.0 OpenBenchmarking.org Percent, Fewer Is Better Timed Linux Kernel Compilation 6.8 CPU Usage (CPU9) Monitor 20 40 60 80 100 CPU Usage (CPU10
Min Avg Max PBO Disabled - Tightest - EXPO1 0.0 83.3 100.0 PBO AMD - Tightest - EXPO1 0.0 81.2 100.0 OpenBenchmarking.org Percent, Fewer Is Better Timed Linux Kernel Compilation 6.8 CPU Usage (CPU10) Monitor 20 40 60 80 100 CPU Usage (CPU11
Min Avg Max PBO Disabled - Tightest - EXPO1 0.0 84.9 100.0 PBO AMD - Tightest - EXPO1 0.0 82.5 100.0 OpenBenchmarking.org Percent, Fewer Is Better Timed Linux Kernel Compilation 6.8 CPU Usage (CPU11) Monitor 20 40 60 80 100 CPU Usage (CPU12
Min Avg Max PBO Disabled - Tightest - EXPO1 0.0 83.3 100.0 PBO AMD - Tightest - EXPO1 0.0 80.6 100.0 OpenBenchmarking.org Percent, Fewer Is Better Timed Linux Kernel Compilation 6.8 CPU Usage (CPU12) Monitor 20 40 60 80 100 CPU Usage (CPU13
Min Avg Max PBO Disabled - Tightest - EXPO1 0.0 83.5 100.0 PBO AMD - Tightest - EXPO1 0.0 81.0 100.0 OpenBenchmarking.org Percent, Fewer Is Better Timed Linux Kernel Compilation 6.8 CPU Usage (CPU13) Monitor 20 40 60 80 100 CPU Usage (CPU14
Min Avg Max PBO Disabled - Tightest - EXPO1 0.0 83.2 100.0 PBO AMD - Tightest - EXPO1 0.0 80.9 100.0 OpenBenchmarking.org Percent, Fewer Is Better Timed Linux Kernel Compilation 6.8 CPU Usage (CPU14) Monitor 20 40 60 80 100 CPU Usage (CPU15
Min Avg Max PBO Disabled - Tightest - EXPO1 0.0 83.5 100.0 PBO AMD - Tightest - EXPO1 0.0 81.5 100.0 OpenBenchmarking.org Percent, Fewer Is Better Timed Linux Kernel Compilation 6.8 CPU Usage (CPU15) Monitor 20 40 60 80 100 CPU Usage (Summary
Min Avg Max PBO Disabled - Tightest - EXPO1 0.1 84.0 100.0 PBO AMD - Tightest - EXPO1 0.4 82.1 100.0 OpenBenchmarking.org Percent, Fewer Is Better Timed Linux Kernel Compilation 6.8 CPU Usage (Summary) Monitor 20 40 60 80 100 GPU Memory Usage
Min Avg Max PBO Disabled - Tightest - EXPO1 513 600 933 PBO AMD - Tightest - EXPO1 585 586 587 OpenBenchmarking.org Megabytes, Fewer Is Better Timed Linux Kernel Compilation 6.8 GPU Memory Usage Monitor 200 400 600 800 1000 GPU Power Consumption
Min Avg Max PBO Disabled - Tightest - EXPO1 16.9 18.5 25.4 PBO AMD - Tightest - EXPO1 17.4 18.7 21.8 OpenBenchmarking.org Watts, Fewer Is Better Timed Linux Kernel Compilation 6.8 GPU Power Consumption Monitor 8 16 24 32 40 GPU Temp
Min Avg Max PBO Disabled - Tightest - EXPO1 37.0 37.9 38.0 PBO AMD - Tightest - EXPO1 40.0 40.8 42.0 OpenBenchmarking.org Celsius, Fewer Is Better Timed Linux Kernel Compilation 6.8 GPU Temperature Monitor 12 24 36 48 60 GPU Usage
Min Avg Max PBO Disabled - Tightest - EXPO1 2.0 9.6 28.0 PBO AMD - Tightest - EXPO1 4.0 11.5 18.0 OpenBenchmarking.org Percent, Fewer Is Better Timed Linux Kernel Compilation 6.8 GPU Usage Monitor 9 18 27 36 45 Drive Read Speed (nvme1n1
Min Avg Max PBO Disabled - Tightest - EXPO1 0.0 0.6 24.1 PBO AMD - Tightest - EXPO1 0.0 0.5 12.5 OpenBenchmarking.org MB/s, Fewer Is Better Timed Linux Kernel Compilation 6.8 Drive Read Speed (nvme1n1) Monitor 8 16 24 32 40 Drive Temp (sda
OpenBenchmarking.org Celsius, Fewer Is Better Timed Linux Kernel Compilation 6.8 Drive Temperature (sda) Monitor PBO AMD - Tightest - EXPO1 8 16 24 32 40 30.85 Drive Temp (sdb
OpenBenchmarking.org Celsius, Fewer Is Better Timed Linux Kernel Compilation 6.8 Drive Temperature (sdb) Monitor PBO AMD - Tightest - EXPO1 8 16 24 32 40 30.85 Drive Temp (sdc
OpenBenchmarking.org Celsius, Fewer Is Better Timed Linux Kernel Compilation 6.8 Drive Temperature (sdc) Monitor PBO AMD - Tightest - EXPO1 8 16 24 32 40 30.85 Drive Temp (sdd
OpenBenchmarking.org Celsius, Fewer Is Better Timed Linux Kernel Compilation 6.8 Drive Temperature (sdd) Monitor PBO AMD - Tightest - EXPO1 8 16 24 32 40 30.85 Drive Temp (nvme0n1
OpenBenchmarking.org Celsius, Fewer Is Better Timed Linux Kernel Compilation 6.8 Drive Temperature (nvme0n1) Monitor PBO AMD - Tightest - EXPO1 8 16 24 32 40 30.85 Drive Temp (nvme1n1
OpenBenchmarking.org Celsius, Fewer Is Better Timed Linux Kernel Compilation 6.8 Drive Temperature (nvme1n1) Monitor PBO AMD - Tightest - EXPO1 8 16 24 32 40 30.85 Drive Write Speed (nvme1n1
Min Avg Max PBO Disabled - Tightest - EXPO1 0.0 5.3 321.8 PBO AMD - Tightest - EXPO1 0.0 8.4 581.1 OpenBenchmarking.org MB/s, Fewer Is Better Timed Linux Kernel Compilation 6.8 Drive Write Speed (nvme1n1) Monitor 160 320 480 640 800 Memory Usage
Min Avg Max PBO Disabled - Tightest - EXPO1 1985 3113 4037 PBO AMD - Tightest - EXPO1 1950 3034 3591 OpenBenchmarking.org Megabytes, Fewer Is Better Timed Linux Kernel Compilation 6.8 Memory Usage Monitor 1100 2200 3300 4400 5500 System Iowait
Min Avg Max PBO Disabled - Tightest - EXPO1 0.0 0.0 0.6 PBO AMD - Tightest - EXPO1 0.0 0.0 0.3 OpenBenchmarking.org Percent, Fewer Is Better Timed Linux Kernel Compilation 6.8 System Iowait Monitor 0.1575 0.315 0.4725 0.63 0.7875
Z3 Theorem Prover Result
OpenBenchmarking.org Seconds, Fewer Is Better Z3 Theorem Prover 4.12.1 SMT File: 1.smt2 PBO Disabled - Tightest - EXPO1 PBO AMD - Tightest - EXPO1 4 8 12 16 20 SE +/- 0.01, N = 4 SE +/- 0.04, N = 4 14.49 14.54 1. (CXX) g++ options: -lpthread -std=c++17 -fvisibility=hidden -mfpmath=sse -msse -msse2 -O3 -fPIC CPU Fan Speed
Min Avg Max PBO Disabled - Tightest - EXPO1 877 1283 1468 PBO AMD - Tightest - EXPO1 1084 1361 1556 OpenBenchmarking.org RPM, Fewer Is Better Z3 Theorem Prover 4.12.1 CPU Fan Speed Monitor 400 800 1200 1600 2000 CPU Freq (CPU0
Min Avg Max PBO Disabled - Tightest - EXPO1 600 891 4551 PBO AMD - Tightest - EXPO1 600 1328 5382 OpenBenchmarking.org Megahertz, More Is Better Z3 Theorem Prover 4.12.1 CPU Frequency (CPU0) Monitor 1400 2800 4200 5600 7000 CPU Freq (CPU1
Min Avg Max PBO Disabled - Tightest - EXPO1 600 3516 5615 PBO AMD - Tightest - EXPO1 600 3048 5619 OpenBenchmarking.org Megahertz, More Is Better Z3 Theorem Prover 4.12.1 CPU Frequency (CPU1) Monitor 1400 2800 4200 5600 7000 CPU Freq (CPU2
Min Avg Max PBO Disabled - Tightest - EXPO1 600 1241 5618 PBO AMD - Tightest - EXPO1 600 1677 5613 OpenBenchmarking.org Megahertz, More Is Better Z3 Theorem Prover 4.12.1 CPU Frequency (CPU2) Monitor 1400 2800 4200 5600 7000 CPU Freq (CPU3
Min Avg Max PBO Disabled - Tightest - EXPO1 600 3245 5617 PBO AMD - Tightest - EXPO1 600 2550 5619 OpenBenchmarking.org Megahertz, More Is Better Z3 Theorem Prover 4.12.1 CPU Frequency (CPU3) Monitor 1400 2800 4200 5600 7000 CPU Freq (CPU4
Min Avg Max PBO Disabled - Tightest - EXPO1 600 1405 5615 PBO AMD - Tightest - EXPO1 600 1364 5613 OpenBenchmarking.org Megahertz, More Is Better Z3 Theorem Prover 4.12.1 CPU Frequency (CPU4) Monitor 1400 2800 4200 5600 7000 CPU Freq (CPU5
Min Avg Max PBO Disabled - Tightest - EXPO1 600 1347 5614 PBO AMD - Tightest - EXPO1 600 1213 5614 OpenBenchmarking.org Megahertz, More Is Better Z3 Theorem Prover 4.12.1 CPU Frequency (CPU5) Monitor 1400 2800 4200 5600 7000 CPU Freq (CPU6
Min Avg Max PBO Disabled - Tightest - EXPO1 600 957 3980 PBO AMD - Tightest - EXPO1 600 1156 5612 OpenBenchmarking.org Megahertz, More Is Better Z3 Theorem Prover 4.12.1 CPU Frequency (CPU6) Monitor 1400 2800 4200 5600 7000 CPU Freq (CPU7
Min Avg Max PBO Disabled - Tightest - EXPO1 600 1030 5151 PBO AMD - Tightest - EXPO1 600 1165 5603 OpenBenchmarking.org Megahertz, More Is Better Z3 Theorem Prover 4.12.1 CPU Frequency (CPU7) Monitor 1400 2800 4200 5600 7000 CPU Freq (CPU8
Min Avg Max PBO Disabled - Tightest - EXPO1 600 1125 4826 PBO AMD - Tightest - EXPO1 600 926 5500 OpenBenchmarking.org Megahertz, More Is Better Z3 Theorem Prover 4.12.1 CPU Frequency (CPU8) Monitor 1400 2800 4200 5600 7000 CPU Freq (CPU9
Min Avg Max PBO Disabled - Tightest - EXPO1 600 1893 5616 PBO AMD - Tightest - EXPO1 600 1325 5615 OpenBenchmarking.org Megahertz, More Is Better Z3 Theorem Prover 4.12.1 CPU Frequency (CPU9) Monitor 1400 2800 4200 5600 7000 CPU Freq (CPU10
Min Avg Max PBO Disabled - Tightest - EXPO1 600 1102 4314 PBO AMD - Tightest - EXPO1 600 736 5537 OpenBenchmarking.org Megahertz, More Is Better Z3 Theorem Prover 4.12.1 CPU Frequency (CPU10) Monitor 1400 2800 4200 5600 7000 CPU Freq (CPU11
Min Avg Max PBO Disabled - Tightest - EXPO1 600 1904 5620 PBO AMD - Tightest - EXPO1 600 2363 5618 OpenBenchmarking.org Megahertz, More Is Better Z3 Theorem Prover 4.12.1 CPU Frequency (CPU11) Monitor 1400 2800 4200 5600 7000 CPU Freq (CPU12
Min Avg Max PBO Disabled - Tightest - EXPO1 600 877 4409 PBO AMD - Tightest - EXPO1 600 1049 5615 OpenBenchmarking.org Megahertz, More Is Better Z3 Theorem Prover 4.12.1 CPU Frequency (CPU12) Monitor 1400 2800 4200 5600 7000 CPU Freq (CPU13
Min Avg Max PBO Disabled - Tightest - EXPO1 600 1407 5612 PBO AMD - Tightest - EXPO1 600 685 3225 OpenBenchmarking.org Megahertz, More Is Better Z3 Theorem Prover 4.12.1 CPU Frequency (CPU13) Monitor 1400 2800 4200 5600 7000 CPU Freq (CPU14
Min Avg Max PBO Disabled - Tightest - EXPO1 600 796 5132 PBO AMD - Tightest - EXPO1 600 999 5611 OpenBenchmarking.org Megahertz, More Is Better Z3 Theorem Prover 4.12.1 CPU Frequency (CPU14) Monitor 1400 2800 4200 5600 7000 CPU Freq (CPU15
Min Avg Max PBO Disabled - Tightest - EXPO1 600 1020 4504 PBO AMD - Tightest - EXPO1 600 1878 5604 OpenBenchmarking.org Megahertz, More Is Better Z3 Theorem Prover 4.12.1 CPU Frequency (CPU15) Monitor 1400 2800 4200 5600 7000 CPU Peak Freq (Highest CPU Core Frequency
Min Avg Max PBO Disabled - Tightest - EXPO1 4670 5519 5620 PBO AMD - Tightest - EXPO1 3707 5528 5619 OpenBenchmarking.org Megahertz, More Is Better Z3 Theorem Prover 4.12.1 CPU Peak Freq (Highest CPU Core Frequency) Monitor 1400 2800 4200 5600 7000 CPU Temp
Min Avg Max PBO Disabled - Tightest - EXPO1 47.9 61.0 66.1 PBO AMD - Tightest - EXPO1 53.5 62.3 67.6 OpenBenchmarking.org Celsius, Fewer Is Better Z3 Theorem Prover 4.12.1 CPU Temperature Monitor 20 40 60 80 100 CPU Usage (CPU0
Min Avg Max PBO Disabled - Tightest - EXPO1 0.0 1.2 10.0 PBO AMD - Tightest - EXPO1 0.0 0.8 10.0 OpenBenchmarking.org Percent, Fewer Is Better Z3 Theorem Prover 4.12.1 CPU Usage (CPU0) Monitor 4 8 12 16 20 CPU Usage (CPU1
Min Avg Max PBO Disabled - Tightest - EXPO1 0.0 28.0 100.0 PBO AMD - Tightest - EXPO1 0.0 31.1 100.0 OpenBenchmarking.org Percent, Fewer Is Better Z3 Theorem Prover 4.12.1 CPU Usage (CPU1) Monitor 20 40 60 80 100 CPU Usage (CPU2
Min Avg Max PBO Disabled - Tightest - EXPO1 0.0 1.0 6.0 PBO AMD - Tightest - EXPO1 0.0 1.5 7.8 OpenBenchmarking.org Percent, Fewer Is Better Z3 Theorem Prover 4.12.1 CPU Usage (CPU2) Monitor 3 6 9 12 15 CPU Usage (CPU3
Min Avg Max PBO Disabled - Tightest - EXPO1 0.0 25.9 100.0 PBO AMD - Tightest - EXPO1 0.0 20.6 100.0 OpenBenchmarking.org Percent, Fewer Is Better Z3 Theorem Prover 4.12.1 CPU Usage (CPU3) Monitor 20 40 60 80 100 CPU Usage (CPU4
Min Avg Max PBO Disabled - Tightest - EXPO1 0.0 1.6 13.5 PBO AMD - Tightest - EXPO1 0.0 1.4 6.1 OpenBenchmarking.org Percent, Fewer Is Better Z3 Theorem Prover 4.12.1 CPU Usage (CPU4) Monitor 4 8 12 16 20 CPU Usage (CPU5
Min Avg Max PBO Disabled - Tightest - EXPO1 0.0 2.0 14.0 PBO AMD - Tightest - EXPO1 0.0 3.1 18.0 OpenBenchmarking.org Percent, Fewer Is Better Z3 Theorem Prover 4.12.1 CPU Usage (CPU5) Monitor 5 10 15 20 25 CPU Usage (CPU6
Min Avg Max PBO Disabled - Tightest - EXPO1 0.0 0.6 7.8 PBO AMD - Tightest - EXPO1 0.0 0.6 4.1 OpenBenchmarking.org Percent, Fewer Is Better Z3 Theorem Prover 4.12.1 CPU Usage (CPU6) Monitor 3 6 9 12 15 CPU Usage (CPU7
Min Avg Max PBO Disabled - Tightest - EXPO1 0.0 1.5 7.8 PBO AMD - Tightest - EXPO1 0.0 1.4 9.8 OpenBenchmarking.org Percent, Fewer Is Better Z3 Theorem Prover 4.12.1 CPU Usage (CPU7) Monitor 4.42 8.84 13.26 17.68 22.1 CPU Usage (CPU8
Min Avg Max PBO Disabled - Tightest - EXPO1 0.0 0.6 6.0 PBO AMD - Tightest - EXPO1 0.0 1.0 7.7 OpenBenchmarking.org Percent, Fewer Is Better Z3 Theorem Prover 4.12.1 CPU Usage (CPU8) Monitor 3 6 9 12 15 CPU Usage (CPU9
Min Avg Max PBO Disabled - Tightest - EXPO1 0.0 22.0 100.0 PBO AMD - Tightest - EXPO1 0.0 13.3 100.0 OpenBenchmarking.org Percent, Fewer Is Better Z3 Theorem Prover 4.12.1 CPU Usage (CPU9) Monitor 20 40 60 80 100 CPU Usage (CPU10
Min Avg Max PBO Disabled - Tightest - EXPO1 0.0 0.5 4.0 PBO AMD - Tightest - EXPO1 0.0 0.5 6.0 OpenBenchmarking.org Percent, Fewer Is Better Z3 Theorem Prover 4.12.1 CPU Usage (CPU10) Monitor 3 6 9 12 15 CPU Usage (CPU11
Min Avg Max PBO Disabled - Tightest - EXPO1 0.0 12.0 100.0 PBO AMD - Tightest - EXPO1 0.0 25.8 100.0 OpenBenchmarking.org Percent, Fewer Is Better Z3 Theorem Prover 4.12.1 CPU Usage (CPU11) Monitor 20 40 60 80 100 CPU Usage (CPU12
Min Avg Max PBO Disabled - Tightest - EXPO1 0.0 0.5 4.0 PBO AMD - Tightest - EXPO1 0.0 0.6 5.9 OpenBenchmarking.org Percent, Fewer Is Better Z3 Theorem Prover 4.12.1 CPU Usage (CPU12) Monitor 2.15 4.3 6.45 8.6 10.75 CPU Usage (CPU13
Min Avg Max PBO Disabled - Tightest - EXPO1 0.0 1.3 14.0 PBO AMD - Tightest - EXPO1 0.0 0.6 6.0 OpenBenchmarking.org Percent, Fewer Is Better Z3 Theorem Prover 4.12.1 CPU Usage (CPU13) Monitor 5 10 15 20 25 CPU Usage (CPU14
Min Avg Max PBO Disabled - Tightest - EXPO1 0.0 0.4 3.9 PBO AMD - Tightest - EXPO1 0.0 0.6 7.7 OpenBenchmarking.org Percent, Fewer Is Better Z3 Theorem Prover 4.12.1 CPU Usage (CPU14) Monitor 3 6 9 12 15 CPU Usage (CPU15
Min Avg Max PBO Disabled - Tightest - EXPO1 0.0 2.0 8.0 PBO AMD - Tightest - EXPO1 0.0 6.5 13.7 OpenBenchmarking.org Percent, Fewer Is Better Z3 Theorem Prover 4.12.1 CPU Usage (CPU15) Monitor 5 10 15 20 25 CPU Usage (Summary
Min Avg Max PBO Disabled - Tightest - EXPO1 0.1 6.3 10.2 PBO AMD - Tightest - EXPO1 0.4 6.8 10.2 OpenBenchmarking.org Percent, Fewer Is Better Z3 Theorem Prover 4.12.1 CPU Usage (Summary) Monitor 4 8 12 16 20 GPU Memory Usage
OpenBenchmarking.org Megabytes, Fewer Is Better Z3 Theorem Prover 4.12.1 GPU Memory Usage Monitor PBO AMD - Tightest - EXPO1 130 260 390 520 650 513 GPU Power Consumption
Min Avg Max PBO Disabled - Tightest - EXPO1 17.1 18.4 22.0 PBO AMD - Tightest - EXPO1 17.6 18.9 22.1 OpenBenchmarking.org Watts, Fewer Is Better Z3 Theorem Prover 4.12.1 GPU Power Consumption Monitor 6 12 18 24 30 GPU Temp
OpenBenchmarking.org Celsius, Fewer Is Better Z3 Theorem Prover 4.12.1 GPU Temperature Monitor PBO AMD - Tightest - EXPO1 9 18 27 36 45 38.00 GPU Usage
Min Avg Max PBO Disabled - Tightest - EXPO1 2.0 8.4 12.0 PBO AMD - Tightest - EXPO1 4.0 10.1 15.0 OpenBenchmarking.org Percent, Fewer Is Better Z3 Theorem Prover 4.12.1 GPU Usage Monitor 5 10 15 20 25 Drive Read Speed (nvme1n1
Min Avg Max PBO Disabled - Tightest - EXPO1 0.0 0.3 8.5 PBO AMD - Tightest - EXPO1 0.0 1.0 13.0 OpenBenchmarking.org MB/s, Fewer Is Better Z3 Theorem Prover 4.12.1 Drive Read Speed (nvme1n1) Monitor 4 8 12 16 20 Drive Temp (sda
OpenBenchmarking.org Celsius, Fewer Is Better Z3 Theorem Prover 4.12.1 Drive Temperature (sda) Monitor PBO AMD - Tightest - EXPO1 8 16 24 32 40 30.85 Drive Temp (sdb
OpenBenchmarking.org Celsius, Fewer Is Better Z3 Theorem Prover 4.12.1 Drive Temperature (sdb) Monitor PBO AMD - Tightest - EXPO1 8 16 24 32 40 30.85 Drive Temp (sdc
OpenBenchmarking.org Celsius, Fewer Is Better Z3 Theorem Prover 4.12.1 Drive Temperature (sdc) Monitor PBO AMD - Tightest - EXPO1 8 16 24 32 40 30.85 Drive Temp (sdd
OpenBenchmarking.org Celsius, Fewer Is Better Z3 Theorem Prover 4.12.1 Drive Temperature (sdd) Monitor PBO AMD - Tightest - EXPO1 8 16 24 32 40 30.85 Drive Temp (nvme0n1
OpenBenchmarking.org Celsius, Fewer Is Better Z3 Theorem Prover 4.12.1 Drive Temperature (nvme0n1) Monitor PBO AMD - Tightest - EXPO1 8 16 24 32 40 30.85 Drive Temp (nvme1n1
OpenBenchmarking.org Celsius, Fewer Is Better Z3 Theorem Prover 4.12.1 Drive Temperature (nvme1n1) Monitor PBO AMD - Tightest - EXPO1 8 16 24 32 40 30.85 Drive Write Speed (nvme1n1
Min Avg Max PBO Disabled - Tightest - EXPO1 0.0 0.0 0.3 PBO AMD - Tightest - EXPO1 0.0 0.3 4.3 OpenBenchmarking.org MB/s, Fewer Is Better Z3 Theorem Prover 4.12.1 Drive Write Speed (nvme1n1) Monitor 1.362 2.724 4.086 5.448 6.81 Memory Usage
Min Avg Max PBO Disabled - Tightest - EXPO1 1930 2343 2568 PBO AMD - Tightest - EXPO1 1933 2350 2542 OpenBenchmarking.org Megabytes, Fewer Is Better Z3 Theorem Prover 4.12.1 Memory Usage Monitor 700 1400 2100 2800 3500 System Iowait
Min Avg Max PBO Disabled - Tightest - EXPO1 0.0 0.1 0.3 PBO AMD - Tightest - EXPO1 0.0 0.1 0.3 OpenBenchmarking.org Percent, Fewer Is Better Z3 Theorem Prover 4.12.1 System Iowait Monitor 0.0872 0.1744 0.2616 0.3488 0.436
Result
OpenBenchmarking.org Seconds, Fewer Is Better Z3 Theorem Prover 4.12.1 SMT File: 2.smt2 PBO Disabled - Tightest - EXPO1 PBO AMD - Tightest - EXPO1 8 16 24 32 40 SE +/- 0.04, N = 3 SE +/- 0.12, N = 3 32.75 32.81 1. (CXX) g++ options: -lpthread -std=c++17 -fvisibility=hidden -mfpmath=sse -msse -msse2 -O3 -fPIC CPU Fan Speed
Min Avg Max PBO Disabled - Tightest - EXPO1 758 1213 1348 PBO AMD - Tightest - EXPO1 838 1244 1376 OpenBenchmarking.org RPM, Fewer Is Better Z3 Theorem Prover 4.12.1 CPU Fan Speed Monitor 400 800 1200 1600 2000 CPU Freq (CPU0
Min Avg Max PBO Disabled - Tightest - EXPO1 600 1044 5496 PBO AMD - Tightest - EXPO1 600 1476 5505 OpenBenchmarking.org Megahertz, More Is Better Z3 Theorem Prover 4.12.1 CPU Frequency (CPU0) Monitor 1400 2800 4200 5600 7000 CPU Freq (CPU1
Min Avg Max PBO Disabled - Tightest - EXPO1 600 3005 5614 PBO AMD - Tightest - EXPO1 600 2774 5615 OpenBenchmarking.org Megahertz, More Is Better Z3 Theorem Prover 4.12.1 CPU Frequency (CPU1) Monitor 1400 2800 4200 5600 7000 CPU Freq (CPU2
Min Avg Max PBO Disabled - Tightest - EXPO1 600 1572 5612 PBO AMD - Tightest - EXPO1 600 1060 5586 OpenBenchmarking.org Megahertz, More Is Better Z3 Theorem Prover 4.12.1 CPU Frequency (CPU2) Monitor 1400 2800 4200 5600 7000 CPU Freq (CPU3
Min Avg Max PBO Disabled - Tightest - EXPO1 600 3222 5615 PBO AMD - Tightest - EXPO1 600 2622 5615 OpenBenchmarking.org Megahertz, More Is Better Z3 Theorem Prover 4.12.1 CPU Frequency (CPU3) Monitor 1400 2800 4200 5600 7000 CPU Freq (CPU4
Min Avg Max PBO Disabled - Tightest - EXPO1 600 1048 5561 PBO AMD - Tightest - EXPO1 600 1524 5605 OpenBenchmarking.org Megahertz, More Is Better Z3 Theorem Prover 4.12.1 CPU Frequency (CPU4) Monitor 1400 2800 4200 5600 7000 CPU Freq (CPU5
Min Avg Max PBO Disabled - Tightest - EXPO1 600 1320 5560 PBO AMD - Tightest - EXPO1 600 1786 5605 OpenBenchmarking.org Megahertz, More Is Better Z3 Theorem Prover 4.12.1 CPU Frequency (CPU5) Monitor 1400 2800 4200 5600 7000 CPU Freq (CPU6
Min Avg Max PBO Disabled - Tightest - EXPO1 600 1169 5474 PBO AMD - Tightest - EXPO1 600 998 5610 OpenBenchmarking.org Megahertz, More Is Better Z3 Theorem Prover 4.12.1 CPU Frequency (CPU6) Monitor 1400 2800 4200 5600 7000 CPU Freq (CPU7
Min Avg Max PBO Disabled - Tightest - EXPO1 600 1047 5562 PBO AMD - Tightest - EXPO1 600 2347 5607 OpenBenchmarking.org Megahertz, More Is Better Z3 Theorem Prover 4.12.1 CPU Frequency (CPU7) Monitor 1400 2800 4200 5600 7000 CPU Freq (CPU8
Min Avg Max PBO Disabled - Tightest - EXPO1 600 904 5460 PBO AMD - Tightest - EXPO1 600 1480 5594 OpenBenchmarking.org Megahertz, More Is Better Z3 Theorem Prover 4.12.1 CPU Frequency (CPU8) Monitor 1400 2800 4200 5600 7000 CPU Freq (CPU9
Min Avg Max PBO Disabled - Tightest - EXPO1 600 2078 5622 PBO AMD - Tightest - EXPO1 600 2237 5612 OpenBenchmarking.org Megahertz, More Is Better Z3 Theorem Prover 4.12.1 CPU Frequency (CPU9) Monitor 1400 2800 4200 5600 7000 CPU Freq (CPU10
Min Avg Max PBO Disabled - Tightest - EXPO1 600 1140 5612 PBO AMD - Tightest - EXPO1 600 1004 5618 OpenBenchmarking.org Megahertz, More Is Better Z3 Theorem Prover 4.12.1 CPU Frequency (CPU10) Monitor 1400 2800 4200 5600 7000 CPU Freq (CPU11
Min Avg Max PBO Disabled - Tightest - EXPO1 600 2290 5614 PBO AMD - Tightest - EXPO1 600 1695 5615 OpenBenchmarking.org Megahertz, More Is Better Z3 Theorem Prover 4.12.1 CPU Frequency (CPU11) Monitor 1400 2800 4200 5600 7000 CPU Freq (CPU12
Min Avg Max PBO Disabled - Tightest - EXPO1 600 831 5557 PBO AMD - Tightest - EXPO1 600 1204 5618 OpenBenchmarking.org Megahertz, More Is Better Z3 Theorem Prover 4.12.1 CPU Frequency (CPU12) Monitor 1400 2800 4200 5600 7000 CPU Freq (CPU13
Min Avg Max PBO Disabled - Tightest - EXPO1 600 977 5591 PBO AMD - Tightest - EXPO1 600 1253 5502 OpenBenchmarking.org Megahertz, More Is Better Z3 Theorem Prover 4.12.1 CPU Frequency (CPU13) Monitor 1400 2800 4200 5600 7000 CPU Freq (CPU14
Min Avg Max PBO Disabled - Tightest - EXPO1 600 817 4874 PBO AMD - Tightest - EXPO1 600 702 2755 OpenBenchmarking.org Megahertz, More Is Better Z3 Theorem Prover 4.12.1 CPU Frequency (CPU14) Monitor 1200 2400 3600 4800 6000 CPU Freq (CPU15
Min Avg Max PBO Disabled - Tightest - EXPO1 600 702 3966 PBO AMD - Tightest - EXPO1 600 844 5603 OpenBenchmarking.org Megahertz, More Is Better Z3 Theorem Prover 4.12.1 CPU Frequency (CPU15) Monitor 1400 2800 4200 5600 7000 CPU Peak Freq (Highest CPU Core Frequency
Min Avg Max PBO Disabled - Tightest - EXPO1 4828 5517 5622 PBO AMD - Tightest - EXPO1 5029 5523 5620 OpenBenchmarking.org Megahertz, More Is Better Z3 Theorem Prover 4.12.1 CPU Peak Freq (Highest CPU Core Frequency) Monitor 1400 2800 4200 5600 7000 CPU Temp
Min Avg Max PBO Disabled - Tightest - EXPO1 44.6 59.1 64.6 PBO AMD - Tightest - EXPO1 46.8 59.6 65.3 OpenBenchmarking.org Celsius, Fewer Is Better Z3 Theorem Prover 4.12.1 CPU Temperature Monitor 20 40 60 80 100 CPU Usage (CPU0
Min Avg Max PBO Disabled - Tightest - EXPO1 0.0 0.8 6.1 PBO AMD - Tightest - EXPO1 0.0 1.1 8.0 OpenBenchmarking.org Percent, Fewer Is Better Z3 Theorem Prover 4.12.1 CPU Usage (CPU0) Monitor 3 6 9 12 15 CPU Usage (CPU1
Min Avg Max PBO Disabled - Tightest - EXPO1 0.0 10.6 100.0 PBO AMD - Tightest - EXPO1 0.0 22.6 100.0 OpenBenchmarking.org Percent, Fewer Is Better Z3 Theorem Prover 4.12.1 CPU Usage (CPU1) Monitor 20 40 60 80 100 CPU Usage (CPU2
Min Avg Max PBO Disabled - Tightest - EXPO1 0.0 1.0 7.8 PBO AMD - Tightest - EXPO1 0.0 0.9 8.0 OpenBenchmarking.org Percent, Fewer Is Better Z3 Theorem Prover 4.12.1 CPU Usage (CPU2) Monitor 3 6 9 12 15 CPU Usage (CPU3
Min Avg Max PBO Disabled - Tightest - EXPO1 0.0 39.2 100.0 PBO AMD - Tightest - EXPO1 0.0 26.0 100.0 OpenBenchmarking.org Percent, Fewer Is Better Z3 Theorem Prover 4.12.1 CPU Usage (CPU3) Monitor 20 40 60 80 100 CPU Usage (CPU4
Min Avg Max PBO Disabled - Tightest - EXPO1 0.0 1.3 12.2 PBO AMD - Tightest - EXPO1 0.0 1.4 7.8 OpenBenchmarking.org Percent, Fewer Is Better Z3 Theorem Prover 4.12.1 CPU Usage (CPU4) Monitor 4 8 12 16 20 CPU Usage (CPU5
Min Avg Max PBO Disabled - Tightest - EXPO1 0.0 2.5 16.0 PBO AMD - Tightest - EXPO1 0.0 2.9 16.3 OpenBenchmarking.org Percent, Fewer Is Better Z3 Theorem Prover 4.12.1 CPU Usage (CPU5) Monitor 5 10 15 20 25 CPU Usage (CPU6
Min Avg Max PBO Disabled - Tightest - EXPO1 0.0 0.7 6.0 PBO AMD - Tightest - EXPO1 0.0 0.4 3.9 OpenBenchmarking.org Percent, Fewer Is Better Z3 Theorem Prover 4.12.1 CPU Usage (CPU6) Monitor 3 6 9 12 15 CPU Usage (CPU7
Min Avg Max PBO Disabled - Tightest - EXPO1 0.0 2.6 10.0 PBO AMD - Tightest - EXPO1 0.0 6.4 13.2 OpenBenchmarking.org Percent, Fewer Is Better Z3 Theorem Prover 4.12.1 CPU Usage (CPU7) Monitor 4 8 12 16 20 CPU Usage (CPU8
Min Avg Max PBO Disabled - Tightest - EXPO1 0.0 0.6 10.0 PBO AMD - Tightest - EXPO1 0.0 1.1 7.8 OpenBenchmarking.org Percent, Fewer Is Better Z3 Theorem Prover 4.12.1 CPU Usage (CPU8) Monitor 4 8 12 16 20 CPU Usage (CPU9
Min Avg Max PBO Disabled - Tightest - EXPO1 0.0 22.2 100.0 PBO AMD - Tightest - EXPO1 0.0 31.0 100.0 OpenBenchmarking.org Percent, Fewer Is Better Z3 Theorem Prover 4.12.1 CPU Usage (CPU9) Monitor 20 40 60 80 100 CPU Usage (CPU10
Min Avg Max PBO Disabled - Tightest - EXPO1 0.0 0.4 6.0 PBO AMD - Tightest - EXPO1 0.0 0.5 5.8 OpenBenchmarking.org Percent, Fewer Is Better Z3 Theorem Prover 4.12.1 CPU Usage (CPU10) Monitor 3 6 9 12 15 CPU Usage (CPU11
Min Avg Max PBO Disabled - Tightest - EXPO1 0.0 27.3 100.0 PBO AMD - Tightest - EXPO1 0.0 20.0 100.0 OpenBenchmarking.org Percent, Fewer Is Better Z3 Theorem Prover 4.12.1 CPU Usage (CPU11) Monitor 20 40 60 80 100 CPU Usage (CPU12
Min Avg Max PBO Disabled - Tightest - EXPO1 0.0 0.3 4.0 PBO AMD - Tightest - EXPO1 0.0 0.6 6.0 OpenBenchmarking.org Percent, Fewer Is Better Z3 Theorem Prover 4.12.1 CPU Usage (CPU12) Monitor 3 6 9 12 15 CPU Usage (CPU13
Min Avg Max PBO Disabled - Tightest - EXPO1 0.0 0.8 14.3 PBO AMD - Tightest - EXPO1 0.0 0.9 5.9 OpenBenchmarking.org Percent, Fewer Is Better Z3 Theorem Prover 4.12.1 CPU Usage (CPU13) Monitor 5 10 15 20 25 CPU Usage (CPU14
Min Avg Max PBO Disabled - Tightest - EXPO1 0.0 0.5 4.0 PBO AMD - Tightest - EXPO1 0.0 0.4 3.9 OpenBenchmarking.org Percent, Fewer Is Better Z3 Theorem Prover 4.12.1 CPU Usage (CPU14) Monitor 1.125 2.25 3.375 4.5 5.625 CPU Usage (CPU15
Min Avg Max PBO Disabled - Tightest - EXPO1 0.0 0.5 6.0 PBO AMD - Tightest - EXPO1 0.0 0.6 9.8 OpenBenchmarking.org Percent, Fewer Is Better Z3 Theorem Prover 4.12.1 CPU Usage (CPU15) Monitor 4.42 8.84 13.26 17.68 22.1 CPU Usage (Summary
Min Avg Max PBO Disabled - Tightest - EXPO1 0.3 7.0 10.0 PBO AMD - Tightest - EXPO1 0.3 7.3 10.5 OpenBenchmarking.org Percent, Fewer Is Better Z3 Theorem Prover 4.12.1 CPU Usage (Summary) Monitor 4 8 12 16 20 GPU Memory Usage
OpenBenchmarking.org Megabytes, Fewer Is Better Z3 Theorem Prover 4.12.1 GPU Memory Usage Monitor PBO AMD - Tightest - EXPO1 110 220 330 440 550 513 GPU Power Consumption
Min Avg Max PBO Disabled - Tightest - EXPO1 16.9 18.2 21.2 PBO AMD - Tightest - EXPO1 17.5 18.7 21.9 OpenBenchmarking.org Watts, Fewer Is Better Z3 Theorem Prover 4.12.1 GPU Power Consumption Monitor 6 12 18 24 30 GPU Temp
OpenBenchmarking.org Celsius, Fewer Is Better Z3 Theorem Prover 4.12.1 GPU Temperature Monitor PBO AMD - Tightest - EXPO1 9 18 27 36 45 38.00 GPU Usage
Min Avg Max PBO Disabled - Tightest - EXPO1 2.0 8.5 13.0 PBO AMD - Tightest - EXPO1 4.0 10.5 15.0 OpenBenchmarking.org Percent, Fewer Is Better Z3 Theorem Prover 4.12.1 GPU Usage Monitor 5 10 15 20 25 Drive Read Speed (nvme1n1
Min Avg Max PBO Disabled - Tightest - EXPO1 0.0 0.0 0.3 PBO AMD - Tightest - EXPO1 0.0 0.3 6.9 OpenBenchmarking.org MB/s, Fewer Is Better Z3 Theorem Prover 4.12.1 Drive Read Speed (nvme1n1) Monitor 3 6 9 12 15 Drive Temp (sda
OpenBenchmarking.org Celsius, Fewer Is Better Z3 Theorem Prover 4.12.1 Drive Temperature (sda) Monitor PBO AMD - Tightest - EXPO1 8 16 24 32 40 30.85 Drive Temp (sdb
OpenBenchmarking.org Celsius, Fewer Is Better Z3 Theorem Prover 4.12.1 Drive Temperature (sdb) Monitor PBO AMD - Tightest - EXPO1 8 16 24 32 40