From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 18 Apr 2007 09:10:30 +0000 (+0000)
Subject: Only benches with the same result are compared for timing.
X-Git-Tag: make_still_working~6380
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=39fefad297823c08d3f4600778c9cbf7e3626647;p=helm.git

Only benches with the same result are compared for timing.
---

diff --git a/helm/software/matita/scripts/public_html/bench.php b/helm/software/matita/scripts/public_html/bench.php
index aabc1a501..eeb3f237b 100644
--- a/helm/software/matita/scripts/public_html/bench.php
+++ b/helm/software/matita/scripts/public_html/bench.php
@@ -44,6 +44,7 @@ where
   b1.test = b2.test and 
   b1.options = b2.options and
   b1.compilation = b2.compilation and 
+  b1.result = b2.result and 
   b1.mark = '$before_last_mark' and b2.mark= '$last_mark' and
   ABS(b2.timeuser - b1.timeuser) > 100
 order by diff desc***");
@@ -355,6 +356,7 @@ where
   b1.test = b2.test and 
   b1.options = b2.options and
   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
 order by diff desc;