+-----------+-------------------+---------+
| benchmark | resulttype        | faults  |
+-----------+-------------------+---------+
| ip        | OK_MARKER         |   10135 |
| ip        | FAIL_MARKER       |    2064 |
| ip        | GROUP1_MARKER     |    1514 |
| ip        | TIMEOUT           |    6632 |
| ip        | TRAP              |   69156 |
| ip        | WRITE_TEXTSEGMENT |    1417 |
| ip        | ACCESS_OUTERSPACE |  123322 |
| mem       | OK_MARKER         | 4606715 |
| mem       | FAIL_MARKER       |  956781 |
| mem       | GROUP1_MARKER     | 1173041 |
| mem       | TIMEOUT           |  503439 |
| mem       | TRAP              |  768974 |
| mem       | WRITE_TEXTSEGMENT |  153407 |
| mem       | ACCESS_OUTERSPACE | 2519579 |
| regs      | OK_MARKER         |  646373 |
| regs      | FAIL_MARKER       |   20663 |
| regs      | GROUP1_MARKER     |   40125 |
| regs      | TIMEOUT           |    1078 |
| regs      | TRAP              |    9768 |
| regs      | WRITE_TEXTSEGMENT |   12196 |
| regs      | ACCESS_OUTERSPACE |  224173 |
+-----------+-------------------+---------+
