+-----------+-------------------+--------+
| benchmark | resulttype        | faults |
+-----------+-------------------+--------+
| ip        | OK_MARKER         |   2330 |
| ip        | FAIL_MARKER       |    206 |
| ip        | GROUP1_MARKER     |    387 |
| ip        | TIMEOUT           |   1536 |
| ip        | TRAP              |  15016 |
| ip        | WRITE_TEXTSEGMENT |    297 |
| ip        | ACCESS_OUTERSPACE |  27396 |
| mem       | OK_MARKER         | 626236 |
| mem       | FAIL_MARKER       | 114070 |
| mem       | GROUP1_MARKER     | 154603 |
| mem       | TIMEOUT           |  34259 |
| mem       | TRAP              |  94235 |
| mem       | WRITE_TEXTSEGMENT |   4947 |
| mem       | ACCESS_OUTERSPACE | 289130 |
| regs      | OK_MARKER         |  62282 |
| regs      | FAIL_MARKER       |   1043 |
| regs      | GROUP1_MARKER     |  10592 |
| regs      | TIMEOUT           |    408 |
| regs      | TRAP              |   4769 |
| regs      | WRITE_TEXTSEGMENT |   2681 |
| regs      | ACCESS_OUTERSPACE |  47641 |
+-----------+-------------------+--------+
