SMT-COMP 2017
Solver Submission Form
Email address
Solver name
A short name that may be used (possibly in abbreviated form) to identify the solver.
Your answer
StarExec solver ID
The solver ID assigned by StarExec (e.g., 1234). Please ensure that the solver may be downloaded, and that it has only one "configuration" on StarExec!
Your answer
StarExec space URL
The URL of the StarExec space that contains your solver (e.g., https://www.starexec.org/starexec/secure/explore/spaces.jsp?id=2641). Please ensure that this space is publicly accessible!
Your answer
Integer seed value
A 32-bit unsigned integer. This will be used to derive a seed for the benchmark scrambler.
Your answer
System description (URL)
The URL of a system description for your solver (typically a PDF document with 1-2 pages). This is optional and may also be provided later, by email to the organizers.
Your answer
Next
Never submit passwords through Google Forms.
This content is neither created nor endorsed by Google. Report Abuse - Terms of Service - Additional Terms