+-----------+-------------------+--------+
| benchmark | resulttype        | faults |
+-----------+-------------------+--------+
| ip        | OK_MARKER         |    801 |
| ip        | FAIL_MARKER       |     29 |
| ip        | DETECTED_MARKER   |      3 |
| ip        | GROUP1_MARKER     |     16 |
| ip        | TIMEOUT           |    463 |
| ip        | TRAP              |   1765 |
| ip        | WRITE_TEXTSEGMENT |    133 |
| ip        | ACCESS_OUTERSPACE |   3158 |
| mem       | OK_MARKER         |  30071 |
| mem       | FAIL_MARKER       |   3851 |
| mem       | GROUP1_MARKER     |   2873 |
| mem       | TIMEOUT           |   8034 |
| mem       | TRAP              |  10534 |
| mem       | WRITE_TEXTSEGMENT |   1238 |
| mem       | ACCESS_OUTERSPACE |  36615 |
| regs      | OK_MARKER         |   9381 |
| regs      | FAIL_MARKER       |    149 |
| regs      | DETECTED_MARKER   |      7 |
| regs      | GROUP1_MARKER     |     65 |
| regs      | TIMEOUT           |    361 |
| regs      | TRAP              |   1509 |
| regs      | WRITE_TEXTSEGMENT |    511 |
| regs      | ACCESS_OUTERSPACE |   6897 |
+-----------+-------------------+--------+
