Ramon benchmark for Z3
-
Job description: the default frequency of calls to patch_basic_columns
Job tag: patch_every_time
Runner: lev-ripper
Z3 repo: Z3Prover/z3
Z3 commit: 3e2027ec110634699015fa8d4b98767c787888ff
Z3 branch: master
Z3 options: "-T:200 lp.int_patch_period=1 smt.random_seed=126"
Z3 inputs: inputs/QF_LIA
Z3 commit message: try fixed int patch period

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
