Ramon benchmark for AriParti
-
Job description: 
Job tag: smt-sls
Runner: lev-ripper
AriParti repo: shaowei-cai-group/AriParti
AriParti commit: 8f131f9ccdfff7303fa29d9eb28f5cd893c170d7
AriParti branch: main
AriParti options: "--ariparti-solver=bin/cvc5-base --ariparti-time-limit=30 --ariparti-max-running-tasks=4"
AriParti inputs: inputs/QF_LIA
AriParti commit message: docs: updated 'Cite This Work' section in README with official citation.
