[SMT-COMP] [smt-announce] SMT-LIB Benchmarks on Zenodo

[Mathias Preiner]

Hi Francois,

On 2/14/24 02:22, BOBOT Francois wrote:
> 
> Do you ponder between using multiple version (year) of one 
> record (SMTLIB Benchmarks) or one record by year? It seems you went with 
> the second, no?
> 

That's correct, we went with one record per year (one for incremental 
and non-incremental each). This allows us to change involved maintainers 
from year to year and also makes it easier for us to publish older 
releases for archival purposes.

Cheers,
Mathias
-------------- next part --------------
A non-text attachment was scrubbed...
Name: OpenPGP_0xA4AF2BDE778B2463.asc
Type: application/pgp-keys
Size: 4865 bytes
Desc: OpenPGP public key
URL: </pipermail/smt-comp/attachments/20240214/c9d769a9/attachment.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: OpenPGP_signature.asc
Type: application/pgp-signature
Size: 840 bytes
Desc: OpenPGP digital signature
URL: </pipermail/smt-comp/attachments/20240214/c9d769a9/attachment.sig>