z3-1.0.0-fwrapv

z3-1.0.0-fwrapv

Compare your own system(s) to this result file with the Phoronix Test Suite by running the command: phoronix-test-suite benchmark 2407136-NE-Z3100FWRA75
Jump To Table - Results

Statistics

Remove Outliers Before Calculating Averages

Graph Settings

Prefer Vertical Bar Graphs

Multi-Way Comparison

Condense Multi-Option Tests Into Single Result Graphs

Table

Show Detailed System Result Table

Run Management

Result
Identifier
Performance Per
Dollar
Date
Run
  Test
  Duration
z3-1.0.0-fwrapv
July 13
  11 Minutes
Only show results matching title/arguments (delimit multiple options with a comma):
Do not show results matching title/arguments (delimit multiple options with a comma):

z3-1.0.0-fwrapv

Processor: ARMv8 Neoverse-N1 @ 3.00GHz (160 Cores), Motherboard: Oracle TLA MB TRAY A1-2c (77015500 BIOS), Memory: 1008GB, Disk: 215GB BlockVolume, Graphics: mgag200drmfb

OS: Ubuntu 22.04, Kernel: 6.5.0-1025-oracle (aarch64), Vulkan: 1.3.255, Compiler: GCC 11.4.0, File-System: ext4, Screen Resolution: 1024x768

Kernel Notes: libiscsi.debug_libiscsi_eh=1 - Transparent Huge Pages: madvise
Processor Notes: Scaling Governor: cppc_cpufreq performance (Boost: Disabled)
Python Notes: Python 3.10.12
Security Notes: gather_data_sampling: Not affected + itlb_multihit: Not affected + l1tf: Not affected + mds: Not affected + meltdown: Not affected + mmio_stale_data: Not affected + retbleed: Not affected + spec_rstack_overflow: Not affected + spec_store_bypass: Mitigation of SSB disabled via prctl + spectre_v1: Mitigation of __user pointer sanitization + spectre_v2: Mitigation of CSV2 BHB + srbds: Not affected + tsx_async_abort: Not affected

z3-1.0.0-fwrapvOpenBenchmarking.orgPhoronix Test SuiteARMv8 Neoverse-N1 @ 3.00GHz (160 Cores)Oracle TLA MB TRAY A1-2c (77015500 BIOS)1008GB215GB BlockVolumemgag200drmfbUbuntu 22.046.5.0-1025-oracle (aarch64)1.3.255GCC 11.4.0ext41024x768ProcessorMotherboardMemoryDiskGraphicsOSKernelVulkanCompilerFile-SystemScreen ResolutionZ3-1.0.0-fwrapv BenchmarksSystem Logs- libiscsi.debug_libiscsi_eh=1 - Transparent Huge Pages: madvise - Scaling Governor: cppc_cpufreq performance (Boost: Disabled) - Python 3.10.12- gather_data_sampling: Not affected + itlb_multihit: Not affected + l1tf: Not affected + mds: Not affected + meltdown: Not affected + mmio_stale_data: Not affected + retbleed: Not affected + spec_rstack_overflow: Not affected + spec_store_bypass: Mitigation of SSB disabled via prctl + spectre_v1: Mitigation of __user pointer sanitization + spectre_v2: Mitigation of CSV2 BHB + srbds: Not affected + tsx_async_abort: Not affected

Z3 Theorem Prover

The Z3 Theorem Prover / SMT solver is developed by Microsoft Research under the MIT license. Learn more via the OpenBenchmarking.org test page.

OpenBenchmarking.orgSeconds, Fewer Is BetterZ3 Theorem Prover 4.12.1SMT File: 1.smt2z3-1.0.0-fwrapv816243240SE +/- 0.14, N = 1335.39

OpenBenchmarking.orgSeconds, Fewer Is BetterZ3 Theorem Prover 4.12.1SMT File: 2.smt2z3-1.0.0-fwrapv1326395265SE +/- 0.03, N = 356.59

z3-1.0.0-fwrapv

Processor: ARMv8 Neoverse-N1 @ 3.00GHz (160 Cores), Motherboard: Oracle TLA MB TRAY A1-2c (77015500 BIOS), Memory: 1008GB, Disk: 215GB BlockVolume, Graphics: mgag200drmfb

OS: Ubuntu 22.04, Kernel: 6.5.0-1025-oracle (aarch64), Vulkan: 1.3.255, Compiler: GCC 11.4.0, File-System: ext4, Screen Resolution: 1024x768

Kernel Notes: libiscsi.debug_libiscsi_eh=1 - Transparent Huge Pages: madvise
Processor Notes: Scaling Governor: cppc_cpufreq performance (Boost: Disabled)
Python Notes: Python 3.10.12
Security Notes: gather_data_sampling: Not affected + itlb_multihit: Not affected + l1tf: Not affected + mds: Not affected + meltdown: Not affected + mmio_stale_data: Not affected + retbleed: Not affected + spec_rstack_overflow: Not affected + spec_store_bypass: Mitigation of SSB disabled via prctl + spectre_v1: Mitigation of __user pointer sanitization + spectre_v2: Mitigation of CSV2 BHB + srbds: Not affected + tsx_async_abort: Not affected

Testing initiated at 13 July 2024 09:34 by user ubuntu.