[Termtools] termcomp registrations and test run

[Johannes Waldmann]

Dear all,


registration status:
http://nfa.imn.htwk-leipzig.de/termcomp-devel/registered/Y2015

test data (random selection, one problem per "family" (= subdir))
http://nfa.imn.htwk-leipzig.de/termcomp-devel/competitions/6


this is still quite far from the real thing, e.g., using old TPDB,
old postprocessor, old results computation (metacategories),
but it's a start.


please report bugs to this mailing list,
and also eyeball each others' solver outputs.

your solver should have a description (on starexec),
cf. http://nfa.imn.htwk-leipzig.de/termcomp-devel/solvers/3338


- Johannes.


PS: it is amazing how software (starexe + starexec-presenter)
that was basically working fine last year,
now breaks in various interesting and inexplicable ways...