[SMT-COMP] Procedure for the Submission of new Benchmarks

[Paulo Matos]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256



On 17/03/18 14:58, Matthias Heizmann wrote:
> Hi Paulo,
> 
> You can find information about the submission of new benchmarks in
>  the README.md of the following git repository. 
> https://clc-gitlab.cs.uiowa.edu:2443/SMT-LIB-benchmarks-tmp/benchmarks-pending
>
>
>
> 
TLDR: Sumit a pull request, but respect the requirements for
> syntax and folder names.
> 

Thanks for the quick reply. I will prepare the benchmarks and submit a
pull request no later than the end of the month. Given the deadline is
April 8, I assume this would still be in time for them to be included
in this years SMT-COMP?

Kind regards,

- -- 
Paulo Matos
-----BEGIN PGP SIGNATURE-----

iQJHBAEBCAAxFiEECPLfFutwZLzRHmMPoiv9DjNf2FQFAlquOaITHHBtYXRvc0Bs
aW5raS50b29scwAKCRCiK/0OM1/YVG3XEACcJ2qZsz/fdkM1ZHHhiERkSPhTDSLT
taKqaOsTu8+QIBZxxLPXvq1mJH31ELGInQq0DMZ7rwaUnTgJuciMXu6ZpQ24r4jd
TFlwZCFRCYUuKUWg3UaKVaKNxG0cKMoucREO+9XEfGIxngOA4U0sLoWC9WSKCN7E
CdJooOdoXHuSPyziafs9RhtyvInwdU3zO75Djjr70unzzgQ8UmjJntIjxmAEhvc/
P88s04rmL3v0KQtbYTkqbwpqx+wIKpTCfqwMvBzViX6Y+K+aeYu3JMS3SKmSZhlC
AcLihqM9EEtPU68k4y39F+tMUn2sdH3uUh7sqqmZ1chpr1EKwuMDHLJYDU8Ru7oM
p1bVx2uQsWyVarkyzCBjEpBcH/UjwihBAa6mprhkEublBU6HM+ZTBcfjMAu93ygM
v/HQ0DU0oM+CLDfyLGILW+icjWyplDje0iEWByt/Wm1HMJDlm9E8jCwsQBqwPxSw
C1ZQtd+iGUq6Li7aG2H7BHfZc5Svc3E7zWHx9ISACMq4vbBfm8L4K3tCbVG/aV+K
3HHTChfar+F7r17ewtIGGWMmtPtvIFb/c0KNHS3zvlHS2vUmQtVSFojGRrNglxeO
poSarGBMin+3HUgu3jfWQw8ZKZBBR4CaXT3jfyduE+z/oCW0mgEhuZrAk5DOiSUi
vvAAxm+eSg8nyA==
=07ce
-----END PGP SIGNATURE-----