Since there are some issues with the web frontend of our EDACC installation, the results of SYNTCOMP 2018 can now also be downloaded in our repository at https://bitbucket.org/swenjacobs/syntcomp/src (in folder “Results2018”).
SYNTCOMP 2018 Results for Download
Leave a reply