[Termtools] TermComp test runs C Integer Termination

[aeflores]

It seems that the category "Termination C integer programs" is using the 
examples
of the category "Complexity C integer programs" (space 277918)

Instead it should use the space  277726.
Best,

Antonio

On 08/17/2017 05:01 PM, Florian Frohn wrote:
> Hello,
>
> I guess I don't have the permissions to see these subspaces -- when I
> follow the links on the registration website, I am redirected to space
> 276081, which does not contain the benchmarks I am looking for. However,
> if it's TPDB-10.5, then the function name should be "main". The only
> explanation that comes to my mind is that the name of the function is
> obfuscated (like the filename), but that seems unlikely...
>
> Best
> Florian
>
>
> On 08/17/2017 04:31 PM, Johannes Waldmann wrote:
>>> Which examples are currently used for testing
>> ...
>>
>> the subspace ids that contain the benchmarks
>> are also shown on the registration page
>> (immediately after the respective category)
>> https://termcomp.imn.htwk-leipzig.de/registered/Y2017
>>
>> - J
>> _______________________________________________
>> Termtools mailing list
>> Termtools at lists.lri.fr
>> http://lists.lri.fr/cgi-bin/mailman/listinfo/termtools
> _______________________________________________
> Termtools mailing list
> Termtools at lists.lri.fr
> http://lists.lri.fr/cgi-bin/mailman/listinfo/termtools

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.lri.fr/pipermail/termtools/attachments/20170817/84b5f3e1/attachment.html>