Uncolored cell in CIF data-based synthesis benchmark results overview

In the CIF benchmarks project, there is a bug in the benchmark__generate_overview.tooldef script. When using the "Relative metric values (relative to best value)" option, the cells in the 'BDD nodes' and 'BDD operations' tables remain uncolored when a model with a supervisor is compared to one with an empty supervisor. As shown in the screenshot below. In this example, there exists a non-empty supervisor for the 'original' configuration, but not for 'automaton' and 'reachable' (indicated with '?').