+-----------+-------------------+-----------+
| benchmark | resulttype        | faults    |
+-----------+-------------------+-----------+
| ip        | OK_MARKER         |    111923 |
| ip        | FAIL_MARKER       |     14520 |
| ip        | GROUP1_MARKER     |     75255 |
| ip        | TIMEOUT           |    114888 |
| ip        | TRAP              |   1151942 |
| ip        | WRITE_TEXTSEGMENT |    108238 |
| ip        | ACCESS_OUTERSPACE |   1357058 |
| mem       | OK_MARKER         | 209872395 |
| mem       | FAIL_MARKER       |  62715656 |
| mem       | GROUP1_MARKER     |  86663158 |
| mem       | TIMEOUT           |  63361410 |
| mem       | TRAP              |  32092796 |
| mem       | WRITE_TEXTSEGMENT |   6171471 |
| mem       | ACCESS_OUTERSPACE |  92469818 |
| regs      | OK_MARKER         |   4878545 |
| regs      | FAIL_MARKER       |    303701 |
| regs      | GROUP1_MARKER     |   1185296 |
| regs      | TIMEOUT           |    147161 |
| regs      | TRAP              |    167715 |
| regs      | WRITE_TEXTSEGMENT |    476573 |
| regs      | ACCESS_OUTERSPACE |   4771745 |
+-----------+-------------------+-----------+
