Closed jwaldmann closed 7 years ago
this example: https://termcomp.imn.htwk-leipzig.de/results/standard/noquery/22474
the first two lines (z127, z128) are actually time-outs. for un-certified categories, they would be treated as MAYBE (rendered in yellow).
fixed by d42ad364b2c355495b04fb5fdb1a6603171ce3c8
this example: https://termcomp.imn.htwk-leipzig.de/results/standard/noquery/22474
the first two lines (z127, z128) are actually time-outs. for un-certified categories, they would be treated as MAYBE (rendered in yellow).