[Termtools] Deadline for program submission

[Johannes Waldmann]

> What is the latest possible date to submit a new version of a program?


for the upcoming ("November") deadline I suggest:

X days from the date where fraction  F  of the test submissions (per
category) are working as expected on the execution platform.

E.g. for X = 14, F = 0.5, "working" = at least one YES or NO.


After that, we should define a scheduling policy (for running provers on
 problems) that supports the idea of an ongoing competition.


J.W.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 257 bytes
Desc: OpenPGP digital signature
Url : http://lists.lri.fr/pipermail/termtools/attachments/20081014/39bad2f3/attachment.pgp