[Avispa-users] Weird statistics

[ralph-avispa at ralphholz.de]

Hi,

the OFMC modules gives me these stats for a rather complex protocol:

STATISTICS
  parseTime: 0.00s
  searchTime: 65.92s
  visitedNodes: 0 nodes
  depth: 1000000 plies

I am a bit worried - what does it mean? I find the 1000000 plies quite a lot.

Ralph

-- 
For contact details, please see www.ralphholz.de.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 189 bytes
Desc: This is a digitally signed message part.
Url : http://mail63.csoft.net/pipermail/avispa-users/attachments/20070627/1f2d4097/attachment.bin