SMT-Exec: Help with Jobs and Views

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

Help with Jobs and Views

Jobs are a mechanism by which different views of the SMT-Exec results can be constructed. The default view is that of the 2007 competition itself; an alternate view is that of the 2006 returns. By restricting the view to one of these jobs, you can see how the relevant solvers performed head-to-head. It is also possible to view both jobs, to see how the 2006 solvers would compare to the 2007 solvers.

All job controls are located at the top-right corner of all results pages. A functional job control appears at the top-right corner of this page as well.

Selected jobs are highlighted in blue and underlined; unselected jobs are unadorned. This provides a clear indication of what jobs constitute the current view.

To add or remove a job to the current view, click its name. Note that an empty view is not permitted; if a job consists of only one job, that job cannot be removed until another job is added.

All available jobs can be selected with the [all] button, the default job selection can be restored with the [reset] button, and the current selection can be inverted with the [invert] button.

The [status] button takes you to the job status page with a synopsis of each job and its current status.