[Termtools] Final result
Akihisa Yamada
akihisayamada at nii.ac.jp
Sun Apr 7 22:29:36 CEST 2019
Dear all,
this morning Albert presented our competition at the TOOLympics session.
I'd like to share some remarks.
- Category winners: AProVE(x11), matchbox(x2), NaTT, muterm(x2), Wanda,
UltimateAutomizer, VeryMax(x2), CoFloCo.
- MultumNonMulta is the best tool to disprove SRS termination.
- NTI is the only tool that disprove logic program termination.
- irankfinder is the best tool to prove ITS termination.
- CoFloCo is the best tool for upper bound complexity.
- AProVE is the only tool for lower bound complexity.
You can verify them at
http://group-mmm.org/termination/competitions/Y2019/
Best regards,
Akihisa
More information about the Termtools
mailing list