+-----------+-------------------+-----------+
| benchmark | resulttype        | faults    |
+-----------+-------------------+-----------+
| ip        | OK_MARKER         |    111115 |
| ip        | FAIL_MARKER       |     14520 |
| ip        | GROUP1_MARKER     |     75189 |
| ip        | TIMEOUT           |    114509 |
| ip        | TRAP              |   1148434 |
| ip        | WRITE_TEXTSEGMENT |    107655 |
| ip        | ACCESS_OUTERSPACE |   1352578 |
| mem       | OK_MARKER         | 198179510 |
| mem       | FAIL_MARKER       |  62624108 |
| mem       | GROUP1_MARKER     |  85288272 |
| mem       | TIMEOUT           |  57386441 |
| mem       | TRAP              |  29247449 |
| mem       | WRITE_TEXTSEGMENT |   4885912 |
| mem       | ACCESS_OUTERSPACE |  84832628 |
| regs      | OK_MARKER         |   4863890 |
| regs      | FAIL_MARKER       |    303688 |
| regs      | GROUP1_MARKER     |   1184670 |
| regs      | TIMEOUT           |    145566 |
| regs      | TRAP              |    167104 |
| regs      | WRITE_TEXTSEGMENT |    474886 |
| regs      | ACCESS_OUTERSPACE |   4759340 |
+-----------+-------------------+-----------+
