[Termtools] Bug in MU-TERM

[Christian Sternagel]

Dear Johannes,

On 3/22/19 6:58 PM, Johannes Waldmann wrote:
> .. who should be penalized ..
> 
>>>> SRS_Standard/Gebhardt_06/10
> I thought the status (looping) was known.
> 
> This specific benchmark is mentioned in
> 
> Zankl et al.: Finding and Certifying Loops, SOFSEM 2010)
> https://doi.org/10.1007/978-3-642-11266-9_63
> https://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.716.8820
> 
> p. 10 top: "most remarkably"
> 
> but it's not in the corresponding list
> http://cl-informatik.uibk.ac.at/ttt2/loops/cert_srs/index.php

Just for clarification: the experiments you mention above are for ttt2
only, while Gebhardt_06/10 was only proved by the tool KnockedForLoops
(by Dieter).

cheers

chris

> 
> - Johannes.
> _______________________________________________
> Termtools mailing list
> Termtools at lri.fr
> http://lists.lri.fr/cgi-bin/mailman/listinfo/termtools
>