| Selected timezone: [UTC] Get HELP: [navigation] |
Job focus [all|invert|reset]:
STP_#45_QF_BV_2008|smtcomp2008|smtcomp2007|rerun2006
1 job selected [status|help] |
Sorry, this functionality not yet available.
The idea is to let you aggregate SMT-Exec results data however you like, display it like the other (static) results tables, then save the view so you can use it again. Custom views will support real-time results updating and will provide RSS feeds.
| Logged in as: guest (access R/O nosubmit noexec) login |
| Summary view | Cluster status | Custom views | Feedback | Benchmarks | Thanks | Main | Disclaimer | SMT-LIB | January 05 2009 18:19:56 CST | 0.01s | 327K |