Recent Releases of https://github.com/constraintautomaton/datadump-solidbench-result