Ramon benchmark for Z3
-
Job description: gcd with copilot on QF_NIA
Job tag: gcd_copilot
Runner: lev-ripper
Z3 repo: Z3Prover/z3
Z3 commit: d94b2ceac54a234c626f887aad4f0a29607ec69b
Z3 branch: copilot/add-gcd-algorithms-multivariate-polynomials
Z3 options: "-T:200 smt.random_seed=68"
Z3 inputs: inputs/QF_NIA_small
Z3 commit message: Revert multivariate polynomial GCDheu changes, keep integer Lehmer GCD improvement

Co-authored-by: levnach <5377127+levnach@users.noreply.github.com>
