consistency check fails to detect YES/NO conflict - Githubissues

jwaldmann / star-exec-presenter

presentation platform for star-exec written in Haskell and based upon Yesod

2 stars 7 forks source link

consistency check fails to detect YES/NO conflict #182

Open jwaldmann opened 7 years ago

jwaldmann commented 7 years ago

both for TRS standard. 0ne job pair is for certified, the other is for uncertified:

https://termcomp.imn.htwk-leipzig.de/pairs/306756795 https://termcomp.imn.htwk-leipzig.de/pairs/306853917

Detection of this problem worked earlier (2014) https://termcomp.imn.htwk-leipzig.de/problems/False/5373/5377

but not this year? https://termcomp.imn.htwk-leipzig.de/problems/False/24388/24422

jwaldmann commented 5 years ago

another instance of failed detection: http://lists.lri.fr/pipermail/termtools/2019-March/001241.html https://termcomp.imn.htwk-leipzig.de/results/standard/noquery/24389/32999

something with benchmark DOIs?