Changed benchmark result format so that inserting them into a table is
easier (values are separated by a semicolon)