Ramon benchmark for Z3
-
Job description: 
Job tag: qf-nia-small-master-sw-tb-adaptive
Runner: rise-runner-1
Z3 repo: Z3Prover/z3
Z3 commit: b9109f031e64f6ab2e3faf4b795968e6f2c0ef4d
Z3 branch: master
Z3 options: "-T:30 smt.arith.nl.monomial_sandwich=true smt.arith.nl.tangents.box_corners=true smt.arith.nl.grobner_adaptive=true"
Z3 inputs: inputs/QF_NIA_small
Z3 commit message: Update RELEASE_NOTES.md with entries from discussion #9430 for Version 4.17.0 (#9433)

Agent-Logs-Url: https://github.com/Z3Prover/z3/sessions/a1dbb69c-b535-444b-92cb-07f0eecd0a65

Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
