+-----------+-------------------+-----------+
| benchmark | resulttype        | faults    |
+-----------+-------------------+-----------+
| ip        | OK_MARKER         |    247576 |
| ip        | FAIL_MARKER       |     24424 |
| ip        | GROUP1_MARKER     |    107201 |
| ip        | TIMEOUT           |    238485 |
| ip        | TRAP              |   1654369 |
| ip        | WRITE_TEXTSEGMENT |    119090 |
| ip        | ACCESS_OUTERSPACE |   2159863 |
| mem       | OK_MARKER         | 157907358 |
| mem       | FAIL_MARKER       |  83337367 |
| mem       | GROUP1_MARKER     | 166762771 |
| mem       | TIMEOUT           |  71697521 |
| mem       | TRAP              |  37475704 |
| mem       | WRITE_TEXTSEGMENT |   8417608 |
| mem       | ACCESS_OUTERSPACE | 137021423 |
| regs      | OK_MARKER         |   6704893 |
| regs      | FAIL_MARKER       |    520992 |
| regs      | GROUP1_MARKER     |   1714761 |
| regs      | TIMEOUT           |    554912 |
| regs      | TRAP              |    213579 |
| regs      | WRITE_TEXTSEGMENT |    629609 |
| regs      | ACCESS_OUTERSPACE |   7030950 |
+-----------+-------------------+-----------+
