[Termtools] Issues with StarExec/Script for the results

[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

-- 
このEメールはアバスト アンチウイルスによりウイルススキャンされています。
https://www.avast.com/antivirus