X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fscripts%2Fpublic_html%2Fbench.php;h=49bfe6235c74c0621494013a9021d15455b8ff39;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=95243617ce97eb68504330e956fd7bab6486b633;hpb=a00616fecb4968db140040eca51c100b81e14f61;p=helm.git
diff --git a/helm/matita/scripts/public_html/bench.php b/helm/matita/scripts/public_html/bench.php
index 95243617c..49bfe6235 100644
--- a/helm/matita/scripts/public_html/bench.php
+++ b/helm/matita/scripts/public_html/bench.php
@@ -12,7 +12,7 @@ $query_fail = urlencode(
"select mark, count(distinct test) as fail_no from bench where result = 'fail' group by mark order by mark desc;"
. "###" .
"Tests failed:@@@" .
- "select distinct mark, test, result from bench where result = 'fail' sort by mark desc;"
+ "select distinct mark, test, result from bench where result = 'fail' order by mark desc;"
);
$query_gc = urlencode(
"GC usage @@@" .
@@ -35,6 +35,8 @@ $query_auto = urlencode(
$query_csc = urlencode("Performances (byte and GC) per mark@@@select mark, SEC_TO_TIME(SUM(TIME_TO_SEC(time))) as sum_time, SEC_TO_TIME(SUM(TIME_TO_SEC(timeuser))) as sum_timeuser from bench where options = 'gc-on' and compilation = 'byte'group by mark order by mark desc;");
+$query_csc_opt = urlencode("Performances (opt and GC) per mark@@@select mark, SEC_TO_TIME(SUM(TIME_TO_SEC(time))) as sum_time, SEC_TO_TIME(SUM(TIME_TO_SEC(timeuser))) as sum_timeuser from bench where options = 'gc-on' and compilation = 'opt'group by mark order by mark desc;");
+
?>
@@ -49,7 +51,8 @@ $query_csc = urlencode("Performances (byte and GC) per mark@@@select mark, SEC_T
Broken tests
Garbage collector killer
Auto performances
- Global performances
+ Global performances (bytecode)
+ Global performances (nativecode)
All table contents