z3-1.0.0-O3\nz3-1.0.0-O3\nz3-1.0.0-O3
2 x Intel Xeon E5-2620 v2 testing with a ASUS Z9PE-D8 WS (5503 BIOS) and ASPEED on CentOS Stream 9 via the Phoronix Test Suite.
HTML result view exported from: https://openbenchmarking.org/result/2403187-NE-Z3100O3NZ46&grt.
Z3 Theorem Prover
SMT File: 1.smt2
Z3 Theorem Prover
SMT File: 2.smt2
Phoronix Test Suite v10.8.5