+-----------+-------------------+----------+
| benchmark | resulttype        | faults   |
+-----------+-------------------+----------+
| ip        | OK_MARKER         |    10750 |
| ip        | FAIL_MARKER       |     3764 |
| ip        | GROUP1_MARKER     |     8439 |
| ip        | TIMEOUT           |     9338 |
| ip        | TRAP              |   105805 |
| ip        | WRITE_TEXTSEGMENT |     1800 |
| ip        | ACCESS_OUTERSPACE |   180776 |
| mem       | OK_MARKER         | 11277044 |
| mem       | FAIL_MARKER       |  2331243 |
| mem       | GROUP1_MARKER     |  5851203 |
| mem       | TIMEOUT           |   371372 |
| mem       | TRAP              |  1724979 |
| mem       | WRITE_TEXTSEGMENT |   142127 |
| mem       | ACCESS_OUTERSPACE |  5138248 |
| regs      | OK_MARKER         |   492733 |
| regs      | FAIL_MARKER       |    31359 |
| regs      | GROUP1_MARKER     |   167082 |
| regs      | TIMEOUT           |     1687 |
| regs      | TRAP              |    25678 |
| regs      | WRITE_TEXTSEGMENT |    21422 |
| regs      | ACCESS_OUTERSPACE |   350695 |
+-----------+-------------------+----------+
