Ramon benchmark for Z3
-
Job description: no lws
Job tag: lws_no_rs
Runner: lev-ripper
Z3 repo: Z3Prover/z3
Z3 commit: 879bc4cf7308396cc0a0fc0fb5d0b0a2fe72c3d0
Z3 branch: lws
Z3 options: "-T:200 nlsat.lws=false smt.random_seed=7"
Z3 inputs: inputs/QF_NIA_small
Z3 commit message: set default to nlsat.lws=false for the merge with master

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