Ramon benchmark for Z3
-
Job description: 
Job tag: smt_qflia-sequential
Runner: lev-ripper
Z3 repo: Z3Prover/z3
Z3 commit: d5e021607029f3207d2964d2e7ac63e9378aa621
Z3 branch: master
Z3 options: "-T:30 smt.threads=1 tactic.default_tactic=smt smt.auto_config.false smt_parallel.inprocessing=false"
Z3 inputs: inputs/QF_LIA
Z3 commit message: Revert "Merge pull request #8190 from Z3Prover/copilot/fix-std-format-usage"

This reverts commit d9bdb6b83cf86085121a3bebddd7554bb48f0212, reversing
changes made to 8b188621a5c53db63beb0bdf5391d327cc5d4a90.
