+-----------+-------------------+--------+
| benchmark | resulttype        | faults |
+-----------+-------------------+--------+
| ip        | OK_MARKER         |   1463 |
| ip        | FAIL_MARKER       |    327 |
| ip        | GROUP1_MARKER     |    121 |
| ip        | TIMEOUT           |   1422 |
| ip        | TRAP              |   8374 |
| ip        | WRITE_TEXTSEGMENT |    779 |
| ip        | ACCESS_OUTERSPACE |  13978 |
| mem       | OK_MARKER         | 211137 |
| mem       | FAIL_MARKER       |  27477 |
| mem       | GROUP1_MARKER     |  30251 |
| mem       | TIMEOUT           |  49099 |
| mem       | TRAP              |  45367 |
| mem       | WRITE_TEXTSEGMENT |  17991 |
| mem       | ACCESS_OUTERSPACE | 197510 |
| regs      | OK_MARKER         |  44379 |
| regs      | FAIL_MARKER       |   4520 |
| regs      | GROUP1_MARKER     |   1712 |
| regs      | TIMEOUT           |   1037 |
| regs      | TRAP              |   2528 |
| regs      | WRITE_TEXTSEGMENT |   3362 |
| regs      | ACCESS_OUTERSPACE |  29278 |
+-----------+-------------------+--------+
