[Termtools] termination/complexity of integer transition systems

[Johannes Waldmann]

Dear all,

I am not quite sure about the benchmark syntax and sources
for "integer transition systems".

for Termination (this was used already last year)
http://nfa.imn.htwk-leipzig.de/termcomp-devel/results/standard/noquery/17507
http://nfa.imn.htwk-leipzig.de/termcomp-2015/results/standard/noquery/10308

for Complexity (this is new)
http://nfa.imn.htwk-leipzig.de/termcomp-devel/results/complexity/noquery/17531
where apparently no-one wants these *.smt2 files.

what spaces (containing benchmarks) should I use for testing?
See http://nfa.imn.htwk-leipzig.de/termcomp-devel/registered/Y2016

Are the names for categories OK?
Do they correspond to entries in the Wiki?
http://www.termination-portal.org/wiki/Category:Categories

- Johannes.