+-----------+-------------------+--------+
| benchmark | resulttype        | faults |
+-----------+-------------------+--------+
| ip        | OK_MARKER         |    947 |
| ip        | FAIL_MARKER       |     20 |
| ip        | DETECTED_MARKER   |    203 |
| ip        | GROUP1_MARKER     |    206 |
| ip        | TIMEOUT           |    774 |
| ip        | TRAP              |   4954 |
| ip        | WRITE_TEXTSEGMENT |    203 |
| ip        | ACCESS_OUTERSPACE |   8981 |
| mem       | OK_MARKER         | 151844 |
| mem       | DETECTED_MARKER   |  30572 |
| mem       | GROUP1_MARKER     |  45354 |
| mem       | TIMEOUT           |  12192 |
| mem       | TRAP              |  23365 |
| mem       | WRITE_TEXTSEGMENT |   3236 |
| mem       | ACCESS_OUTERSPACE |  87693 |
| regs      | OK_MARKER         |  24007 |
| regs      | FAIL_MARKER       |      1 |
| regs      | DETECTED_MARKER   |   2117 |
| regs      | GROUP1_MARKER     |   5277 |
| regs      | TIMEOUT           |    424 |
| regs      | TRAP              |   1901 |
| regs      | WRITE_TEXTSEGMENT |   1076 |
| regs      | ACCESS_OUTERSPACE |  17741 |
+-----------+-------------------+--------+
