Ramon benchmark for Z3
-
Job description: correct handling of add all coeffs mode
Job tag: fix_nlsat_explain_nia_small
Runner: lev-ripper
Z3 repo: Z3Prover/z3
Z3 commit: a1cab09c1c53afb4aab97266daaf8f9840c5f2fa
Z3 branch: master
Z3 options: "-T:200"
Z3 inputs: inputs/QF_NIA_small
Z3 commit message: Merge pull request #8547 from Z3Prover/copilot/update-readme-status-badges

Remove non-existent ocaml-all.yaml badge from README Build status table
