[Termination tools] Re: WST competition: executable

[Peter Schneider-Kamp]

Claude Marche wrote:
> Yes, runme may just execute some java -jar ...

Fine.

> But how much time ? If less than a second, it would be neglectable. I
> plan to give at least 10 seconds.
> 
> If just tested launching the Aprove version I have, it takes a few
> seconds but it needs to launch the GUI, may be a text version would
> start faster.

We have implemented a pretty minimal text version. Trivial
examples (where the proving itself is neglectable) need about 1.5
seconds on a P4-1700. The bigger problem is the JIT compiler, i.e.
an example that would normally take 1 seconds takes 3 seconds
(including startup and JIT compilation) and so on.

But if, as your answer implies, time is not so important, and
time limits can be extended in critical cases, the minimal
text version will probably do.

Thanks for your considerate answer,
Peter
-- 
Peter Schneider-Kamp   mailto:psk at informatik.rwth-aachen.de
LuFG Informatik II     http://www-i2.informatik.rwth-aachen.de/~nowonder
RWTH Aachen            phone: ++49 241 80-21211