[Termtools] Memory problems

[Christian Sternagel]

Hi Johannes,

On 3/21/19 6:38 PM, Johannes Waldmann wrote:
> Hi Jera,
> 
> 
>> Now that runsolver is used again ...
> 
> that was a forced decision because benchexec did not work
> http://lists.lri.fr/pipermail/termtools/2019-March/001223.html
> 
> 
>> Moreover, there are many timeouts where it should probably be „StarExec error“. 
> 
> Example?
> 
> 
>> Since for AProVE, the version of 2018 is used (we did not hand in a new version), 
>> the results should be as in 2018.
> 
> SRS Relative is finished. When restricted to "common benchmarks"

When I go to

  http://54.199.109.250/competitions/Y2019/caches/termination_33017.php

most cells still contain "pending submission". Do I have to do anything
more than just a reload in order to see the latest results?

cheers

chris

> 
> https://termcomp.imn.htwk-leipzig.de/flexible-table/Query%20%5BCommon%5D/30037/33017
> 
> all solvers have exactly equal number of YES and NO to last year.
> 
> Except for MnM which is hit by the memory problem.
> 
> AProVE seems very conservative with memory -
> your run script has  java -Xmx14G -Xms14G ...
> while MnM has  java -Xms128G -Xmx128G  ...
> 
> 
> - Johannes.
> _______________________________________________
> Termtools mailing list
> Termtools at lri.fr
> http://lists.lri.fr/cgi-bin/mailman/listinfo/termtools
>