Skip to content
Snippets Groups Projects
Commit 66527e4f authored by wenzelm's avatar wenzelm
Browse files

tuned timeout;

parent e0e844dd
No related branches found
No related tags found
No related merge requests found
chapter AFP
session Difference_Bound_Matrices (AFP) = Floyd_Warshall +
options
[timeout=600]
options [timeout = 900]
sessions
Show
theories
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment