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 2408267-NE-Z3100FWRA21
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
View Logs
Performance Per
Dollar
Date
Run
  Test
  Duration
z3-1.0.0-fwrapv
August 26
  13 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 z3-1.0.0-fwrapv z3-1.0.0-fwrapv: Processor: ARMv8 Neoverse-N1 @ 2.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-1026-oracle (aarch64), Vulkan: 1.3.255, Compiler: GCC 11.4.0, File-System: ext4, Screen Resolution: 1024x768 Z3 Theorem Prover 4.12.1 SMT File: 1.smt2 Seconds < Lower Is Better z3-1.0.0-fwrapv . 40.89 |====================================================== Z3 Theorem Prover 4.12.1 SMT File: 2.smt2 Seconds < Lower Is Better z3-1.0.0-fwrapv . 72.02 |======================================================