matita/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;