+-----------+-------------------+--------+
| benchmark | resulttype        | faults |
+-----------+-------------------+--------+
| ip        | OK_MARKER         |   1230 |
| ip        | FAIL_MARKER       |    769 |
| ip        | TIMEOUT           |    103 |
| ip        | TRAP              |   2631 |
| ip        | WRITE_TEXTSEGMENT |     42 |
| ip        | ACCESS_OUTERSPACE |   6745 |
| mem       | OK_MARKER         |  11236 |
| mem       | FAIL_MARKER       |  40367 |
| mem       | TIMEOUT           |   8487 |
| mem       | TRAP              |  12180 |
| mem       | WRITE_TEXTSEGMENT |   3649 |
| mem       | ACCESS_OUTERSPACE |  44929 |
| regs      | OK_MARKER         |   7461 |
| regs      | FAIL_MARKER       |   4259 |
| regs      | TIMEOUT           |    389 |
| regs      | TRAP              |    924 |
| regs      | WRITE_TEXTSEGMENT |   1638 |
| regs      | ACCESS_OUTERSPACE |  14385 |
+-----------+-------------------+--------+
