Ramon benchmark for Z3
-
Job description: lws_spt_threshold=14
Job tag: lws_spt_threshold_14_rs
Runner: lev-ripper
Z3 repo: Z3Prover/z3
Z3 commit: 426f8396e37b75afcdc6785e5bc23bbb81eddd30
Z3 branch: master
Z3 options: "-T:200 nlsat.lws_spt_threshold=14"
Z3 inputs: inputs/QF_NIA_small
Z3 commit message: Merge pull request #8691 from Z3Prover/no_fail

Disable failure on a nullified polynomial in levelwise
