Ramon benchmark for Z3
-
Job description: gcd with copilot on QF_NIA
Job tag: gcd_copilot_inf
Runner: lev-ripper
Z3 repo: Z3Prover/z3
Z3 commit: 04f57f9a03c3b4eb936b73e9e49224ca4b5d1eb0
Z3 branch: copilot/add-gcd-algorithms-multivariate-polynomials
Z3 options: "-T:200 "
Z3 inputs: inputs/QF_NIA_small
Z3 commit message: Fix GCDheu: use L∞ norm for xi, skip univariate, add bit-size safety limit

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