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: 5644fbf464b19eb0160e2be92675b8691923c1af
Z3 branch: copilot/add-gcd-algorithms-multivariate-polynomials
Z3 options: "-T:200 "
Z3 inputs: inputs/QF_NIA_small
Z3 commit message: Address code review: O(1) var lookup, remove redundant check, reorder tests

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