+-----------+-------------------+----------+
| benchmark | resulttype        | faults   |
+-----------+-------------------+----------+
| ip        | OK_MARKER         |    19540 |
| ip        | FAIL_MARKER       |      343 |
| ip        | DETECTED_MARKER   |       74 |
| ip        | GROUP1_MARKER     |    14546 |
| ip        | TIMEOUT           |    10044 |
| ip        | TRAP              |   138675 |
| ip        | WRITE_TEXTSEGMENT |     3594 |
| ip        | ACCESS_OUTERSPACE |   206528 |
| mem       | OK_MARKER         | 20352858 |
| mem       | FAIL_MARKER       |   566538 |
| mem       | DETECTED_MARKER   |    53686 |
| mem       | GROUP1_MARKER     |  2978938 |
| mem       | TIMEOUT           |  2214306 |
| mem       | TRAP              |  1500881 |
| mem       | WRITE_TEXTSEGMENT |   492023 |
| mem       | ACCESS_OUTERSPACE |  6338562 |
| regs      | OK_MARKER         |   958126 |
| regs      | FAIL_MARKER       |     9627 |
| regs      | DETECTED_MARKER   |      514 |
| regs      | GROUP1_MARKER     |   152677 |
| regs      | TIMEOUT           |    14742 |
| regs      | TRAP              |    33511 |
| regs      | WRITE_TEXTSEGMENT |    43634 |
| regs      | ACCESS_OUTERSPACE |   505913 |
+-----------+-------------------+----------+
