z3-1.0.0-Xclang-no-enable-noundef-analysis

z3-1.0.0-Xclang-no-enable-noundef-analysis

Compare your own system(s) to this result file with the Phoronix Test Suite by running the command: phoronix-test-suite benchmark 2403170-NE-Z3100XCLA07
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-Xclang-no-enable-noundef-analysis
March 17
  5 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-Xclang-no-enable-noundef-analysis z3-1.0.0-Xclang-no-enable-noundef-analysis ,,"z3-1.0.0-Xclang-no-enable-noundef-analysis" Processor,,Intel Core i5-10500 @ 3.10GHz (6 Cores) Motherboard,,Dell 0NDYHG (1.25.0 BIOS) Chipset,,Intel Tiger Lake-H Memory,,8GB Disk,,PC SN730 NVMe WDC 256GB + 1000GB MB001000GWFGF + 0GB SD Card Reader Graphics,,Intel CometLake-S GT2 [UHD 630] (1150MHz) Audio,,Realtek ALC3246 Network,,Intel OS,,Debian 12 Kernel,,6.1.0-13-amd64 (x86_64) Display Server,,X Server 1.21.1.7 Compiler,,GCC 12.2.0 File-System,,ext4 ,,"z3-1.0.0-Xclang-no-enable-noundef-analysis" "Z3 Theorem Prover - SMT File: 1.smt2 (sec)",LIB,30.984 "Z3 Theorem Prover - SMT File: 2.smt2 (sec)",LIB,49.654