[Termtools] outermost competition
Carsten Otto
otto at informatik.rwth-aachen.de
Thu Dec 18 13:10:50 CET 2008
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,
--
Carsten Otto otto at informatik.rwth-aachen.de
LuFG Informatik 2 http://verify.rwth-aachen.de/otto/
RWTH Aachen phone: +49 241 80-21241
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 197 bytes
Desc: Digital signature
Url : http://lists.lri.fr/pipermail/termtools/attachments/20081218/234b01ba/attachment.pgp
More information about the Termtools
mailing list