| bugfix_equivalence_conjunction-in.txt | Oct 10, 2021, 7:14:08 AM | 441 B | |
| bugfix_equivalence_conjunction-out.txt | Oct 10, 2021, 7:14:08 AM | 19.17 KiB | |
| bugfix_inherit_negation-in.txt | Dec 4, 2021, 7:31:37 PM | 52 B | |
| bugfix_inherit_negation-out.txt | Dec 4, 2021, 7:31:44 PM | 103 B | |
| Example-MultiStep.txt | Oct 10, 2021, 7:14:08 AM | 4.49 KiB | |
| Example-MultiStep-edited.txt | Oct 10, 2021, 7:14:08 AM | 3.10 KiB | |
| Example-MultiStep-unedited.txt | Oct 10, 2021, 7:14:08 AM | 4.76 KiB | |
| Example-NAL1-edited.txt | Oct 10, 2021, 7:14:08 AM | 2.01 KiB | |
| Example-NAL1-in.txt | Oct 10, 2021, 7:14:08 AM | 1.37 KiB | |
| Example-NAL1-out.txt | Oct 10, 2021, 7:14:08 AM | 2.31 KiB | |
| Example-NAL1-unedited.txt | Oct 10, 2021, 7:14:08 AM | 2.66 KiB | |
| Example-NAL2-edited.txt | Oct 10, 2021, 7:14:08 AM | 4.05 KiB | |
| Example-NAL2-in.txt | Oct 10, 2021, 7:14:08 AM | 3.02 KiB | |
| Example-NAL2-out.txt | Oct 10, 2021, 7:14:08 AM | 4.01 KiB | |
| Example-NAL2-unedited.txt | Oct 10, 2021, 7:14:08 AM | 3.80 KiB | |
| Example-NAL3-edited.txt | Oct 10, 2021, 7:14:08 AM | 4.45 KiB | |
| Example-NAL3-in.txt | Oct 10, 2021, 7:14:08 AM | 2.61 KiB | |
| Example-NAL3-out.txt | Oct 10, 2021, 7:14:08 AM | 4.23 KiB | |
| Example-NAL3-unedited.txt | Oct 10, 2021, 7:14:08 AM | 5.51 KiB | |
| Example-NAL4-edited.txt | Oct 10, 2021, 7:14:08 AM | 2.89 KiB | |
| Example-NAL4-in.txt | Oct 10, 2021, 7:14:08 AM | 2.21 KiB | |
| Example-NAL4-out.txt | Oct 10, 2021, 7:14:08 AM | 2.58 KiB | |
| Example-NAL4-unedited.txt | Oct 10, 2021, 7:14:08 AM | 2.36 KiB | |
| Example-NAL5-edited.txt | Oct 10, 2021, 7:14:08 AM | 10.70 KiB | |
| Example-NAL5-in.txt | Oct 10, 2021, 7:14:08 AM | 6.16 KiB | |
| Example-NAL5-out.txt | Oct 10, 2021, 7:14:08 AM | 7.67 KiB | |
| Example-NAL5-unedited.txt | Oct 10, 2021, 7:14:08 AM | 9.92 KiB | |
| Example-NAL6-edited.txt | Oct 10, 2021, 7:14:08 AM | 8.92 KiB | |
| Example-NAL6-in.txt | Oct 10, 2021, 7:14:08 AM | 6.50 KiB | |
| Example-NAL6-out.txt | Oct 10, 2021, 7:14:08 AM | 7.58 KiB | |
| Example-NAL6-unedited.txt | Oct 10, 2021, 7:14:08 AM | 7.55 KiB | |
| Example-NAL7-abridged.txt | Oct 10, 2021, 7:14:08 AM | 4.12 KiB | |
| Example-NAL7-complete.txt | Oct 10, 2021, 7:14:08 AM | 8.96 KiB | |
| Example-NAL8-1-abridged.txt | Oct 10, 2021, 7:14:08 AM | 5.57 KiB | |
| Example-NAL8-1-complete.txt | Oct 10, 2021, 7:14:08 AM | 14.65 KiB | |
| Example-NAL8-2-abridged.txt | Oct 10, 2021, 7:14:08 AM | 2.19 KiB | |
| Example-NAL8-2-complete.txt | Oct 10, 2021, 7:14:08 AM | 5.23 KiB | |
| Example-NAL8-3-abridged.txt | Oct 10, 2021, 7:14:08 AM | 1.55 KiB | |
| Example-NAL8-3-complete.txt | Oct 10, 2021, 7:14:08 AM | 2.88 KiB | |
| Example-NAL8-4-abridged.txt | Oct 10, 2021, 7:14:08 AM | 2.13 KiB | |
| Example-NAL8-4-complete.txt | Oct 10, 2021, 7:14:08 AM | 4.04 KiB | |
| Example-NAL8-5-abridged.txt | Oct 10, 2021, 7:14:08 AM | 2.44 KiB | |
| Example-NAL8-5-complete.txt | Oct 10, 2021, 7:14:08 AM | 3.33 KiB | |
| Example-NLP-edited.txt | Oct 10, 2021, 7:14:08 AM | 3.81 KiB | |
| Example-NLP-unedited.txt | Oct 10, 2021, 7:14:08 AM | 21.76 KiB | |
| MultiStepExamples-1in.txt | Oct 10, 2021, 7:14:08 AM | 843 B | |
| MultiStepExamples-in.txt | Oct 10, 2021, 7:14:08 AM | 4.36 KiB | |
| MultiStepExamples-no_silence.txt | Oct 10, 2021, 7:14:08 AM | 59.49 KiB | |
| MultiStepExamples-out.txt | Oct 10, 2021, 7:14:08 AM | 4.54 KiB | |
| pattern_matching_case1-in.txt | Oct 10, 2021, 7:14:08 AM | 262 B | |
| pattern_matching_case1-out.txt | Oct 10, 2021, 7:14:08 AM | 968 B | |
|