Reachability.jl icon indicating copy to clipboard operation
Reachability.jl copied to clipboard
verified publisher icon JuliaReach

Regression in ISS - ISU01 - Discrete

Open mforets opened this issue 7 years ago • 2 comments

See this file: Line ["ISS", "(\"ISU01\", \"discrete\")"] takes 9 seconds compared to 1.3 seconds last year.

mforets avatar Jan 18 '19 15:01 mforets

The problem came with https://github.com/JuliaReach/LazySets.jl/pull/472. We actually mentioned this :astonished:

For the record, here are the versions to reproduce:

Package old new
LazySets 0856635 3e12d52
Reachability 38ae6be same
MathematicalSystems 87c3e52 same
ARCH2018_RE c8d2602 same
Result 2.131 s 10.310 s

(Add import LazySets.LinearMap to ReachSets.jl and Properties.jl.)

schillic avatar Jan 20 '19 09:01 schillic

Continued in https://github.com/JuliaReach/LazySets.jl/pull/1037.

schillic avatar Jan 20 '19 13:01 schillic