Add script to run SLICOT benchmarks#205

SebastianGuadalupe wants to merge 1 commit into

masterJuliaReach/ReachabilityBenchmarks:masterfrom

sguadalupe/HSCC18JuliaReach/ReachabilityBenchmarks:sguadalupe/HSCC18Copy head branch name to clipboard