[Termtools] Results for certified categories.

[Adam Koprowski]

   Ok, it seems that my memory failed me (as I must have read those posts at
some point).

The certification problems are known. ( IMHO they follow from
> http://dev.aspsimon.org/bugzilla/show_bug.cgi?id=45#c0 )

  I don't think the bug in counting the problems where certification timed
out as successful, falls into this issue.

  Btw. soon we may have entries in the certified competition using
extraction of a certified proof checker (CeTA, hopefully CoLoR will follow
soon). I think it's time to start thinking about admission rules for such
tools in the certified category of the competition. Maybe CeTA, as the
precursor in this field, has some ideas?

-- 
=====================================================
Adam.Koprowski at gmail.com, http://www.cs.ru.nl/~Adam.Koprowski
The difference between impossible and possible
lies in determination (Tommy Lasorda)
=====================================================
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.lri.fr/pipermail/termtools/attachments/20090330/21e72101/attachment.htm