+-----------+-------------------+---------+
| benchmark | resulttype        | faults  |
+-----------+-------------------+---------+
| ip        | OK_MARKER         |    7998 |
| ip        | FAIL_MARKER       |    2370 |
| ip        | GROUP1_MARKER     |    3790 |
| ip        | TIMEOUT           |    5939 |
| ip        | TRAP              |   61337 |
| ip        | WRITE_TEXTSEGMENT |    1865 |
| ip        | ACCESS_OUTERSPACE |  103677 |
| mem       | OK_MARKER         | 5834385 |
| mem       | FAIL_MARKER       | 1261659 |
| mem       | GROUP1_MARKER     | 1968290 |
| mem       | TIMEOUT           |  592063 |
| mem       | TRAP              |  756890 |
| mem       | WRITE_TEXTSEGMENT |  153798 |
| mem       | ACCESS_OUTERSPACE | 2821099 |
| regs      | OK_MARKER         |  647779 |
| regs      | FAIL_MARKER       |   23865 |
| regs      | GROUP1_MARKER     |   88078 |
| regs      | TIMEOUT           |    1154 |
| regs      | TRAP              |   15952 |
| regs      | WRITE_TEXTSEGMENT |   12420 |
| regs      | ACCESS_OUTERSPACE |  207528 |
+-----------+-------------------+---------+
