Update query results

This commit is contained in:
2026-09-20 11:47:33 +02:00
parent e92c70f185
commit d41807ed7e
544 changed files with 94431 additions and 525965 deletions
@@ -1,25 +0,0 @@
+-----------+-------------------+--------+
| benchmark | resulttype | faults |
+-----------+-------------------+--------+
| ip | OK_MARKER | 1463 |
| ip | FAIL_MARKER | 327 |
| ip | GROUP1_MARKER | 121 |
| ip | TIMEOUT | 1422 |
| ip | TRAP | 8374 |
| ip | WRITE_TEXTSEGMENT | 779 |
| ip | ACCESS_OUTERSPACE | 13978 |
| mem | OK_MARKER | 211137 |
| mem | FAIL_MARKER | 27477 |
| mem | GROUP1_MARKER | 30251 |
| mem | TIMEOUT | 49099 |
| mem | TRAP | 45367 |
| mem | WRITE_TEXTSEGMENT | 17991 |
| mem | ACCESS_OUTERSPACE | 197510 |
| regs | OK_MARKER | 44379 |
| regs | FAIL_MARKER | 4520 |
| regs | GROUP1_MARKER | 1712 |
| regs | TIMEOUT | 1037 |
| regs | TRAP | 2528 |
| regs | WRITE_TEXTSEGMENT | 3362 |
| regs | ACCESS_OUTERSPACE | 29278 |
+-----------+-------------------+--------+