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,
"Z3 Theorem Prover 4.12.1 - SMT File: 2.smt2",
Lower Results Are Better
"z3-1.0.0-fdrop-noalias-restrict-attr",32.497,32.479,32.395
"Z3 Theorem Prover 4.12.1 - SMT File: 1.smt2",
Lower Results Are Better
"z3-1.0.0-fdrop-noalias-restrict-attr",23.478,19.403,19.495,19.549,19.377,19.414,19.431,19.585,19.42,19.506,19.583,19.402,19.513,19.443