Ramon benchmark for Z3
-
Job description: master on QF_NIA_small
Job tag: master_on_QF_NIA_small
Runner: lev-ripper
Z3 repo: Z3Prover/z3
Z3 commit: 9f91380b7dbdb7e608ab5a51c19f4940e5396f04
Z3 branch: master
Z3 options: "-T:200"
Z3 inputs: inputs/QF_NIA_small
Z3 commit message: next release notes

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