run.sh: show size improvement by stack and file.

    cat Results/tabular/*.txt > size-results.csv

    # Analysis with SQLite

    echo "Size results"

    sqlite3 site-results.db << EOF

    sqlite3 size-results.db << EOF

CREATE TABLE bench(stack, algorithm, file, cache, sc, size, PRIMARY KEY(stack, algorithm, file, cache, sc));

CREATE TABLE ratio(stack, file, sc, ratio, PRIMARY KEY(stack, file, sc));

.mode csv

SELECT * FROM ratio WHERE ratio < 0;

SELECT stack, AVG(ratio) AS ratio FROM ratio GROUP BY stack;

SELECT stack, AVG(CASE WHEN algorithm='s' THEN size END) AS size_s, AVG(CASE WHEN algorithm='t' THEN size END) AS size_t FROM bench GROUP BY stack;

SELECT

    file,

    AVG(CASE WHEN stack='1' THEN size END) AS size_1,

    AVG(CASE WHEN stack='2' THEN size END) AS size_2,

    AVG(CASE WHEN stack='3' THEN size END) AS size_3,

    AVG(CASE WHEN stack='4' THEN size END) AS size_4,

    AVG(CASE WHEN stack='5' THEN size END) AS size_5,

    AVG(CASE WHEN stack='6' THEN size END) AS size_6

FROM bench

WHERE algorithm = 's'

GROUP BY file;

EOF

  fi

  # Remove temporary files