[Termtools] termcomp test runs

[Johannes Waldmann]

Dear all,

I made an initial round of tests:

Termination:
  http://nfa.imn.htwk-leipzig.de/termcomp-devel/competitions/31
Complexity:
  http://nfa.imn.htwk-leipzig.de/termcomp-devel/competitions/32
Programs:
  http://nfa.imn.htwk-leipzig.de/termcomp-devel/competitions/33

Please browse, and report anything strange
(preferrably, to this mailing list)

Muterm seems broken
(./muterm: error while loading shared libraries: libgmp.so.3: ... )
See
http://starexec.lefora.com/reply/105/OS-upgrade-almost-complete#reply-105

CycNTA needs mono.
Does anyone know whether it's available on starexec?

Best regards, Johannes.

(I have other things to do in the next days,
and might get back to this only on Monday)