+-----------+-------------------+--------+
| benchmark | resulttype        | faults |
+-----------+-------------------+--------+
| ip        | OK_MARKER         |     72 |
| ip        | FAIL_MARKER       |      6 |
| ip        | DETECTED_MARKER   |      2 |
| ip        | TIMEOUT           |     45 |
| ip        | TRAP              |    313 |
| ip        | ACCESS_OUTERSPACE |    682 |
| mem       | OK_MARKER         |    768 |
| mem       | FAIL_MARKER       |    763 |
| mem       | TIMEOUT           |     32 |
| mem       | TRAP              |     40 |
| mem       | ACCESS_OUTERSPACE |    157 |
| regs      | OK_MARKER         |   1314 |
| regs      | FAIL_MARKER       |    161 |
| regs      | TIMEOUT           |     28 |
| regs      | TRAP              |     27 |
| regs      | ACCESS_OUTERSPACE |   1254 |
+-----------+-------------------+--------+
