+-----------+-------------------+--------+
| benchmark | resulttype        | faults |
+-----------+-------------------+--------+
| ip        | OK_MARKER         |    384 |
| ip        | FAIL_MARKER       |     83 |
| ip        | TIMEOUT           |     59 |
| ip        | TRAP              |   1117 |
| ip        | ACCESS_OUTERSPACE |   2261 |
| mem       | OK_MARKER         |  17128 |
| mem       | FAIL_MARKER       |   3158 |
| mem       | TIMEOUT           |    446 |
| mem       | TRAP              |   3014 |
| mem       | ACCESS_OUTERSPACE |  11446 |
| regs      | OK_MARKER         |   4636 |
| regs      | FAIL_MARKER       |    139 |
| regs      | TIMEOUT           |    120 |
| regs      | TRAP              |    204 |
| regs      | WRITE_TEXTSEGMENT |     58 |
| regs      | ACCESS_OUTERSPACE |   4923 |
+-----------+-------------------+--------+
