X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fscripts%2Fbench.sql;h=2a49a2d01cd327111c199c9bd7b75d63dbd4af58;hb=5b584922369c076f9925a1598a7a9fe65708a44f;hp=a45508548bab6b7ba929cb3e624332234ba597cf;hpb=55b82bd235d82ff7f0a40d980effe1efde1f5073;p=helm.git

diff --git a/helm/software/matita/scripts/bench.sql b/helm/software/matita/scripts/bench.sql
index a45508548..2a49a2d01 100644
--- a/helm/software/matita/scripts/bench.sql
+++ b/helm/software/matita/scripts/bench.sql
@@ -1,9 +1,9 @@
 DROP TABLE bench;
 
 CREATE TABLE bench (
-	mark VARCHAR(100) NOT NULL,
-	time VARCHAR(8) NOT NULL,
-	timeuser VARCHAR(8) NOT NULL,
+	mark VARCHAR(30) NOT NULL,
+	time BIGINT NOT NULL,
+	timeuser BIGINT NOT NULL,
 	compilation ENUM('byte','opt') NOT NULL,
 	test VARCHAR(100) NOT NULL,
 	result ENUM('ok','fail') NOT NULL,