branch for universe

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

diff --git a/matita/scripts/bench.sql b/matita/scripts/bench.sql
new file mode 100644 (file)
index 0000000..2a49a2d
--- /dev/null
+++ b/matita/scripts/bench.sql
@@ -0,0 +1,13 @@
+DROP TABLE bench;
+
+CREATE TABLE bench (
+       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,
+       options SET('gc-off','gc-on')
+);
+
+DESCRIBE bench;