Example query fixed.

diff --git a/helm/software/matita/scripts/public_html/bench.php b/helm/software/matita/scripts/public_html/bench.php
index 1009ace52dbc4a3a7b50b7e708a9aac77004b7b7..0b1186e4aea4c836adf5bc71bb9a896c00eaad1e 100644 (file)
--- a/helm/software/matita/scripts/public_html/bench.php
+++ b/helm/software/matita/scripts/public_html/bench.php
@@ -415,7 +415,7 @@ where
   b1.compilation = b2.compilation and 
   b1.result = b2.result and 
   b1.mark = '<?php echo $before_last_mark ?>' and b2.mark= '<?php echo $last_mark ?>' and
-  ABS(b2.timeuser - b1.timeuser) &lt; 100
+  ABS(b2.timeuser - b1.timeuser) &gt; 100
 order by diff desc;
 </textarea>
 </td>