Ramon benchmark for SMTS
-
Job description: 
Job tag: SMTS_opensmt-threads-8-smtcomp2025-QF_LIA-timeout_20min
Runner: rise-runner-2
SMTS repo: ilanashapiro/SMTS
SMTS commit: 6fbca23b525b880620030507e997cbbe14ae1a90
SMTS branch: master
SMTS options: "-o 8 -p -l"
SMTS solver mode: opensmt
SMTS timeout: 1200
SMTS inputs: inputs/smt_comp_2025_parallel/QF_LIA
SMTS commit message: fix more semantic bugs between SMTS+Z3 and the original SMTS+OpenSMT2
