var searchData=
[
  ['4_3a_20benchmarking_20with_20make_20benchmark_20or_20run_5fall_5fbenchmarks_20sh_0',['4: Benchmarking with &lt;span class=&quot;tt&quot;&gt;make benchmark&lt;/span&gt; or &lt;span class=&quot;tt&quot;&gt;run_all_benchmarks.sh&lt;/span&gt;',['../benchmarking_ginkgo.html#autotoc_md14',1,'']]]
];
