| Name | Description | Size | Coverage |
|---|---|---|---|
| input1.der | 34 | - | |
| input2.der | 40 | - | |
| input3.der | 402 | - | |
| input4.der | 238 | - | |
| input5.der | 1783 | - | |
| input6.der | 2053 | - | |
| input7.der | 5308 | - | |
| output1.txt | 441 | - | |
| output2.txt | 533 | - | |
| output3.txt | 1873 | - | |
| output4.txt | 1005 | - | |
| output5.txt | 9093 | - | |
| output6.txt | 9996 | - | |
| output7.txt | 29366 | - |