+-----------+-------------------+--------+
| benchmark | resulttype        | faults |
+-----------+-------------------+--------+
| ip        | OK_MARKER         |    261 |
| ip        | FAIL_MARKER       |   1262 |
| ip        | TIMEOUT           |    799 |
| ip        | TRAP              |   2924 |
| ip        | WRITE_TEXTSEGMENT |     46 |
| ip        | ACCESS_OUTERSPACE |   1268 |
| mem       | OK_MARKER         |   2264 |
| mem       | FAIL_MARKER       | 126357 |
| mem       | TIMEOUT           |   1038 |
| mem       | TRAP              |   3168 |
| mem       | ACCESS_OUTERSPACE |   6229 |
| regs      | OK_MARKER         |   1113 |
| regs      | FAIL_MARKER       |   7828 |
| regs      | TIMEOUT           |    200 |
| regs      | TRAP              |   2117 |
| regs      | ACCESS_OUTERSPACE |  14950 |
+-----------+-------------------+--------+
