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
z3-1.0.0-fdrop-noalias-restrict-attr Suite1.0.0SystemTest suite extracted from z3-1.0.0-fdrop-noalias-restrict-attr.pts/z3-1.0.02.smt2SMT File: 2.smt2pts/z3-1.0.01.smt2SMT File: 1.smt2