Tag: STP
-
SMT Competition’14 and STP
The 2014 SMT competition‘s QF_BV divison is over (benchmark tarball here), and the results are (copied from here): Solver Errors Solved Not Solved CPU time (solved instances) Boolector 0 2361 127 138077.59 STP-CryptoMiniSat4 0 2283 205 190660.82 [MathSAT] 0 2199 289 262349.39 [Z3] 0 2180 308 214087.66 CVC4 0 2166 322 87954.62 4Simp 0 2121 […]