[Termtools] Termination Competition: Termination C_Integer

[Yamada, Akihisa]

Dear all,

please argue about this.

By the way, please always post any questions about the competition to 
termtools.

Best,
Akihisa

On 2020/06/23 11:49, Jesus Doménech wrote:
> Dear Akihisa,
> 
> First of all, thank you for managing all the termcomp.
> 
> I've noticed that there is a contradictory result in the category 
> C_Integer of Termination [1].
> In this benchmark, the correct result is YES, but my tool iRankFinder 
> answers NO, due to a parser bug that I've already fixed. This bug also 
> produces other incorrect results like [2].
> 
> I've uploaded a new version to StarExec that fix this problem and other 
> minor problems. What are the next steps? Can we re-run the benchmarks?
> 
> We were also participating in the category of Integer Transition 
> Systems, with the same tool and configuration and one of the minor 
> problems also affects to this category. Is possible to re-run them?
> 
> the new ids of the solver are:
> _Starexec_
> *user*: jdomenec at ucm.es <mailto:jdomenec at ucm.es> (778)
> *space*: Termination/jesus_domenech (295645)
> *solver*: irankfinder v1.3.2 (29509)
> *configuration*: competition (360226)
> *categories*: Integer Transition Systems, C_Integer
> 
> Sorry for the inconvenience caused
> 
> Best,
> Jesús
> 
> 
> [1]: 
> https://termcomp2020.herokuapp.com/caches/termination_41217.php#conflict
> 
> [2]: Stroeder_15/LogMult.c 
> <https://www.starexec.org/starexec/services/benchmarks/11769074/contents?limit=-1>
> 
> -- 
> logo UCM
> 
> Jesús J. Doménech Arellano
> Departamento de Sistemas Informáticos y Computación
> Facultad de Informática - Universidad Complutense de Madrid
> 
> (+34) 91 394 7528
> Facultad de Informática, Aula - 16
> jdomenec at ucm.es <mailto:jdomenec at ucm.es>

-- 
このEメールはアバスト アンチウイルスによりウイルススキャンされています。
https://www.avast.com/antivirus