Ramon benchmark for Z3
-
Job description: 
Job tag: smt-grobner-gcd-test
Runner: lev-ripper
Z3 repo: Z3Prover/z3
Z3 commit: a382ddbd8ab84ac7d7955644c7e8235382ca91a7
Z3 branch: 
Z3 options: "-T:30 smt.arith.nl.grobner_gcd_test=true"
Z3 inputs: inputs/QF_NIA_small
Z3 commit message: add rewrite for mod over negation, refine axioms for grobner quotients
