Skip to content

[WIP] benchmark scripts for for measuring time/memory of dotstar(), mulsumstar()

Karel Vesely (Brno University of Technology) requested to merge benchmark_dotstar_mulsumstar into main
  • the graph is quasi-linear acyclic graph with skip-links,
    • the skip-jumps are more than 20 states ahead
    • the average branching factor is 5 (decided randomly at each state)

Merge request reports