+-----------+-------------------+--------+
| benchmark | resulttype        | faults |
+-----------+-------------------+--------+
| ip        | OK_MARKER         |   1245 |
| ip        | FAIL_MARKER       |     29 |
| ip        | DETECTED_MARKER   |      4 |
| ip        | GROUP1_MARKER     |     64 |
| ip        | TIMEOUT           |    885 |
| ip        | TRAP              |   4195 |
| ip        | WRITE_TEXTSEGMENT |    737 |
| ip        | ACCESS_OUTERSPACE |   6697 |
| mem       | OK_MARKER         | 112251 |
| mem       | FAIL_MARKER       |   3851 |
| mem       | DETECTED_MARKER   |    287 |
| mem       | GROUP1_MARKER     |  11680 |
| mem       | TIMEOUT           |  31009 |
| mem       | TRAP              |  24721 |
| mem       | WRITE_TEXTSEGMENT |   9923 |
| mem       | ACCESS_OUTERSPACE |  92342 |
| regs      | OK_MARKER         |  26975 |
| regs      | FAIL_MARKER       |    149 |
| regs      | DETECTED_MARKER   |     13 |
| regs      | GROUP1_MARKER     |    369 |
| regs      | TIMEOUT           |   1085 |
| regs      | TRAP              |   2037 |
| regs      | WRITE_TEXTSEGMENT |   2004 |
| regs      | ACCESS_OUTERSPACE |  16552 |
+-----------+-------------------+--------+
