benchmark_mps/benchmark_results
Richard Wong 39b3570e11
Feat: changed benchmark procedure to use parallel
Feat: include time and filename in ogdf_mps
2024-05-08 16:03:40 +09:00
..
input Feat: changed benchmark procedure to use parallel 2024-05-08 16:03:40 +09:00
.gitignore Feat: changed benchmark procedure to use parallel 2024-05-08 16:03:40 +09:00
benchmark.bash Feat: changed benchmark procedure to use parallel 2024-05-08 16:03:40 +09:00
dpt_planarizer Feat: changed benchmark procedure to use parallel 2024-05-08 16:03:40 +09:00
get_graph_characteristics Feat: changed benchmark procedure to use parallel 2024-05-08 16:03:40 +09:00
ogdf_mps_cactus Feat: changed benchmark procedure to use parallel 2024-05-08 16:03:40 +09:00
ogdf_mps_fast Feat: changed benchmark procedure to use parallel 2024-05-08 16:03:40 +09:00
run_all.sh Feat: changed benchmark procedure to use parallel 2024-05-08 16:03:40 +09:00