In its log on stdout, Storm does not display the name of the input model.
(Actually, it is displayed in the command line, but it is uneasy to extract it from
here, among all other arguments).
This is annoying when many models are processed in sequence and that one
wants to automatically extract the probabilities to build tables.
Suggestion: in the following table, insert a first line giving the name of the model.
This will be helpful for bulk use of Storm.
Model name: 56_0007_010.ma -- here, the new line to be inserted.
Model type: Markov Automaton (sparse)
States: 8560
Transitions: 36427
Choices: 9224
Markovian St.: 8008
Max. Rate: 146.16404
Reward Models: none
State Labels: 3 labels
HubertGaravel
commented
1 week ago
In its log on stdout, Storm does not display the name of the input model. (Actually, it is displayed in the command line, but it is uneasy to extract it from here, among all other arguments).
This is annoying when many models are processed in sequence and that one wants to automatically extract the probabilities to build tables.
Suggestion: in the following table, insert a first line giving the name of the model. This will be helpful for bulk use of Storm.
Model name: 56_0007_010.ma -- here, the new line to be inserted. Model type: Markov Automaton (sparse) States: 8560 Transitions: 36427 Choices: 9224 Markovian St.: 8008 Max. Rate: 146.16404 Reward Models: none State Labels: 3 labels
avail -> 6145 item(s) Choice Labels: none