Login

SMT-Exec

Summary view|Cluster status|SMT-COMP Competitors|State-of-the-Art Solvers|Custom views|Feedback|Login


?
X
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]

Job Status

Close this window ]
Job Status ordered ascending Submitted Completed # results Timeout Most recent results
smtcomp2008 (311) done 2008-07-08 19:02:02 2008-07-15 12:51:51 16110 / 16110 (100%) 1800 2008-07-15 12:51:50
smtcomp2007 (20) done 2007-07-04 08:10:02 2007-07-06 08:45:27 12370 / 12370 (100%) 1800 2007-07-06 08:45:20
rerun2006 (2) done 2007-06-18 04:24:17 2007-06-23 16:39:12 5428 / 5428 (100%) 1200 2007-06-23 16:39:04
Refresh: none|10s|20s|30s|1m|2m|5m
Logged in as: guest (access R/O nosubmit noexec) login
REFRESHING

Summary view | Cluster status | Custom views | Feedback | Benchmarks | Thanks | Main | Disclaimer | SMT-LIB November 21 2008 10:43:34 CST | 3.33s | 393.8K
Valid XHTML 1.1 Valid CSS!