Add datafiles

This commit is contained in:
2026-09-18 22:24:47 +02:00
parent 41722b6b33
commit 3444fd17c4
270 changed files with 414106 additions and 0 deletions
@@ -0,0 +1,20 @@
+-----------+-------------------+--------+
| 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 |
+-----------+-------------------+--------+