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 focus [all|invert|reset]: STP_#45_QF_BV_2008|smtcomp2008|smtcomp2007|rerun2006
1 job selected [status|help]

State-of-the-Art Solver View

Summary view
Solver ordered ascending Division Unique Benchmark
BoolectorQF_BVspear/cvs_v1.11.22/cvs_vc81761.smt
BoolectorQF_BVbrummayerbiere2/umulov1bw160.smt
BoolectorQF_BVspear/samba_v3.0.24/bin_libmsrpc_vc1249402.smt
BoolectorQF_BVbrummayerbiere2/umulov1bw224.smt
BoolectorQF_BVuclid/catchconv/catchconv-15803.smt
BoolectorQF_BVspear/openldap_v2.3.35/servers_slapd_a_vc149570.smt
BoolectorQF_BVbrummayerbiere2/smulov3bw0640.smt
BoolectorQF_BVuclid/catchconv/convert-jpg2gif-query-2139.smt
BoolectorQF_BVspear/openldap_v2.3.35/servers_slapd_a_vc149571.smt
BoolectorQF_BVbrummayerbiere2/umulov2bw0512.smt
BoolectorQF_BVuclid/catchconv/convert-jpg2gif-query-2141.smt
BoolectorQF_BVbrummayerbiere2/smulov4bw1024.smt
BoolectorQF_BVbrummayerbiere2/smulov2bw080.smt
BoolectorQF_BVuclid/catchconv/convert-jpg2gif-query-2130.smt
BoolectorQF_BVbrummayerbiere2/smulov4bw0896.smt
BoolectorQF_BVbrummayerbiere2/umulov2bw1024.smt
BoolectorQF_BVuclid/catchconv/convert-jpg2gif-query-2120.smt
BoolectorQF_BVbrummayerbiere2/smulov4bw0512.smt
BoolectorQF_BVbrummayerbiere2/smulov2bw160.smt
BoolectorQF_BVuclid/catchconv/convert-jpg2gif-query-2121.smt
BoolectorQF_BVbrummayerbiere2/umulov1bw128.smt
BoolectorQF_BVbrummayerbiere2/smulov2bw320.smt
BoolectorQF_BVbrummayerbiere/nextpoweroftwo128.smt
BoolectorQF_BVbrummayerbiere2/smulov2bw224.smt
BoolectorQF_BVbrummayerbiere2/smulov4bw0128.smt
BoolectorQF_BVbrummayerbiere/nextpoweroftwo032.smt
BoolectorQF_BVbrummayerbiere2/smulov2bw128.smt
BoolectorQF_BVtacas07/Y86_std.smt
BoolectorQF_BVbrummayerbiere/countbits064.smt
BoolectorQF_BVbrummayerbiere2/smulov2bw048.smt
BoolectorQF_BVspear/cvs_v1.11.22/cvs_vc81760.smt
BoolectorQF_BVbrummayerbiere2/smulov4bw0256.smt
BoolectorQF_BVcrafted/bit-reversal.smt
BoolectorQF_BVspear/samba_v3.0.24/bin_libmsrpc_vc1249401.smt
BoolectorQF_BVbrummayerbiere2/umulov1bw112.smt
BoolectorQF_BVuclid/catchconv/convert-jpg2gif-query-2136.smt
BoolectorQF_BVspear/openldap_v2.3.35/servers_slapd_a_vc149922.smt
BoolectorQF_BVbrummayerbiere2/smulov2bw064.smt
BoolectorQF_BVuclid/catchconv/convert-jpg2gif-query-2126.smt
BoolectorQF_BVbrummayerbiere2/umulov2bw0896.smt
BoolectorQF_BVbrummayerbiere2/smulov2bw256.smt
BoolectorQF_BVuclid/catchconv/convert-jpg2gif-query-2122.smt
BoolectorQF_BVbrummayerbiere2/umulov2bw0768.smt
BoolectorQF_BVbrummayerbiere2/umulov1bw080.smt
BoolectorQF_BVuclid/catchconv/convert-jpg2gif-query-2124.smt
BoolectorQF_BVbrummayerbiere2/smulov3bw0384.smt
BoolectorQF_BVbrummayerbiere2/smulov2bw096.smt
BoolectorQF_BVuclid/catchconv/convert-jpg2gif-query-2133.smt
BoolectorQF_BVbrummayerbiere2/umulov2bw0384.smt
BoolectorQF_BVbrummayerbiere2/smulov4bw0768.smt
BoolectorQF_BVuclid/catchconv/convert-jpg2gif-query-2132.smt
BoolectorQF_BVbrummayerbiere2/umulov1bw096.smt
BoolectorQF_BVbrummayerbiere2/smulov3bw1024.smt
BoolectorQF_BVbrummayerbiere/nextpoweroftwo064.smt
BoolectorQF_BVbrummayerbiere2/smulov3bw0896.smt
BoolectorQF_BVbrummayerbiere2/umulov1bw048.smt
BoolectorQF_BVbrummayerbiere/nextpoweroftwo256.smt
BoolectorQF_BVbrummayerbiere2/smulov2bw448.smt
BoolectorQF_BVtacas07/BBB-32.smt
BoolectorQF_BVspear/cvs_v1.11.22/cvs_vc81758.smt
BoolectorQF_BVbrummayerbiere2/smulov1bw16.smt
BoolectorQF_BVspear/cvs_v1.11.22/cvs_vc81759.smt
BoolectorQF_BVbrummayerbiere2/smulov4bw0640.smt
BoolectorQF_BVuclid/catchconv/convert-jpg2gif-query-2127.smt
BoolectorQF_BVspear/openldap_v2.3.35/servers_slapd_a_vc149572.smt
BoolectorQF_BVbrummayerbiere2/smulov2bw192.smt
BoolectorQF_BVuclid/catchconv/convert-jpg2gif-query-2134.smt
BoolectorQF_BVspear/openldap_v2.3.35/servers_slapd_a_vc149923.smt
BoolectorQF_BVbrummayerbiere2/smulov3bw0128.smt
BoolectorQF_BVuclid/catchconv/convert-jpg2gif-query-2138.smt
BoolectorQF_BVbrummayerbiere2/umulov1bw192.smt
BoolectorQF_BVbrummayerbiere2/smulov2bw512.smt
BoolectorQF_BVuclid/catchconv/convert-tiff2jpg-query-1831.smt
BoolectorQF_BVbrummayerbiere2/smulov3bw0512.smt
BoolectorQF_BVbrummayerbiere2/smulov2bw112.smt
BoolectorQF_BVuclid/catchconv/mplayer-mp3-query-15803-snippet3.mp3.smt
BoolectorQF_BVbrummayerbiere2/smulov2bw032.smt
BoolectorQF_BVbrummayerbiere2/umulov2bw0640.smt
BoolectorQF_BVuclid/catchconv/convert-jpg2gif-query-2140.smt
BoolectorQF_BVbrummayerbiere2/umulov2bw0256.smt
BoolectorQF_BVbrummayerbiere2/umulov1bw064.smt
BoolectorQF_BVuclid/tcas/tcas60_k_0.smt
BoolectorQF_BVbrummayerbiere2/smulov3bw0768.smt
BoolectorQF_BVbrummayerbiere2/smulov4bw0384.smt
BoolectorQF_BVbrummayerbiere/nextpoweroftwo016.smt
BoolectorQF_BVbrummayerbiere2/smulov3bw0256.smt
BoolectorQF_BVtacas07/Y86_btnft.smt
BoolectorQF_BVbrummayerbiere/nextpoweroftwo512.smt
BoolectorQF_BVbrummayerbiere2/smulov2bw384.smt
BoolectorQF_BVtacas07/rfunit_flat-64.smt
Logged in as: guest (access R/O nosubmit noexec) login
REFRESHING

Summary view | Cluster status | Custom views | Feedback | Benchmarks | Thanks | Main | Disclaimer | SMT-LIB January 05 2009 18:43:09 CST | 0.25s | 387.1K
Valid XHTML 1.1 Valid CSS!