| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | - | - | ||||
| spec1101.out | D | 04-Jul-2025 | 75 | 3 | 3 | |
| spec1102.out | D | 04-Jul-2025 | 58 | 1 | 1 | |
| spec1103.out | D | 04-Jul-2025 | 61 | 1 | 1 | |
| spec1104.out | D | 04-Jul-2025 | 62 | 1 | 1 | |
| spec1105.out | D | 04-Jul-2025 | 113 | 6 | 3 | |
| spec1106.out | D | 04-Jul-2025 | 86 | 1 | 1 | |
| spec1107.out | D | 04-Jul-2025 | 44 | 1 | 1 | |
| spec1108.out | D | 04-Jul-2025 | 186 | 7 | 7 | |
| spec1109.out | D | 04-Jul-2025 | 89 | 3 | 2 | |
| spec1110.out | D | 04-Jul-2025 | 85 | 3 | 2 |