swh:1:snp:a4fdcc354103107265379dd7e8be94888ce4d9ed
Tip revision: 490e2e0693241f708670d9d1c56803b754fab7cd authored by mhulden on 14 August 2018, 21:50:11 UTC
Fix re-reversal of lemma for correct -o operation
Fix re-reversal of lemma for correct -o operation
Tip revision: 490e2e0
File | Mode | Size |
---|---|---|
de-track1-covered | -rw-r--r-- | 77.5 KB |
de-track2-covered | -rw-r--r-- | 36.9 KB |
de-uncovered | -rw-r--r-- | 79.9 KB |
en-track1-covered | -rw-r--r-- | 355.0 KB |
en-track1-covered-uncovered-out | -rw-r--r-- | 365.3 KB |
en-track2-covered | -rw-r--r-- | 198.8 KB |
en-uncovered | -rw-r--r-- | 365.6 KB |
es-track1-covered | -rw-r--r-- | 642.5 KB |
es-track2-covered | -rw-r--r-- | 325.0 KB |
es-uncovered | -rw-r--r-- | 654.7 KB |
fi-track1-covered | -rw-r--r-- | 381.4 KB |
fi-track1-covered-out | -rw-r--r-- | 396.1 KB |
fi-track2-covered | -rw-r--r-- | 189.1 KB |
fi-uncovered | -rw-r--r-- | 396.5 KB |
fr-track1-covered | -rw-r--r-- | 527.4 KB |
fr-track2-covered | -rw-r--r-- | 262.7 KB |
fr-uncovered | -rw-r--r-- | 538.0 KB |
ru-track1-covered | -rw-r--r-- | 367.5 KB |
ru-track2-covered | -rw-r--r-- | 166.0 KB |
ru-uncovered | -rw-r--r-- | 384.4 KB |
sv-track1-covered | -rw-r--r-- | 184.4 KB |
sv-track2-covered | -rw-r--r-- | 79.9 KB |
sv-uncovered | -rw-r--r-- | 188.4 KB |