5900hx z3
AMD Ryzen 9 5900HX testing with a ASUS G513QY v1.0 (G513QY.318 BIOS) and ASUS AMD Cezanne 512MB on Ubuntu 22.10 via the Phoronix Test Suite.
HTML result view exported from: https://openbenchmarking.org/result/2305052-PTS-5900HXZ308&sor&grs.
Z3 Theorem Prover
SMT File: 1.smt2
Z3 Theorem Prover
SMT File: 2.smt2
Phoronix Test Suite v10.8.5