X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fscripts%2Fbench.sql;h=a45508548bab6b7ba929cb3e624332234ba597cf;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=9b5c1e3cd72c9d4eacd183d0a96a9f122fa4c427;hpb=9d8e81db720417f58591ea42f72c6750b886a83d;p=helm.git

diff --git a/helm/matita/scripts/bench.sql b/helm/matita/scripts/bench.sql
index 9b5c1e3cd..a45508548 100644
--- 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;