| .. | | - | - |
| t107-vector-f.out | H A D | 13-Nov-2025 | 364 | 23 | 22 |
| t107-vector.out | H A D | 13-Nov-2025 | 364 | 23 | 22 |
| t210-elemrestriction-f.out | H A D | 13-Nov-2025 | 176 | 3 | 2 |
| t210-elemrestriction.out | H A D | 13-Nov-2025 | 176 | 3 | 2 |
| t211-elemrestriction-f.out | H A D | 13-Nov-2025 | 174 | 3 | 2 |
| t211-elemrestriction.out | H A D | 13-Nov-2025 | 174 | 3 | 2 |
| t212-elemrestriction-f.out | H A D | 13-Nov-2025 | 190 | 3 | 2 |
| t212-elemrestriction.out | H A D | 13-Nov-2025 | 190 | 3 | 2 |
| t230-elemrestriction.out | H A D | 19-Sep-2023 | 97 | 2 | 1 |
| t300-basis-f.out | H A D | 13-Nov-2025 | 2.2 KiB | 52 | 51 |
| t300-basis.out | H A D | 13-Nov-2025 | 2.2 KiB | 52 | 51 |
| t320-basis-f.out | H A D | 13-Nov-2025 | 2.6 KiB | 43 | 42 |
| t320-basis.out | H A D | 13-Nov-2025 | 2.6 KiB | 43 | 42 |
| t330-basis.out | H A D | 13-Nov-2025 | 7 KiB | 73 | 72 |
| t340-basis.out | H A D | 13-Nov-2025 | 3.3 KiB | 43 | 42 |
| t402-qfunction-f.out | H A D | 13-Nov-2025 | 951 | 46 | 45 |
| t402-qfunction.out | H A D | 13-Nov-2025 | 1,016 | 48 | 47 |
| t413-qfunction-f.out | H A D | 13-Nov-2025 | 966 | 46 | 45 |
| t413-qfunction.out | H A D | 13-Nov-2025 | 966 | 46 | 45 |
| t504-operator-f.out | H A D | 01-Oct-2025 | 857 | 42 | 41 |
| t504-operator.out | H A D | 01-Oct-2025 | 900 | 44 | 43 |
| t523-operator-f.out | H A D | 01-Oct-2025 | 1.9 KiB | 83 | 82 |
| t523-operator.out | H A D | 01-Oct-2025 | 2.1 KiB | 89 | 88 |