[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