Benchmark

non-incremental/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc351365.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
Size875696
Compressed Size123478
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 875688
Compressed Size123485
Max. Term Depth5
Asserts 7514
Declared Functions0
Declared Constants7949
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants0
Declared Datatypes0

Symbols

ite4394 =>4 =13797 distinct56
concat8 extract2092 bvand338 bvadd125
bvurem8 bvsub6 bvult342 bvule34
bvslt3 bvshl8 sign_extend221

Evaluations

Evaluation Rating Solver Variant Result Wallclock CPU Time
SMT Evaluation 2013 0.11 (8/9) 4Simp 4Simp-SMT-COMP-2012 default sat ✅ 5.02805 —
Abziz abziz_portfolio_2011_minfeatures_2 default sat ✅ 3.15898 —
abziz_portfolio_2011_solvers_2 default sat ✅ 3.15449 —
abziz_portfolio_2012_minfeatures default sat ✅ 3.15921 —
abziz_portfolio_2012_solvers default sat ✅ 3.17402 —
AbzizPortfolio-SMT-COMP-2012 default sat ✅ 3.18176 —
Boolector Boolector-1.5.118-SMT-EVAL-2013 default sat ✅ 0.19921 —
Boolector-SMT-COMP-2011 default sat ✅ 6.55834 —
Boolector-SMT-COMP-2012 default sat ✅ 0.18800 —
CVC3 CVC3-SMT-COMP-2010 default unknown ❌ 417.27400 —
CVC3-SMT-COMP-2011 default unknown ❌ — —
CVC3-SMT-COMP-2012 default unknown ❌ — —
CVC4 CVC4-SMT-COMP-2012-Resubmission default sat ✅ 31.25530 —
CVC4-SMT-EVAL-2013 default sat ✅ 6.89956 —
MathSAT MathSAT5-5.2.6-SMT-EVAL-2013 default sat ✅ 38.10150 —
MathSAT5-HeavyBV-SMT-COMP-2012 default sat ✅ 68.47570 —
MathSAT5-SMT-COMP-2011 default sat ✅ 22.06710 —
MathSAT5-SMT-COMP-2012 default sat ✅ 6.65973 —
SONOLAR SONOLAR-2013-05-15-SMT-EVAL-2013 default sat ✅ 0.89377 —
SONOLAR-SMT-COMP-2010 default sat ✅ 23.88290 —
SONOLAR-SMT-COMP-2011 default sat ✅ 9.16492 —
SONOLAR-SMT-COMP-2012 default sat ✅ 5.33269 —
STP STP2-SMT-COMP-2011 default sat ✅ 0.68236 —
STP2-SMT-COMP-2012 default sat ✅ 0.71643 —
simplifyingSTP-SMT-COMP-2010 default sat ✅ 2.83195 —
Z3 Z3-4.3.2.a054b099c1d6-x64-debian-6.0.6-SMT-EVAL-2013 default sat ✅ 3.26913 —
Z3-SMT-COMP-2011 default sat ✅ 3.15768 —
SMT-COMP 2014 4Simp 4Simp - 2014 default sat ✅ 5.44963 5.44517
Abziz abziz_portfolio_all_features default sat ✅ 6.70065 13.24900
abziz_portfolio_min_features default sat ✅ 6.73059 6.71798
Boolector Boolector boolector sat ✅ 2.33303 2.33164
CVC4 CVC4 f7118b2 default sat ✅ 33.01110 65.68300
MathSAT MathSAT-5.2.12-Main default sat ✅ 27.67520 27.67980
SONOLAR sonolar_smtcomp-2014 default sat ✅ 1.00118 0.99785
STP stp-cryptominisat4 default sat ✅ 0.90853 0.89986
Yices2 Yices-2.2.1-smtcomp2014 default sat ✅ 0.56423 0.55592
Z3 Z3-4.3.2.a054b099c1d6-x64-debian-6.0.6-SMT-COMP-2014 default sat ✅ 3.96165 3.95440
SMT-COMP 2017 0.12 (7/8) Boolector Boolector+CaDiCaL SMT17 final boolector sat ✅ 0.19153 0.19099
Boolector SMT17 final boolector sat ✅ 0.26671 0.24149
CVC4 CVC4-smtcomp2017-main default sat ✅ 43.24400 85.12500
MathSAT mathsat-5.4.1-linux-x86_64-Main default sat ✅ 22.44120 22.43340
MinkeyRink MinkeyRink 2017.3a default sat ✅ 1.27706 1.27724
Q3B Q3B default unknown ❌ 600.08600 1193.29000
STP stp_st default sat ✅ 1.71872 1.71764
stp_mt default sat ✅ 3.52348 4.72131
Yices2 Yices2-Main default sat ✅ 0.43367 0.43333
Z3 z3-4.5.0 default sat ✅ 3.54668 3.54588
SMT-COMP 2018 Boolector Boolector_default sat ✅ 0.20049 0.20041
CVC4 master-2018-06-10-b19c840-competition-default_default sat ✅ 31.93140 31.92730
MathSAT mathsat-5.5.2-linux-x86_64-Main_default sat ✅ 20.97660 20.97450
MinkeyRink Minkeyrink MT_mt sat ✅ 0.80755 1.04296
Minkeyrink ST_st sat ✅ 0.76592 0.76578
STP STP-CMS-st-2018_default-no-stderr sat ✅ 1.18498 1.18516
STP-CMS-mt-2018_multicore-no-stderr sat ✅ 1.22309 1.40181
STP-Riss-st-2018_riss-no-stderr sat ✅ 4.17258 4.17213
Yices2 Yices 2.6.0_default sat ✅ 0.36965 0.36959
Z3 z3-4.7.1_default sat ✅ 3.16820 3.16789
SMT-COMP 2019 Boolector Boolector-wrapped-sq_default sat ✅ 0.25604 0.25603
Poolector-wrapped-sq_default sat ✅ 0.48447 0.78283
Boolector-ReasonLS boolector-ReasonLS-wrapped-sq_default sat ✅ 1.78787 1.78775
CVC4 CVC4-2019-06-03-d350fe1-wrapped-sq_default sat ✅ 10.13740 10.13760
MinkeyRink MinkeyRink MT-wrapped-sq_default sat ✅ 0.69166 0.83182
MinkeyRink ST-wrapped-sq_default sat ✅ 0.67559 0.67573
Par4 Par4-wrapped-sq_default sat ✅ 0.24431 0.00628
STP STP-2019-wrapped-sq_default sat ✅ 1.20772 1.19610
stp-mergesat-fixed-wrapped-sq_default sat ✅ 1.46937 1.45515
stp-minisat-wrapped-sq_default sat ✅ 1.36523 1.36534
stp-mt-wrapped-sq_default sat ✅ 1.22136 1.34372
stp-portfolio-fixed-wrapped-sq_default sat ✅ 1.50782 1.85362
stp-riss-wrapped-sq_default unknown ❌ 1.20308 1.18610
Yices2 Yices 2.6.2-wrapped-sq_default sat ✅ 0.40978 0.40975
Yices 2.6.2 Cadical-wrapped-sq_default sat ✅ 0.76200 0.76193
Yices 2.6.2 Cryptominisat-wrapped-sq_default sat ✅ 13.99150 13.99030
Yices 2.6.2 MCSAT BV-wrapped-sq_default sat ✅ 79.77320 79.77410
Yices 2.6.2 new bvsolver-wrapped-sq_default sat ✅ 0.99253 0.99262
Z3 z3-4.8.4-d6df51951f4c-wrapped-sq_default sat ✅ 2.75625 2.75637
SMT-COMP 2021 Bitwuzla Bitwuzla-fixed_default sat ✅ 0.50104 0.50096
MathSAT mathsat-5.6.6_default sat ✅ 23.14080 23.14180
STP STP 2021.0_default sat ✅ 1.17357 1.31679
Z3 z3-4.8.11_default sat ✅ 2.14212 4.24210
SMT-COMP 2024 0.17 (5/6) Bitwuzla Bitwuzla sat ✅ 0.99817 0.89826
cvc5 cvc5 sat ✅ 22.80312 22.68640
SMTInterpol SMTInterpol unknown ❌ 1201.71998 1295.07545
STP STP sat ✅ 0.62880 0.52899
Yices2 Yices2 sat ✅ 0.70178 0.60126
Z3alpha Z3-alpha sat ✅ 0.54470 0.44510
SMT-COMP 2025 0.11 (8/9) Bitwuzla Bitwuzla sat ✅ 0.55298 0.42551
Bitwuzla-MachBV-base sat ✅ 0.75949 0.63863
Bitwuzla-MachBV Bitwuzla-MachBV sat ✅ 1.03999 0.90893
BVDecide bv_decide sat ✅ 334.55785 334.40698
bv_decide-nokernel sat ✅ 89.54794 89.44840
cvc5 cvc5 sat ✅ 6.26195 6.13540
SMTInterpol SMTInterpol unknown ❌ 1201.44474 1238.84739
Yices2 Yices2 sat ✅ 2.12974 2.00912
Z3alpha Z3-alpha sat ✅ 5.08678 17.89996
Z3 Z3-alpha-base sat ✅ 1.71105 1.57837
Z3-Owl-base sat ✅ 7.46429 7.34815
z3siri-base sat ✅ 1.67425 1.54364
Z3-Owl Z3-Owl sat ✅ 21.17381 21.04079