The source project of this merge request has been removed.
Update rules.php to specify what verdict formats are accepted.
Alongside the reverting MR sosy-lab/benchmarking/competition-scripts!141, this MR adjusts the rules to specify exactly what verdict formats are accepted. This should take effect in SV-COMP'26.
Edited by Levente Bajczi