Closed murx- closed 3 years ago
Currently a rather large timeout for atlas is chosen which is rather annoying for small graphs. The timeout should be dependent on the size of the graph instead.
Currently a rather large timeout for atlas is chosen which is rather annoying for small graphs. The timeout should be dependent on the size of the graph instead.