]> matita.cs.unibo.it Git - helm.git/blob - helm/software/matita/scripts/bench.sql
more work
[helm.git] / helm / software / matita / scripts / bench.sql
1 DROP TABLE bench;
2
3 CREATE TABLE bench (
4         mark VARCHAR(30) NOT NULL,
5         time BIGINT NOT NULL,
6         timeuser BIGINT NOT NULL,
7         compilation ENUM('byte','opt') NOT NULL,
8         test VARCHAR(100) NOT NULL,
9         result ENUM('ok','fail') NOT NULL,
10         options SET('gc-off','gc-on')
11 );
12
13 DESCRIBE bench;