Home	•	Rules	•	Benchmarks	•	Tools	•	Specs	•	Participants	•	Results	•	SMT-LIB	•	Previous

Acknowledgments

SMT-COMP 2016 is organized under the direction of the SMT Steering Committee. The organizing team is

Sylvain Conchon - Paris-Sud University, France (co-organizer)
David Déharbe - Clearsy, France and Federal University of Rio Grande do Norte, Brazil (co-organizer)
Matthias Heizmann - University of Freiburg, Germany (co-organizer, unsat core track)
Tjark Weber - Uppsala University, Sweden (chair)

The competition uses the StarExec service, which is hosted at the University of Iowa.

The SMT-COMP web site is hosted on SourceForge, at smtcomp.sourceforge.net.

Home	•	Rules	•	Benchmarks	•	Tools	•	Specs	•	Participants	•	Results	•	SMT-LIB	•	Previous

Last modified: Tue 23 Oct 2018 09:42 UTC