Theory Sepref_Chapter_Benchmarks

chapter ‹Benchmarks›
text ‹Contains the benchmarks of the IRF/IICF. See the README file in the 
  benchmark folder for more information on how to run the benchmarks.›
(*<*)
theory Sepref_Chapter_Benchmarks
imports Main
begin
end
(*>*)