[SMT-COMP] 2nd round test runs

[Antti Hyvärinen]

Dear all,

We are currently running the second round of test runs on the solvers
submitted by Sunday 17 midnight AoE in StarExec and invite all
competition participants to check any problems with their solvers.
The test runs are visible in the space SMT / Competitions and
evaluations / SMT-COMP 2020 / Testing 2nd round.

Best Regards,
Antti, Haniel & Jochen