Ramon benchmark for Z3
-
Job description: 
Job tag: qf-nia-small-master-sandwich
Runner: rise-runner-1
Z3 repo: Z3Prover/z3
Z3 commit: 245c117aba4a01204e5b11461eede16161843314
Z3 branch: master
Z3 options: "-T:30 smt.arith.nl.monomial_sandwich=true"
Z3 inputs: inputs/QF_NIA_small
Z3 commit message: simplify: replace ad-hoc reset_unsafe RAII with on_scope_exit in solve_eqs::reduce() (#9383)

* Initial plan

* simplify: replace reset_unsafe RAII struct with on_scope_exit in solve_eqs::reduce()

Agent-Logs-Url: https://github.com/Z3Prover/z3/sessions/ff5650aa-02db-4a71-976f-845debd7222f

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>

---------

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