[Termtools] outermost competition

[Zantema, H.]

Sure, let's rerun.

Hans Zantema

________________________________________
Van: termtools-bounces at lists.lri.fr [termtools-bounces at lists.lri.fr] namens Jörg Endrullis [joerg at endrullis.de]
Verzonden: donderdag 18 december 2008 14:32
Aan: Carsten Otto
CC: termcomp at www2-c703.uibk.ac.at; termtools
Onderwerp: Re: [Termtools] outermost competition

I would be fine with rerunning.

Good success,
Joerg

Carsten Otto wrote:
> On Thu, Dec 18, 2008 at 12:17:46PM +0100, Simon Bailey wrote:
>> watch the progress here:
>> http://colo5-c703.uibk.ac.at:8080/termcomp/competition/competitionResults.seam?category=46564&competitionId=48084
>
> The version of AProVE taking part in this competition misses a crucial file
> in the provided archive, we simply forgot to add it. As a result the majority
> of expected YES/NO answers cannot be given.
>
> This file is a stripped down version of minisat2, called minisat2core.
> Apart from this missing file (and its directory bin/) the uploaded version
> is complete.
>
> If it is possible, please consider re-running AProVE with the file
> minisat2core added to the zip file (in the bin/ directory which also does
> not exist):
> http://aprove.informatik.rwth-aachen.de/~cotto/minisat2core
>
> (It would also be OK to add minisat2core to $PATH on the competition
> machine).
>
> I can also provide an updated version of the original zip file.
>
> Thanks,
>
>
> ------------------------------------------------------------------------
>
> _______________________________________________
> 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