[Termtools] testing starexec for termination

[Johannes Waldmann]

Hi Carsten,

> Is there a way to convince the starexec administrators to raise the
> memory limit to a higher level (several GB)?

I think that Termcomp SC will talk to Starexec SC about this.

I made a note at http://termination-portal.org/wiki/Star_Exec .

- Johannes.


-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 246 bytes
Desc: OpenPGP digital signature
URL: <http://lists.lri.fr/pipermail/termtools/attachments/20140221/95d656ed/attachment.pgp>