z3 0905
2 x Intel Xeon Gold 6248 testing with a Dell PowerEdge R740xd 0WXD1Y (2.21.2 BIOS) and Matrox G200eW3 on Ubuntu 24.04 via the Phoronix Test Suite.
HTML result view exported from: https://openbenchmarking.org/result/2409053-NE-Z3090592428&grw.
Z3 Theorem Prover
SMT File: 2.smt2
Z3 Theorem Prover
SMT File: 1.smt2
Phoronix Test Suite v10.8.5