Dashboard for (negative) results?

Since many different organisations are now working on automated theorem provers, it would be informative to have a process and place for them to report attempts at solving the conjectures contained in this repository - even if they failed!

Which models have been (unsuccessfully) applied, with which parameters and resources (FLOPS, RAM, kWh etc.) and perhaps even if they reached partial progress.