+-----------+-------------------+-----------+
| benchmark | resulttype        | faults    |
+-----------+-------------------+-----------+
| ip        | OK_MARKER         |    248393 |
| ip        | FAIL_MARKER       |     24424 |
| ip        | GROUP1_MARKER     |    107263 |
| ip        | TIMEOUT           |    238869 |
| ip        | TRAP              |   1657778 |
| ip        | WRITE_TEXTSEGMENT |    119675 |
| ip        | ACCESS_OUTERSPACE |   2164430 |
| mem       | OK_MARKER         | 176199843 |
| mem       | FAIL_MARKER       |  83337403 |
| mem       | GROUP1_MARKER     | 168758017 |
| mem       | TIMEOUT           |  80693226 |
| mem       | TRAP              |  42039024 |
| mem       | WRITE_TEXTSEGMENT |  10415027 |
| mem       | ACCESS_OUTERSPACE | 149163180 |
| regs      | OK_MARKER         |   6719549 |
| regs      | FAIL_MARKER       |    521001 |
| regs      | GROUP1_MARKER     |   1715382 |
| regs      | TIMEOUT           |    556504 |
| regs      | TRAP              |    214200 |
| regs      | WRITE_TEXTSEGMENT |    631280 |
| regs      | ACCESS_OUTERSPACE |   7043372 |
+-----------+-------------------+-----------+
