[Termtools] outermost competition

[Jörg Endrullis]

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