Ramon benchmark for Z3
-
Job description: 
Job tag: qf-nia-small-pr9391-sandwich
Runner: rise-runner-1
Z3 repo: Z3Prover/z3
Z3 commit: 63003b5795b4188693b515cf06a5eb2b2bc084ee
Z3 branch: master
Z3 options: "-T:30 smt.arith.nl.monomial_sandwich=true"
Z3 inputs: inputs/QF_NIA_small
Z3 commit message: convert z3_exception to tactic exception in try_for

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
