Ramon benchmark for Z3
-
Job description: gcd with copilot on QF_NIA_small
Job tag: gcd_copilot_inf
Runner: lev-ripper
Z3 repo: Z3Prover/z3
Z3 commit: fe2ceab7b5bfacc9d3b242648dd5124f3c910beb
Z3 branch: copilot/add-gcd-algorithms-multivariate-polynomials
Z3 options: "-T:200 "
Z3 inputs: inputs/QF_NIA_small
Z3 commit message: Address code review: rename r_val->r, add comment for <= 0 break condition

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