zz
AMD Ryzen 7 6800U testing with a System76 Pangolin (ARB928_V00.01_T0022ASY6_ms BIOS) and AMD Rembrandt 512MB on Pop 22.04 via the Phoronix Test Suite.
HTML result view exported from: https://openbenchmarking.org/result/2305058-NE-ZZ294123386&grs&rdt.
Z3 Theorem Prover
SMT File: 1.smt2
Z3 Theorem Prover
SMT File: 2.smt2
Phoronix Test Suite v10.8.5