Compare your own system(s) to this result file with the
Phoronix Test Suite by running the command:
phoronix-test-suite benchmark 2408258-NE-Z3100BASE88
z3-1.0.0-base,
"Z3 Theorem Prover 4.12.1 - SMT File: 2.smt2",
Lower Results Are Better
"z3-1.0.0-base",71.983,72.002,72.042
"Z3 Theorem Prover 4.12.1 - SMT File: 1.smt2",
Lower Results Are Better
"z3-1.0.0-base",43.017,40.579,40.519,40.582,40.524,40.525,40.522,40.598,40.516,40.554,40.518,40.572,40.561