Ramon benchmark for SMTS
-
Job description: 
Job tag: SMTS_z3-threads-8-smtcomp2025-QF_LIA-test
Runner: rise-runner-2
SMTS repo: ilanashapiro/SMTS
SMTS commit: bd82256ff952d2c8d799b038a0faa343d2805eb2
SMTS branch: master
SMTS options: "-oz 8 -p -l"
SMTS solver mode: z3
SMTS timeout: 61
SMTS inputs: inputs/smt_comp_2025_parallel/QF_LIA
SMTS commit message: wire OpenSMTZ3 hybrid solver into server launcher
