cannot view prover output from results tables ( Failed to open stream: HTTP request failed! )

[jwaldmann]

e.g. https://termcomp.verify.rwth-aachen.de/Y2024/TRS_Relative.html

links in that page are not working, example: https://www.starexec.org/starexec/services/jobs/pairs/629618913/stdout/1?limit=-1 "not available"

perhaps related, the page shows this at the top:

copy(https://www.starexec.org/starexec/secure/download?type=job&id=63716&returnids=true&getcompleted=false):
Failed to open stream: HTTP request failed! HTTP/1.1 400 400
copy(https://www.starexec.org/starexec/secure/download?type=job&id=63742&returnids=true&getcompleted=false):
Failed to open stream: HTTP request failed! HTTP/1.1 400 400

[ffrohn]

I'm currently doing test runs in competition categories, which are supposed to be private this year. Hence, I made the space termcomp2024 private. That's the reason why the output of the tools is currently unavailable. I'll make it public again when the test runs are done. All but TRS Standard and SRS Standard are finished, and they are at ~50%.

[jwaldmann]

"TRS relative" is "demonstration"? I was reading your message (on termtools) as saying that these were final.

Ah, OK, you hide everything during tests. That's fine.