+-----------+-------------------+------------+
| benchmark | resulttype        | faults     |
+-----------+-------------------+------------+
| ip        | OK_MARKER         |        841 |
| ip        | FAIL_MARKER       |     490463 |
| ip        | GROUP1_MARKER     |     256463 |
| ip        | TIMEOUT           |     447569 |
| ip        | TRAP              |    4431782 |
| ip        | WRITE_TEXTSEGMENT |     501969 |
| ip        | ACCESS_OUTERSPACE |    4971553 |
| mem       | OK_MARKER         |    2045630 |
| mem       | FAIL_MARKER       | 1286038431 |
| mem       | GROUP1_MARKER     |  377638936 |
| mem       | TIMEOUT           |  281151797 |
| mem       | TRAP              |  100033220 |
| mem       | WRITE_TEXTSEGMENT |   19329491 |
| mem       | ACCESS_OUTERSPACE |  382428951 |
| regs      | OK_MARKER         |       4007 |
| regs      | FAIL_MARKER       |   19606072 |
| regs      | GROUP1_MARKER     |    3838242 |
| regs      | TIMEOUT           |     454901 |
| regs      | TRAP              |     500791 |
| regs      | WRITE_TEXTSEGMENT |    1784235 |
| regs      | ACCESS_OUTERSPACE |   18428848 |
+-----------+-------------------+------------+
