one more step toward release and bench reorganization

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

diff --git a/helm/software/matita/scripts/bench.sql b/helm/software/matita/scripts/bench.sql
index a45508548bab6b7ba929cb3e624332234ba597cf..2a49a2d01cd327111c199c9bd7b75d63dbd4af58 100644 (file)
--- 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,