| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | - | - | ||||
| Basic.baseline | D | 04-Jul-2025 | 762 | 19 | 18 | |
| ChangeThreadLocal1.baseline | D | 04-Jul-2025 | 132 | 5 | 4 | |
| ChangeThreadLocal2.baseline | D | 04-Jul-2025 | 132 | 5 | 4 | |
| PerThread1.baseline | D | 04-Jul-2025 | 407 | 10 | 9 | |
| PerThread2.baseline | D | 04-Jul-2025 | 407 | 10 | 9 |