+-----------+-------------------+--------+
| benchmark | resulttype        | faults |
+-----------+-------------------+--------+
| ip        | OK_MARKER         |    103 |
| ip        | FAIL_MARKER       |      7 |
| ip        | DETECTED_MARKER   |      3 |
| ip        | TIMEOUT           |      6 |
| ip        | TRAP              |    142 |
| ip        | WRITE_TEXTSEGMENT |      1 |
| ip        | ACCESS_OUTERSPACE |    410 |
| mem       | OK_MARKER         |    631 |
| mem       | FAIL_MARKER       |     32 |
| mem       | TRAP              |    229 |
| mem       | WRITE_TEXTSEGMENT |      5 |
| mem       | ACCESS_OUTERSPACE |    327 |
| regs      | OK_MARKER         |    744 |
| regs      | FAIL_MARKER       |      8 |
| regs      | TRAP              |     73 |
| regs      | ACCESS_OUTERSPACE |    575 |
+-----------+-------------------+--------+
