analyzed: SymmetriQ.spthy
  processing time: 1.16s
  authentication (all-traces): verified (6 steps)
  policy_binding (all-traces): verified (3 steps)
  no_replay (all-traces): verified (2 steps)
  integrity (all-traces): verified (8 steps)
  executable (exists-trace): verified (6 steps)