25 Jun
2024
25 Jun
'24
12:38
Hi Florian,
I've been testing a lot since Friday.
thank you for doing the work
... demo categories
No competition there (by definition), but still interesting. Tables show some "new results", I'd like to know how these came to be: new method, new implementation, faster CPU, got lucky ...
Perhaps the AProVE team can enlighte us (on this list - since we don't have a termination workshop this year)
It seems we cannot currently view the actual proof output https://github.com/TermCOMP/starexec-master/issues/109
Best regards, Johannes.