Portfolio update

[leventeBajczi]

Changes:

• portfolios have been created for this year (horn25, bounded25, complex25)
• in complex25, when we encounter a multithreaded program (unreach-call), we start with a quick OC check
• loopunrollpass's flag has been converted into an xcfa flag (unsafeUnroll)
• OC check should be parameterized well (@csanadtelbisz)
• bounded25 should be updated (will be done by merging EmergenTheta Update #314)

[csanadtelbisz]

In portfolio files, I suggest considering imports for config enum values to improve readability (so that we could use CONFIG_OPTION instead of LongEnumClassName.CONFIG_OPTION).

[sonarqubecloud]

Quality Gate failed

Failed conditions
11.5% Duplication on New Code (required ≤ 5%)

See analysis details on SonarQube Cloud

[github-actions]

Benchexec test report for a selection of SV-Benchmarks (correct / incorrect / all):

Rundefinition	BOUNDED	CEGAR	HORN
SV-COMP25_no-data-race	❓ (0 / 0 / 404) HTML/CSV	✅ (51 / 0 / 107) HTML/CSV	❓ (0 / 0 / 415) HTML/CSV
SV-COMP25_no-overflow	❓ (0 / 0 / 17) HTML/CSV	❓ (0 / 0 / 17) HTML/CSV	❓ (0 / 0 / 17) HTML/CSV
SV-COMP25_termination	✅ (4 / 0 / 26) HTML/CSV	✅ (12 / 0 / 30) HTML/CSV	✅ (13 / 0 / 40) HTML/CSV
SV-COMP25_unreach-call	✅ (5 / 0 / 180) HTML/CSV	✅ (15 / 0 / 88) HTML/CSV	❗ (15 / 1 / 184) HTML/CSV
SV-COMP25_valid-memcleanup	❓ (0 / 0 / 65) HTML/CSV	❓ (0 / 0 / 65) HTML/CSV	❓ (0 / 0 / 65) HTML/CSV
SV-COMP25_valid-memsafety	❓ (0 / 0 / 443) HTML/CSV	❗ (35 / 3 / 334) HTML/CSV	❗ (5 / 2 / 417) HTML/CSV