+-----------+-------------------+--------+
| benchmark | resulttype        | faults |
+-----------+-------------------+--------+
| ip        | OK_MARKER         |     50 |
| ip        | FAIL_MARKER       |      9 |
| ip        | DETECTED_MARKER   |     43 |
| ip        | TIMEOUT           |      6 |
| ip        | TRAP              |    232 |
| ip        | WRITE_TEXTSEGMENT |      4 |
| ip        | ACCESS_OUTERSPACE |   1384 |
| mem       | OK_MARKER         |   1924 |
| mem       | DETECTED_MARKER   |    370 |
| mem       | TIMEOUT           |     45 |
| mem       | TRAP              |    600 |
| mem       | ACCESS_OUTERSPACE |   3693 |
| regs      | OK_MARKER         |   2901 |
| regs      | DETECTED_MARKER   |    328 |
| regs      | TRAP              |    198 |
| regs      | ACCESS_OUTERSPACE |   2701 |
+-----------+-------------------+--------+
