Benchmark

non-incremental/QF_BV/spear/samba_v3.0.24/bin_libsmbclient_vc1225758.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
Size444873
Compressed Size61633
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 444865
Compressed Size61643
Max. Term Depth5
Asserts 3832
Declared Functions0
Declared Constants4062
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants0
Declared Datatypes0

Symbols

ite2042 =>3 =6960 distinct43
concat9 extract1195 bvand154 bvxor1
bvadd83 bvurem12 bvult185 bvule10
bvslt12 bvsle1 bvshl9 zero_extend1
sign_extend153

Evaluations

Evaluation Rating Solver Variant Result Wallclock CPU Time
SMT Evaluation 2013 4Simp 4Simp-SMT-COMP-2012 default sat ✅ 4.51140 —
Abziz abziz_portfolio_2011_minfeatures_2 default sat ✅ 1.24090 —
abziz_portfolio_2011_solvers_2 default sat ✅ 1.23520 —
abziz_portfolio_2012_minfeatures default sat ✅ 1.24341 —
abziz_portfolio_2012_solvers default sat ✅ 1.24367 —
AbzizPortfolio-SMT-COMP-2012 default sat ✅ 1.22670 —
Boolector Boolector-1.5.118-SMT-EVAL-2013 default sat ✅ 1.88744 —
Boolector-SMT-COMP-2011 default sat ✅ 20.42260 —
Boolector-SMT-COMP-2012 default sat ✅ 0.30402 —
CVC3 CVC3-SMT-COMP-2010 default sat ✅ 78.58850 —
CVC3-SMT-COMP-2011 default sat ✅ 71.61850 —
CVC3-SMT-COMP-2012 default sat ✅ 72.04130 —
CVC4 CVC4-SMT-COMP-2012-Resubmission default sat ✅ 9.13312 —
CVC4-SMT-EVAL-2013 default sat ✅ 36.11790 —
MathSAT MathSAT5-5.2.6-SMT-EVAL-2013 default sat ✅ 72.45570 —
MathSAT5-HeavyBV-SMT-COMP-2012 default sat ✅ 37.27040 —
MathSAT5-SMT-COMP-2011 default sat ✅ 11.63420 —
MathSAT5-SMT-COMP-2012 default sat ✅ 7.30744 —
SONOLAR SONOLAR-2013-05-15-SMT-EVAL-2013 default sat ✅ 2.39832 —
SONOLAR-SMT-COMP-2010 default sat ✅ 8.81319 —
SONOLAR-SMT-COMP-2011 default sat ✅ 4.51452 —
SONOLAR-SMT-COMP-2012 default sat ✅ 3.80648 —
STP STP2-SMT-COMP-2011 default sat ✅ 1.91576 —
STP2-SMT-COMP-2012 default sat ✅ 4.63577 —
simplifyingSTP-SMT-COMP-2010 default sat ✅ 7.64350 —
Z3 Z3-4.3.2.a054b099c1d6-x64-debian-6.0.6-SMT-EVAL-2013 default sat ✅ 4.21296 —
Z3-SMT-COMP-2011 default sat ✅ 1.23186 —
SMT-COMP 2017 0.12 (7/8) Boolector Boolector+CaDiCaL SMT17 final boolector sat ✅ 0.11333 0.11256
Boolector SMT17 final boolector sat ✅ 0.11201 0.11142
CVC4 CVC4-smtcomp2017-main default sat ✅ 23.05820 46.00900
MathSAT mathsat-5.4.1-linux-x86_64-Main default sat ✅ 9.74538 9.74582
MinkeyRink MinkeyRink 2017.3a default sat ✅ 5.72172 5.79966
Q3B Q3B default unknown ❌ 600.03800 1799.42000
STP stp_st default sat ✅ 5.21134 5.20946
stp_mt default sat ✅ 5.95030 17.75320
Yices2 Yices2-Main default sat ✅ 0.31442 0.31412
Z3 z3-4.5.0 default sat ✅ 4.67619 4.67534
SMT-COMP 2018 Boolector Boolector_default sat ✅ 0.10497 0.10486
CVC4 master-2018-06-10-b19c840-competition-default_default sat ✅ 16.93710 16.93700
MathSAT mathsat-5.5.2-linux-x86_64-Main_default sat ✅ 18.52640 18.52610
MinkeyRink Minkeyrink MT_mt sat ✅ 2.96874 6.21083
Minkeyrink ST_st sat ✅ 2.44425 2.44383
STP STP-CMS-st-2018_default-no-stderr sat ✅ 1.83760 1.83680
STP-CMS-mt-2018_multicore-no-stderr sat ✅ 1.94745 2.69245
STP-Riss-st-2018_riss-no-stderr sat ✅ 25.73120 25.73100
Yices2 Yices 2.6.0_default sat ✅ 0.27150 0.27138
Z3 z3-4.7.1_default sat ✅ 4.44000 4.43950
SMT-COMP 2019 Boolector Boolector-wrapped-sq_default sat ✅ 0.14491 0.14488
Poolector-wrapped-sq_default sat ✅ 0.27839 0.26423
Boolector-ReasonLS boolector-ReasonLS-wrapped-sq_default sat ✅ 5.04294 5.04253
CVC4 CVC4-2019-06-03-d350fe1-wrapped-sq_default sat ✅ 7.20744 7.20751
MinkeyRink MinkeyRink MT-wrapped-sq_default sat ✅ 2.34070 4.55147
MinkeyRink ST-wrapped-sq_default sat ✅ 3.20056 3.20051
Par4 Par4-wrapped-sq_default sat ✅ 0.12633 0.00624
STP STP-2019-wrapped-sq_default sat ✅ 1.86729 1.86748
stp-mergesat-fixed-wrapped-sq_default sat ✅ 19.17290 19.16370
stp-minisat-wrapped-sq_default sat ✅ 3.01101 3.01087
stp-mt-wrapped-sq_default sat ✅ 1.99896 2.51676
stp-portfolio-fixed-wrapped-sq_default sat ✅ 19.34980 21.13400
stp-riss-wrapped-sq_default unknown ❌ 1.77511 1.77505
Yices2 Yices 2.6.2-wrapped-sq_default sat ✅ 0.30674 0.30663
Yices 2.6.2 Cadical-wrapped-sq_default sat ✅ 0.72178 0.72179
Yices 2.6.2 Cryptominisat-wrapped-sq_default sat ✅ 15.53530 15.53460
Yices 2.6.2 MCSAT BV-wrapped-sq_default sat ✅ 407.75800 407.70200
Yices 2.6.2 new bvsolver-wrapped-sq_default sat ✅ 0.95755 0.95755
Z3 z3-4.8.4-d6df51951f4c-wrapped-sq_default sat ✅ 4.57370 4.57336
SMT-COMP 2020 Bitwuzla Bitwuzla-fixed_default sat ✅ 0.53693 0.53690
Boolector Boolector-wrapped-sq_default sat ✅ 0.13778 0.13780
Poolector-wrapped-sq_default sat ✅ 0.28169 0.42890
CVC4 CVC4-sq-final_default sat ✅ 5.76000 5.75890
LazyBV2Int LazyBV2Int20200523_default.sh sat ✅ 782.70700 782.64800
MathSAT MathSAT5_default.sh sat ✅ 21.13530 21.13390
MinkeyRink MinkeyRink Solver 2020.3.1_default unknown ❌ 1.59274 1.59287
MinkeyRink Solver 2020.3_default sat ✅ 1.87013 2.68747
STP STP_default sat ✅ 1.72748 2.23581
STP ++ Mergsat v1_default sat ✅ 1.55851 1.56022
Yices2 Yices 2.6.2 bug fix_default sat ✅ 0.99895 0.99891
Z3 z3-4.8.8_default sat ✅ 2.55462 2.55430
SMT-COMP 2021 Bitwuzla Bitwuzla-fixed_default sat ✅ 0.56735 0.56575
MathSAT mathsat-5.6.6_default sat ✅ 27.83310 27.83350
STP STP 2021.0_default sat ✅ 1.76063 2.29361
Z3 z3-4.8.11_default sat ✅ 5.45716 5.45334
SMT-COMP 2023 0.17 (5/6) Bitwuzla Bitwuzla-fixed_default sat ✅ 1.78259 1.78226
cvc5 cvc5-default-2023-05-16-ea045f305_sq sat ✅ 7.23086 7.22901
STP STP 2022.4_default sat ✅ 1.71234 1.71237
STP 2022.4_default sat ✅ 1.72132 1.72140
UltimateEliminator UltimateIntBlastingWrapper+SMTInterpol_default unknown ❌ 5.19858 14.18470
Yices2 Yices 2 for SMTCOMP 2023_default sat ✅ 0.32249 0.32239
Z3-Owl z3-Owl-Final_default sat ✅ 44.49110 44.48030
z3-Owl-Final_default sat ✅ 45.23240 45.21910
SMT-COMP 2024 0.17 (5/6) Bitwuzla Bitwuzla sat ✅ 1.11698 1.01674
cvc5 cvc5 sat ✅ 19.69172 19.59171
SMTInterpol SMTInterpol unknown ❌ 1201.73995 1272.85783
STP STP sat ✅ 2.03199 1.93192
Yices2 Yices2 sat ✅ 0.77941 0.67897
Z3alpha Z3-alpha sat ✅ 1.68655 1.58555