From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 18 May 2009 22:08:17 +0000 (+0000)
Subject: removed byte queries
X-Git-Tag: make_still_working~3961
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=0910d4f494486273e3a22fbfbb2290b48f5786b7;p=helm.git

removed byte queries
---

diff --git a/helm/software/matita/scripts/public_html/bench.php b/helm/software/matita/scripts/public_html/bench.php
index 0b1186e4a..bf7a2fad8 100644
--- a/helm/software/matita/scripts/public_html/bench.php
+++ b/helm/software/matita/scripts/public_html/bench.php
@@ -126,20 +126,6 @@ where
   bench1.options = 'gc-off' and 
   bench.compilation = bench1.compilation and 
   bench.compilation = 'opt' 
-group by mark***
-###
-GC usage (byte)
-@@@
-select 
-  bench.mark, SUM(bench.time) - SUM(bench1.time) as gc_hoverhead 
-from bench, bench as bench1 
-where 
-  bench.mark = bench1.mark and
-  bench.test = bench1.test and 
-  bench.options = 'gc-on' and 
-  bench1.options = 'gc-off' and 
-  bench.compilation = bench1.compilation and 
-  bench.compilation = 'byte' 
 group by mark***");
 
 $query_auto = urlencode("
@@ -183,18 +169,14 @@ group by mark
 ***");
 
 $query_csc = urlencode("
-Performances (byte and GC) per mark
+Performances per mark
 @@@
 select 
-  bench_times.mark as mark,
+  bench_times_opt.mark as mark,
   bench_svn.revision,
-  bench_times.time         as time,
-  bench_times.timeuser     as timeuser,
   bench_times_opt.time     as time_opt,
   bench_times_opt.timeuser as timeuser_opt,
-  bench_times.tests     as tests,
   bench_times_opt.tests as tests_opt,
-  bench_fails.count     as fail,
   bench_fails_opt.count as fail_opt
 from 
   bench_svn, 
@@ -206,20 +188,6 @@ from
      b1.options = 'gc-on' and 
      b1.compilation = 'opt' 
      group by b1.mark) as bench_times_opt,
-  (select 
-    b1.mark as mark, SUM(b1.time) as time, 
-    SUM(b1.timeuser) as timeuser,COUNT(DISTINCT b1.test) as tests
-   from bench as b1
-   where 
-     b1.options = 'gc-on' and 
-     b1.compilation = 'byte' 
-     group by b1.mark) as bench_times,
-  (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
-   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))
@@ -227,10 +195,8 @@ from
    from bench as b1
    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 
-  bench_times.mark = bench_times_opt.mark and 
-  bench_svn.mark = bench_times.mark 
+  bench_svn.mark = bench_times_opt.mark 
   order by bench_svn.mark desc
 ***");