Ramon benchmark for Z3
-
Job description: 
Job tag: smt-p
Runner: lev-ripper
Z3 repo: ilanashapiro/z3
Z3 commit: e6213f8b04e3c03819051e92b6a5462ad9bd0d64
Z3 branch: 
Z3 options: "-T:60 smt.threads=4"
Z3 inputs: inputs/QF_NIA_small
Z3 commit message: fix bug
