+-----------+-------------------+--------+
| benchmark | resulttype        | faults |
+-----------+-------------------+--------+
| ip        | OK_MARKER         |    974 |
| ip        | FAIL_MARKER       |    327 |
| ip        | GROUP1_MARKER     |     75 |
| ip        | TIMEOUT           |    990 |
| ip        | TRAP              |   5947 |
| ip        | WRITE_TEXTSEGMENT |    174 |
| ip        | ACCESS_OUTERSPACE |  10489 |
| mem       | OK_MARKER         |  58631 |
| mem       | FAIL_MARKER       |  27382 |
| mem       | GROUP1_MARKER     |  10772 |
| mem       | TIMEOUT           |   7055 |
| mem       | TRAP              |  19858 |
| mem       | WRITE_TEXTSEGMENT |   2735 |
| mem       | ACCESS_OUTERSPACE |  76735 |
| regs      | OK_MARKER         |  17104 |
| regs      | FAIL_MARKER       |   4520 |
| regs      | GROUP1_MARKER     |   1444 |
| regs      | TIMEOUT           |    431 |
| regs      | TRAP              |   1750 |
| regs      | WRITE_TEXTSEGMENT |   1928 |
| regs      | ACCESS_OUTERSPACE |  19519 |
+-----------+-------------------+--------+
