[Smtcomp-discussion] MathSAT Solver and Transcendental Benchmarks

[Ahmed I. <ir...@fb...>]

Dear SMT-COMP Organizers,

We are planning to submit MathSAT to SMT-COMP'18
for competing in the divisions of quantifier-free nonlinear theories and their
combination with other quantifier-free theories. Moreover, we are also
interested in the new theory of the reals with transcendental
functions. To this extent, we have the transcendental benchmarks that
we used in our CADE'17 paper "Satisfiability Modulo Transcendental
Functions via Incremental Linearization". In addition to those, we can
also generate some more transcendental benchmarks from the paper
"SMT-based Analysis of Switching Multi-Domain Linear Kirchhoff
Networks".

Let us know how to proceed with the submission of the transcendental benchmarks.


Best Regards,
Ahmed and Alberto.

-- 
--
Le informazioni contenute nella presente comunicazione sono di natura privata 
e come tali sono da considerarsi riservate ed indirizzate esclusivamente ai 
destinatari indicati e per le finalità strettamente legate al relativo 
contenuto. Se avete ricevuto questo messaggio per errore, vi preghiamo di 
eliminarlo e di inviare una comunicazione all’indirizzo e-mail del mittente.
--
The information transmitted is intended only for the person or entity to 
which it is addressed and may contain confidential and/or privileged 
material. If you received this in error, please contact the sender and 
delete the material.