search

JuliaReach / ReachabilityBenchmarks

JuliaReach benchmark suite
MIT License
4 stars 1 forks source link

Fix SLICOT benchmarks #189

Closed schillic closed 4 years ago

schillic commented 4 years ago

Runtime comparison (in seconds)

reach old reach new check old check new
Motor 0.5 0.3 0.7 0.4
Building 2 1 0.9 0.6
PDE 4 5 863 1308
Heat 8 18 12 17
ISS 1 5 22 102
Beam 27 62 637 1266
MNA1 90 224 250 546
FOM 4 85 - -
MNA5 1220 ? 722 ?

MNA5 discretization ran forever.

schillic commented 4 years ago

This PR was an alternative to the changes started in branch mforets/update_slicot. I think we can delete that branch now.

mforets commented 4 years ago

Yes we can delete that branch.