[Termtools] Termination Competition: Termination C_Integer

[Yamada, Akihisa]

Dear Jesus,

> please argue about this.

ah I see you already found your tool is buggy. (Still please post to the 
list as others would have to investigate the conflict in vain.)

We have the due dates for bugfix and final run in the call. Please wait, 
I will announce how to update the registration.

Best,
Akihisa


> 
> 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