Ramon benchmark for Z3
-
Job description: nl2lin max_fail=2 on QF_NIA_small
Job tag: nl2lin_max_fail_2
Runner: lev-ripper
Z3 repo: Z3Prover/z3
Z3 commit: 7c9f930ef18f15bdf7376d48ad7b0296bbe04087
Z3 branch: nl2lin
Z3 options: "-T:200 smt.random_seed=6 smt.arith.nl.nra_check_assignment_max_fail=2"
Z3 inputs: inputs/QF_NIA_small
Z3 commit message: Add arith.nl.nra_check_assignment_max_fail parameter

Replace hardcoded failure threshold with configurable parameter (default 10).

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
