X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fscripts%2Fpublic_html%2Fbench.php;h=d04d228bd98cc952fd8a46d313d03313ed7d88fa;hb=76917216be769918258c90e486bb7c06d81b70b4;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..d04d228bd 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