+-----------+-------------------+--------+
| benchmark | resulttype        | faults |
+-----------+-------------------+--------+
| ip        | OK_MARKER         |     69 |
| ip        | FAIL_MARKER       |      4 |
| ip        | TIMEOUT           |     23 |
| ip        | TRAP              |    143 |
| ip        | WRITE_TEXTSEGMENT |      2 |
| ip        | ACCESS_OUTERSPACE |    335 |
| mem       | OK_MARKER         |    133 |
| mem       | FAIL_MARKER       |    803 |
| mem       | TIMEOUT           |     30 |
| mem       | TRAP              |     55 |
| mem       | ACCESS_OUTERSPACE |    139 |
| regs      | OK_MARKER         |    352 |
| regs      | FAIL_MARKER       |    215 |
| regs      | TIMEOUT           |      6 |
| regs      | TRAP              |     19 |
| regs      | ACCESS_OUTERSPACE |    656 |
+-----------+-------------------+--------+
