Ramon benchmark for SMTS
-
Job description: 
Job tag: smts-qflia-onefile-o8-debug-20260403b
Runner: rise-runner-2
SMTS repo: usi-verification-and-security/SMTS
SMTS commit: 33750b9094495eb1b86c1d7b796a0340ccf03822
SMTS branch: master
SMTS options: "-o 8 -pt 10 -nt 5 -p -l"
SMTS timeout: 30
SMTS inputs: inputs/QF_LIA/n6468-problem_2__034.smt2
SMTS commit message: Reduced number of building cores in CircleCI
