SMT-Exec

General help: Rows in tables are clickable to navigate between different views of the results; hover the cursor over the row to get a description of the view you'll be taken to. Most column headings are clickable to change sort order. Informational notices and links to other result views are available toward the top of many pages.

Jobs: This system is job-driven; the competition run is merely one job. Multiple jobs can be selected for focus at the top right of results pages; doing so merges the results of the selected jobs.

Legend for this page:

job complete

job incomplete

results

no results yet

refreshed with new results

currently running

running hors concours

REFRESHING

Selected timezone: [UTC]
Get HELP: [navigation]

smtcomp2008|smtcomp2007|rerun2006
1 job selected [status|help]

Disclaimer

We make attempts to secure private information on SMT-Exec, as defined below. However, the SMT-Exec maintainers cannot be held responsible for the results of attacks on the SMT-Exec system. Such attacks could result from, among other things, bugs in SMT-Exec or other software, or hardware failure, or physical compromise of SMT-Exec machinery. We will not intentionally reveal your private information to other parties.

Private information on the SMT-Exec service includes the following:

the meta-data of jobs marked private (job name, description, comments, etc.)
the scope of jobs marked private (what solvers and benchmarks the job is configured for)
the results of jobs marked private
the uploaded tarballs of solvers marked private
the meta-data of solvers marked private that aren't part of a job marked public (solver name, description, comments, etc.)

If you have a solver marked private that runs as part of a job marked public, other users of SMT-Exec will be able to see the name and description of your private solver, and will also be able to see the output of your solver collected as part of the public job, but won't be able to download your private solver or execute it as part of their own SMT-Exec jobs. The SMT-Exec service will warn you when you create a public job (or publicize a private job) that has a private solver in its scope.

From time to time, SMT-Exec maintainers may release aggregate information about SMT-Exec usage, including private jobs and solvers; however, such released information will not include identifying information about jobs, solvers, and users.

To use the SMT-Exec service, you must accept that there is some risk of release of such private information. Again, we will not intentionally reveal your private information to other parties.

Logged in as: guest (access R/O nosubmit noexec) login

REFRESHING

November 21 2008 11:07:26 CST | 0.01s | 324.5K