+-----------+-------------------+-----------+
| benchmark | resulttype        | faults    |
+-----------+-------------------+-----------+
| ip        | OK_MARKER         |       106 |
| ip        | FAIL_MARKER       |    129545 |
| ip        | GROUP1_MARKER     |    115786 |
| ip        | TIMEOUT           |    142314 |
| ip        | TRAP              |   1517511 |
| ip        | WRITE_TEXTSEGMENT |    184542 |
| ip        | ACCESS_OUTERSPACE |   1692020 |
| mem       | OK_MARKER         |   1177084 |
| mem       | FAIL_MARKER       | 452082259 |
| mem       | GROUP1_MARKER     | 139481969 |
| mem       | TIMEOUT           |  69745680 |
| mem       | TRAP              |  34365101 |
| mem       | WRITE_TEXTSEGMENT |   8167931 |
| mem       | ACCESS_OUTERSPACE | 103359112 |
| regs      | OK_MARKER         |      2381 |
| regs      | FAIL_MARKER       |   6099260 |
| regs      | GROUP1_MARKER     |   1865624 |
| regs      | TIMEOUT           |    113192 |
| regs      | TRAP              |    172941 |
| regs      | WRITE_TEXTSEGMENT |    645067 |
| regs      | ACCESS_OUTERSPACE |   6359583 |
+-----------+-------------------+-----------+
