[Termtools] Issues with StarExec/Script for the results

Marcel Hark marcel.hark at cs.rwth-aachen.de
Tue Jun 16 10:21:43 CEST 2020


Dear Akihisa,

thank you. I restarted the jobs with and asked to supress time stamps
and now we get the desired outputs.

Best,

Marcel

Am 16.06.20 um 09:51 schrieb Yamada, Akihisa:
> Dear Marcel,
>
> ah, as you see in StarExec results are e.g.
> "INVALID-CLAIM:3.48/1.68tYES". The answer would be immediate: check
> "advanced options -> suppress timestamps" when creating a job.
>
> I'll ask Aaron to make it possible to check this by default.
>
>> Without any postprocessing we got identical results from AProVE. 
>
> I suspect you get timestamps in one of the output?
>
> Best,
> Akihisa
>
-- 

Marcel Hark
Research Group Computer Science 2
RWTH Aachen University
52056 Aachen
Germany

E-Mail: marcel.hark at cs.rwth-aachen.de"
Phone: +49-241/80-21214
Fax: +49-241/80-22217
Room: 4208, Ahornstr. 55

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.lri.fr/pipermail/termtools/attachments/20200616/e6abbf32/attachment.htm>


More information about the Termtools mailing list