+-----------+-------------------+--------+
| benchmark | resulttype        | faults |
+-----------+-------------------+--------+
| ip        | OK_MARKER         |     26 |
| ip        | FAIL_MARKER       |   1414 |
| ip        | GROUP1_MARKER     |    158 |
| ip        | TIMEOUT           |    418 |
| ip        | TRAP              |   3975 |
| ip        | WRITE_TEXTSEGMENT |    147 |
| ip        | ACCESS_OUTERSPACE |   6918 |
| mem       | OK_MARKER         |    721 |
| mem       | FAIL_MARKER       | 135170 |
| mem       | GROUP1_MARKER     |  37226 |
| mem       | TIMEOUT           |  10585 |
| mem       | TRAP              |  28117 |
| mem       | WRITE_TEXTSEGMENT |   2235 |
| mem       | ACCESS_OUTERSPACE |  84114 |
| regs      | OK_MARKER         |     66 |
| regs      | FAIL_MARKER       |  20912 |
| regs      | GROUP1_MARKER     |   3823 |
| regs      | TIMEOUT           |    427 |
| regs      | TRAP              |   2440 |
| regs      | WRITE_TEXTSEGMENT |    631 |
| regs      | ACCESS_OUTERSPACE |  14301 |
+-----------+-------------------+--------+
