[Termtools] competition results - some comments

[Frederic Blanqui]

Hello!

Could you please tell us when the reruns will be completed and the final 
results will be computed? Thank you very much.

Frederic.


Fabian Emmes a écrit :
> Dear Simon,
> 
> On 29. Jan, 11:58, Simon Bailey wrote:
>> fabian,
>>
>> On 29 Jan 2010, at 11:40, Fabian Emmes wrote:
>>> On 29. Jan, 11:25, Simon Bailey wrote:
>>>> jboss at termcomp$ echo $PATH
>>>> /usr/kerberos/bin:/usr/local/bin:/bin:/usr/bin
>>>> [...]
>>>> jboss at termcomp$ which minisat-core
>>>> /usr/local/bin/minisat-core
>>>> jboss at termcomp$ minisat-core
>>>> This is MiniSat 2.0 beta
>>>> [...]
>>> looks like we missed the binary by a single character... AProVE-COLOR
>>> expects MiniSat2.0 as "minisat2core", not "minisat-core". Could you
>>> create an appropriate symlink, please?
>>
>> i can do this. however, carsten otto stated in an email date 18/Dec/08 @ 
>> 13:10 that "minisat2core is a stripped down version of minisat2"(*). is 
>> the minisat2core required by aprove _really_ the same as minisat-core 
>> from the minisat archive?
>>
>> ((*) see http://lists.lri.fr/pipermail/termtools/2008-December/000714.html)
>>
>> please clarify. if there is no functional difference, i see no problem  
>> with adding the symlink.
> 
> Yes, this binary is built from the same source as the one we submitted
> in the non-COLOR versions of AProVE. So it will most probably give
> similar results. Although we would prefer if you could use the
> minisat2core binary from one of the other AProVE zips (since we did all
> our tests with this version), it would also be sufficient, if you just
> created a symlink to the mentioned minisat-core binary.
> 
> Best regards,
> Fabian
> 
> 
> ------------------------------------------------------------------------
> 
> _______________________________________________
> Termtools mailing list
> Termtools at lists.lri.fr
> http://lists.lri.fr/mailman/listinfo/termtools