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|page]
Job focus [all|invert|reset]: smtcomp2008|smtcomp2007|rerun2006
1 job selected [status|help]

Summary View

The job selection includes smtcomp2008, the official SMT-COMP'08 competition run
QF_UF (100%)
Solver Score ordered descending Time
Yices2 (proto c)196 / 2007128.2 s
Z3.2194 / 2007582.4 s
MathSAT-4.2181 / 20018323.6 s
Barcelogic 1.3118 / 20014865.2 s
OpenSMT 0.185 / 20023737.4 s
CVC3-1.577 / 20039895.7 s
Z3 0.1, 2007 winner117 / 20019858.3 s
QF_RDL (100%)
Solver Score ordered descending Time
Z3.2169 / 1705487.6 s
Yices2 (proto c)169 / 1707403.0 s
MathSAT-4.2167 / 1707235.9 s
sateen-2.1.1167 / 1708828.5 s
Barcelogic 1.3166 / 1708726.8 s
CVC3-1.573 / 17018873.5 s
Yices 1.0.10, 2007 winner167 / 1708760.6 s
QF_IDL (100%)
Solver Score ordered descending Time
Barcelogic 1.3140 / 20314386.0 s
Z3.2139 / 20314396.6 s
sateen-2.1.1132 / 20317290.5 s
Yices2 (proto c)130 / 20311875.6 s
MathSAT-4.2129 / 20317538.9 s
clsat 0.17f79 / 20329614.5 s
CVC3-1.549 / 2037960.2 s
Z3 0.1, 2007 winner130 / 20316789.3 s
QF_BV (100%)
Solver Score ordered descending Time
Boolector192 / 2003227.7 s
Z3.2174 / 20010752.9 s
Beaver-1.0168 / 2005806.4 s
MathSAT-4.2168 / 2009540.1 s
SWORD v0.2146 / 2003630.3 s
Spear146 / 20028506.7 s
CVC3-1.5137 / 20060275.4 s
Spear v1.9 (fh-1-2), 2007 winner100 / 20016582.5 s
QF_AUFBV (100%)
Solver Score ordered descending Time
Boolector180 / 2004752.8 s
Z3.2164 / 20015007.5 s
CVC3-1.577 / 2007046.4 s
Z3 0.1, 2007 winner116 / 2006383.2 s
QF_UFIDL (100%)
Solver Score ordered descending Time
Z3.2198 / 2032334.4 s
Barcelogic 1.3197 / 2033385.5 s
MathSAT-4.2194 / 2038061.1 s
CVC3-1.5127 / 20310140.5 s
Yices 1.0.10, 2007 winner197 / 2031173.3 s
QF_AX (100%)
Solver Score ordered descending Time
Barcelogic 1.3200 / 20013.5 s
Z3.2200 / 20017.3 s
CVC3-1.5195 / 2002820.2 s
AUFLIA+p (100%)
Solver Score ordered descending Time
Z3.2194 / 20120.9 s
CVC3-1.5185 / 201157.4 s
Z3 0.1, 2007 winner191 / 20195.2 s
Alt-Ergo (revised)44 / 20120.8 s
Alt-Ergo-8621.0 s
AUFLIA-p (100%)
Solver Score ordered descending Time
Z3.2193 / 20119.4 s
CVC3-1.5161 / 2011721.0 s
Z3 0.1, 2007 winner191 / 20134.4 s
Alt-Ergo (revised)52 / 2011858.1 s
Alt-Ergo-541858.1 s
AUFLIRA (100%)
Solver Score ordered descending Time
Z3.2198 / 2001018.0 s
CVC3-1.5147 / 2005275.6 s
CVC3 1.2, 2007 winner147 / 2007619.1 s
Alt-Ergo (revised)68 / 2007334.5 s
Alt-Ergo-3177461.3 s
QF_AUFLIA (100%)
Solver Score ordered descending Time
Z3.2206 / 206195.3 s
Barcelogic 1.3206 / 2065572.5 s
CVC3-1.5157 / 2069930.7 s
Yices 1.0.10, 2007 winner206 / 206585.8 s
QF_UFLRA (100%)
Solver Score ordered descending Time
Z3.2200 / 20015.9 s
MathSAT-4.2200 / 200106.1 s
Barcelogic 1.3200 / 2001630.2 s
CVC3-1.5184 / 2004941.7 s
QF_UFLIA (100%)
Solver Score ordered descending Time
Z3.2202 / 202201.0 s
MathSAT-4.2202 / 202836.6 s
Barcelogic 1.3202 / 2023353.5 s
CVC3-1.5161 / 2024793.3 s
Yices 1.0.10, 2007 winner202 / 202154.7 s
QF_LRA (100%)
Solver Score ordered descending Time
Yices2 (proto c)184 / 2024899.1 s
Z3.2183 / 2023817.6 s
MathSAT-4.2182 / 2026941.6 s
Barcelogic 1.3182 / 20211194.8 s
CVC3-1.568 / 20214121.1 s
Yices 1.0.10, 2007 winner182 / 2025214.5 s
QF_LIA (100%)
Solver Score ordered descending Time
Z3.2203 / 2055104.5 s
MathSAT-4.2192 / 20555068.7 s
CVC3-1.5124 / 20536164.9 s
Barcelogic 1.369 / 20511506.4 s
Yices 1.0.10, 2007 winner159 / 20546869.2 s
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 11:02:12 CST | 1.25s | 600.5K
Valid XHTML 1.1 Valid CSS!