1 files changed, 4 insertions, 0 deletions
diff --git a/Source/Houdini/Houdini.cs b/Source/Houdini/Houdini.cs
index 486f75bf..23967f02 100644
--- a/Source/Houdini/Houdini.cs
+++ b/Source/Houdini/Houdini.cs
@@ -822,7 +822,11 @@ namespace Microsoft.Boogie.Houdini {
                       }
                   }
                 
+                  int start = Environment.TickCount;
                   refutedAnnotations = ExchangeRefutedAnnotations(refutedAnnotations);
+                  int duration = Environment.TickCount - start;
+                  if (CommandLineOptions.Clo.DebugParallelHoudini)
+                      Console.WriteLine("*** Exchange of Refuted Candidates: " + duration + " ms ***");
                 
                   foreach (RefutedAnnotation refAnnot in refutedAnnotations) {
                       AddRelatedToWorkList(refAnnot);