z3-1.0.0-fdrop-noalias-restrict-attr

z3-1.0.0-fdrop-noalias-restrict-attr

Compare your own system(s) to this result file with the Phoronix Test Suite by running the command: phoronix-test-suite benchmark 2408136-NE-Z3100FDRO97
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-fdrop-noalias-restrict-attr
August 13
  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-fdrop-noalias-restrict-attr z3-1.0.0-fdrop-noalias-restrict-attr ,,"z3-1.0.0-fdrop-noalias-restrict-attr" Processor,,2 x AMD EPYC 9J14 96-Core @ 2.60GHz (192 Cores) Motherboard,,Oracle Asm MB+Tray E5-2c (83040400 BIOS) Chipset,,AMD Device 14a4 Memory,,2272GB Disk,,215GB BlockVolume Graphics,,ASPEED Network,,2 x Mellanox MT2892 OS,,Ubuntu 22.04 Kernel,,6.5.0-1026-oracle (x86_64) Vulkan,,1.3.255 Compiler,,GCC 11.4.0 File-System,,ext4 Screen Resolution,,1024x768 ,,"z3-1.0.0-fdrop-noalias-restrict-attr" "Z3 Theorem Prover - SMT File: 2.smt2 (sec)",LIB,32.457 "Z3 Theorem Prover - SMT File: 1.smt2 (sec)",LIB,19.757