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

diff --git a/helm/matita/scripts/bench.sql b/helm/matita/scripts/bench.sql
index 9b5c1e3cd..b7e1bef7e 100644
--- a/helm/matita/scripts/bench.sql
+++ b/helm/matita/scripts/bench.sql
@@ -3,15 +3,11 @@ DROP TABLE bench;
 CREATE TABLE bench (
 	mark VARCHAR(100) NOT NULL,
 	time TIME NOT NULL,
+	timeuser TIME 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;