X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fscripts%2Fbench.sql;h=b7e1bef7eb4239cab043504e976d388c59a86525;hb=b4f330cf034e930d06aa7bfccb1cecf76f13d069;hp=9b5c1e3cd72c9d4eacd183d0a96a9f122fa4c427;hpb=1f6509593d89bf91237cceb1ace0be4fdbf4335c;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;