[Termtools] RE: [color] Certification of polynomial interpretation proofs evaluated on TPDB. (fwd)

[Frederic Blanqui]

hi! i forward these mails from the color mailing list since i think that it 
may interest the termtools list.

---------- Forwarded message ----------
Date: Tue, 7 Nov 2006 17:03:32 +0100
From: "Koprowski, A." <A.Koprowski at tue.nl>
Reply-To: color at loria.fr
To: color at loria.fr
Subject: RE: [color] Certification of polynomial interpretation proofs evaluated
      on TPDB.


  Well, since I was considering only total termination I was searching
for proofs only among 864 systems from TPDB, so then you can say it's
almost 20%. This figure probably can be slightly improved by increasing
the timeout/changing the strategy of searching for polynomial
interpretations. But since I don't think having as high coverage as
possible of TPDB is our main goal I'm not going to try to do that.
   Regards,
    Adam

PS. I'll have some questions concerning formalizing semantic labelling
but I guess I better ask them outside of the list.


> -----Original Message-----
> From: Frederic Blanqui [mailto:Frederic.Blanqui at loria.fr]
> Sent: Tuesday, 07 November, 2006 16:44
> To: color at loria.fr
> Subject: Re: [color] Certification of polynomial interpretation proofs
> evaluated on TPDB.
>
> On Tue, 7 Nov 2006, Koprowski, A. wrote:
>
>> Attached you will find 167 systems from TPDB along with proofs of
their
>> termination by polynomial interpretations produced by TPA. All of
those
>> proofs could be certified by Rainbow. Good job Frederic!
>
> great news! this is 14% of the 1195 TRS problems of TPDB :-) thanks
for
> your
> efforts adam!

========================================================================
  Adam Koprowski, (A.Koprowski at tue.nl, http://www.win.tue.nl/~akoprows)
  Department of Mathematics and Computer Science
  Eindhoven University of Technology (TU/e)
  The difference between impossible and possible lies in determination
       Tommy Lasorda
========================================================================