ocaml 3.09 transition

[helm.git] / helm / matita / scripts / bench.sql

diff --git a/helm/matita/scripts/bench.sql b/helm/matita/scripts/bench.sql
index 9b5c1e3cd72c9d4eacd183d0a96a9f122fa4c427..a45508548bab6b7ba929cb3e624332234ba597cf 100644 (file)
--- a/helm/matita/scripts/bench.sql
+++ b/helm/matita/scripts/bench.sql
@@ -2,16 +2,12 @@ DROP TABLE bench;
 
 CREATE TABLE bench (
        mark VARCHAR(100) NOT NULL,
-       time TIME NOT NULL,
+       time VARCHAR(8) NOT NULL,
+       timeuser VARCHAR(8) NOT NULL,
        compilation ENUM('byte','opt') NOT NULL,
        test VARCHAR(100) NOT NULL,
        result ENUM('ok','fail') NOT NULL,
-       options SET('no-gc')
+       options SET('gc-off','gc-on')
 );
 
 DESCRIBE bench; 
-
-select mark, SEC_TO_TIME(SUM(TIME_TO_SEC(time))) from bench where options = '' group by mark;
-select mark, SEC_TO_TIME(SUM(TIME_TO_SEC(time))) from bench where test LIKE '%uto.ma' and options = '' group by mark;
-select mark, SEC_TO_TIME(SUM(TIME_TO_SEC(time))) from bench where options = 'no-gc' group by mark;
-select mark, SEC_TO_TIME(SUM(TIME_TO_SEC(time))) from bench where test LIKE '%uto.ma' and options = 'no-gc' group by mark;