+-----------+-------------------+--------+
| benchmark | resulttype        | faults |
+-----------+-------------------+--------+
| ip        | OK_MARKER         |   1383 |
| ip        | FAIL_MARKER       |     20 |
| ip        | DETECTED_MARKER   |    204 |
| ip        | GROUP1_MARKER     |    251 |
| ip        | TIMEOUT           |   1171 |
| ip        | TRAP              |   7402 |
| ip        | WRITE_TEXTSEGMENT |    798 |
| ip        | ACCESS_OUTERSPACE |  12547 |
| mem       | OK_MARKER         | 289748 |
| mem       | FAIL_MARKER       |    787 |
| mem       | DETECTED_MARKER   |  31166 |
| mem       | GROUP1_MARKER     |  62985 |
| mem       | TIMEOUT           |  52478 |
| mem       | TRAP              |  43812 |
| mem       | WRITE_TEXTSEGMENT |  17929 |
| mem       | ACCESS_OUTERSPACE | 192039 |
| regs      | OK_MARKER         |  48858 |
| regs      | FAIL_MARKER       |      7 |
| regs      | DETECTED_MARKER   |   2120 |
| regs      | GROUP1_MARKER     |   5550 |
| regs      | TIMEOUT           |   1036 |
| regs      | TRAP              |   2380 |
| regs      | WRITE_TEXTSEGMENT |   2547 |
| regs      | ACCESS_OUTERSPACE |  27478 |
+-----------+-------------------+--------+
