X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fmatita%2Fscripts%2Fpublic_html%2Fbench.php;h=49bfe6235c74c0621494013a9021d15455b8ff39;hb=bfa6163644fb77d3a207f34712c46f8ac3c7b585;hp=07b468cc83c9b68964fddc353e478897dd967baf;hpb=adb9e692639bd61e3eed2ba36dfd2d2eeeecd1bb;p=helm.git diff --git a/helm/matita/scripts/public_html/bench.php b/helm/matita/scripts/public_html/bench.php index 07b468cc8..49bfe6235 100644 --- a/helm/matita/scripts/public_html/bench.php +++ b/helm/matita/scripts/public_html/bench.php @@ -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