helm/matita/scripts/bench.sql

   1 DROP TABLE bench;
   2
   3 CREATE TABLE bench (
   4         mark VARCHAR(100) NOT NULL,
   5         time TIME NOT NULL,
   6         compilation ENUM('byte','opt') NOT NULL,
   7         test VARCHAR(100) NOT NULL,
   8         result ENUM('ok','fail') NOT NULL,
   9         options SET('no-gc')
  10 );
  11
  12 DESCRIBE bench;
  13
  14 select mark, SEC_TO_TIME(SUM(TIME_TO_SEC(time))) from bench where options = '' group by mark;
  15 select mark, SEC_TO_TIME(SUM(TIME_TO_SEC(time))) from bench where test LIKE '%uto.ma' and options = '' group by mark;
  16 select mark, SEC_TO_TIME(SUM(TIME_TO_SEC(time))) from bench where options = 'no-gc' group by mark;
  17 select mark, SEC_TO_TIME(SUM(TIME_TO_SEC(time))) from bench where test LIKE '%uto.ma' and options = 'no-gc' group by mark;