Closed jwaldmann closed 7 years ago
these benchmarks (used in 2016) don't have TPIs https://termcomp.imn.htwk-leipzig.de/results/standard/noquery/18370
this breaks the comparison with 2017
these benchmarks (used in 2016) don't have TPIs https://termcomp.imn.htwk-leipzig.de/results/standard/noquery/18370
this breaks the comparison with 2017