[Termtools] FP/LP

[Carsten Otto]

On Fri, Oct 24, 2008 at 07:02:46PM +0200, Simon Bailey wrote:
> FP & LP are now available in the database and also in the execution  
> environment. i know (and hope) that the aprove guys will want to test  
> them. :)

YES
(http://colo5-c703.uibk.ac.at:8080/termcomp/competition/resultDetail.seam?resultId=79848&cid=129)

YES
(http://colo5-c703.uibk.ac.at:8080/termcomp/competition/resultDetail.seam?resultId=79856&cid=129)

This looks good, but some sure YES results are missing - we're working
on that.

Bye,
-- 
Carsten Otto           otto at informatik.rwth-aachen.de
LuFG Informatik 2      http://verify.rwth-aachen.de/otto/
RWTH Aachen            phone: +49 241 80-21241
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 197 bytes
Desc: Digital signature
Url : http://lists.lri.fr/pipermail/termtools/attachments/20081024/058baae2/attachment.pgp