[Termtools] jambox?

[Johannes Waldmann]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Peter Schneider-Kamp wrote (I guess it was meant to go to the list)
> It seems to be 120 seconds of usertime. The version of AProVE that
> we submitted is optimized for 60 seconds of wall time on a single
> core machine.


That's what I did, but I simply ignore the timeout parameter
(because it was said that it would be 60 anyway)

It seems jambox does take it into account,
and draws wrong conclusions.
(It seems it thinks it has more time than it really gets?)

Johannes.


-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.2 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iD8DBQFGZZQA3ZnXZuOVyMIRAiLCAKC8ly/QlgbCrU4q4S+UG2szPleYgACfXylN
yoE09zWeKjlLhvLoC64IkAU=
=XSPn
-----END PGP SIGNATURE-----