[Termtools] Outermost Category

[Zantema, H.]

> Then we should vote on a date for the outermost competition:

(A1) November 21, 2008
(A2) December 12, 2008
(A3) later

For us (Matthias and me) both (A1) and (A2) are possible. Indeed it should not be later.


>
(B1) Examples with "STRATEGY OUTERMOST".
(B2) Examples with "STRATEGY OUTERMOST".
    and
    all TRS (standard category) which no tool proved
    to be terminating in the 2008 competition.
    (that includes the non-terminating TRS)
(B3) feel welcome to suggest another set of examples

I vote for (B2), with both sets of examples having the same weight.
In the mean time I will provide an extended set of examples with "STRATEGY OUTERMOST".


            Best regards, Hans Zantema.

_________________________________________________________
Prof Dr Hans Zantema            
Technische Universiteit Eindhoven / Radboud Universiteit Nijmegen 
Primary address: Department of Computer Science 
P.O. Box 513, 5600 MB Eindhoven, The Netherlands 
e-mail: H.Zantema at tue.nl, homepage: www.win.tue.nl/~hzantema
office: Hoofdgebouw room 6.73, tel: (040)2472749
 

-----Original Message-----
From: termtools-bounces at lists.lri.fr [mailto:termtools-bounces at lists.lri.fr] On Behalf Of joerg at endrullis.de
Sent: maandag 3 november 2008 10:31
To: Johannes Waldmann
Cc: termtools
Subject: Re: [Termtools] Outermost Category


Yes, I agree.

Then we should vote on a date for the outermost competition:

(A1) November 21, 2008
(A2) December 12, 2008
(A3) later

I vote for (A1) or (A2) since there has been a lot of progress
in outermost termination this year and therefore we
should also have an "outermost competition" this year still.

Second, we should vote on the examples to include:

(B1) Examples with "STRATEGY OUTERMOST".
(B2) Examples with "STRATEGY OUTERMOST".
    and
    all TRS (standard category) which no tool proved
    to be terminating in the 2008 competition.
    (that includes the non-terminating TRS)
(B3) feel welcome to suggest another set of examples

In case of (B2) we might want to vote on the scoring function
to prevent that the outermost category will be dominated
by 500 examples from the TRS standard category:

(C1) Weight the TRS standard category examples with factor 0.5.
(C2) Split the score in 50 points for "STRATEGY OUTERMOST"
     and 50 points for the TRS standard examples. The winner
     of the respective category gets the full 50 points,
     the other tools get points do to the percentage of solved
     with respect to the winner.
(C3) feel welcome to suggest another scoring function

Should we turn this into an electronic voting on the wiki page?

Kind regards,
Joerg

> Jörg - thanks for setting up the wiki page.
> http://termination-portal.org/wiki/Outermost
>
> As much as I welcome activity in the competition,
> I think we're on too tight a schedule
> to add a new category one day before the deadline.
>
> As there seemed to be some open questions
> (e.g. on selection of problems),
> I'm not sure that the intention was to have
> the category active now.
>
> (Could the listed participants (on the wiki page)
> please add an indication on when they'd be ready to compete.)
>
>
> Technically it would perhaps be possible
> but with software systems there's always a chance
> of perplexing bugs after last-minute changes.
>
> And even without bugs, building the category
> would occupy Simon for some time, and distract him
> from preparations to start the competition as planned.
>
> If the "outermost people" are determined to have the
> category now, we'd have to get a workload estimate from Simon
> and then call for a vote in the Steering Committee.
> It appears to be rather late for that
> (the committee may simply refuse to vote on such short notice).
>
> So I suggest to have "outermost" at some later date.
>
> Best regards, Johannes.
>
> _______________________________________________
> Termtools mailing list
> Termtools at lists.lri.fr
> http://lists.lri.fr/mailman/listinfo/termtools
>


_______________________________________________
Termtools mailing list
Termtools at lists.lri.fr
http://lists.lri.fr/mailman/listinfo/termtools