+-----------+-------------------+--------+
| benchmark | resulttype        | faults |
+-----------+-------------------+--------+
| ip        | OK_MARKER         |      3 |
| ip        | FAIL_MARKER       |    293 |
| ip        | TIMEOUT           |     30 |
| ip        | TRAP              |    232 |
| ip        | WRITE_TEXTSEGMENT |      5 |
| ip        | ACCESS_OUTERSPACE |    525 |
| mem       | FAIL_MARKER       |   1394 |
| mem       | TIMEOUT           |     81 |
| mem       | TRAP              |    483 |
| mem       | ACCESS_OUTERSPACE |   1098 |
| regs      | FAIL_MARKER       |    696 |
| regs      | TIMEOUT           |     29 |
| regs      | TRAP              |    105 |
| regs      | ACCESS_OUTERSPACE |   1194 |
+-----------+-------------------+--------+
