Exclude more duplicate regression tests from sv-benchmarks
Exclude more duplicate regression tests from sv-benchmarks

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer