Add benchmark from NFM paper by Fink, Berger, Katoen
Paper describing the benchmark (and the method to generate them): http://dx.doi.org/10.1007/978-3-031-06773-0_18
Benchmark set: https://doi.org/10.5281/zenodo.6392205
Paper describing the benchmark (and the method to generate them): http://dx.doi.org/10.1007/978-3-031-06773-0_18
Benchmark set: https://doi.org/10.5281/zenodo.6392205