[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

Thank you.

-------------- 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