[Termtools] Termination and Complexity Competition 2019: Call for Participation

[Johannes Waldmann]

Dear all,


> and set "benchmarking framework" to "runsolver". Then result will be
> MAYBE, but you can manually check "output" in job details.

for me, postprocessor "plain.4" (id 317) works
(that was used in termcomp  2016)

- Johannes.