[Spot] Time to decide inclusion

Pierre Ganty pierre.ganty at imdea.org
Fri Jul 30 16:56:10 CEST 2021


Dear Spot devs,

I want to measure how much time it takes Spot to decide whether the
language of the automaton A is contained in that of B.
I've been using the following command
```
autfilt '--stats=%r, %R' A.hoa --included-in=B.hoa
```
I think I am not interpreting the results correctly because `--stats`
reports very small numbers
while adding `time` in front of the command reports much much larger
numbers (several orders of magnitude larger).

What's the right way to measure the time it takes Spot to decide the
inclusion?

Thank you.

Pierre.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.lrde.epita.fr/pipermail/spot/attachments/20210730/ba0eaeb2/attachment.htm>


More information about the Spot mailing list