[SMT-COMP] SMT-COMP preliminary test run results

[Antti Hyvärinen]

Dear SMT community,

The results of a preliminary test run for the SMT-COMP 2020 are now
available at starexec:

https://www.starexec.org/starexec/secure/explore/spaces.jsp?id=401116

This space contains four subspaces for each track and each subspace
contains the job for the corresponding test run.  Please take the time
to check that the results match your expectations.

Since there were several serious problems (some solvers crashed
immediately or were not compatible for the track, and the model
validation postprocessor needed to be fixed), we will have a second
test run.  If you found any problems with your solver setup, you can
upload another non-final solver to starexec and mail us the new
preliminary solver ID for the second test run.  Please do so until
Sunday May, 17 AOE.

Best
  Antti, Haniel & Jochen