benchcomp: scale the solver-time threshold to whether the SAT instance changed - #4846

benchcomp: scale the solver-time threshold to whether the SAT instance changed#4846

feliperodri merged 5 commits into

model-checking:mainmodel-checking/kani:mainfrom

feliperodri:perf-benchcomp-solver-noisefeliperodri/kani:perf-benchcomp-solver-noiseCopy head branch name to clipboard