Benchmark

non-incremental/QF_BV/spear/samba_v3.0.24/bin_libmsrpc_vc1225781.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
Size217861
Compressed Size32683
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 217853
Compressed Size31191
Max. Term Depth5
Asserts 1855
Declared Functions0
Declared Constants2022
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants0
Declared Datatypes0

Symbols

ite962 =>4 =3365 distinct37
concat6 extract628 bvand118 bvadd29
bvurem7 bvult66 bvule8 bvslt6
bvsle1 bvshl6 zero_extend1 sign_extend55

Evaluations

Evaluation Rating Solver Variant Result Wallclock CPU Time
SMT Evaluation 2013 4Simp 4Simp-SMT-COMP-2012 default sat ✅ 2.09213 —
Abziz abziz_portfolio_2011_minfeatures_2 default sat ✅ 0.54994 —
abziz_portfolio_2011_solvers_2 default sat ✅ 0.54325 —
abziz_portfolio_2012_minfeatures default sat ✅ 0.55121 —
abziz_portfolio_2012_solvers default sat ✅ 0.54358 —
AbzizPortfolio-SMT-COMP-2012 default sat ✅ 0.54948 —
Boolector Boolector-1.5.118-SMT-EVAL-2013 default sat ✅ 0.31511 —
Boolector-SMT-COMP-2011 default sat ✅ 10.09140 —
Boolector-SMT-COMP-2012 default sat ✅ 0.15048 —
CVC3 CVC3-SMT-COMP-2010 default sat ✅ 24.07050 —
CVC3-SMT-COMP-2011 default sat ✅ 21.18890 —
CVC3-SMT-COMP-2012 default sat ✅ 21.63580 —
CVC4 CVC4-SMT-COMP-2012-Resubmission default sat ✅ 2.93896 —
CVC4-SMT-EVAL-2013 default sat ✅ 4.69726 —
MathSAT MathSAT5-5.2.6-SMT-EVAL-2013 default sat ✅ 4.77498 —
MathSAT5-HeavyBV-SMT-COMP-2012 default sat ✅ 16.14070 —
MathSAT5-SMT-COMP-2011 default sat ✅ 3.10809 —
MathSAT5-SMT-COMP-2012 default sat ✅ 2.01066 —
SONOLAR SONOLAR-2013-05-15-SMT-EVAL-2013 default sat ✅ 1.14196 —
SONOLAR-SMT-COMP-2010 default sat ✅ 2.38269 —
SONOLAR-SMT-COMP-2011 default sat ✅ 3.07277 —
SONOLAR-SMT-COMP-2012 default sat ✅ 2.34471 —
STP STP2-SMT-COMP-2011 default sat ✅ 1.11007 —
STP2-SMT-COMP-2012 default sat ✅ 2.14993 —
simplifyingSTP-SMT-COMP-2010 default sat ✅ 2.65520 —
Z3 Z3-4.3.2.a054b099c1d6-x64-debian-6.0.6-SMT-EVAL-2013 default sat ✅ 2.70374 —
Z3-SMT-COMP-2011 default sat ✅ 0.53761 —
SMT-COMP 2017 Boolector Boolector+CaDiCaL SMT17 final boolector sat ✅ 0.05781 0.05699
Boolector SMT17 final boolector sat ✅ 0.05908 0.05857
CVC4 CVC4-smtcomp2017-main default sat ✅ 5.63275 11.13690
MathSAT mathsat-5.4.1-linux-x86_64-Main default sat ✅ 5.20481 5.20559
MinkeyRink MinkeyRink 2017.3a default sat ✅ 3.48690 3.53504
Q3B Q3B default sat ✅ 22.50160 66.67000
STP stp_st default sat ✅ 3.08577 3.08465
stp_mt default sat ✅ 4.97129 11.28400
Yices2 Yices2-Main default sat ✅ 0.15216 0.15148
Z3 z3-4.5.0 default sat ✅ 2.51898 2.51790
SMT-COMP 2018 Boolector Boolector_default sat ✅ 0.05480 0.05473
CVC4 master-2018-06-10-b19c840-competition-default_default sat ✅ 6.45901 6.45910
MathSAT mathsat-5.5.2-linux-x86_64-Main_default sat ✅ 5.64760 5.64787
MinkeyRink Minkeyrink MT_mt sat ✅ 1.12144 1.89578
Minkeyrink ST_st sat ✅ 1.00941 1.00945
STP STP-CMS-st-2018_default-no-stderr sat ✅ 0.96465 0.96458
STP-CMS-mt-2018_multicore-no-stderr sat ✅ 1.05555 1.76913
STP-Riss-st-2018_riss-no-stderr sat ✅ 6.38167 6.38156
Yices2 Yices 2.6.0_default sat ✅ 0.13351 0.13341
Z3 z3-4.7.1_default sat ✅ 2.20345 2.20332
SMT-COMP 2019 Boolector Boolector-wrapped-sq_default sat ✅ 0.07355 0.07353
Poolector-wrapped-sq_default sat ✅ 0.18286 0.18143
Boolector-ReasonLS boolector-ReasonLS-wrapped-sq_default sat ✅ 5.87244 5.87200
CVC4 CVC4-2019-06-03-d350fe1-wrapped-sq_default sat ✅ 2.23575 2.23582
MinkeyRink MinkeyRink MT-wrapped-sq_default sat ✅ 1.09045 1.81794
MinkeyRink ST-wrapped-sq_default sat ✅ 0.89166 0.89152
Par4 Par4-wrapped-sq_default sat ✅ 0.07084 0.00597
STP STP-2019-wrapped-sq_default sat ✅ 1.18088 1.18135
stp-mergesat-fixed-wrapped-sq_default sat ✅ 2.43432 2.43388
stp-minisat-wrapped-sq_default sat ✅ 1.31942 1.31957
stp-mt-wrapped-sq_default sat ✅ 1.03081 1.48534
stp-portfolio-fixed-wrapped-sq_default sat ✅ 2.51875 3.57838
stp-riss-wrapped-sq_default unknown ❌ 0.86293 0.86311
Yices2 Yices 2.6.2-wrapped-sq_default sat ✅ 0.15489 0.15488
Yices 2.6.2 Cadical-wrapped-sq_default sat ✅ 0.36419 0.36415
Yices 2.6.2 Cryptominisat-wrapped-sq_default sat ✅ 4.63120 4.63109
Yices 2.6.2 MCSAT BV-wrapped-sq_default sat ✅ 1.55364 1.55353
Yices 2.6.2 new bvsolver-wrapped-sq_default sat ✅ 0.48331 0.48335
Z3 z3-4.8.4-d6df51951f4c-wrapped-sq_default sat ✅ 1.01736 1.01722
SMT-COMP 2020 Bitwuzla Bitwuzla-fixed_default sat ✅ 0.26819 0.26814
Boolector Boolector-wrapped-sq_default sat ✅ 0.07186 0.07186
Poolector-wrapped-sq_default sat ✅ 0.17984 0.25713
CVC4 CVC4-sq-final_default sat ✅ 2.71912 2.71931
LazyBV2Int LazyBV2Int20200523_default.sh sat ✅ 117.20900 117.18800
MathSAT MathSAT5_default.sh sat ✅ 2.15681 2.15671
MinkeyRink MinkeyRink Solver 2020.3.1_default unknown ❌ 0.78965 0.78988
MinkeyRink Solver 2020.3_default sat ✅ 0.97577 1.58751
STP STP_default sat ✅ 0.97408 1.41419
STP ++ Mergsat v1_default sat ✅ 0.79086 0.79234
Yices2 Yices 2.6.2 bug fix_default sat ✅ 0.33692 0.33685
Z3 z3-4.8.8_default sat ✅ 2.23385 2.23282
SMT-COMP 2022 Bitwuzla Bitwuzla-fixed_default sat ✅ 0.27849 0.27844
Bitwuzla-wrapped_default sat ✅ 0.28142 0.28137
cvc5 cvc5-default-2022-07-02-b15e116-wrapped_sq sat ✅ 3.25718 3.25574
MathSAT MathSAT-5.6.8_default sat ✅ 3.78670 3.78630
STP STP 2022.4_default sat ✅ 0.94452 0.94450
Yices2 Yices 2.6.2 for SMTCOMP 2021_default sat ✅ 0.16731 0.16612
Z3++BV z3++bv_0702_default sat ✅ 0.97376 0.97350
Z3 z3-4.8.17_default sat ✅ 1.25348 1.25520
SMT-COMP 2023 0.17 (5/6) Bitwuzla Bitwuzla-fixed_default sat ✅ 0.79913 0.79863
cvc5 cvc5-default-2023-05-16-ea045f305_sq sat ✅ 3.14406 3.13883
STP STP 2022.4_default sat ✅ 0.92796 0.92803
STP 2022.4_default sat ✅ 0.92695 0.92699
UltimateEliminator UltimateIntBlastingWrapper+SMTInterpol_default unknown ❌ 4.97242 13.74270
Yices2 Yices 2 for SMTCOMP 2023_default sat ✅ 0.15779 0.15777
Z3-Owl z3-Owl-Final_default sat ✅ 23.45300 23.44930
z3-Owl-Final_default sat ✅ 23.51160 23.50390