+-----------+-------------------+-----------+
| benchmark | resulttype        | faults    |
+-----------+-------------------+-----------+
| ip        | OK_MARKER         |     51362 |
| ip        | FAIL_MARKER       |       213 |
| ip        | DETECTED_MARKER   |      4835 |
| ip        | GROUP1_MARKER     |     54237 |
| ip        | TIMEOUT           |     33302 |
| ip        | TRAP              |    464441 |
| ip        | WRITE_TEXTSEGMENT |     13054 |
| ip        | ACCESS_OUTERSPACE |    716572 |
| mem       | OK_MARKER         | 166444954 |
| mem       | FAIL_MARKER       |    841151 |
| mem       | DETECTED_MARKER   |  19097621 |
| mem       | GROUP1_MARKER     |  41181780 |
| mem       | TIMEOUT           |  11816586 |
| mem       | TRAP              |  10292679 |
| mem       | WRITE_TEXTSEGMENT |   2423462 |
| mem       | ACCESS_OUTERSPACE |  28953767 |
| regs      | OK_MARKER         |   2742740 |
| regs      | FAIL_MARKER       |       327 |
| regs      | DETECTED_MARKER   |    150648 |
| regs      | GROUP1_MARKER     |    551833 |
| regs      | TIMEOUT           |     49079 |
| regs      | TRAP              |    117225 |
| regs      | WRITE_TEXTSEGMENT |    211332 |
| regs      | ACCESS_OUTERSPACE |   2023688 |
+-----------+-------------------+-----------+
