Compare your own system(s) to this result file with the
Phoronix Test Suite by running the command:
phoronix-test-suite benchmark 2403181-NE-Z3100ALL416
z3-1.0.0-all,
"Z3 Theorem Prover 4.12.1 - SMT File: 1.smt2",
Lower Results Are Better
"z3-1.0.0-all",34.529,33.792,33.7
"Z3 Theorem Prover 4.12.1 - SMT File: 2.smt2",
Lower Results Are Better
"z3-1.0.0-all",54.338,54.173,53.13