+-----------+-------------------+------------+
| benchmark | resulttype        | faults     |
+-----------+-------------------+------------+
| ip        | OK_MARKER         |        143 |
| ip        | FAIL_MARKER       |     806623 |
| ip        | GROUP1_MARKER     |     475341 |
| ip        | TIMEOUT           |     784212 |
| ip        | TRAP              |    7913124 |
| ip        | WRITE_TEXTSEGMENT |     803240 |
| ip        | ACCESS_OUTERSPACE |    8866565 |
| mem       | OK_MARKER         |    6046937 |
| mem       | FAIL_MARKER       | 4043881545 |
| mem       | GROUP1_MARKER     | 1119493200 |
| mem       | TIMEOUT           |  853026586 |
| mem       | TRAP              |  224653172 |
| mem       | WRITE_TEXTSEGMENT |   47501086 |
| mem       | ACCESS_OUTERSPACE |  796445362 |
| regs      | OK_MARKER         |       2598 |
| regs      | FAIL_MARKER       |   33951076 |
| regs      | GROUP1_MARKER     |    8408299 |
| regs      | TIMEOUT           |     964616 |
| regs      | TRAP              |     967843 |
| regs      | WRITE_TEXTSEGMENT |    3070942 |
| regs      | ACCESS_OUTERSPACE |   33943658 |
+-----------+-------------------+------------+
