FESTO benchmark model has duplicate invariants
Warnings (introduced in #299 (closed)):
- Duplicate invariant for event "A_elevator_down.c_off". all_stations.cif /CIFBenchmarks-0.10.0.v20230630-074208-tuning/festo line 23, column 34 CIF Semantic Problem
- Duplicate invariant for event "A_elevator_up.c_on". all_stations.cif /CIFBenchmarks-0.10.0.v20230630-074208-tuning/festo line 23, column 14 CIF Semantic Problem
- File "stations34.cif": Duplicate invariant for event "A_elevator_down.c_off". all_stations.cif /CIFBenchmarks-0.10.0.v20230630-074208-tuning/festo line 15, column 8 CIF Semantic Problem
- File "stations34.cif": Duplicate invariant for event "A_elevator_up.c_on". all_stations.cif /CIFBenchmarks-0.10.0.v20230630-074208-tuning/festo line 15, column 8 CIF Semantic Problem
Running benchmarks means you get these warnings printed a lot, which is somewhat annoying.
On the one hand, I'm a bit hesitant to change benchmarking models. On the other hand, It concerns duplicate invariants. Changing it should have limited impact, given that it concerns duplicates. Also, papers referring to the benchmark models should also indicate the CIF release version of the models that they used. Still, fixing the warnings will change the model, and thus make it less comparable between versions.
What do you think?