diff -r 7bdd328de87a -r c25f62a6452d benchmark/edge_lookup.cc
--- a/benchmark/edge_lookup.cc	Mon Dec 10 16:34:31 2007 +0000
+++ b/benchmark/edge_lookup.cc	Tue Dec 11 17:37:08 2007 +0000
@@ -412,6 +412,24 @@
   }
   
 };
+
+class DEL 
+{
+public:
+  Graph &_g;
+  DynEdgeLookUp<Graph> _el;
+  DEL(Graph &g) :_g(g), _el(g) {}
+  void operator()() 
+  {
+    Edge e;
+    
+    for(NodeIt v(_g);v!=INVALID;++v)
+      for(NodeIt u(_g);u!=INVALID;++u)
+	e=_el(u,v);
+  }
+  
+};
+
 class EL2
 {
 public:
@@ -512,15 +530,25 @@
 
   TimeStamp t1 = runningTimeTest(FE(g),1);
   TimeStamp t2 = runningTimeTest(EL(g),1);
-  TimeStamp t3 = runningTimeTest(EL2(g),1);
-  TimeStamp t4 = runningTimeTest(EL3(g),1);
+  TimeStamp t3 = runningTimeTest(DEL(g),1);
+  TimeStamp t4 = runningTimeTest(EL2(g),1);
+  TimeStamp t5 = runningTimeTest(EL3(g),1);
 //   TimeStamp t5 = runningTimeTest(EL4(g),1);
 //   TimeStamp t6 = runningTimeTest(EL5(g),1);
 
+  std::cout << t1.userTime() << ' ' 
+	    << t2.userTime() << ' '
+	    << t3.userTime() << ' '
+	    << t4.userTime() << ' '
+	    << t5.userTime() << ' '
+// 	    << t5.userTime() << ' '
+//  	    << t6.userTime()
+	    << std::endl;
   std::cout << t1.userTime()/N/N << ' ' 
 	    << t2.userTime()/N/N << ' '
 	    << t3.userTime()/N/N << ' '
 	    << t4.userTime()/N/N << ' '
+	    << t5.userTime()/N/N << ' '
 // 	    << t5.userTime()/N/N << ' '
 //  	    << t6.userTime()/N/N
 	    << std::endl;