Benchmark

non-incremental/QF_BV/spear/samba_v3.0.24/bin_libsmbclient_vc1225164.smt2 

Benchmarks generated by the Calysto static checker.  Provided by Domagoj
Babic.  See http://www.cs.ubc.ca/~babic/index_benchmarks.htm.  Translated using
Spear Sf2Smt translator.
Benchmark
Size231567
Compressed Size34654
License Creative Commons Attribution 4.0 International (CC-BY-4.0)
Categoryindustrial
First Occurrence2007-07-03
Generated By—
Generated On—
Generator—
Dolmen OK1
strict Dolmen OK1
check-sat calls1
Query 1
Status sat
Inferred Status sat
Size 231559
Compressed Size33042
Max. Term Depth5
Asserts 1982
Declared Functions0
Declared Constants2140
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants0
Declared Datatypes0

Symbols

ite1030 =>4 =3586 distinct30
concat6 extract651 bvand109 bvadd39
bvurem7 bvult85 bvule8 bvslt4
bvsle1 bvshl6 sign_extend73

Evaluations

Evaluation Rating Solver Variant Result Wallclock CPU Time
SMT Evaluation 2013 4Simp 4Simp-SMT-COMP-2012 default sat ✅ 1.84563 —
Abziz abziz_portfolio_2011_minfeatures_2 default sat ✅ 2.18066 —
abziz_portfolio_2011_solvers_2 default sat ✅ 2.18146 —
abziz_portfolio_2012_minfeatures default sat ✅ 2.18931 —
abziz_portfolio_2012_solvers default sat ✅ 2.18103 —
AbzizPortfolio-SMT-COMP-2012 default sat ✅ 2.19354 —
Boolector Boolector-1.5.118-SMT-EVAL-2013 default sat ✅ 0.10648 —
Boolector-SMT-COMP-2011 default sat ✅ 7.22505 —
Boolector-SMT-COMP-2012 default sat ✅ 0.09411 —
CVC3 CVC3-SMT-COMP-2010 default sat ✅ 25.31820 —
CVC3-SMT-COMP-2011 default sat ✅ 22.37380 —
CVC3-SMT-COMP-2012 default sat ✅ 22.84340 —
CVC4 CVC4-SMT-COMP-2012-Resubmission default sat ✅ 3.59962 —
CVC4-SMT-EVAL-2013 default sat ✅ 6.72777 —
MathSAT MathSAT5-5.2.6-SMT-EVAL-2013 default sat ✅ 2.75692 —
MathSAT5-HeavyBV-SMT-COMP-2012 default sat ✅ 17.74950 —
MathSAT5-SMT-COMP-2011 default sat ✅ 1.80265 —
MathSAT5-SMT-COMP-2012 default sat ✅ 1.93887 —
SONOLAR SONOLAR-2013-05-15-SMT-EVAL-2013 default sat ✅ 1.16902 —
SONOLAR-SMT-COMP-2010 default sat ✅ 2.91135 —
SONOLAR-SMT-COMP-2011 default sat ✅ 2.08246 —
SONOLAR-SMT-COMP-2012 default sat ✅ 1.90563 —
STP STP2-SMT-COMP-2011 default sat ✅ 1.03455 —
STP2-SMT-COMP-2012 default sat ✅ 1.63189 —
simplifyingSTP-SMT-COMP-2010 default sat ✅ 2.05626 —
Z3 Z3-4.3.2.a054b099c1d6-x64-debian-6.0.6-SMT-EVAL-2013 default sat ✅ 2.54174 —
Z3-SMT-COMP-2011 default sat ✅ 2.17523 —
SMT-COMP 2017 Boolector Boolector+CaDiCaL SMT17 final boolector sat ✅ 0.04937 0.04939
Boolector SMT17 final boolector sat ✅ 0.05601 0.05440
CVC4 CVC4-smtcomp2017-main default sat ✅ 5.31618 10.48440
MathSAT mathsat-5.4.1-linux-x86_64-Main default sat ✅ 4.75591 4.75615
MinkeyRink MinkeyRink 2017.3a default sat ✅ 3.39702 3.41235
Q3B Q3B default sat ✅ 18.26050 53.88000
STP stp_st default sat ✅ 2.67296 2.67279
stp_mt default sat ✅ 3.16476 9.52835
Yices2 Yices2-Main default sat ✅ 0.16129 0.15987
Z3 z3-4.5.0 default sat ✅ 2.70055 2.69925
SMT-COMP 2018 Boolector Boolector_default sat ✅ 0.04675 0.04672
CVC4 master-2018-06-10-b19c840-competition-default_default sat ✅ 7.57470 7.57485
MathSAT mathsat-5.5.2-linux-x86_64-Main_default sat ✅ 3.94680 3.94729
MinkeyRink Minkeyrink MT_mt sat ✅ 1.19223 1.98538
Minkeyrink ST_st sat ✅ 1.11113 1.11087
STP STP-CMS-st-2018_default-no-stderr sat ✅ 0.99067 0.99060
STP-CMS-mt-2018_multicore-no-stderr sat ✅ 1.05985 1.63012
STP-Riss-st-2018_riss-no-stderr sat ✅ 4.05589 4.05536
Yices2 Yices 2.6.0_default sat ✅ 0.13875 0.13865
Z3 z3-4.7.1_default sat ✅ 3.01932 3.01912
SMT-COMP 2020 Bitwuzla Bitwuzla-fixed_default sat ✅ 0.17716 0.17708
Boolector Boolector-wrapped-sq_default sat ✅ 0.06737 0.06737
Poolector-wrapped-sq_default sat ✅ 0.17782 0.17242
CVC4 CVC4-sq-final_default sat ✅ 2.50379 2.50397
LazyBV2Int LazyBV2Int20200523_default.sh sat ✅ 221.94400 221.90500
MathSAT MathSAT5_default.sh sat ✅ 5.85068 5.85038
MinkeyRink MinkeyRink Solver 2020.3.1_default unknown ❌ 0.82142 0.82158
MinkeyRink Solver 2020.3_default sat ✅ 1.07658 3.68642
STP STP_default sat ✅ 0.97810 1.55250
STP ++ Mergsat v1_default sat ✅ 0.82015 0.82164
Yices2 Yices 2.6.2 bug fix_default sat ✅ 0.17577 0.17575
Z3 z3-4.8.8_default sat ✅ 7.32543 7.32524
SMT-COMP 2023 0.17 (5/6) Bitwuzla Bitwuzla-fixed_default sat ✅ 0.75653 0.75646
cvc5 cvc5-default-2023-05-16-ea045f305_sq sat ✅ 5.31340 5.30695
STP STP 2022.4_default sat ✅ 0.96228 0.96215
STP 2022.4_default sat ✅ 0.96649 0.96642
UltimateEliminator UltimateIntBlastingWrapper+SMTInterpol_default unknown ❌ 7.49633 15.01450
Yices2 Yices 2 for SMTCOMP 2023_default sat ✅ 0.16509 0.16503
Z3-Owl z3-Owl-Final_default sat ✅ 24.72210 24.71960
z3-Owl-Final_default sat ✅ 24.97560 24.91560
SMT-COMP 2024 0.17 (5/6) Bitwuzla Bitwuzla sat ✅ 0.72914 0.62984
cvc5 cvc5 sat ✅ 4.01723 3.91699
SMTInterpol SMTInterpol unknown ❌ 658.10204 714.54896
STP STP sat ✅ 1.05380 0.95373
Yices2 Yices2 sat ✅ 0.32219 0.22236
Z3alpha Z3-alpha sat ✅ 0.60187 0.45019