+-----------+-------------------+---------+
| benchmark | resulttype        | faults  |
+-----------+-------------------+---------+
| ip        | OK_MARKER         |    9695 |
| ip        | FAIL_MARKER       |    2063 |
| ip        | GROUP1_MARKER     |    1482 |
| ip        | TIMEOUT           |    6296 |
| ip        | TRAP              |   66539 |
| ip        | WRITE_TEXTSEGMENT |     761 |
| ip        | ACCESS_OUTERSPACE |  119916 |
| mem       | OK_MARKER         | 3325660 |
| mem       | FAIL_MARKER       |  956727 |
| mem       | GROUP1_MARKER     |  984995 |
| mem       | TIMEOUT           |  182045 |
| mem       | TRAP              |  572478 |
| mem       | WRITE_TEXTSEGMENT |   39020 |
| mem       | ACCESS_OUTERSPACE | 1529123 |
| regs      | OK_MARKER         |  227956 |
| regs      | FAIL_MARKER       |   20660 |
| regs      | GROUP1_MARKER     |   39847 |
| regs      | TIMEOUT           |     480 |
| regs      | TRAP              |    9087 |
| regs      | WRITE_TEXTSEGMENT |   10779 |
| regs      | ACCESS_OUTERSPACE |  214495 |
+-----------+-------------------+---------+
