Compare your own system(s) to this result file with the
Phoronix Test Suite by running the command:
phoronix-test-suite benchmark 2408267-NE-Z3100FWRA21
z3-1.0.0-fwrapv,
"Z3 Theorem Prover 4.12.1 - SMT File: 2.smt2",
Lower Results Are Better
"z3-1.0.0-fwrapv",72.037,71.973,72.061
"Z3 Theorem Prover 4.12.1 - SMT File: 1.smt2",
Lower Results Are Better
"z3-1.0.0-fwrapv",43.271,40.673,40.678,40.666,40.724,40.743,40.659,40.711,40.699,40.684,40.718,40.691,40.701