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

[Akihisa Yamada]

Dear Johannes,

thank you for the information! I turned the community default to 
runsolver+plain.4.

Still I have to renew a CeTA postprocessor, though...

Best regards,
Akihisa

On 2019/03/12 20:56, Johannes Waldmann wrote:
> 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.
> _______________________________________________
> Termtools mailing list
> Termtools at lri.fr
> http://lists.lri.fr/cgi-bin/mailman/listinfo/termtools
>