I have already made the python script and
started writing a .pdf to keep there a summary of all my work with
details that could be needed in a future.

The python script work fine but, as I don't understan the output of
the tool, I can't tell python which kind of information have to look
for in the output of the tool. Right now the script looks for words
'Reachable' and 'concludes'.

I'll read the papers about 'mist' to learn more about it and make a
correct script