+-----------+-------------------+---------+
| benchmark | resulttype        | faults  |
+-----------+-------------------+---------+
| ip        | OK_MARKER         |       8 |
| ip        | FAIL_MARKER       |   14954 |
| ip        | GROUP1_MARKER     |    7251 |
| ip        | TIMEOUT           |   10202 |
| ip        | TRAP              |   82011 |
| ip        | WRITE_TEXTSEGMENT |    3728 |
| ip        | ACCESS_OUTERSPACE |  121398 |
| mem       | OK_MARKER         |   34905 |
| mem       | FAIL_MARKER       | 8217116 |
| mem       | GROUP1_MARKER     | 2842273 |
| mem       | TIMEOUT           | 2138528 |
| mem       | TRAP              | 1470126 |
| mem       | WRITE_TEXTSEGMENT |  249868 |
| mem       | ACCESS_OUTERSPACE | 3939736 |
| regs      | OK_MARKER         |     281 |
| regs      | FAIL_MARKER       |  456965 |
| regs      | GROUP1_MARKER     |   77681 |
| regs      | TIMEOUT           |   21653 |
| regs      | TRAP              |   16645 |
| regs      | WRITE_TEXTSEGMENT |   35433 |
| regs      | ACCESS_OUTERSPACE |  360758 |
+-----------+-------------------+---------+
