Ramon benchmark for Z3
-
Job description: 
Job tag: smt_qfnia_small_withbackoff_singlethread
Runner: lev-ripper
Z3 repo: ilanashapiro/z3
Z3 commit: bba1111e1b11cd14c0e266af6c5b0bd549f081a6
Z3 branch: 
Z3 options: "smt.threads=0 tactic.default_tactic=smt -T:30"
Z3 inputs: inputs/QF_NIA_small
Z3 commit message: resolve bug about not popping local ctx to base level before collecting shared lits
