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”).
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”).