http://satcompetition.org/edacc is down (2013 and 2014)

[pauleve]

E.g., http://satcompetition.org/edacc/sc14/solver-download/1489 triggers an HTTP 500 error.

This affects 2013 and 2014 solvers

When up again, we should move the sources to zenodo, if license permit it:

• [x] update download urls
• [ ] retrieve list of tracks, list of solvers and configurations pages https://web.archive.org/web/20160710230334/http://satcompetition.org/edacc/SATCompetition2013/experiments/ https://web.archive.org/web/20160807184811/http://satcompetition.org/edacc/sc14/experiments/ (but configurations are not archived..)
• [x] archive on Zenodo (2013 and 2014) (check license issue)

[lorensipro]

I wrote to some of the contacts at EDACC. Will keep you posted.

[lorensipro]

The edacc web site seems to be down forever. We may rely on Mate Soos github backup that Armin provided

• https://github.com/msoos/sat_competition_2013_sources
• https://github.com/msoos/sat_competition_2014_sources

[pauleve]

Great! Do you think there is any license issue for storing them on zenodo at some point? (I don't see much differences with github)

[pauleve]

For 2013, we are missing the sources of the CSHC solvers (probably being ≥20Mb), I'll check 2014 soon