Add sv-benchmarks community as copyright holder to seq-mthreaded

Did multiple changes to the tasks between 2014 and 2020

Author: lembergerth

c/seq-mthreaded/pals_STARTPALS_ActiveStandby.1.ufo.BOUNDED-10.pals.c

@@ -6,6 +6,7 @@ void reach_error() { __assert_fail("0", "pals_STARTPALS_ActiveStandby.1.ufo.BOUN
 // https://github.com/sosy-lab/sv-benchmarks
 //
 // SPDX-FileCopyrightText: 2013 Carnegie Mellon University
+// SPDX-FileCopyrightText: 2014-2020 The SV-Benchmarks Community
 //
 // SPDX-License-Identifier: LicenseRef-BSD-3-Clause-Attribution-CMU
 

c/seq-mthreaded/pals_STARTPALS_ActiveStandby.1.ufo.UNBOUNDED.pals.c

@@ -6,6 +6,7 @@ void reach_error() { __assert_fail("0", "pals_STARTPALS_ActiveStandby.1.ufo.UNBO
 // https://github.com/sosy-lab/sv-benchmarks
 //
 // SPDX-FileCopyrightText: 2013 Carnegie Mellon University
+// SPDX-FileCopyrightText: 2014-2020 The SV-Benchmarks Community
 //
 // SPDX-License-Identifier: LicenseRef-BSD-3-Clause-Attribution-CMU
 

c/seq-mthreaded/pals_STARTPALS_ActiveStandby.4_1.ufo.BOUNDED-10.pals.c

@@ -6,6 +6,7 @@ void reach_error() { __assert_fail("0", "pals_STARTPALS_ActiveStandby.4_1.ufo.BO
 // https://github.com/sosy-lab/sv-benchmarks
 //
 // SPDX-FileCopyrightText: 2013 Carnegie Mellon University
+// SPDX-FileCopyrightText: 2014-2020 The SV-Benchmarks Community
 //
 // SPDX-License-Identifier: LicenseRef-BSD-3-Clause-Attribution-CMU
 

c/seq-mthreaded/pals_STARTPALS_ActiveStandby.4_1.ufo.UNBOUNDED.pals.c

@@ -6,6 +6,7 @@ void reach_error() { __assert_fail("0", "pals_STARTPALS_ActiveStandby.4_1.ufo.UN
 // https://github.com/sosy-lab/sv-benchmarks
 //
 // SPDX-FileCopyrightText: 2013 Carnegie Mellon University
+// SPDX-FileCopyrightText: 2014-2020 The SV-Benchmarks Community
 //
 // SPDX-License-Identifier: LicenseRef-BSD-3-Clause-Attribution-CMU
 

c/seq-mthreaded/pals_STARTPALS_ActiveStandby.4_2.ufo.BOUNDED-10.pals.c

@@ -6,6 +6,7 @@ void reach_error() { __assert_fail("0", "pals_STARTPALS_ActiveStandby.4_2.ufo.BO
 // https://github.com/sosy-lab/sv-benchmarks
 //
 // SPDX-FileCopyrightText: 2013 Carnegie Mellon University
+// SPDX-FileCopyrightText: 2014-2020 The SV-Benchmarks Community
 //
 // SPDX-License-Identifier: LicenseRef-BSD-3-Clause-Attribution-CMU
 

c/seq-mthreaded/pals_STARTPALS_ActiveStandby.4_2.ufo.UNBOUNDED.pals.c

@@ -6,6 +6,7 @@ void reach_error() { __assert_fail("0", "pals_STARTPALS_ActiveStandby.4_2.ufo.UN
 // https://github.com/sosy-lab/sv-benchmarks
 //
 // SPDX-FileCopyrightText: 2013 Carnegie Mellon University
+// SPDX-FileCopyrightText: 2014-2020 The SV-Benchmarks Community
 //
 // SPDX-License-Identifier: LicenseRef-BSD-3-Clause-Attribution-CMU
 

c/seq-mthreaded/pals_STARTPALS_ActiveStandby.5.ufo.BOUNDED-10.pals.c

@@ -6,6 +6,7 @@ void reach_error() { __assert_fail("0", "pals_STARTPALS_ActiveStandby.5.ufo.BOUN
 // https://github.com/sosy-lab/sv-benchmarks
 //
 // SPDX-FileCopyrightText: 2013 Carnegie Mellon University
+// SPDX-FileCopyrightText: 2014-2020 The SV-Benchmarks Community
 //
 // SPDX-License-Identifier: LicenseRef-BSD-3-Clause-Attribution-CMU
 

c/seq-mthreaded/pals_STARTPALS_ActiveStandby.5.ufo.UNBOUNDED.pals.c

@@ -6,6 +6,7 @@ void reach_error() { __assert_fail("0", "pals_STARTPALS_ActiveStandby.5.ufo.UNBO
 // https://github.com/sosy-lab/sv-benchmarks
 //
 // SPDX-FileCopyrightText: 2013 Carnegie Mellon University
+// SPDX-FileCopyrightText: 2014-2020 The SV-Benchmarks Community
 //
 // SPDX-License-Identifier: LicenseRef-BSD-3-Clause-Attribution-CMU
 

c/seq-mthreaded/pals_STARTPALS_ActiveStandby.ufo.BOUNDED-10.pals.c

@@ -6,6 +6,7 @@ void reach_error() { __assert_fail("0", "pals_STARTPALS_ActiveStandby.ufo.BOUNDE
 // https://github.com/sosy-lab/sv-benchmarks
 //
 // SPDX-FileCopyrightText: 2013 Carnegie Mellon University
+// SPDX-FileCopyrightText: 2014-2020 The SV-Benchmarks Community
 //
 // SPDX-License-Identifier: LicenseRef-BSD-3-Clause-Attribution-CMU
 

c/seq-mthreaded/pals_STARTPALS_ActiveStandby.ufo.UNBOUNDED.pals.c

@@ -6,6 +6,7 @@ void reach_error() { __assert_fail("0", "pals_STARTPALS_ActiveStandby.ufo.UNBOUN
 // https://github.com/sosy-lab/sv-benchmarks
 //
 // SPDX-FileCopyrightText: 2013 Carnegie Mellon University
+// SPDX-FileCopyrightText: 2014-2020 The SV-Benchmarks Community
 //
 // SPDX-License-Identifier: LicenseRef-BSD-3-Clause-Attribution-CMU