z3-1.0.0-O3\nz3-1.0.0-O3\nz3-1.0.0-O3

2 x Intel Xeon E5-2620 v2 testing with a ASUS Z9PE-D8 WS (5503 BIOS) and ASPEED on CentOS Stream 9 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 2403166-NE-Z3100O3NZ85
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
2 x Intel Xeon E5-2620 v2
March 16
  7 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-O3\nz3-1.0.0-O3\nz3-1.0.0-O3 Suite 1.0.0 System Test suite extracted from z3-1.0.0-O3\nz3-1.0.0-O3\nz3-1.0.0-O3. pts/z3-1.0.0 2.smt2 SMT File: 2.smt2 pts/z3-1.0.0 1.smt2 SMT File: 1.smt2