+-----------+-------------------+--------+
| benchmark | resulttype        | faults |
+-----------+-------------------+--------+
| ip        | OK_MARKER         |   2158 |
| ip        | FAIL_MARKER       |    983 |
| ip        | TIMEOUT           |     49 |
| ip        | TRAP              |   6046 |
| ip        | WRITE_TEXTSEGMENT |    212 |
| ip        | ACCESS_OUTERSPACE |  15416 |
| mem       | OK_MARKER         |  90446 |
| mem       | FAIL_MARKER       |  41443 |
| mem       | TIMEOUT           |  22645 |
| mem       | TRAP              |  42226 |
| mem       | WRITE_TEXTSEGMENT |  62111 |
| mem       | ACCESS_OUTERSPACE | 171001 |
| regs      | OK_MARKER         |  25975 |
| regs      | FAIL_MARKER       |  17004 |
| regs      | TIMEOUT           |   2080 |
| regs      | TRAP              |   1115 |
| regs      | WRITE_TEXTSEGMENT |   6566 |
| regs      | ACCESS_OUTERSPACE |  27932 |
+-----------+-------------------+--------+
