X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fscripts%2Fpublic_html%2Fbench.php;h=1ee4d9ae46c8556b43dd6c92965abecc6d0f312f;hb=37bbd741fbba797bc7c64318f13edce28131cd91;hp=51d9e6e2d93d157a2338befdcf622b0b0d7e14b8;hpb=4d624c6fff72d024c9eb37c2de63bf4a784abdc1;p=helm.git

diff --git a/matita/scripts/public_html/bench.php b/matita/scripts/public_html/bench.php
index 51d9e6e2d..1ee4d9ae4 100644
--- a/matita/scripts/public_html/bench.php
+++ b/matita/scripts/public_html/bench.php
@@ -140,18 +140,18 @@ from
      b1.options = 'gc-on' and 
      b1.compilation = 'byte' 
      group by b1.mark) as bench_times,
-  (select b1.mark as mark, COUNT(DISTINCT b1.test) as count
+  (select
+    b1.mark as mark,
+    SUM(if(b1.result='fail' and b1.compilation='byte' and b1.options='gc-on',1,0))
+    as count
    from bench as b1
-   where 
-     b1.options = 'gc-on' and 
-     b1.compilation = 'byte' and b1.result = 'fail'
-     group by b1.mark) as bench_fails,
-  (select b1.mark as mark, COUNT(DISTINCT b1.test) as count
+   group by b1.mark) as bench_fails,
+  (select
+    b1.mark as mark,
+    SUM(if(b1.result='fail' and b1.compilation='opt' and b1.options='gc-on',1,0))
+    as count
    from bench as b1
-   where 
-     b1.options = 'gc-on' and 
-     b1.compilation = 'opt' and b1.result = 'fail'
-     group by b1.mark) as bench_fails_opt
+   group by b1.mark) as bench_fails_opt
 where 
   bench_times.mark = bench_fails.mark and 
   bench_times_opt.mark = bench_fails_opt.mark and 
@@ -261,7 +261,7 @@ function links_of($name,$q,$limits){
     <td>    
       <select name="test">";
         <option value="--">--</option>";
-          <?query("select distinct test from bench;","array_to_combo");?>
+          <?query("select distinct test from bench order by test;","array_to_combo");?>
       </select>      
     </td>
   </tr>