session optimal_replay = NTP4Verif +
sessions
  "Why3STD"
theories
  "optimal_replay_OptimalReplay"
  "optimal_replay_OptimalReplay_nqtvc"
  "optimal_replay_OptimalReplay_distanceqtvc"
