z3-1.0.0-fignore-pure-const-attrs

z3-1.0.0-fignore-pure-const-attrs

Compare your own system(s) to this result file with the Phoronix Test Suite by running the command: phoronix-test-suite benchmark 2408275-NE-Z3100FIGN91
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-fignore-pure-const-attrs
August 27
  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-fignore-pure-const-attrs, "Z3 Theorem Prover 4.12.1 - SMT File: 2.smt2", Lower Results Are Better "z3-1.0.0-fignore-pure-const-attrs",72.166,72.164,72.241 "Z3 Theorem Prover 4.12.1 - SMT File: 1.smt2", Lower Results Are Better "z3-1.0.0-fignore-pure-const-attrs",43.386,40.587,40.572,40.609,40.608,40.644,40.684,40.622,40.566,40.624,40.623,40.606,40.657