Ramon benchmark for Z3
-
Job description: 
Job tag: gen-patch-mariposa-sc
Runner: rise-runner-1
Z3 repo: CanCebeci/z3
Z3 commit: aec453eb9bad24f44f4f6101b46004389bd16bb0
Z3 branch: master
Z3 options: "%OPTIONS2%"
Z3 inputs: inputs/mariposa/stable_core
Z3 commit message: Enforce stickiness of max-generation
