2 x AMD EPYC 7773X 64-Core testing with a AMD DAYTONA_X (RYM1009B BIOS) and ASPEED on Ubuntu 22.04 via the Phoronix Test Suite.
Compare your own system(s) to this result file with the
Phoronix Test Suite by running the command:
phoronix-test-suite benchmark 2305105-NE-Z3MILANX445
z3 milan x,
"Z3 Theorem Prover 4.12.1 - SMT File: 2.smt2",
Lower Results Are Better
"a",77.092,75.913,76.416
"b",77.006,76.702,76.804
"c",75.913,75.799,75.579
"d",76.296,75.744,75.71
"e",75.758,75.423,75.937
"Z3 Theorem Prover 4.12.1 - SMT File: 1.smt2",
Lower Results Are Better
"a",23.403,23.202,23.326
"b",23.475,23.301,23.374
"c",23.09,23.211,23.182
"d",23.151,23.27,23.17
"e",23.4,22.907,23.095