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

Acknowledgments

SMT-COMP 2015 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 - Federal University of Rio Grande do Norte, Brazil (co-organizer)
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: Fri 20 May 2016 11:12 UTC